Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 27.0269 | 27.0257 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo |
MD5SUM | 208e691d0f47cfa792c689161068f479 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.148976 |
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 | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
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 | 10 |
Top cost | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
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/800 units 0 0.00/0.00 c vars 200 0.00/0.04 c 0.039993 9.74219 1 1851 0.00/0.04 o 24972 0.00/0.04 c 0.040993 9.89844 2 2705 0.00/0.04 o 23275 0.00/0.04 c 0.040993 9.89844 2 3558 0.00/0.04 o 8423 0.00/0.04 c 0.040993 9.89844 3 4228 0.00/0.04 o 8123 0.04/0.05 c 0.048992 9.89844 89 4857 0.04/0.05 o 8020 1.19/1.27 c 0.78588 10.1484 568 17361 1.19/1.27 o 7975 1.39/1.41 c 0.874867 10.1484 634 19386 1.39/1.41 o 7902 1.49/1.53 c 0.956854 10.1484 416 21512 1.49/1.53 o 7895 1.89/1.94 c 1.21781 10.1484 640 26518 1.89/1.94 o 7815 3.09/3.17 c 1.9957 10.1484 963 38874 3.09/3.17 o 7669 3.49/3.56 c 2.23766 10.1484 458 42990 3.49/3.56 o 7599 4.60/4.60 c 2.86156 10.1484 612 53805 4.60/4.60 o 7574 4.69/4.73 c 2.93455 10.1484 543 55664 4.69/4.73 o 7564 4.79/4.87 c 3.02654 10.1484 576 57575 4.79/4.87 o 7557 5.39/5.41 c 3.37449 10.1484 610 63573 5.39/5.41 o 7534 5.50/5.55 c 3.46847 10.1484 516 65209 5.50/5.55 o 7507 5.59/5.67 c 3.53746 10.1484 541 66402 5.59/5.67 o 7482 5.79/5.84 c 3.64145 10.2734 597 68658 5.79/5.84 o 7397 6.50/6.52 c 4.05938 10.2734 702 73803 6.50/6.52 o 7350 6.89/6.94 c 4.31534 10.2734 633 78669 6.89/6.94 o 7334 7.29/7.36 c 4.56331 10.2734 581 82984 7.29/7.36 o 7333 7.29/7.38 c 4.5763 10.2734 373 83435 7.29/7.38 o 7316 7.39/7.48 c 4.63429 10.2734 432 84590 7.39/7.48 o 7279 7.90/7.91 c 4.90125 10.2734 470 90423 7.90/7.91 o 7278 7.90/7.96 c 4.93125 10.2734 635 90947 7.90/7.96 o 7255 7.99/8.09 c 5.00924 10.2734 642 92420 7.99/8.09 o 7245 8.50/8.54 c 5.2792 10.2734 537 97463 8.50/8.54 o 7193 8.80/8.83 c 5.46517 10.2734 709 100709 8.80/8.83 o 7100 8.80/8.86 c 5.48517 10.2734 489 101218 8.80/8.86 o 7081 8.99/9.07 c 5.61815 10.2734 682 103390 8.99/9.07 o 7069 9.09/9.18 c 5.68513 10.2734 806 104555 9.09/9.18 o 7047 9.19/9.20 c 5.69913 10.2734 513 105065 9.19/9.20 o 6984 9.30/9.31 c 5.75912 10.2734 631 106339 9.30/9.31 o 6973 9.39/9.45 c 5.83911 10.2734 478 107959 9.39/9.45 o 6957 9.49/9.50 c 5.87111 10.2734 694 108544 9.49/9.50 o 6924 9.80/9.83 c 6.07608 10.2734 573 111787 9.80/9.83 o 6903 9.80/9.87 c 6.10007 10.2734 396 112338 9.80/9.87 o 6890 9.99/10.03 c 6.19106 10.2734 562 113878 9.99/10.03 o 6874 10.10/10.10 c 6.23105 10.2734 531 114686 10.10/10.10 o 6835 10.39/10.43 c 6.42802 10.2734 476 117106 10.39/10.43 o 6833 10.59/10.63 c 6.555 10.2734 504 119044 10.59/10.63 o 6769 10.89/10.91 c 6.71198 10.2734 631 121879 10.89/10.91 o 6717 10.89/10.92 c 6.72298 10.2734 671 122064 10.89/10.92 o 6654 11.29/11.31 c 6.96294 10.3984 639 126416 11.29/11.31 o 6611 11.59/11.64 c 7.18191 10.3984 494 129783 11.59/11.64 o 6393 11.80/11.86 c 7.32689 10.3984 546 132105 11.80/11.86 o 6263 12.00/12.03 c 7.43087 10.3984 397 133437 12.00/12.03 o 6236 12.29/12.39 c 7.65984 10.3984 702 136753 12.29/12.39 o 6235 12.79/12.89 c 7.96579 10.3984 740 141150 12.79/12.89 o 6231 13.10/13.19 c 8.15676 10.3984 677 143735 13.10/13.19 o 6184 13.59/13.66 c 8.45771 10.3984 686 148376 13.59/13.66 o 6183 13.69/13.75 c 8.50271 10.3984 431 149481 13.69/13.75 o 6145 13.89/13.93 c 8.60669 10.3984 724 151253 13.89/13.93 o 6114 13.99/14.09 c 8.71068 10.3984 615 152926 13.99/14.09 o 6029 14.10/14.11 c 8.72167 10.3984 674 153272 14.10/14.11 o 5944 14.10/14.19 c 8.76667 10.3984 705 154261 14.10/14.19 o 5843 14.20/14.23 c 8.79166 10.3984 503 154801 14.20/14.23 o 5771 14.30/14.31 c 8.84465 10.3984 427 155643 14.30/14.31 o 5713 14.49/14.53 c 8.98463 10.3984 480 157477 14.49/14.53 o 5707 14.79/14.85 c 9.16861 10.3984 878 160243 14.79/14.85 o 5570 15.19/15.24 c 9.40357 10.3984 571 164261 15.19/15.24 o 5512 15.19/15.29 c 9.43756 10.3984 425 164882 15.19/15.29 o 5491 15.49/15.53 c 9.59054 10.3984 818 166627 15.49/15.53 o 5453 15.89/15.94 c 9.8435 10.3984 651 170060 15.89/15.94 o 5370 15.99/16.02 c 9.89349 10.3984 515 170840 15.99/16.02 o 5215 16.19/16.26 c 10.0495 10.3984 642 172865 16.19/16.26 o 5172 16.50/16.50 c 10.1924 10.3984 554 175575 16.50/16.50 o 5079 16.69/16.76 c 10.3644 10.3984 709 177670 16.69/16.76 o 5071 16.79/16.86 c 10.4264 10.3984 747 178842 16.79/16.86 o 5056 16.90/16.97 c 10.4994 10.3984 757 179860 16.90/16.97 o 5034 17.29/17.37 c 10.7594 10.5234 853 183783 17.29/17.37 o 4997 17.39/17.45 c 10.8194 10.5234 719 184571 17.39/17.45 o 4987 17.70/17.70 c 10.9523 10.5234 504 186994 17.70/17.70 o 4919 18.09/18.12 c 11.2173 10.5234 856 190491 18.09/18.12 o 4890 18.19/18.26 c 11.2893 10.5234 533 191946 18.19/18.26 o 4795 18.29/18.34 c 11.3363 10.5234 792 192686 18.29/18.34 o 4750 18.49/18.59 c 11.4753 10.5234 640 195255 18.49/18.59 o 4687 18.60/18.65 c 11.5122 10.5234 531 195884 18.60/18.65 o 4668 18.70/18.71 c 11.5462 10.5234 691 196409 18.70/18.71 o 4601 18.70/18.76 c 11.5842 10.5234 532 196961 18.70/18.76 o 4522 18.79/18.80 c 11.6042 10.5234 646 197339 18.79/18.80 o 4503 19.09/19.11 c 11.7952 10.5234 709 200269 19.09/19.11 o 4502 19.30/19.36 c 11.9472 10.5234 783 202748 19.30/19.36 o 4361 19.39/19.43 c 11.9942 10.5234 688 203529 19.39/19.43 o 4357 20.10/20.17 c 12.4361 10.5234 450 209174 20.10/20.17 o 4338 20.19/20.21 c 12.4591 10.5234 610 209748 20.19/20.21 o 4206 20.19/20.22 c 12.4621 10.5234 621 209877 20.19/20.22 o 4187 20.19/20.23 c 12.4671 10.5234 643 210044 20.19/20.23 o 4116 20.49/20.51 c 12.6451 10.5234 543 212635 20.49/20.51 o 4066 21.10/21.13 c 13.006 10.5234 432 217585 21.10/21.13 o 4061 21.19/21.26 c 13.092 10.5234 555 218928 21.19/21.26 o 3920 21.29/21.31 c 13.122 10.5234 714 219397 21.29/21.31 o 3892 21.29/21.35 c 13.144 10.5234 499 219900 21.29/21.35 o 3815 21.29/21.39 c 13.168 10.5234 628 220409 21.29/21.39 o 3792 21.49/21.50 c 13.237 10.5234 650 221373 21.49/21.50 o 3729 21.59/21.66 c 13.333 10.5234 444 222832 21.59/21.66 o 3655 21.79/21.87 c 13.463 10.5234 760 224729 21.79/21.87 o 3413 21.79/21.90 c 13.475 10.5234 462 224956 21.79/21.90 o 3370 21.90/21.91 c 13.483 10.5234 502 225140 21.90/21.91 o 3300 22.19/22.23 c 13.6859 10.5234 798 227586 22.19/22.23 o 3254 22.39/22.47 c 13.8279 10.5234 413 229519 22.39/22.47 o 3220 22.59/22.62 c 13.9299 10.5234 545 230557 22.59/22.62 o 3175 22.69/22.72 c 13.9929 10.5234 815 231187 22.69/22.72 o 3126 23.29/23.36 c 14.3798 10.6445 678 235189 23.29/23.36 o 3125 23.49/23.55 c 14.4858 10.6445 542 236905 23.49/23.55 o 2966 23.59/23.66 c 14.5578 10.6445 506 237739 23.59/23.66 o 2963 23.70/23.72 c 14.5938 10.6445 679 238164 23.70/23.72 o 2904 23.70/23.78 c 14.6288 10.6445 460 238559 23.70/23.78 o 2874 23.70/23.79 c 14.6418 10.6445 524 238924 23.70/23.79 o 2841 23.79/23.88 c 14.6958 10.6445 440 239653 23.79/23.88 o 2814 23.99/24.04 c 14.8077 10.6445 543 240959 23.99/24.04 o 2778 24.09/24.14 c 14.8587 10.6445 479 241871 24.09/24.14 o 2632 24.29/24.31 c 14.9667 10.6445 595 242952 24.29/24.31 o 2602 24.29/24.38 c 15.0087 10.6445 435 243445 24.29/24.38 o 2580 24.39/24.42 c 15.0247 10.6445 514 243610 24.39/24.42 o 2577 24.49/24.50 c 15.0787 10.6445 794 244276 24.49/24.50 o 2564 24.79/24.87 c 15.2937 10.6445 743 246829 24.79/24.87 o 2507 24.90/24.98 c 15.3617 10.6445 676 247486 24.90/24.98 o 2503 24.90/24.99 c 15.3737 10.6445 718 247651 24.90/24.99 o 2455 25.10/25.10 c 15.4427 10.6445 676 248551 25.10/25.10 o 2376 25.10/25.14 c 15.4706 10.6445 417 248899 25.10/25.14 o 2371 25.20/25.21 c 15.5166 10.6445 633 249438 25.20/25.21 o 2359 25.40/25.42 c 15.6386 10.6445 547 251128 25.40/25.42 o 2307 25.40/25.43 c 15.6446 10.6445 587 251288 25.40/25.43 o 2287 25.49/25.50 c 15.6786 10.6445 778 251834 25.49/25.50 o 2219 25.60/25.62 c 15.7546 10.6445 728 252672 25.60/25.62 o 2210 25.60/25.63 c 15.7606 10.6445 393 252859 25.60/25.63 o 2193 25.60/25.69 c 15.7906 10.6445 555 253320 25.60/25.69 o 2160 25.79/25.82 c 15.8676 10.6445 623 254289 25.79/25.82 o 2141 25.79/25.85 c 15.8846 10.6445 710 254535 25.79/25.85 o 2133 25.79/25.86 c 15.8906 10.6445 757 254762 25.79/25.86 o 2043 25.79/25.87 c 15.8946 10.6445 401 254840 25.79/25.87 o 2042 25.90/25.90 c 15.9146 10.6445 522 255217 25.90/25.90 o 2025 25.90/25.97 c 15.9636 10.6445 705 255601 25.90/25.97 o 1970 25.99/26.02 c 16.0026 10.6445 473 256051 25.99/26.02 o 1954 25.99/26.03 c 16.0086 10.6445 499 256137 25.99/26.03 o 1950 26.09/26.19 c 16.0996 10.6445 564 257175 26.09/26.19 o 1879 26.19/26.25 c 16.1425 10.6445 396 257875 26.19/26.25 o 1692 26.30/26.31 c 16.1835 10.6445 556 258238 26.30/26.31 o 1669 26.30/26.33 c 16.1955 10.6445 625 258378 26.30/26.33 o 1666 26.40/26.42 c 16.2515 10.6445 490 258937 26.40/26.42 o 1652 26.50/26.55 c 16.3255 10.6445 500 259869 26.50/26.55 o 1625 26.50/26.60 c 16.3485 10.6445 628 260212 26.50/26.60 o 1561 26.59/26.63 c 16.3655 10.6445 755 260553 26.59/26.63 o 1532 26.59/26.67 c 16.3915 10.6445 505 260911 26.59/26.67 o 1497 26.59/26.68 c 16.3965 10.6445 547 261020 26.59/26.68 o 1485 26.59/26.69 c 16.4005 10.6445 562 261108 26.59/26.69 o 1468 26.69/26.70 c 16.4085 10.6445 588 261188 26.69/26.70 o 1461 26.69/26.72 c 16.4205 10.7617 644 261326 26.69/26.72 o 1425 26.69/26.73 c 16.4275 10.7617 664 261490 26.69/26.73 o 1423 26.69/26.77 c 16.4575 10.7617 445 261885 26.69/26.77 o 1358 26.69/26.79 c 16.4695 10.7617 508 262092 26.69/26.79 o 1339 26.80/26.81 c 16.4785 10.7617 550 262323 26.80/26.81 o 1292 26.80/26.82 c 16.4855 10.7617 569 262440 26.80/26.82 o 1275 26.80/26.83 c 16.4955 10.7617 624 262569 26.80/26.83 o 1274 26.80/26.87 c 16.5145 10.7617 742 262883 26.80/26.87 o 1239 26.89/26.91 c 16.5325 10.7617 425 263213 26.89/26.91 o 1212 26.89/26.91 c 16.5345 10.7617 433 263272 26.89/26.91 o 1191 26.89/26.92 c 16.5395 10.7617 440 263367 26.89/26.92 o 1104 26.89/26.92 c 16.5415 10.7617 445 263422 26.89/26.92 o 1074 26.89/26.92 c 16.5435 10.7617 448 263465 26.89/26.92 o 1064 26.89/26.92 c 16.5455 10.7617 454 263506 26.89/26.92 o 1046 26.89/26.93 c 16.5505 10.7617 484 263769 26.89/26.93 o 855 26.89/26.93 c 16.5535 10.7617 485 263825 26.89/26.93 o 828 26.89/26.94 c 16.5545 10.7617 490 263873 26.89/26.94 o 818 26.89/26.94 c 16.5585 10.7617 515 263946 26.89/26.94 o 808 26.89/26.95 c 16.5615 10.7617 533 264035 26.89/26.95 o 749 26.89/26.95 c 16.5635 10.7617 494 264095 26.89/26.95 o 732 26.89/26.98 c 16.5815 10.7617 583 264420 26.89/26.98 o 610 26.89/26.98 c 16.5815 10.7617 583 264531 26.89/26.98 o 510 26.89/26.98 c 16.5835 10.7617 583 264631 26.89/26.98 o 420 26.89/26.99 c 16.5845 10.7617 609 264705 26.89/26.99 o 392 26.89/26.99 c 16.5865 10.7617 617 264757 26.89/26.99 o 357 26.89/26.99 c 16.5885 10.7617 636 264793 26.89/26.99 o 354 26.89/27.00 c 16.5895 10.7617 641 264810 26.89/27.00 o 346 27.00/27.00 c 16.5915 10.7617 656 264865 27.00/27.00 o 344 27.00/27.00 c 16.5935 10.7617 353 264890 27.00/27.00 o 336 27.00/27.00 c 16.5945 10.7617 356 264939 27.00/27.00 o 287 27.00/27.00 c 16.5965 10.7617 363 264970 27.00/27.00 o 279 27.00/27.00 c 16.5975 10.7617 365 265010 27.00/27.00 o 261 27.00/27.01 c 16.5995 10.7617 378 265088 27.00/27.01 o 193 27.00/27.01 c 16.6005 10.7617 378 265112 27.00/27.01 o 177 27.00/27.01 c 16.6015 10.7617 379 265155 27.00/27.01 o 136 27.00/27.01 c 16.6015 10.7617 379 265202 27.00/27.01 o 87 27.00/27.01 c 16.6025 10.7617 379 265240 27.00/27.01 o 49 27.00/27.01 c 16.6025 10.7617 379 265261 27.00/27.01 o 39 27.00/27.01 c 16.6035 10.7617 379 265304 27.00/27.01 o 0 27.00/27.01 c 16.6035 10.7617 379 265304 27.00/27.01 s OPTIMUM FOUND 27.00/27.01 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 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700216-1278534444/watcher-2700216-1278534444 -o /tmp/evaluation-result-2700216-1278534444/solver-2700216-1278534444 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700216-1278534444.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.93 1.83 1.06 4/178 27011 /proc/meminfo: memFree=29257628/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=2136 CPUtime=0 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 21656371 2187264 176 4089446400 134512640 136421960 4292769088 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/27011/statm: 534 176 144 467 0 65 0 [startup+0.0501509 s] /proc/loadavg: 1.93 1.83 1.06 4/178 27011 /proc/meminfo: memFree=29257628/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10132 CPUtime=0.04 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2271 0 0 0 4 0 0 0 25 0 1 0 21656371 10375168 2187 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2533 2187 237 467 0 2064 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10132 [startup+0.101144 s] /proc/loadavg: 1.93 1.83 1.06 4/178 27011 /proc/meminfo: memFree=29257628/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10132 CPUtime=0.09 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2274 0 0 0 7 2 0 0 25 0 1 0 21656371 10375168 2189 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2533 2189 237 467 0 2064 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10132 [startup+0.301104 s] /proc/loadavg: 1.93 1.83 1.06 4/178 27011 /proc/meminfo: memFree=29257628/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10260 CPUtime=0.3 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2293 0 0 0 20 10 0 0 25 0 1 0 21656371 10506240 2208 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2565 2208 237 467 0 2096 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 10260 [startup+0.70102 s] /proc/loadavg: 1.93 1.83 1.06 4/178 27011 /proc/meminfo: memFree=29257628/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10260 CPUtime=0.69 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2309 0 0 0 43 26 0 0 25 0 1 0 21656371 10506240 2224 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2565 2224 238 467 0 2096 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10260 [startup+1.50086 s] /proc/loadavg: 1.93 1.83 1.06 3/179 27012 /proc/meminfo: memFree=29248320/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10388 CPUtime=1.49 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2314 0 0 0 93 56 0 0 25 0 1 0 21656371 10637312 2227 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2597 2227 238 467 0 2128 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10388 [startup+3.10054 s] /proc/loadavg: 1.93 1.83 1.06 3/179 27012 /proc/meminfo: memFree=29247452/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10388 CPUtime=3.09 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2336 0 0 0 195 114 0 0 25 0 1 0 21656371 10637312 2247 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2597 2247 238 467 0 2128 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10388 [startup+6.3009 s] /proc/loadavg: 1.94 1.83 1.07 3/179 27012 /proc/meminfo: memFree=29244192/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10516 CPUtime=6.29 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2362 0 0 0 392 237 0 0 25 0 1 0 21656371 10768384 2264 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2629 2264 238 467 0 2160 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10516 [startup+12.7006 s] /proc/loadavg: 1.94 1.84 1.07 3/179 27012 /proc/meminfo: memFree=29239336/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10644 CPUtime=12.69 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2432 0 0 0 784 485 0 0 25 0 1 0 21656371 10899456 2304 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2661 2304 238 467 0 2192 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10644 [startup+25.501 s] /proc/loadavg: 1.96 1.84 1.09 3/179 27012 /proc/meminfo: memFree=29231632/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10896 CPUtime=25.49 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2573 0 0 0 1567 982 0 0 25 0 1 0 21656371 11157504 2369 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2724 2369 238 467 0 2255 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10896 Solver just ended. Dumping a history of the last processes samples [startup+26.3009 s] /proc/loadavg: 1.96 1.84 1.09 3/179 27012 /proc/meminfo: memFree=29230516/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10896 CPUtime=26.3 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2600 0 0 0 1617 1013 0 0 25 0 1 0 21656371 11157504 2382 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2724 2382 238 467 0 2255 0 Current children cumulated CPU time (s) 26.3 Current children cumulated vsize (KiB) 10896 [startup+26.7008 s] /proc/loadavg: 1.96 1.84 1.09 3/179 27012 /proc/meminfo: memFree=29230516/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=10896 CPUtime=26.69 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2617 0 0 0 1640 1029 0 0 25 0 1 0 21656371 11157504 2390 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2724 2390 238 467 0 2255 0 Current children cumulated CPU time (s) 26.69 Current children cumulated vsize (KiB) 10896 [startup+26.9008 s] /proc/loadavg: 1.96 1.84 1.09 3/179 27012 /proc/meminfo: memFree=29230516/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=11016 CPUtime=26.89 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2638 0 0 0 1652 1037 0 0 25 0 1 0 21656371 11280384 2402 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2754 2402 238 467 0 2285 0 Current children cumulated CPU time (s) 26.89 Current children cumulated vsize (KiB) 11016 [startup+27.0008 s] /proc/loadavg: 1.96 1.84 1.09 3/179 27012 /proc/meminfo: memFree=29230516/32950928 swapFree=67111528/67111528 [pid=27011] ppid=27009 vsize=11016 CPUtime=27 /proc/27011/stat : 27011 (pbct) R 27009 27011 26355 0 -1 4202496 2665 0 0 0 1659 1041 0 0 18 0 1 0 21656371 11280384 2410 4089446400 134512640 136421960 4292769088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/27011/statm: 2754 2410 238 467 0 2285 0 Current children cumulated CPU time (s) 27 Current children cumulated vsize (KiB) 11016 Child status: 0 Real time (s): 27.0257 CPU time (s): 27.0269 CPU user time (s): 16.6125 CPU system time (s): 10.4144 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 11016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.6125 system time used= 10.4144 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2685 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= 9 involuntary context switches= 296 runsolver used 0.033994 second user time and 0.092985 second system time The end
Begin job on node149 at 2010-07-07 22:27:24 IDJOB=2700216 IDBENCH=79409 IDSOLVER=1208 FILE ID=node149/2700216-1278534444 PBS_JOBID= 11239180 Free space on /tmp= 73424 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh210_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700216-1278534444/watcher-2700216-1278534444 -o /tmp/evaluation-result-2700216-1278534444/solver-2700216-1278534444 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700216-1278534444.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 208e691d0f47cfa792c689161068f479 RANDOM SEED=275388287 node149.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.827 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.827 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.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.79 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.827 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.827 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29258024 kB Buffers: 144772 kB Cached: 2818236 kB SwapCached: 0 kB Active: 1562864 kB Inactive: 1965632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29258024 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1976 kB Writeback: 0 kB AnonPages: 565852 kB Mapped: 16852 kB Slab: 100368 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 707728 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= 73424 MiB End job on node149 at 2010-07-07 22:27:51