Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -18 | 180.811 | 180.862 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | c9380923d34e254cfa512f89027f1d42 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41095 |
Number of constraints which are clauses | 41095 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656072-1276490479.opb. 0.00/0.00 c Instance file HOME/instance-2656072-1276490479.opb 0.00/0.00 c File size is 980618 bytes. 0.09/0.13 c Highest Coefficient sum: 3 0.09/0.13 c ============================[ Problem Statistics ]============================= 0.09/0.13 c | | 0.09/0.13 c | Parsing time: 0.13 s | 0.09/0.13 c | Number Variables: 760 | 0.09/0.13 c | Number Clauses: 41095 | 0.09/0.13 c | Number Cardinality: 0 | 0.09/0.13 c | Number PB Constraints: 0 | 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 760 41095 82190 | 13698 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 760 0.19/0.23 o 760 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 760 41096 82950 | 13698 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 759 0.19/0.23 o 759 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 760 41097 83710 | 13699 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 758 0.19/0.24 o 758 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 12 | 760 41098 84470 | 13699 12 752 | 0.000 % | 0.19/0.28 c | 119 | 760 41098 84470 | 15069 119 752 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 757 0.19/0.29 o 757 0.19/0.29 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 123 | 760 41099 85230 | 13699 123 752 | 0.000 % | 0.19/0.30 c =============================================================================== 0.19/0.30 c New solution: 756 0.19/0.30 o 756 0.19/0.30 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s 0.19/0.30 c =============================================================================== 0.19/0.30 c | 141 | 760 41100 85990 | 13700 141 752 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 755 0.29/0.32 o 755 0.29/0.32 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 240 | 760 41101 86750 | 13700 240 752 | 0.000 % | 0.29/0.34 c | 342 | 760 41101 86750 | 15070 342 752 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 754 0.29/0.37 o 754 0.29/0.37 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 428 | 760 41102 87510 | 13700 428 752 | 0.000 % | 0.29/0.40 c | 528 | 760 41102 87510 | 15070 528 751 | 0.000 % | 0.39/0.44 c | 678 | 760 41102 87510 | 16577 678 751 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 753 0.39/0.45 o 753 0.39/0.45 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 715 | 760 41103 88270 | 13701 715 751 | 0.000 % | 0.39/0.48 c | 815 | 760 41103 88270 | 15071 815 751 | 0.000 % | 0.50/0.51 c =============================================================================== 0.50/0.51 c New solution: 752 0.50/0.51 o 752 0.50/0.51 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s 0.50/0.51 c =============================================================================== 0.50/0.51 c | 865 | 760 41104 89030 | 13701 865 751 | 0.000 % | 0.50/0.54 c | 965 | 760 41104 89030 | 15071 965 751 | 0.000 % | 0.50/0.59 c | 1116 | 760 41104 89030 | 16578 1116 750 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 751 0.59/0.63 o 751 0.59/0.63 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 1205 | 760 41105 89790 | 13701 1205 750 | 0.000 % | 0.59/0.67 c | 1307 | 760 41105 89790 | 15071 1307 750 | 0.000 % | 0.69/0.74 c | 1457 | 760 41105 89790 | 16579 1457 750 | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 750 0.79/0.80 o 750 0.79/0.80 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 1597 | 760 41106 90550 | 13702 1597 750 | 0.000 % | 0.79/0.84 c | 1699 | 760 41106 90550 | 15072 1699 750 | 0.000 % | 0.89/0.91 c | 1851 | 760 41106 90550 | 16579 1851 749 | 0.000 % | 0.89/0.98 c | 2076 | 760 41106 90550 | 18237 2076 749 | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: 749 1.10/1.11 o 749 1.10/1.11 c Elapsed CPU time: 1.07484 s Remaining CPU time: 178.925 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 2390 | 760 41107 91310 | 13702 2390 749 | 0.000 % | 1.10/1.17 c | 2490 | 760 41107 91310 | 15072 2490 749 | 0.000 % | 1.19/1.22 c | 2640 | 760 41107 91310 | 16579 2640 749 | 0.000 % | 1.30/1.32 c | 2865 | 760 41107 91310 | 18237 2865 748 | 0.000 % | 1.49/1.50 c | 3202 | 760 41107 91310 | 20061 3202 748 | 0.000 % | 1.69/1.78 c | 3709 | 760 41107 91310 | 22067 3709 748 | 0.000 % | 2.20/2.23 c | 4469 | 760 41107 91310 | 24274 4469 747 | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c New solution: 748 2.29/2.30 o 748 2.29/2.30 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s 2.29/2.30 c =============================================================================== 2.29/2.30 c | 4568 | 760 41108 92070 | 13702 4568 747 | 0.000 % | 2.29/2.37 c | 4671 | 760 41108 92070 | 15072 4671 747 | 0.000 % | 2.39/2.46 c | 4822 | 760 41108 92070 | 16580 4822 747 | 0.000 % | 2.59/2.61 c | 5047 | 760 41108 92070 | 18238 5047 747 | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: 747 2.69/2.74 o 747 2.69/2.74 c Elapsed CPU time: 2.67959 s Remaining CPU time: 177.32 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 5233 | 760 41109 92830 | 13703 5233 747 | 0.000 % | 2.79/2.82 c | 5334 | 760 41109 92830 | 15073 5334 747 | 0.000 % | 2.89/2.93 c | 5484 | 760 41109 92830 | 16580 5484 747 | 0.000 % | 3.09/3.11 c | 5713 | 760 41109 92830 | 18238 5713 747 | 0.000 % | 3.39/3.40 c | 6055 | 760 41109 92830 | 20062 6055 747 | 0.000 % | 3.79/3.87 c | 6561 | 760 41109 92830 | 22068 6561 746 | 0.000 % | 4.69/4.73 c | 7324 | 760 41109 92830 | 24275 7324 746 | 0.000 % | 5.69/5.79 c | 8464 | 760 41109 92830 | 26703 8464 746 | 0.000 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: 746 6.79/6.83 o 746 6.79/6.83 c Elapsed CPU time: 6.74097 s Remaining CPU time: 173.259 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 9788 | 760 41110 93590 | 13703 9788 746 | 0.000 % | 6.79/6.88 c | 9889 | 760 41110 93590 | 15073 9889 746 | 0.000 % | 7.19/7.26 c | 10039 | 760 41110 93590 | 16581 10039 745 | 0.000 % | 7.49/7.59 c | 10267 | 760 41110 93590 | 18239 10267 745 | 0.000 % | 7.79/7.88 c | 10604 | 760 41110 93590 | 20063 10604 745 | 0.000 % | 8.19/8.27 c | 11112 | 760 41110 93590 | 22069 11112 745 | 0.000 % | 8.70/8.72 c =============================================================================== 8.70/8.72 c New solution: 745 8.70/8.72 o 745 8.70/8.72 c Elapsed CPU time: 8.61069 s Remaining CPU time: 171.389 s 8.70/8.72 c =============================================================================== 8.70/8.72 c | 11689 | 760 41111 94350 | 13703 11689 745 | 0.000 % | 8.79/8.89 c | 11791 | 760 41111 94350 | 15074 11791 745 | 0.000 % | 9.09/9.11 c | 11942 | 760 41111 94350 | 16581 11942 745 | 0.000 % | 9.49/9.53 c | 12167 | 760 41111 94350 | 18239 12167 745 | 0.000 % | 9.89/9.98 c | 12506 | 760 41111 94350 | 20063 12506 745 | 0.000 % | 10.39/10.50 c | 13013 | 760 41111 94350 | 22069 13013 745 | 0.000 % | 11.09/11.17 c | 13773 | 760 41111 94350 | 24276 13773 745 | 0.000 % | 13.89/13.93 c | 14913 | 760 41111 94350 | 26704 14913 745 | 0.000 % | 18.28/18.35 c | 16621 | 760 41111 94350 | 29375 16621 744 | 0.000 % | 24.28/24.37 c | 19183 | 760 41111 94350 | 32312 19183 744 | 0.000 % | 32.18/32.28 c | 23027 | 760 41111 94350 | 35543 23027 744 | 0.000 % | 39.78/39.83 c =============================================================================== 39.78/39.83 c New solution: 744 39.78/39.83 o 744 39.78/39.83 c Elapsed CPU time: 39.566 s Remaining CPU time: 140.434 s 39.78/39.83 c =============================================================================== 39.78/39.83 c | 24946 | 760 41112 95110 | 13704 24946 744 | 0.000 % | 40.59/40.70 c | 25047 | 760 41112 95110 | 15074 10886 742 | 0.000 % | 40.68/40.77 c | 25198 | 760 41112 95110 | 16581 11037 742 | 0.000 % | 40.78/40.89 c | 25423 | 760 41112 95110 | 18240 11262 742 | 0.000 % | 41.28/41.34 c | 25761 | 760 41112 95110 | 20064 11600 742 | 0.000 % | 42.18/42.24 c | 26268 | 760 41112 95110 | 22070 12107 742 | 0.000 % | 42.79/42.88 c | 27027 | 760 41112 95110 | 24277 12866 742 | 0.000 % | 44.48/44.56 c | 28167 | 760 41112 95110 | 26705 14006 742 | 0.000 % | 49.78/49.88 c | 29878 | 760 41112 95110 | 29375 15717 742 | 0.000 % | 55.37/55.40 c | 32442 | 760 41112 95110 | 32313 18281 742 | 0.000 % | 70.47/70.58 c =============================================================================== 70.47/70.58 c New solution: 743 70.47/70.58 o 743 70.47/70.58 c Elapsed CPU time: 70.1903 s Remaining CPU time: 109.81 s 70.47/70.58 c =============================================================================== 70.47/70.58 c | 35833 | 760 41113 95870 | 13704 21672 742 | 0.000 % | 70.97/71.09 c | 35934 | 760 41113 95870 | 15074 10726 741 | 0.000 % | 71.57/71.64 c | 36084 | 760 41113 95870 | 16582 10876 741 | 0.000 % | 72.27/72.33 c | 36311 | 760 41113 95870 | 18240 11103 741 | 0.000 % | 73.37/73.44 c | 36649 | 760 41113 95870 | 20064 11441 741 | 0.000 % | 74.78/74.84 c | 37156 | 760 41113 95870 | 22070 11948 741 | 0.000 % | 77.27/77.39 c | 37915 | 760 41113 95870 | 24278 12707 741 | 0.000 % | 80.67/80.79 c | 39054 | 760 41113 95870 | 26705 13846 741 | 0.000 % | 81.67/81.73 c =============================================================================== 81.67/81.73 c New solution: 742 81.67/81.74 o 742 81.67/81.74 c Elapsed CPU time: 81.3016 s Remaining CPU time: 98.6984 s 81.67/81.74 c =============================================================================== 81.67/81.74 c | 39278 | 760 41114 96630 | 13704 14070 741 | 0.000 % | 81.97/82.01 c | 39379 | 760 41114 96630 | 15075 7136 740 | 0.000 % | 82.47/82.56 c | 39530 | 760 41114 96630 | 16582 7287 740 | 0.000 % | 82.97/83.07 c | 39757 | 760 41114 96630 | 18240 7514 740 | 0.000 % | 83.87/83.97 c | 40096 | 760 41114 96630 | 20065 7853 740 | 0.000 % | 85.26/85.33 c | 40604 | 760 41114 96630 | 22071 8361 740 | 0.000 % | 87.57/87.67 c | 41365 | 760 41114 96630 | 24278 9122 740 | 0.000 % | 92.87/92.91 c | 42508 | 760 41114 96630 | 26706 10265 740 | 0.000 % | 96.77/96.82 c | 44218 | 760 41114 96630 | 29377 11975 740 | 0.000 % | 108.56/108.65 c | 46780 | 760 41114 96630 | 32314 14537 740 | 0.000 % | 132.65/132.73 c | 50625 | 760 41114 96630 | 35546 18382 739 | 0.000 % | 143.35/143.45 c | 56391 | 760 41114 96630 | 39101 24148 739 | 0.000 % | 160.15/160.20 c | 65040 | 760 41114 96630 | 43011 32797 739 | 0.000 % | 180.64/180.73 c There are 0 assigned variables. 0 in cost function. 180.74/180.83 c core #1 180.74/180.83 c #cores: 1 180.74/180.83 c Final Weight: 742 180.74/180.83 o 742 180.74/180.83 s OPTIMUM FOUND 180.74/180.83 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.74/180.83 c Total CPU time: 180.103 s
OK -18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656072-1276490479/watcher-2656072-1276490479 -o /tmp/evaluation-result-2656072-1276490479/solver-2656072-1276490479 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656072-1276490479.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/106 27394 /proc/meminfo: memFree=1737664/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=3672 CPUtime=0 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 309 0 0 0 0 0 0 0 20 0 1 0 24651765 3760128 227 1992294400 134512640 135751879 4293960848 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 918 227 145 303 0 373 0 [startup+0.0964281 s] /proc/loadavg: 0.92 0.98 0.99 2/106 27394 /proc/meminfo: memFree=1737664/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=4968 CPUtime=0.09 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 793 0 0 0 9 0 0 0 20 0 1 0 24651765 5087232 711 1992294400 134512640 135751879 4293960848 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 1242 711 305 303 0 697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4968 [startup+0.101428 s] /proc/loadavg: 0.92 0.98 0.99 2/106 27394 /proc/meminfo: memFree=1737664/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=4968 CPUtime=0.09 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 816 0 0 0 9 0 0 0 20 0 1 0 24651765 5087232 734 1992294400 134512640 135751879 4293960848 18446744073709551615 135379312 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 1242 734 314 303 0 697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4968 [startup+0.301447 s] /proc/loadavg: 0.92 0.98 0.99 2/106 27394 /proc/meminfo: memFree=1737664/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=7500 CPUtime=0.29 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 1743 0 0 0 28 1 0 0 20 0 1 0 24651765 7680000 1388 1992294400 134512640 135751879 4293960848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 1875 1388 147 303 0 1570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7500 [startup+0.701485 s] /proc/loadavg: 0.92 0.98 0.99 2/106 27394 /proc/meminfo: memFree=1737664/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=9216 CPUtime=0.69 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 2186 0 0 0 67 2 0 0 21 0 1 0 24651765 9437184 1831 1992294400 134512640 135751879 4293960848 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 2304 1831 147 303 0 1999 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9216 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/107 27395 /proc/meminfo: memFree=1728480/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=14900 CPUtime=1.49 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 3603 0 0 0 145 4 0 0 23 0 1 0 24651765 15257600 3248 1992294400 134512640 135751879 4293960848 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 3725 3248 147 303 0 3420 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14900 [startup+3.10171 s] /proc/loadavg: 0.93 0.98 0.99 2/107 27395 /proc/meminfo: memFree=1721536/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=22568 CPUtime=3.09 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 5537 0 0 0 303 6 0 0 25 0 1 0 24651765 23109632 5182 1992294400 134512640 135751879 4293960848 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 5642 5182 147 303 0 5337 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22568 [startup+6.30102 s] /proc/loadavg: 0.93 0.98 0.99 2/107 27395 /proc/meminfo: memFree=1710128/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=32748 CPUtime=6.29 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 8061 0 0 0 621 8 0 0 25 0 1 0 24651765 33533952 7706 1992294400 134512640 135751879 4293960848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 8187 7706 147 303 0 7882 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32748 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/107 27395 /proc/meminfo: memFree=1691280/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=49240 CPUtime=12.69 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 12164 0 0 0 1255 14 0 0 25 0 1 0 24651765 50421760 11809 1992294400 134512640 135751879 4293960848 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 12310 11809 147 303 0 12005 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49240 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 27395 /proc/meminfo: memFree=1674664/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=65392 CPUtime=25.49 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 16206 0 0 0 2529 20 0 0 25 0 1 0 24651765 66961408 15851 1992294400 134512640 135751879 4293960848 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 16348 15851 147 303 0 16043 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65392 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 27397 /proc/meminfo: memFree=1642052/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=98216 CPUtime=51.08 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 24381 0 0 0 5077 31 0 0 25 0 1 0 24651765 100573184 24026 1992294400 134512640 135751879 4293960848 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 24554 24026 148 303 0 24249 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98216 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 27397 /proc/meminfo: memFree=1593196/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=146472 CPUtime=102.27 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 36429 0 0 0 10179 48 0 0 25 0 1 0 24651765 149987328 36074 1992294400 134512640 135751879 4293960848 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 36618 36074 148 303 0 36313 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 146472 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1532932/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=206964 CPUtime=162.24 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 51488 0 0 0 16161 63 0 0 25 0 1 0 24651765 211931136 51133 1992294400 134512640 135751879 4293960848 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 51741 51133 148 303 0 51436 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 206964 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1529956/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=209872 CPUtime=166.25 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 52226 0 0 0 16560 65 0 0 25 0 1 0 24651765 214908928 51871 1992294400 134512640 135751879 4293960848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 52468 51871 148 303 0 52163 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 209872 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1526484/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=213064 CPUtime=172.65 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 53026 0 0 0 17198 67 0 0 25 0 1 0 24651765 218177536 52671 1992294400 134512640 135751879 4293960848 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 53266 52671 148 303 0 52961 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 213064 [startup+175.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1525120/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=214384 CPUtime=175.85 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 53361 0 0 0 17518 67 0 0 25 0 1 0 24651765 219529216 53006 1992294400 134512640 135751879 4293960848 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 53596 53006 148 303 0 53291 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 214384 [startup+179.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1524252/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=215848 CPUtime=179.04 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 53730 0 0 0 17836 68 0 0 25 0 1 0 24651765 221028352 53375 1992294400 134512640 135751879 4293960848 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 53962 53375 148 303 0 53657 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 215848 [startup+179.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1523632/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=216112 CPUtime=179.84 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 53786 0 0 0 17916 68 0 0 25 0 1 0 24651765 221298688 53431 1992294400 134512640 135751879 4293960848 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 54028 53431 148 303 0 53723 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 216112 [startup+180.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1523260/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=216244 CPUtime=180.25 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 53829 0 0 0 17957 68 0 0 25 0 1 0 24651765 221433856 53474 1992294400 134512640 135751879 4293960848 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 54061 53474 148 303 0 53756 0 Current children cumulated CPU time (s) 180.25 Current children cumulated vsize (KiB) 216244 [startup+180.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1523260/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=216508 CPUtime=180.64 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 53885 0 0 0 17996 68 0 0 25 0 1 0 24651765 221704192 53530 1992294400 134512640 135751879 4293960848 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 54127 53530 148 303 0 53822 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 216508 [startup+180.802 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27399 /proc/meminfo: memFree=1523260/2059040 swapFree=4140388/4192956 [pid=27394] ppid=27392 vsize=218376 CPUtime=180.74 /proc/27394/stat : 27394 (wbo1.4b) R 27392 27394 27369 0 -1 4202496 54313 0 0 0 18006 68 0 0 25 0 1 0 24651765 223617024 53958 1992294400 134512640 135751879 4293960848 18446744073709551615 134521914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27394/statm: 54594 53958 149 303 0 54289 0 Current children cumulated CPU time (s) 180.74 Current children cumulated vsize (KiB) 218376 Child status: 0 Real time (s): 180.862 CPU time (s): 180.811 CPU user time (s): 180.103 CPU system time (s): 0.707892 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 218376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.103 system time used= 0.707892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54314 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= 567 runsolver used 0.269958 second user time and 0.892864 second system time The end
Begin job on node004 at 2010-06-14 06:41:19 IDJOB=2656072 IDBENCH=2241 IDSOLVER=1161 FILE ID=node004/2656072-1276490479 PBS_JOBID= 11173400 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656072-1276490479/watcher-2656072-1276490479 -o /tmp/evaluation-result-2656072-1276490479/solver-2656072-1276490479 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656072-1276490479.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42 RANDOM SEED=1711458609 node004.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1738192 kB Buffers: 95548 kB Cached: 143644 kB SwapCached: 6684 kB Active: 102284 kB Inactive: 150372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1738192 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 3624 kB Writeback: 32 kB AnonPages: 11128 kB Mapped: 12952 kB Slab: 46456 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182524 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node004 at 2010-06-14 06:44:20