Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 536.028 | 536.017 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo |
MD5SUM | 944c5e420229bce90a366c23629af03a |
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 | 540 |
Best CPU time to get the best result obtained on this benchmark | 2.22266 |
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.036994 10.1445 1 2039 0.00/0.04 o 24258 0.00/0.04 c 0.036994 10.3281 1 2785 0.00/0.04 o 23513 0.00/0.04 c 0.036994 10.3281 3 3342 0.00/0.04 o 22979 0.00/0.04 c 0.036994 10.3281 3 4279 0.00/0.04 o 17474 0.00/0.04 c 0.037994 10.3281 3 4809 0.00/0.04 o 17191 0.00/0.05 c 0.037994 10.3281 4 5289 0.00/0.05 o 17018 0.00/0.05 c 0.037994 10.3281 4 6209 0.00/0.05 o 15785 0.00/0.05 c 0.041993 10.3281 45 6710 0.00/0.05 o 15747 0.05/0.07 c 0.050992 10.4531 174 7399 0.05/0.07 o 15625 0.09/0.19 c 0.082987 10.4531 562 9678 0.09/0.19 o 15524 0.19/0.22 c 0.085986 10.4531 383 10241 0.19/0.22 o 15521 0.19/0.26 c 0.103984 10.5781 672 11184 0.19/0.26 o 15500 0.49/0.50 c 0.186971 10.5781 710 16502 0.49/0.50 o 15465 1.10/1.13 c 0.378942 10.7031 582 29046 1.10/1.13 o 15353 1.29/1.36 c 0.449931 10.7031 672 32805 1.29/1.36 o 15242 1.79/1.86 c 0.597909 10.7031 653 40023 1.79/1.86 o 15208 2.29/2.32 c 0.725889 10.8281 726 47099 2.29/2.32 o 15158 2.69/2.80 c 0.882865 10.8281 716 56457 2.69/2.80 o 15156 3.09/3.13 c 0.993848 10.8281 583 62346 3.09/3.13 o 15121 3.20/3.28 c 1.04184 10.8281 442 65387 3.20/3.28 o 15019 3.29/3.31 c 1.04884 10.8281 601 66023 3.29/3.31 o 15017 3.29/3.33 c 1.05984 10.8281 426 66898 3.29/3.33 o 15011 4.09/4.18 c 1.3338 10.8281 960 81838 4.09/4.18 o 14971 4.29/4.37 c 1.40679 10.8281 1174 85277 4.29/4.37 o 14829 4.59/4.67 c 1.50777 10.8281 485 92015 4.59/4.67 o 14715 4.69/4.77 c 1.54076 10.8281 451 94325 4.69/4.77 o 14464 5.59/5.65 c 1.82172 10.8281 684 108412 5.59/5.65 o 14366 6.29/6.31 c 2.02069 10.8281 576 119374 6.29/6.31 o 14222 7.70/7.72 c 2.42963 10.9531 736 136241 7.70/7.72 o 14195 7.79/7.81 c 2.46263 10.9531 385 139056 7.79/7.81 o 14150 8.90/8.94 c 2.78658 10.9531 567 156254 8.90/8.94 o 14068 8.90/8.95 c 2.79058 10.9531 340 156815 8.90/8.95 o 14026 8.90/8.97 c 2.79657 10.9531 419 157085 8.90/8.97 o 14023 9.29/9.30 c 2.90056 10.9531 570 163046 9.29/9.30 o 13893 9.59/9.67 c 2.99754 10.9531 1086 167826 9.59/9.67 o 13854 12.89/12.97 c 3.90641 11.0781 903 203622 12.89/12.97 o 13785 13.49/13.59 c 4.10238 11.0781 1034 213672 13.49/13.59 o 13727 13.59/13.67 c 4.12737 11.0781 691 215409 13.59/13.67 o 13603 13.59/13.69 c 4.13537 11.0781 484 216102 13.59/13.69 o 13523 13.69/13.72 c 4.14537 11.0781 604 216773 13.69/13.72 o 13412 13.79/13.83 c 4.18336 11.0781 589 219035 13.79/13.83 o 13255 14.69/14.70 c 4.43532 11.0781 670 230998 14.69/14.70 o 13197 14.69/14.70 c 4.43633 11.0781 694 231401 14.69/14.70 o 13014 14.69/14.71 c 4.43633 11.0781 355 231602 14.69/14.71 o 12986 14.69/14.72 c 4.44232 11.0781 393 231878 14.69/14.72 o 12952 14.69/14.73 c 4.44432 11.0781 500 232497 14.69/14.73 o 12895 15.19/15.27 c 4.5973 11.0781 448 242006 15.19/15.27 o 12632 16.40/16.41 c 4.95725 11.0781 555 261178 16.40/16.41 o 12499 16.50/16.51 c 4.97724 11.0781 999 262440 16.50/16.51 o 12430 16.89/16.90 c 5.08923 11.0781 603 267802 16.89/16.90 o 12402 19.70/19.72 c 5.9071 11.0781 503 308163 19.70/19.72 o 12312 19.90/19.92 c 5.96009 11.0781 800 311204 19.90/19.92 o 12117 21.19/21.23 c 6.24905 11.0781 642 329638 21.19/21.23 o 11961 22.69/22.73 c 6.585 11.0781 377 350882 22.69/22.73 o 11938 23.10/23.16 c 6.65999 11.0781 578 357919 23.10/23.16 o 11888 24.99/25.03 c 6.97194 11.2031 985 375553 24.99/25.03 o 11874 25.09/25.18 c 7.00693 11.2031 891 378134 25.09/25.18 o 11849 26.09/26.11 c 7.18291 11.2031 715 394358 26.09/26.11 o 11755 27.79/27.88 c 7.8618 11.2031 895 416683 27.79/27.88 o 11712 33.18/33.26 c 9.2256 11.2031 576 493482 33.18/33.26 o 11696 36.98/37.08 c 10.1005 11.3242 783 548323 36.98/37.08 o 11656 39.99/40.04 c 10.8364 11.3242 793 579948 39.99/40.04 o 11464 43.29/43.33 c 11.5512 11.3242 901 625443 43.29/43.33 o 11452 44.29/44.35 c 11.7722 11.3242 792 641172 44.29/44.35 o 11248 45.79/45.84 c 12.0822 11.3242 651 660514 45.79/45.84 o 11231 45.89/45.90 c 12.0912 11.3242 586 661497 45.89/45.90 o 11129 46.49/46.57 c 12.2541 11.3242 442 671562 46.49/46.57 o 11024 46.59/46.61 c 12.2691 11.3242 633 672218 46.59/46.61 o 10954 46.59/46.65 c 12.2771 11.3242 602 673492 46.59/46.65 o 10949 47.29/47.38 c 12.4571 11.3242 583 684467 47.29/47.38 o 10779 47.89/47.95 c 12.5961 11.3242 590 693228 47.89/47.95 o 10675 47.99/48.06 c 12.6221 11.3242 763 695003 47.99/48.06 o 10643 48.79/48.84 c 12.8081 11.3242 663 704318 48.79/48.84 o 10624 48.89/48.95 c 12.836 11.3242 896 706165 48.89/48.95 o 10617 49.39/49.44 c 12.965 11.3242 847 712100 49.39/49.44 o 10577 50.69/50.73 c 13.27 11.3242 878 729774 50.69/50.73 o 10413 51.09/51.16 c 13.373 11.3242 525 733122 51.09/51.16 o 10396 59.99/60.07 c 15.4826 11.4453 825 828626 59.99/60.07 o 10380 66.19/66.29 c 16.9144 11.4453 556 904210 66.19/66.29 o 10362 68.79/68.88 c 17.5153 11.4453 576 926695 68.79/68.88 o 10358 70.19/70.29 c 17.8373 11.4453 792 945171 70.19/70.29 o 10113 70.59/70.68 c 17.9183 11.4453 580 951374 70.59/70.68 o 9791 75.09/75.16 c 18.9501 11.4453 863 1005438 75.09/75.16 o 9734 76.69/76.73 c 19.3081 11.4453 792 1017557 76.69/76.73 o 9645 79.99/80.05 c 20.039 11.4453 874 1058177 79.99/80.05 o 9609 86.90/86.93 c 21.6257 11.4453 562 1134981 86.90/86.93 o 9580 94.39/94.44 c 23.2695 11.5703 671 1220393 94.39/94.44 o 9531 95.39/95.44 c 23.4924 11.5703 483 1233518 95.39/95.44 o 9474 98.28/98.36 c 24.1423 11.5703 770 1266777 98.28/98.36 o 9320 100.09/100.17 c 24.5723 11.5703 734 1287453 100.09/100.17 o 9311 101.29/101.37 c 24.8392 11.5703 734 1300142 101.29/101.37 o 9262 109.79/109.88 c 26.7389 11.5703 592 1391356 109.79/109.88 o 9102 113.89/113.97 c 27.6548 11.5703 593 1432320 113.89/113.97 o 9007 115.40/115.50 c 28.0107 11.5703 698 1454441 115.40/115.50 o 8997 117.89/117.91 c 28.5407 11.5703 623 1479285 117.89/117.91 o 8887 120.18/120.24 c 29.0596 11.5703 890 1504720 120.18/120.24 o 8875 120.39/120.49 c 29.1276 11.5703 603 1507363 120.39/120.49 o 8844 121.39/121.41 c 29.3275 11.7031 590 1515723 121.39/121.41 o 8775 122.49/122.51 c 29.5735 11.7031 532 1529156 122.49/122.51 o 8478 122.69/122.72 c 29.6165 11.7031 535 1531993 122.69/122.72 o 8329 133.19/133.24 c 31.9761 11.7031 621 1631231 133.19/133.24 o 8319 137.39/137.44 c 32.918 11.7031 901 1665818 137.39/137.44 o 8153 139.70/139.74 c 33.4319 11.7031 590 1691470 139.70/139.74 o 8052 144.19/144.21 c 34.3888 11.7031 841 1734719 144.19/144.21 o 8025 144.88/144.99 c 34.5387 11.7031 656 1742335 144.88/144.99 o 7899 147.30/147.31 c 35.0477 11.7031 870 1762154 147.30/147.31 o 7868 161.49/161.55 c 38.0822 11.7031 511 1892777 161.49/161.55 o 7761 162.39/162.43 c 38.2702 11.7031 572 1902339 162.39/162.43 o 7701 165.39/165.42 c 38.8861 11.7031 825 1933398 165.39/165.42 o 7476 166.59/166.64 c 39.1111 11.7031 689 1945433 166.59/166.64 o 7431 170.89/170.91 c 40.0829 11.7031 549 1994364 170.89/170.91 o 7278 171.99/172.06 c 40.3289 11.7031 785 2004281 171.99/172.06 o 7176 175.99/176.05 c 41.1787 11.7031 915 2039493 175.99/176.05 o 7128 180.89/180.99 c 42.2496 11.832 770 2078526 180.89/180.99 o 7101 181.49/181.54 c 42.3906 11.832 585 2084036 181.49/181.54 o 7044 182.69/182.72 c 42.6195 11.832 687 2094272 182.69/182.72 o 7008 192.49/192.50 c 44.6982 11.832 614 2180907 192.49/192.50 o 6999 196.69/196.73 c 45.6401 11.832 944 2220305 196.69/196.73 o 6981 197.39/197.47 c 45.782 11.832 575 2227662 197.39/197.47 o 6963 199.29/199.38 c 46.211 11.832 496 2246576 199.29/199.38 o 6940 199.99/200.03 c 46.348 11.832 729 2251033 199.99/200.03 o 6920 203.99/204.06 c 47.2238 11.832 741 2286424 203.99/204.06 o 6910 206.19/206.24 c 47.6878 11.832 749 2309463 206.19/206.24 o 6822 207.29/207.30 c 47.9037 11.832 731 2319784 207.29/207.30 o 6738 213.39/213.41 c 49.2915 11.832 848 2367926 213.39/213.41 o 6628 213.99/214.07 c 49.4325 11.832 655 2373780 213.99/214.07 o 6568 214.79/214.83 c 49.6155 11.832 792 2381442 214.79/214.83 o 6527 215.59/215.61 c 49.7794 11.832 769 2388692 215.59/215.61 o 6514 223.39/223.44 c 51.4622 11.832 553 2451877 223.39/223.44 o 6372 224.49/224.54 c 51.7191 11.832 561 2463812 224.49/224.54 o 6371 228.29/228.32 c 52.477 11.832 865 2496226 228.29/228.32 o 6363 238.70/238.78 c 54.7197 11.832 621 2582505 238.70/238.78 o 6326 246.30/246.35 c 56.3114 11.832 597 2643958 246.30/246.35 o 6310 250.60/250.65 c 57.2243 11.832 870 2681781 250.60/250.65 o 6263 256.49/256.55 c 58.4431 11.9453 887 2731330 256.49/256.55 o 6246 259.99/260.03 c 59.174 11.9453 662 2765874 259.99/260.03 o 6241 272.29/272.37 c 61.8196 11.9453 834 2866482 272.29/272.37 o 6171 274.19/274.27 c 62.2195 11.9453 831 2883257 274.19/274.27 o 6163 276.89/276.94 c 62.7705 11.9453 743 2904582 276.89/276.94 o 6150 287.19/287.21 c 65.0091 11.9453 782 2991370 287.19/287.21 o 6067 289.79/289.83 c 65.557 11.9453 745 3013623 289.79/289.83 o 5999 291.69/291.76 c 65.955 11.9453 825 3030358 291.69/291.76 o 5927 307.69/307.79 c 69.2395 11.9453 777 3155606 307.69/307.79 o 5894 312.59/312.68 c 70.2233 11.9453 628 3194204 312.59/312.68 o 5688 316.59/316.69 c 70.9892 11.9453 637 3229271 316.59/316.69 o 5669 318.69/318.77 c 71.3831 11.9453 569 3243709 318.69/318.77 o 5660 322.60/322.67 c 72.21 11.9453 848 3268120 322.60/322.67 o 5634 325.00/325.01 c 72.657 11.9453 670 3281639 325.00/325.01 o 5564 328.00/328.06 c 73.2659 12.0938 666 3305617 328.00/328.06 o 5484 331.10/331.11 c 73.8788 12.0938 796 3328881 331.10/331.11 o 5436 333.79/333.87 c 74.4407 12.0938 518 3354219 333.79/333.87 o 5434 342.69/342.75 c 76.2544 12.0938 703 3430446 342.69/342.75 o 5392 343.40/343.42 c 76.3884 12.0938 708 3436148 343.40/343.42 o 5341 343.49/343.59 c 76.4144 12.0938 984 3438096 343.49/343.59 o 5302 344.00/344.03 c 76.4874 12.0938 780 3441887 344.00/344.03 o 5240 348.70/348.78 c 77.4062 12.0938 519 3475076 348.70/348.78 o 5207 348.90/348.98 c 77.4402 12.0938 842 3476948 348.90/348.98 o 5188 349.60/349.68 c 77.5882 12.0938 759 3483775 349.60/349.68 o 5154 355.39/355.45 c 78.811 12.0938 675 3528350 355.39/355.45 o 5153 356.40/356.44 c 79.019 12.0938 651 3537908 356.40/356.44 o 5136 360.20/360.29 c 79.8219 12.0938 633 3564891 360.20/360.29 o 5118 363.29/363.37 c 80.4558 12.0938 635 3589639 363.29/363.37 o 5084 365.39/365.45 c 80.8617 12.0938 912 3605194 365.39/365.45 o 5002 365.60/365.66 c 80.8947 12.0938 813 3607027 365.60/365.66 o 4925 367.90/367.97 c 81.3556 12.0938 578 3624380 367.90/367.97 o 4903 369.30/369.36 c 81.6056 12.0938 857 3634626 369.30/369.36 o 4871 375.90/375.96 c 83.0124 12.0938 528 3680061 375.90/375.96 o 4840 386.20/386.23 c 84.9711 12.0938 586 3757420 386.20/386.23 o 4806 388.00/388.03 c 85.339 12.0938 1003 3772057 388.00/388.03 o 4732 393.60/393.66 c 86.3389 12.0938 901 3812453 393.60/393.66 o 4683 399.10/399.16 c 87.4237 12.0938 985 3849117 399.10/399.16 o 4584 400.90/400.93 c 87.7897 12.0938 531 3861577 400.90/400.93 o 4426 404.50/404.51 c 88.5045 12.0938 614 3886208 404.50/404.51 o 4379 404.89/404.90 c 88.5895 12.0938 564 3889412 404.89/404.90 o 4362 407.69/407.79 c 89.2044 12.0938 694 3908672 407.69/407.79 o 4278 419.99/420.01 c 91.5701 12.0938 731 3990475 419.99/420.01 o 4246 420.70/420.75 c 91.7091 12.0938 933 3996151 420.70/420.75 o 4168 422.00/422.04 c 91.957 12.0938 831 4004934 422.00/422.04 o 4150 422.50/422.50 c 92.049 12.0938 559 4007909 422.50/422.50 o 4144 434.50/434.53 c 94.5396 12.0938 805 4080749 434.50/434.53 o 4097 435.30/435.32 c 94.6936 12.0938 695 4086611 435.30/435.32 o 4030 435.40/435.40 c 94.7086 12.0938 544 4087432 435.40/435.40 o 4000 436.50/436.55 c 94.9126 12.0938 842 4094832 436.50/436.55 o 3954 437.50/437.55 c 95.1235 12.0938 871 4101842 437.50/437.55 o 3935 441.50/441.53 c 95.9154 12.0938 875 4131402 441.50/441.53 o 3914 445.10/445.10 c 96.6943 12.0938 809 4154249 445.10/445.10 o 3909 447.00/447.00 c 97.0442 12.0938 896 4167664 447.00/447.00 o 3872 449.40/449.49 c 97.5602 12.0938 579 4184733 449.40/449.49 o 3836 456.30/456.30 c 98.884 12.0938 837 4229101 456.30/456.30 o 3815 461.00/461.00 c 99.7828 12.0938 664 4263180 461.00/461.00 o 3770 461.91/461.99 c 99.9678 12.0938 863 4269308 461.91/461.99 o 3688 462.00/462.09 c 99.9828 12.0938 769 4270208 462.00/462.09 o 3661 468.50/468.54 c 101.239 12.2188 939 4310214 468.50/468.54 o 3657 468.80/468.82 c 101.293 12.2188 472 4312304 468.80/468.82 o 3636 475.90/475.99 c 102.738 12.2188 471 4359354 475.90/475.99 o 3579 477.40/477.44 c 103.038 12.2188 724 4368259 477.40/477.44 o 3578 478.80/478.84 c 103.327 12.2188 1014 4378272 478.80/478.84 o 3501 479.10/479.10 c 103.381 12.2188 751 4379829 479.10/479.10 o 3476 480.40/480.48 c 103.686 12.2188 516 4388035 480.40/480.48 o 3446 481.71/481.72 c 103.988 12.2188 547 4395242 481.71/481.72 o 3436 482.10/482.15 c 104.062 12.2188 677 4398902 482.10/482.15 o 3427 485.01/485.03 c 104.619 12.2188 617 4417657 485.01/485.03 o 3403 485.50/485.58 c 104.715 12.2188 936 4421575 485.50/485.58 o 3398 488.90/488.91 c 105.379 12.2188 849 4442566 488.90/488.91 o 3351 489.20/489.22 c 105.443 12.2188 561 4444728 489.20/489.22 o 3317 496.50/496.51 c 106.889 12.2188 660 4489775 496.50/496.51 o 3281 496.70/496.77 c 106.931 12.2188 646 4491860 496.70/496.77 o 3280 496.80/496.81 c 106.941 12.2188 766 4492249 496.80/496.81 o 3234 496.80/496.86 c 106.948 12.2188 455 4492618 496.80/496.86 o 3186 499.40/499.46 c 107.46 12.2188 865 4509580 499.40/499.46 o 3166 499.50/499.51 c 107.474 12.2188 627 4510194 499.50/499.51 o 3142 500.21/500.25 c 107.609 12.2188 927 4514604 500.21/500.25 o 3128 500.60/500.64 c 107.701 12.2188 648 4517028 500.60/500.64 o 3044 502.21/502.22 c 108.023 12.2188 904 4527133 502.21/502.22 o 3019 502.71/502.76 c 108.154 12.2188 633 4530593 502.71/502.76 o 3012 505.30/505.35 c 108.686 12.2188 693 4545878 505.30/505.35 o 2999 505.70/505.71 c 108.775 12.2188 770 4547874 505.70/505.71 o 2955 506.70/506.76 c 108.998 12.2188 591 4554637 506.70/506.76 o 2877 506.80/506.81 c 109.01 12.2188 761 4555255 506.80/506.81 o 2766 508.00/508.00 c 109.248 12.2188 520 4562616 508.00/508.00 o 2760 508.00/508.09 c 109.265 12.2188 763 4563380 508.00/508.09 o 2650 508.60/508.66 c 109.371 12.2188 615 4567570 508.60/508.66 o 2598 510.60/510.64 c 109.787 12.2188 635 4579017 510.60/510.64 o 2524 511.10/511.10 c 109.894 12.4258 845 4581468 511.10/511.10 o 2501 512.90/512.95 c 110.301 12.4258 599 4592609 512.90/512.95 o 2474 513.90/513.97 c 110.53 12.4258 939 4599359 513.90/513.97 o 2429 515.91/515.98 c 110.964 12.4258 660 4611158 515.91/515.98 o 2319 516.30/516.34 c 111.021 12.4258 793 4613886 516.30/516.34 o 2265 517.41/517.48 c 111.289 12.4258 572 4621574 517.41/517.48 o 2234 517.70/517.73 c 111.347 12.4258 896 4623378 517.70/517.73 o 2135 521.41/521.42 c 112.2 12.4258 924 4645536 521.41/521.42 o 2131 521.70/521.75 c 112.284 12.4258 953 4647717 521.70/521.75 o 2114 522.00/522.01 c 112.344 12.4258 792 4649462 522.00/522.01 o 2078 522.60/522.65 c 112.478 12.4258 894 4653648 522.60/522.65 o 2029 522.80/522.82 c 112.518 12.4258 920 4654693 522.80/522.82 o 2024 523.61/523.66 c 112.699 12.4258 1104 4659410 523.61/523.66 o 2014 523.80/523.82 c 112.734 12.4258 575 4660575 523.80/523.82 o 2005 524.40/524.44 c 112.857 12.4258 668 4664674 524.40/524.44 o 2000 525.60/525.68 c 113.151 12.5547 705 4672518 525.60/525.68 o 1986 526.11/526.17 c 113.263 12.5547 755 4675326 526.11/526.17 o 1959 526.51/526.54 c 113.363 12.5547 908 4677752 526.51/526.54 o 1825 526.81/526.80 c 113.416 12.5547 773 4679357 526.81/526.80 o 1711 527.11/527.16 c 113.502 12.5547 879 4681534 527.11/527.16 o 1682 527.81/527.88 c 113.67 12.5547 724 4686058 527.81/527.88 o 1646 529.01/529.03 c 113.949 12.5547 843 4692614 529.01/529.03 o 1613 529.01/529.05 c 113.955 12.5547 896 4692744 529.01/529.05 o 1573 529.01/529.07 c 113.961 12.5547 506 4692923 529.01/529.07 o 1562 529.30/529.34 c 114.034 12.5547 880 4694623 529.30/529.34 o 1434 529.51/529.55 c 114.085 12.5547 592 4696001 529.51/529.55 o 1402 529.60/529.65 c 114.115 12.5547 925 4696723 529.60/529.65 o 1387 529.70/529.76 c 114.146 12.5547 840 4697444 529.70/529.76 o 1357 530.11/530.17 c 114.262 12.5547 731 4699665 530.11/530.17 o 1345 530.80/530.82 c 114.445 12.5547 1023 4703507 530.80/530.82 o 1292 532.10/532.14 c 114.756 12.5547 683 4711276 532.10/532.14 o 1205 532.31/532.31 c 114.808 12.5547 770 4712385 532.31/532.31 o 1190 532.31/532.36 c 114.828 12.5547 981 4712941 532.31/532.36 o 1170 532.41/532.44 c 114.849 12.5547 707 4713416 532.41/532.44 o 1076 533.10/533.10 c 115.034 12.5547 701 4717724 533.10/533.10 o 1002 533.10/533.13 c 115.048 12.5547 843 4718041 533.10/533.13 o 998 533.10/533.17 c 115.055 12.5547 493 4718387 533.10/533.17 o 977 533.41/533.41 c 115.102 12.5547 680 4719612 533.41/533.41 o 973 533.60/533.62 c 115.149 12.5547 870 4720922 533.60/533.62 o 968 533.70/533.79 c 115.193 12.5547 889 4721844 533.70/533.79 o 939 533.80/533.82 c 115.201 12.5547 987 4722027 533.80/533.82 o 923 533.90/533.95 c 115.249 12.5547 968 4722818 533.90/533.95 o 906 534.20/534.26 c 115.342 12.5547 1045 4724707 534.20/534.26 o 893 534.31/534.33 c 115.362 12.5547 755 4725217 534.31/534.33 o 856 534.41/534.44 c 115.396 12.5547 1105 4725878 534.41/534.44 o 808 534.50/534.55 c 115.433 12.5547 954 4726565 534.50/534.55 o 789 534.50/534.57 c 115.437 12.5547 1017 4726758 534.50/534.57 o 739 534.71/534.78 c 115.491 12.5547 698 4728233 534.71/534.78 o 730 535.20/535.25 c 115.629 12.5547 1097 4731891 535.20/535.25 o 705 535.51/535.50 c 115.7 12.5547 847 4733560 535.51/535.50 o 692 535.51/535.56 c 115.721 12.5547 1093 4733959 535.51/535.56 o 672 535.60/535.65 c 115.756 12.5547 890 4734702 535.60/535.65 o 660 535.60/535.69 c 115.767 12.5547 1054 4734994 535.60/535.69 o 655 535.80/535.81 c 115.802 12.5547 1055 4736062 535.80/535.81 o 567 535.91/535.95 c 115.863 12.6797 1196 4737277 535.91/535.95 o 545 535.91/535.99 c 115.881 12.6797 1384 4737560 535.91/535.99 o 540 536.00/536.00 c 115.886 12.6797 606 4737654 536.00/536.00 s OPTIMUM FOUND 536.00/536.00 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 540
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700036-1278533914/watcher-2700036-1278533914 -o /tmp/evaluation-result-2700036-1278533914/solver-2700036-1278533914 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700036-1278533914.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.49 0.53 0.19 4/179 20757 /proc/meminfo: memFree=29268664/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=2136 CPUtime=0 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 261 0 0 0 0 0 0 0 21 0 1 0 21605488 2187264 180 4089446400 134512640 136421960 4293565312 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20757/statm: 534 180 144 467 0 65 0 [startup+0.064718 s] /proc/loadavg: 1.49 0.53 0.19 4/179 20757 /proc/meminfo: memFree=29268664/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=10572 CPUtime=0.05 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2393 0 0 0 4 1 0 0 21 0 1 0 21605488 10825728 2304 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2643 2304 237 467 0 2174 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10572 [startup+0.10071 s] /proc/loadavg: 1.49 0.53 0.19 4/179 20757 /proc/meminfo: memFree=29268664/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=10700 CPUtime=0.09 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2408 0 0 0 5 4 0 0 21 0 1 0 21605488 10956800 2318 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2675 2318 238 467 0 2206 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10700 [startup+0.300684 s] /proc/loadavg: 1.49 0.53 0.19 4/179 20757 /proc/meminfo: memFree=29268664/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=10828 CPUtime=0.29 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2438 0 0 0 11 18 0 0 21 0 1 0 21605488 11087872 2345 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2707 2345 238 467 0 2238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10828 [startup+0.700601 s] /proc/loadavg: 1.49 0.53 0.19 4/179 20757 /proc/meminfo: memFree=29268664/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=10828 CPUtime=0.69 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2464 0 0 0 24 45 0 0 22 0 1 0 21605488 11087872 2370 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2707 2370 238 467 0 2238 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10828 [startup+1.50045 s] /proc/loadavg: 1.53 0.55 0.20 3/179 20758 /proc/meminfo: memFree=29279036/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=10956 CPUtime=1.49 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2480 0 0 0 49 100 0 0 25 0 1 0 21605488 11218944 2384 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2739 2384 238 467 0 2270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10956 [startup+3.10016 s] /proc/loadavg: 1.53 0.55 0.20 3/179 20758 /proc/meminfo: memFree=29278912/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11084 CPUtime=3.09 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2514 0 0 0 98 211 0 0 25 0 1 0 21605488 11350016 2415 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2771 2415 238 467 0 2302 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11084 [startup+6.30057 s] /proc/loadavg: 1.53 0.55 0.20 3/179 20758 /proc/meminfo: memFree=29279284/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11084 CPUtime=6.29 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2542 0 0 0 201 428 0 0 25 0 1 0 21605488 11350016 2434 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2771 2434 238 467 0 2302 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11084 [startup+12.7004 s] /proc/loadavg: 1.61 0.60 0.22 3/179 20758 /proc/meminfo: memFree=29279308/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11340 CPUtime=12.69 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2586 0 0 0 382 887 0 0 25 0 1 0 21605488 11612160 2470 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2835 2470 238 467 0 2366 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11340 [startup+25.5011 s] /proc/loadavg: 1.67 0.64 0.23 3/197 20803 /proc/meminfo: memFree=29246960/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11468 CPUtime=25.49 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2655 0 0 0 706 1843 0 0 25 0 1 0 21605488 11743232 2517 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20757/statm: 2867 2517 238 467 0 2398 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11468 [startup+51.1004 s] /proc/loadavg: 1.78 0.75 0.28 3/179 20977 /proc/meminfo: memFree=29233836/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11592 CPUtime=51.09 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2713 0 0 0 1335 3774 0 0 25 0 1 0 21605488 11870208 2556 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20757/statm: 2898 2556 238 467 0 2429 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11592 [startup+102.306 s] /proc/loadavg: 1.91 0.96 0.38 3/179 20979 /proc/meminfo: memFree=29175696/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11844 CPUtime=102.29 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2792 0 0 0 2504 7725 0 0 25 0 1 0 21605488 12128256 2620 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/20757/statm: 2961 2620 238 467 0 2492 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 11844 [startup+162.301 s] /proc/loadavg: 1.96 1.15 0.48 3/179 20981 /proc/meminfo: memFree=29105836/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=11980 CPUtime=162.3 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2850 0 0 0 3823 12407 0 0 25 0 1 0 21605488 12267520 2662 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 2995 2662 238 467 0 2526 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 11980 [startup+222.301 s] /proc/loadavg: 1.98 1.30 0.57 3/179 20982 /proc/meminfo: memFree=29034228/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12112 CPUtime=222.29 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2892 0 0 0 5121 17108 0 0 25 0 1 0 21605488 12402688 2683 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3028 2683 238 467 0 2559 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 12112 [startup+282.301 s] /proc/loadavg: 1.99 1.42 0.65 3/179 20983 /proc/meminfo: memFree=28962864/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12228 CPUtime=282.29 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2921 0 0 0 6392 21837 0 0 25 0 1 0 21605488 12521472 2701 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3057 2701 238 467 0 2588 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 12228 [startup+342.301 s] /proc/loadavg: 1.99 1.53 0.74 3/179 20985 /proc/meminfo: memFree=28889640/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12380 CPUtime=342.3 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 2963 0 0 0 7615 26615 0 0 25 0 1 0 21605488 12677120 2731 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3095 2731 238 467 0 2626 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 12380 [startup+402.301 s] /proc/loadavg: 1.99 1.61 0.81 3/179 20987 /proc/meminfo: memFree=28820156/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12380 CPUtime=402.29 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3001 0 0 0 8805 31424 0 0 25 0 1 0 21605488 12677120 2748 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3095 2748 238 467 0 2626 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 12380 [startup+462.301 s] /proc/loadavg: 1.99 1.68 0.88 3/179 20989 /proc/meminfo: memFree=28746440/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12380 CPUtime=462.3 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3034 0 0 0 10001 36229 0 0 25 0 1 0 21605488 12677120 2761 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3095 2761 238 467 0 2626 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 12380 [startup+522.301 s] /proc/loadavg: 1.99 1.73 0.95 3/179 20990 /proc/meminfo: memFree=28675088/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12720 CPUtime=522.3 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3120 0 0 0 11239 40991 0 0 25 0 1 0 21605488 13025280 2806 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3180 2806 238 467 0 2711 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 12720 Solver just ended. Dumping a history of the last processes samples [startup+524.706 s] /proc/loadavg: 1.99 1.73 0.95 3/179 20991 /proc/meminfo: memFree=28672340/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12852 CPUtime=524.71 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3159 0 0 0 11290 41181 0 0 25 0 1 0 21605488 13160448 2840 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3213 2840 238 467 0 2744 0 Current children cumulated CPU time (s) 524.71 Current children cumulated vsize (KiB) 12852 [startup+531.1 s] /proc/loadavg: 1.99 1.74 0.96 3/179 20991 /proc/meminfo: memFree=28663160/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12852 CPUtime=531.1 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3175 0 0 0 11450 41660 0 0 25 0 1 0 21605488 13160448 2841 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3213 2841 238 467 0 2744 0 Current children cumulated CPU time (s) 531.1 Current children cumulated vsize (KiB) 12852 [startup+534.301 s] /proc/loadavg: 1.99 1.74 0.96 3/179 20991 /proc/meminfo: memFree=28660048/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12852 CPUtime=534.31 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3190 0 0 0 11535 41896 0 0 25 0 1 0 21605488 13160448 2843 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3213 2843 238 467 0 2744 0 Current children cumulated CPU time (s) 534.31 Current children cumulated vsize (KiB) 12852 [startup+535.101 s] /proc/loadavg: 1.99 1.74 0.96 3/179 20991 /proc/meminfo: memFree=28658808/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12852 CPUtime=535.1 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3195 0 0 0 11558 41952 0 0 25 0 1 0 21605488 13160448 2843 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3213 2843 238 467 0 2744 0 Current children cumulated CPU time (s) 535.1 Current children cumulated vsize (KiB) 12852 [startup+535.501 s] /proc/loadavg: 1.99 1.74 0.96 3/179 20991 /proc/meminfo: memFree=28658808/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12852 CPUtime=535.51 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3196 0 0 0 11570 41981 0 0 25 0 1 0 21605488 13160448 2843 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3213 2843 238 467 0 2744 0 Current children cumulated CPU time (s) 535.51 Current children cumulated vsize (KiB) 12852 [startup+535.901 s] /proc/loadavg: 1.99 1.75 0.97 3/179 20991 /proc/meminfo: memFree=28657196/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12980 CPUtime=535.91 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3202 0 0 0 11583 42008 0 0 25 0 1 0 21605488 13291520 2844 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3245 2844 238 467 0 2776 0 Current children cumulated CPU time (s) 535.91 Current children cumulated vsize (KiB) 12980 [startup+536 s] /proc/loadavg: 1.99 1.75 0.97 3/179 20991 /proc/meminfo: memFree=28657196/32951124 swapFree=67111528/67111528 [pid=20757] ppid=20755 vsize=12980 CPUtime=536 /proc/20757/stat : 20757 (pbct) R 20755 20757 20232 0 -1 4202496 3210 0 0 0 11588 42012 0 0 25 0 1 0 21605488 13291520 2850 4089446400 134512640 136421960 4293565312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20757/statm: 3245 2850 238 467 0 2776 0 Current children cumulated CPU time (s) 536 Current children cumulated vsize (KiB) 12980 Child status: 0 Real time (s): 536.017 CPU time (s): 536.028 CPU user time (s): 115.896 CPU system time (s): 420.131 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 12980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 115.896 system time used= 420.131 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3215 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= 1212 runsolver used 0.792879 second user time and 1.66375 second system time The end
Begin job on node109 at 2010-07-07 22:18:34 IDJOB=2700036 IDBENCH=79394 IDSOLVER=1208 FILE ID=node109/2700036-1278533914 PBS_JOBID= 11239260 Free space on /tmp= 73768 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh307_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700036-1278533914/watcher-2700036-1278533914 -o /tmp/evaluation-result-2700036-1278533914/solver-2700036-1278533914 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700036-1278533914.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 944c5e420229bce90a366c23629af03a RANDOM SEED=1857009317 node109.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.817 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.63 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.83 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.817 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29269316 kB Buffers: 136424 kB Cached: 3308492 kB SwapCached: 0 kB Active: 1970500 kB Inactive: 1565376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29269316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3220 kB Writeback: 0 kB AnonPages: 90604 kB Mapped: 17968 kB Slab: 80512 kB PageTables: 5204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 234588 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= 73764 MiB End job on node109 at 2010-07-07 22:27:30