Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 62.9944 | 62.9945 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh219_wcsp.wbo |
MD5SUM | 0a308225f12d2c01751496daa1233c60 |
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 | 82 |
Best CPU time to get the best result obtained on this benchmark | 0.986849 |
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 | 11 |
Top cost | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
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.01 c constraints 100/0 clauses 0/800 units 0 0.00/0.01 c vars 200 0.01/0.04 c 0.035994 9.73438 1 1841 0.01/0.04 o 27009 0.01/0.04 c 0.035994 9.89453 2 2208 0.01/0.04 o 26674 0.01/0.04 c 0.036994 9.89453 2 3057 0.01/0.04 o 11108 0.01/0.04 c 0.037994 9.89453 10 3438 0.01/0.04 o 10878 0.68/0.75 c 0.251961 10.1445 934 14100 0.68/0.75 o 10844 1.10/1.15 c 0.398939 10.1445 541 19324 1.10/1.15 o 10821 1.69/1.78 c 0.581911 10.1445 546 29646 1.69/1.78 o 10544 1.79/1.87 c 0.606907 10.1445 661 30795 1.79/1.87 o 10528 1.89/1.90 c 0.618905 10.1445 474 31484 1.89/1.90 o 10451 2.78/2.87 c 0.867868 10.1445 736 41674 2.78/2.87 o 10442 3.49/3.53 c 1.07784 10.1445 500 52467 3.49/3.54 o 10427 3.69/3.73 c 1.13883 10.1445 496 55354 3.69/3.73 o 10377 3.69/3.76 c 1.14482 10.1445 681 56066 3.69/3.76 o 10348 3.69/3.79 c 1.15182 10.1445 560 56942 3.69/3.79 o 10337 4.39/4.46 c 1.3238 10.2695 677 64452 4.39/4.46 o 10196 5.29/5.31 c 1.55476 10.2695 607 74147 5.29/5.31 o 10091 6.60/6.64 c 1.91571 10.2695 551 90907 6.60/6.64 o 9940 6.98/7.09 c 2.02769 10.2695 500 96140 6.98/7.09 o 9906 7.89/7.97 c 2.26865 10.2695 383 108194 7.89/7.97 o 9667 7.99/8.08 c 2.29465 10.2695 649 109775 7.99/8.08 o 9619 8.39/8.49 c 2.41363 10.2695 645 114482 8.39/8.49 o 9585 8.69/8.72 c 2.47362 10.2695 447 118260 8.69/8.72 o 9429 8.89/8.91 c 2.52162 10.2695 623 120988 8.89/8.91 o 9343 8.99/9.05 c 2.56061 10.2695 780 122372 8.99/9.05 o 9244 9.19/9.20 c 2.6036 10.2695 494 124744 9.19/9.20 o 9098 9.29/9.30 c 2.6386 10.2695 631 126132 9.29/9.30 o 9084 9.39/9.47 c 2.69059 10.2695 506 128690 9.39/9.47 o 8981 11.89/11.91 c 3.43548 10.3945 640 156381 11.89/11.91 o 8914 11.99/12.03 c 3.47247 10.3945 833 157576 11.99/12.03 o 8908 12.10/12.14 c 3.50647 10.3945 512 158912 12.10/12.14 o 8856 12.59/12.66 c 3.67944 10.3945 557 166178 12.59/12.66 o 8850 12.89/12.93 c 3.75543 10.3945 667 169579 12.89/12.93 o 8652 13.49/13.58 c 3.9364 10.3945 841 175737 13.49/13.58 o 8649 13.79/13.84 c 4.02239 10.3945 668 179713 13.79/13.84 o 8548 16.49/16.56 c 4.89726 10.3945 511 210276 16.49/16.56 o 8528 16.69/16.74 c 4.95225 10.3945 606 212224 16.69/16.74 o 8480 17.09/17.15 c 5.06523 10.5195 665 215989 17.09/17.15 o 8456 17.60/17.63 c 5.19821 10.5195 698 221804 17.60/17.63 o 8389 17.99/18.02 c 5.30319 10.5195 371 226785 17.99/18.02 o 8254 18.09/18.14 c 5.34019 10.5195 599 228260 18.09/18.14 o 8206 18.09/18.20 c 5.35618 10.5195 491 228894 18.09/18.20 o 8166 18.99/19.03 c 5.57515 10.5195 752 238944 18.99/19.03 o 8142 19.59/19.60 c 5.75812 10.5195 475 244857 19.59/19.60 o 8112 20.49/20.56 c 6.05408 10.5195 359 256010 20.49/20.56 o 8090 20.69/20.71 c 6.09007 10.5195 736 257875 20.69/20.71 o 8061 20.80/20.82 c 6.12907 10.5195 869 259106 20.80/20.82 o 7993 20.90/20.96 c 6.17606 10.5195 364 260936 20.90/20.96 o 7958 21.19/21.21 c 6.24205 10.5195 685 263707 21.19/21.21 o 7941 21.99/22.04 c 6.48901 10.5195 714 272255 21.99/22.04 o 7840 22.39/22.41 c 6.596 10.5195 477 276438 22.39/22.41 o 7660 22.59/22.67 c 6.66899 10.5195 825 279205 22.59/22.67 o 7638 22.79/22.88 c 6.72398 10.5195 566 281653 22.79/22.88 o 7612 23.59/23.66 c 6.92195 10.5195 768 291028 23.59/23.66 o 7502 23.79/23.84 c 6.96694 10.5195 513 292354 23.79/23.84 o 7468 24.59/24.67 c 7.16391 10.5195 511 301438 24.59/24.67 o 7414 24.89/24.97 c 7.2489 10.5195 514 305168 24.89/24.97 o 7411 25.09/25.12 c 7.28989 10.5195 604 306808 25.09/25.12 o 7009 25.39/25.44 c 7.37388 10.5195 697 310818 25.39/25.44 o 7007 25.49/25.52 c 7.38888 10.5195 453 312261 25.49/25.52 o 6840 26.09/26.13 c 7.54585 10.5195 620 319013 26.09/26.13 o 6699 26.49/26.52 c 7.67083 10.5195 679 322665 26.49/26.52 o 6607 27.69/27.70 c 8.02778 10.5195 576 333070 27.69/27.70 o 6594 27.69/27.73 c 8.04178 10.5195 410 333705 27.69/27.73 o 6492 27.89/27.92 c 8.09377 10.5195 682 335221 27.89/27.92 o 6452 27.89/27.98 c 8.10977 10.5195 567 335850 27.89/27.98 o 6443 28.09/28.13 c 8.14476 10.5195 700 337018 28.09/28.13 o 6431 28.19/28.20 c 8.15976 10.5195 640 337821 28.19/28.20 o 6378 29.19/29.25 c 8.44971 10.5195 479 348381 29.19/29.25 o 6341 29.89/29.95 c 8.63269 10.6445 665 354744 29.89/29.95 o 6338 30.19/30.26 c 8.70768 10.6445 772 358017 30.19/30.26 o 6288 30.69/30.76 c 8.83666 10.6445 523 363093 30.69/30.76 o 6162 31.09/31.13 c 8.93064 10.6445 370 367621 31.09/31.13 o 6156 31.09/31.17 c 8.94164 10.6445 504 368008 31.09/31.17 o 6128 31.99/32.08 c 9.17261 10.6445 502 377287 31.99/32.08 o 5998 32.09/32.18 c 9.2006 10.6445 536 378341 32.09/32.18 o 5910 32.19/32.21 c 9.2086 10.6445 618 378597 32.19/32.21 o 5903 32.19/32.27 c 9.2196 10.6445 430 379128 32.19/32.27 o 5875 32.39/32.47 c 9.26659 10.6445 676 380675 32.39/32.47 o 5823 32.59/32.66 c 9.32358 10.6445 584 382530 32.59/32.66 o 5761 32.79/32.86 c 9.38557 10.6445 748 384831 32.79/32.86 o 5725 33.09/33.10 c 9.43656 10.6445 514 387214 33.09/33.10 o 5672 33.59/33.64 c 9.58954 10.6445 597 392198 33.59/33.64 o 5613 34.19/34.23 c 9.77751 10.6445 672 396440 34.19/34.23 o 5593 34.89/34.91 c 9.92949 10.6445 761 402916 34.89/34.91 o 5553 35.39/35.41 c 10.0565 10.6445 467 407875 35.39/35.41 o 5552 35.39/35.46 c 10.0685 10.6445 671 408438 35.39/35.46 o 5538 35.49/35.58 c 10.1035 10.6445 657 409392 35.49/35.58 o 5432 35.59/35.69 c 10.1335 10.6445 662 410504 35.59/35.69 o 5356 35.69/35.71 c 10.1435 10.6445 403 410994 35.69/35.71 o 5334 35.79/35.82 c 10.1715 10.6445 828 411952 35.79/35.82 o 5303 36.00/36.05 c 10.2284 10.6445 805 414226 36.00/36.05 o 5276 36.20/36.30 c 10.2764 10.6445 476 415834 36.20/36.30 o 5270 36.69/36.79 c 10.3974 10.6445 472 420881 36.69/36.79 o 5261 37.09/37.18 c 10.4944 10.6445 602 424799 37.09/37.18 o 5217 37.09/37.19 c 10.4954 10.6445 620 424982 37.09/37.19 o 5135 37.30/37.38 c 10.5334 10.6445 494 426755 37.30/37.38 o 5089 37.49/37.57 c 10.5624 10.6445 767 428555 37.49/37.57 o 5081 37.89/37.91 c 10.6674 10.6445 692 431369 37.89/37.91 o 4994 40.19/40.21 c 11.2833 10.6445 497 448390 40.19/40.21 o 4888 40.30/40.38 c 11.3313 10.6445 733 450220 40.30/40.38 o 4877 40.39/40.46 c 11.3583 10.6445 617 450904 40.39/40.46 o 4875 40.49/40.57 c 11.3913 10.6445 699 452054 40.49/40.57 o 4784 40.59/40.61 c 11.4013 10.6445 462 452549 40.59/40.61 o 4782 41.39/41.47 c 11.6072 10.7695 744 459606 41.39/41.47 o 4764 41.49/41.54 c 11.6232 10.7695 649 460464 41.49/41.54 o 4684 41.59/41.66 c 11.6632 10.7695 730 461642 41.59/41.66 o 4671 42.19/42.22 c 11.8382 10.7695 586 465736 42.19/42.22 o 4639 43.09/43.12 c 12.0642 10.7695 573 473143 43.09/43.12 o 4574 43.09/43.17 c 12.0742 10.7695 728 473677 43.09/43.17 o 4469 43.50/43.51 c 12.1641 10.7695 469 476874 43.50/43.51 o 4457 44.00/44.07 c 12.3131 10.7695 659 481504 44.00/44.07 o 4444 44.09/44.12 c 12.3241 10.7695 425 481956 44.09/44.12 o 4441 44.39/44.46 c 12.4021 10.7695 815 484993 44.39/44.46 o 4396 45.19/45.26 c 12.5981 10.7695 634 491527 45.19/45.26 o 4381 45.49/45.52 c 12.6831 10.7695 689 493622 45.49/45.52 o 4355 45.49/45.59 c 12.7031 10.7695 496 494205 45.49/45.59 o 4354 45.99/46.09 c 12.824 10.7695 713 498515 45.99/46.09 o 4263 46.69/46.78 c 12.978 10.7695 681 504431 46.69/46.78 o 4240 46.99/47.09 c 13.06 10.7695 861 506712 46.99/47.09 o 4229 47.39/47.46 c 13.156 10.7695 601 510319 47.39/47.46 o 4192 47.59/47.63 c 13.208 10.7695 838 511953 47.59/47.63 o 4081 48.40/48.41 c 13.398 10.7695 752 519239 48.40/48.41 o 4068 48.59/48.68 c 13.468 10.7695 591 522247 48.59/48.68 o 4033 48.99/49.07 c 13.5759 10.7695 875 525923 48.99/49.07 o 4011 49.19/49.20 c 13.6059 10.7695 484 527181 49.19/49.20 o 3847 49.59/49.64 c 13.7159 10.7695 555 530861 49.59/49.64 o 3826 49.79/49.80 c 13.7639 10.7695 660 532004 49.79/49.80 o 3809 49.99/50.04 c 13.8199 10.7695 657 533784 49.99/50.04 o 3798 50.09/50.13 c 13.8529 10.7695 554 534440 50.09/50.13 o 3734 50.19/50.24 c 13.8839 10.7695 568 535467 50.19/50.24 o 3693 50.79/50.85 c 14.0389 10.7695 484 539813 50.79/50.85 o 3568 51.30/51.30 c 14.1608 10.7695 530 543742 51.30/51.30 o 3545 51.60/51.60 c 14.2468 10.7695 604 545824 51.60/51.60 o 3524 51.70/51.73 c 14.2858 10.7695 634 546916 51.70/51.73 o 3504 51.89/51.94 c 14.3428 10.7695 859 548469 51.89/51.94 o 3468 51.99/52.04 c 14.3678 10.7695 768 549331 51.99/52.04 o 3441 52.19/52.27 c 14.4388 10.7695 447 551362 52.19/52.27 o 3437 52.29/52.34 c 14.4508 10.7695 700 552118 52.29/52.34 o 3413 52.39/52.44 c 14.4728 10.7695 641 553019 52.39/52.44 o 3361 55.09/55.18 c 15.1837 10.8906 571 571470 55.09/55.18 o 3346 55.29/55.31 c 15.2177 10.8906 486 572313 55.29/55.31 o 3328 55.29/55.35 c 15.2277 10.8906 625 572764 55.29/55.35 o 3322 55.39/55.46 c 15.2707 10.8906 562 573612 55.39/55.46 o 3297 55.69/55.72 c 15.3327 10.8906 579 575670 55.69/55.72 o 3169 55.89/55.90 c 15.3837 10.8906 697 576834 55.89/55.90 o 3136 55.99/56.02 c 15.4187 10.8906 725 578049 55.99/56.02 o 3104 56.49/56.52 c 15.5596 10.8906 718 581994 56.49/56.52 o 3095 56.49/56.55 c 15.5686 10.8906 435 582353 56.49/56.55 o 3091 56.69/56.72 c 15.6046 10.8906 497 583533 56.69/56.72 o 3041 56.89/56.92 c 15.6606 10.8906 743 585088 56.89/56.92 o 2998 56.89/56.98 c 15.6806 10.8906 509 585584 56.89/56.98 o 2960 57.20/57.25 c 15.7446 10.8906 660 587755 57.20/57.25 o 2951 57.39/57.44 c 15.7936 10.8906 831 589026 57.39/57.44 o 2899 57.49/57.52 c 15.8156 10.8906 669 589642 57.49/57.52 o 2874 57.49/57.55 c 15.8236 10.8906 764 589944 57.49/57.55 o 2797 57.59/57.62 c 15.8506 10.8906 596 590501 57.59/57.62 o 2763 57.59/57.67 c 15.8616 10.8906 745 590924 57.59/57.67 o 2728 57.79/57.80 c 15.9006 10.8906 706 591826 57.79/57.80 o 2727 57.79/57.86 c 15.9146 10.8906 474 592314 57.79/57.86 o 2714 57.89/57.90 c 15.9266 10.8906 617 592769 57.89/57.90 o 2711 57.89/57.99 c 15.9536 10.8906 491 593421 57.89/57.99 o 2668 57.99/58.08 c 15.9756 10.8906 845 594339 57.99/58.08 o 2648 58.09/58.11 c 15.9806 10.8906 485 594567 58.09/58.11 o 2601 58.09/58.16 c 15.9906 10.8906 641 594993 58.09/58.16 o 2565 58.49/58.54 c 16.0886 10.8906 543 597969 58.49/58.54 o 2564 58.59/58.63 c 16.1155 10.8906 809 598608 58.59/58.63 o 2546 59.09/59.19 c 16.2615 10.8906 544 602979 59.09/59.19 o 2529 59.19/59.25 c 16.2765 10.8906 742 603672 59.19/59.25 o 2409 59.30/59.31 c 16.2865 10.8906 499 604102 59.30/59.31 o 2369 59.30/59.37 c 16.3055 10.8906 673 604553 59.30/59.37 o 2340 59.40/59.45 c 16.3275 10.8906 512 605056 59.40/59.45 o 2315 59.59/59.65 c 16.3795 10.8906 769 606727 59.59/59.65 o 2313 59.79/59.82 c 16.4295 10.8906 851 607971 59.79/59.82 o 2266 59.99/60.03 c 16.4935 10.8906 651 609378 59.99/60.03 o 2238 60.09/60.15 c 16.5345 10.8906 619 610395 60.09/60.15 o 2230 60.19/60.22 c 16.5575 10.8906 811 610917 60.19/60.22 o 2179 60.29/60.34 c 16.5915 10.8906 744 611669 60.29/60.34 o 2135 60.29/60.38 c 16.6055 10.8906 463 612067 60.29/60.38 o 2096 60.29/60.39 c 16.6095 10.8906 494 612206 60.29/60.39 o 2077 60.40/60.41 c 16.6155 11.0078 537 612329 60.40/60.41 o 2075 60.40/60.46 c 16.6275 11.0078 692 612699 60.40/60.46 o 2062 60.50/60.51 c 16.6365 11.0078 439 613149 60.50/60.51 o 2031 60.69/60.75 c 16.6945 11.0078 745 615002 60.69/60.75 o 1954 60.69/60.77 c 16.6985 11.0078 791 615127 60.69/60.77 o 1952 60.89/60.98 c 16.7495 11.0078 612 616576 60.89/60.98 o 1940 60.89/60.99 c 16.7505 11.0078 636 616697 60.89/60.99 o 1916 60.99/61.08 c 16.7754 11.0078 481 617397 60.99/61.08 o 1893 61.09/61.12 c 16.7814 11.0078 568 617571 61.09/61.12 o 1880 61.09/61.17 c 16.7904 11.0078 725 618004 61.09/61.17 o 1852 61.50/61.51 c 16.8884 11.0078 824 620217 61.50/61.51 o 1848 61.50/61.52 c 16.8924 11.0078 443 620417 61.50/61.52 o 1713 61.50/61.55 c 16.8994 11.0078 516 620768 61.50/61.55 o 1523 61.50/61.59 c 16.9114 11.0078 655 621046 61.50/61.59 o 1522 61.79/61.85 c 16.9774 11.0078 604 622549 61.79/61.85 o 1469 61.99/62.09 c 17.0414 11.0078 583 624318 61.99/62.09 o 1459 62.09/62.19 c 17.0724 11.0078 867 625051 62.09/62.19 o 1371 62.29/62.34 c 17.1074 11.0078 503 626297 62.29/62.34 o 1287 62.29/62.38 c 17.1164 11.0078 619 626594 62.29/62.38 o 1254 62.39/62.40 c 17.1244 11.0078 704 626861 62.39/62.40 o 1152 62.39/62.43 c 17.1354 11.0078 782 627041 62.39/62.43 o 1150 62.39/62.46 c 17.1424 11.0078 862 627264 62.39/62.46 o 1084 62.39/62.49 c 17.1524 11.0078 519 627428 62.39/62.49 o 1072 62.49/62.51 c 17.1574 11.0078 582 627681 62.49/62.51 o 1000 62.49/62.56 c 17.1764 11.0078 774 628042 62.49/62.56 o 988 62.60/62.61 c 17.1864 11.0078 506 628457 62.60/62.61 o 932 62.60/62.64 c 17.1924 11.0078 581 628769 62.60/62.64 o 759 62.60/62.65 c 17.1974 11.0078 610 628852 62.60/62.65 o 748 62.70/62.70 c 17.2144 11.0078 792 629359 62.70/62.70 o 647 62.70/62.76 c 17.2344 11.1328 1001 629779 62.70/62.76 o 630 62.79/62.84 c 17.2604 11.1328 811 630351 62.79/62.84 o 604 62.79/62.85 c 17.2654 11.1328 847 630481 62.79/62.85 o 563 62.79/62.89 c 17.2814 11.1328 1013 630895 62.79/62.89 o 465 62.79/62.89 c 17.2854 11.1328 1051 630986 62.79/62.89 o 452 62.89/62.90 c 17.2874 11.1328 1090 631068 62.89/62.90 o 417 62.89/62.91 c 17.2924 11.1328 1087 631168 62.89/62.91 o 407 62.89/62.94 c 17.2984 11.1328 1188 631338 62.89/62.94 o 391 62.89/62.94 c 17.2994 11.1328 1203 631392 62.89/62.94 o 364 62.89/62.94 c 17.3004 11.1328 1209 631417 62.89/62.94 o 359 62.89/62.94 c 17.3004 11.1328 1225 631528 62.89/62.94 o 260 62.89/62.96 c 17.3094 11.1328 680 631694 62.89/62.96 o 253 62.89/62.96 c 17.3094 11.1328 671 631744 62.89/62.96 o 244 62.89/62.97 c 17.3134 11.1328 730 631863 62.89/62.97 o 185 62.89/62.98 c 17.3164 11.1328 759 631898 62.89/62.98 o 184 62.89/62.98 c 17.3164 11.1328 759 631912 62.89/62.98 o 168 62.89/62.98 c 17.3194 11.1328 790 632021 62.89/62.98 o 82 62.89/62.98 c 17.3194 11.1328 559 632031 62.89/62.98 s OPTIMUM FOUND 62.89/62.98 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 82
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700132-1278534103/watcher-2700132-1278534103 -o /tmp/evaluation-result-2700132-1278534103/solver-2700132-1278534103 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700132-1278534103.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: 5.19 2.80 1.15 4/186 17772 /proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=2136 CPUtime=0 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 253 0 0 0 0 0 0 0 23 0 1 0 21625397 2187264 173 4089446400 134512640 136421960 4291525568 18446744073709551615 135162379 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17772/statm: 534 173 144 467 0 65 0 [startup+0.022656 s] /proc/loadavg: 5.19 2.80 1.15 4/186 17772 /proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=6084 CPUtime=0.01 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 1232 0 0 0 1 0 0 0 25 0 1 0 21625397 6230016 1152 4089446400 134512640 136421960 4291525568 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 1521 1152 193 467 0 1052 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6084 [startup+0.100642 s] /proc/loadavg: 5.19 2.80 1.15 4/186 17772 /proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10256 CPUtime=0.09 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2275 0 0 0 5 4 0 0 25 0 1 0 21625397 10502144 2191 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2564 2191 238 467 0 2095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10256 [startup+0.300601 s] /proc/loadavg: 5.19 2.80 1.15 4/186 17772 /proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10256 CPUtime=0.29 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2298 0 0 0 12 17 0 0 25 0 1 0 21625397 10502144 2214 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2564 2214 238 467 0 2095 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10256 [startup+0.70093 s] /proc/loadavg: 5.19 2.80 1.15 4/186 17772 /proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10384 CPUtime=0.68 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2320 0 0 0 23 45 0 0 25 0 1 0 21625397 10633216 2236 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2596 2236 238 467 0 2127 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 10384 [startup+1.50056 s] /proc/loadavg: 5.42 2.88 1.18 3/187 17773 /proc/meminfo: memFree=29544272/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10384 CPUtime=1.48 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2322 0 0 0 49 99 0 0 25 0 1 0 21625397 10633216 2236 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2596 2236 238 467 0 2127 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10384 [startup+3.10007 s] /proc/loadavg: 5.42 2.88 1.18 5/187 17773 /proc/meminfo: memFree=29544148/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10384 CPUtime=3.08 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2341 0 0 0 93 215 0 0 25 0 1 0 21625397 10633216 2251 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2596 2251 238 467 0 2127 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10384 [startup+6.30047 s] /proc/loadavg: 5.70 2.98 1.22 3/187 17773 /proc/meminfo: memFree=29544504/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10512 CPUtime=6.29 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2377 0 0 0 182 447 0 0 25 0 1 0 21625397 10764288 2281 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2628 2281 238 467 0 2159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10512 [startup+12.7003 s] /proc/loadavg: 5.57 3.00 1.24 3/187 17780 /proc/meminfo: memFree=29543356/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10640 CPUtime=12.69 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2413 0 0 0 368 901 0 0 25 0 1 0 21625397 10895360 2302 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2660 2302 238 467 0 2191 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10640 [startup+25.5008 s] /proc/loadavg: 5.39 3.08 1.29 6/187 17780 /proc/meminfo: memFree=29543460/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=10768 CPUtime=25.49 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2475 0 0 0 738 1811 0 0 25 0 1 0 21625397 11026432 2337 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2692 2337 238 467 0 2223 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10768 [startup+51.101 s] /proc/loadavg: 4.56 3.07 1.34 6/187 17781 /proc/meminfo: memFree=29542560/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=11024 CPUtime=51.1 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2626 0 0 0 1410 3700 0 0 25 0 1 0 21625397 11288576 2415 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2756 2415 238 467 0 2287 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 11024 Solver just ended. Dumping a history of the last processes samples [startup+57.5008 s] /proc/loadavg: 4.76 3.14 1.37 6/187 17781 /proc/meminfo: memFree=29542664/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=11148 CPUtime=57.49 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2667 0 0 0 1580 4169 0 0 25 0 1 0 21625397 11415552 2434 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2787 2434 238 467 0 2318 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 11148 [startup+60.7002 s] /proc/loadavg: 4.94 3.20 1.40 4/187 17781 /proc/meminfo: memFree=29542416/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=11268 CPUtime=60.69 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2718 0 0 0 1668 4401 0 0 25 0 1 0 21625397 11538432 2456 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2817 2456 238 467 0 2348 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 11268 [startup+62.3009 s] /proc/loadavg: 4.94 3.20 1.40 3/187 17782 /proc/meminfo: memFree=29542292/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=11268 CPUtime=62.29 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2746 0 0 0 1709 4520 0 0 25 0 1 0 21625397 11538432 2470 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2817 2470 238 467 0 2348 0 Current children cumulated CPU time (s) 62.29 Current children cumulated vsize (KiB) 11268 [startup+62.7062 s] /proc/loadavg: 4.94 3.20 1.40 3/187 17782 /proc/meminfo: memFree=29542168/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=11268 CPUtime=62.7 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2770 0 0 0 1721 4549 0 0 25 0 1 0 21625397 11538432 2483 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2817 2483 238 467 0 2348 0 Current children cumulated CPU time (s) 62.7 Current children cumulated vsize (KiB) 11268 [startup+62.9008 s] /proc/loadavg: 4.94 3.20 1.40 3/187 17782 /proc/meminfo: memFree=29542168/32951124 swapFree=67111528/67111528 [pid=17772] ppid=17770 vsize=11396 CPUtime=62.89 /proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2783 0 0 0 1728 4561 0 0 25 0 1 0 21625397 11669504 2490 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17772/statm: 2849 2490 238 467 0 2380 0 Current children cumulated CPU time (s) 62.89 Current children cumulated vsize (KiB) 11396 Child status: 0 Real time (s): 62.9945 CPU time (s): 62.9944 CPU user time (s): 17.3284 CPU system time (s): 45.6661 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 11396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3284 system time used= 45.6661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2810 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= 106 runsolver used 0.099984 second user time and 0.209968 second system time The end
Begin job on node102 at 2010-07-07 22:21:43 IDJOB=2700132 IDBENCH=79402 IDSOLVER=1208 FILE ID=node102/2700132-1278534103 PBS_JOBID= 11239273 Free space on /tmp= 72980 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh219_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700132-1278534103/watcher-2700132-1278534103 -o /tmp/evaluation-result-2700132-1278534103/solver-2700132-1278534103 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700132-1278534103.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a308225f12d2c01751496daa1233c60 RANDOM SEED=1267837110 node102.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.806 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.61 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.806 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.806 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.82 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.806 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.806 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.85 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.806 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.806 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.806 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 : 5397.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29552984 kB Buffers: 132840 kB Cached: 2984988 kB SwapCached: 0 kB Active: 1140860 kB Inactive: 2066204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29552984 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2000 kB Writeback: 0 kB AnonPages: 89836 kB Mapped: 19000 kB Slab: 127200 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 304692 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= 72976 MiB End job on node102 at 2010-07-07 22:22:47