Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -19 | 180.834 | 180.895 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 9984e76947bf9addca42277d72ff7107 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -36 |
Best CPU time to get the best result obtained on this benchmark | 1789.94 |
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 | YES |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
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-2656008-1276492028.opb. 0.00/0.00 c Instance file HOME/instance-2656008-1276492028.opb 0.00/0.00 c File size is 987647 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: 41314 | 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 41314 82628 | 13771 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.228965 s Remaining CPU time: 179.771 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 760 41315 83388 | 13771 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 759 0.19/0.24 o 759 0.19/0.24 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 760 41316 84148 | 13772 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.239963 s Remaining CPU time: 179.76 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 12 | 760 41317 84908 | 13772 12 752 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 757 0.19/0.27 o 757 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 85 | 760 41318 85668 | 13772 85 752 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 756 0.19/0.29 o 756 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 148 | 760 41319 86428 | 13773 148 751 | 0.000 % | 0.29/0.31 c | 250 | 760 41319 86428 | 15150 250 751 | 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.316951 s Remaining CPU time: 179.683 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 260 | 760 41320 87188 | 13773 260 751 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 754 0.29/0.35 o 754 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 344 | 760 41321 87948 | 13773 344 751 | 0.000 % | 0.29/0.38 c | 445 | 760 41321 87948 | 15151 445 751 | 0.000 % | 0.39/0.42 c | 596 | 760 41321 87948 | 16666 596 750 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 753 0.39/0.44 o 753 0.39/0.44 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 627 | 760 41322 88708 | 13774 627 750 | 0.000 % | 0.39/0.47 c | 729 | 760 41322 88708 | 15151 729 750 | 0.000 % | 0.49/0.52 c | 879 | 760 41322 88708 | 16666 879 750 | 0.000 % | 0.59/0.60 c | 1104 | 760 41322 88708 | 18333 1104 750 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 752 0.59/0.61 o 752 0.59/0.61 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 1104 | 760 41323 89468 | 13774 1104 750 | 0.000 % | 0.59/0.65 c | 1204 | 760 41323 89468 | 15151 1204 750 | 0.000 % | 0.69/0.72 c | 1355 | 760 41323 89468 | 16666 1355 749 | 0.000 % | 0.79/0.81 c | 1583 | 760 41323 89468 | 18333 1583 749 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 751 0.79/0.83 o 751 0.79/0.83 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 1599 | 760 41324 90228 | 13774 1599 749 | 0.000 % | 0.79/0.87 c | 1699 | 760 41324 90228 | 15152 1699 749 | 0.000 % | 0.89/0.94 c | 1850 | 760 41324 90228 | 16667 1850 749 | 0.000 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: 750 1.00/1.00 o 750 1.00/1.00 c Elapsed CPU time: 0.973851 s Remaining CPU time: 179.026 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 1987 | 760 41325 90988 | 13775 1987 749 | 0.000 % | 1.00/1.05 c | 2087 | 760 41325 90988 | 15152 2087 749 | 0.000 % | 1.10/1.12 c | 2237 | 760 41325 90988 | 16667 2237 748 | 0.000 % | 1.19/1.28 c | 2462 | 760 41325 90988 | 18334 2462 748 | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c New solution: 749 1.29/1.37 o 749 1.29/1.37 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s 1.29/1.37 c =============================================================================== 1.29/1.37 c | 2602 | 760 41326 91748 | 13775 2602 748 | 0.000 % | 1.39/1.42 c | 2702 | 760 41326 91748 | 15152 2702 748 | 0.000 % | 1.49/1.50 c | 2853 | 760 41326 91748 | 16668 2853 748 | 0.000 % | 1.59/1.62 c | 3078 | 760 41326 91748 | 18334 3078 748 | 0.000 % | 1.68/1.75 c =============================================================================== 1.68/1.75 c New solution: 748 1.68/1.75 o 748 1.68/1.75 c Elapsed CPU time: 1.71074 s Remaining CPU time: 178.289 s 1.68/1.75 c =============================================================================== 1.68/1.75 c | 3309 | 760 41327 92508 | 13775 3309 747 | 0.000 % | 1.79/1.82 c | 3409 | 760 41327 92508 | 15153 3409 747 | 0.000 % | 1.89/1.91 c | 3561 | 760 41327 92508 | 16668 3561 747 | 0.000 % | 1.99/2.07 c | 3787 | 760 41327 92508 | 18335 3787 747 | 0.000 % | 2.29/2.32 c | 4125 | 760 41327 92508 | 20168 4125 747 | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c New solution: 747 2.49/2.53 o 747 2.49/2.53 c Elapsed CPU time: 2.47862 s Remaining CPU time: 177.521 s 2.49/2.53 c =============================================================================== 2.49/2.53 c | 4474 | 760 41328 93268 | 13776 4474 747 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 746 2.49/2.58 o 746 2.49/2.58 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 4532 | 760 41329 94028 | 13776 4532 746 | 0.000 % | 2.59/2.66 c | 4632 | 760 41329 94028 | 15153 4632 746 | 0.000 % | 2.69/2.76 c | 4782 | 760 41329 94028 | 16669 4782 746 | 0.000 % | 2.89/2.95 c | 5007 | 760 41329 94028 | 18336 5007 746 | 0.000 % | 3.20/3.24 c | 5348 | 760 41329 94028 | 20169 5348 746 | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c New solution: 745 3.49/3.57 o 745 3.49/3.57 c Elapsed CPU time: 3.51147 s Remaining CPU time: 176.489 s 3.49/3.57 c =============================================================================== 3.49/3.57 c | 5697 | 760 41330 94788 | 13776 5697 746 | 0.000 % | 3.59/3.67 c | 5798 | 760 41330 94788 | 15154 5798 745 | 0.000 % | 3.79/3.81 c | 5948 | 760 41330 94788 | 16669 5948 745 | 0.000 % | 3.99/4.05 c | 6175 | 760 41330 94788 | 18336 6175 745 | 0.000 % | 4.40/4.41 c | 6513 | 760 41330 94788 | 20170 6513 745 | 0.000 % | 4.89/4.94 c | 7019 | 760 41330 94788 | 22187 7019 745 | 0.000 % | 5.69/5.75 c | 7780 | 760 41330 94788 | 24406 7780 744 | 0.000 % | 7.09/7.18 c | 8920 | 760 41330 94788 | 26846 8920 744 | 0.000 % | 9.29/9.31 c | 10630 | 760 41330 94788 | 29531 10630 743 | 0.000 % | 10.49/10.54 c =============================================================================== 10.49/10.54 c New solution: 744 10.49/10.54 o 744 10.49/10.54 c Elapsed CPU time: 10.4264 s Remaining CPU time: 169.574 s 10.49/10.54 c =============================================================================== 10.49/10.54 c | 11978 | 760 41331 95548 | 13777 11978 743 | 0.000 % | 10.59/10.62 c | 12080 | 760 41331 95548 | 15154 12080 743 | 0.000 % | 10.79/10.87 c | 12231 | 760 41331 95548 | 16670 12231 743 | 0.000 % | 11.09/11.18 c | 12457 | 760 41331 95548 | 18337 12457 743 | 0.000 % | 11.59/11.66 c | 12794 | 760 41331 95548 | 20170 12794 743 | 0.000 % | 12.10/12.18 c | 13301 | 760 41331 95548 | 22187 13301 743 | 0.000 % | 12.99/13.05 c | 14060 | 760 41331 95548 | 24406 14060 743 | 0.000 % | 14.29/14.33 c | 15201 | 760 41331 95548 | 26847 15201 743 | 0.000 % | 14.69/14.78 c =============================================================================== 14.69/14.78 c New solution: 743 14.69/14.78 o 743 14.69/14.78 c Elapsed CPU time: 14.6358 s Remaining CPU time: 165.364 s 14.69/14.78 c =============================================================================== 14.69/14.78 c | 15489 | 760 41332 96308 | 13777 15489 743 | 0.000 % | 14.99/15.08 c | 15591 | 760 41332 96308 | 15155 7847 741 | 0.000 % | 15.09/15.19 c | 15741 | 760 41332 96308 | 16670 7997 741 | 0.000 % | 15.39/15.46 c | 15966 | 760 41332 96308 | 18337 8222 741 | 0.000 % | 15.89/15.93 c | 16304 | 760 41332 96308 | 20171 8560 741 | 0.000 % | 16.68/16.77 c | 16814 | 760 41332 96308 | 22188 9070 741 | 0.000 % | 17.89/17.98 c | 17574 | 760 41332 96308 | 24407 9830 741 | 0.000 % | 19.69/19.73 c | 18713 | 760 41332 96308 | 26848 10969 741 | 0.000 % | 22.38/22.48 c | 20422 | 760 41332 96308 | 29532 12678 740 | 0.000 % | 27.28/27.30 c | 22984 | 760 41332 96308 | 32486 15240 740 | 0.000 % | 28.28/28.30 c =============================================================================== 28.28/28.30 c New solution: 742 28.28/28.30 o 742 28.28/28.30 c Elapsed CPU time: 28.0917 s Remaining CPU time: 151.908 s 28.28/28.30 c =============================================================================== 28.28/28.30 c | 23509 | 760 41333 97068 | 13777 15765 740 | 0.000 % | 28.58/28.65 c | 23610 | 760 41333 97068 | 15155 7984 740 | 0.000 % | 28.88/28.97 c | 23760 | 760 41333 97068 | 16670 8134 740 | 0.000 % | 29.08/29.18 c | 23987 | 760 41333 97068 | 18338 8361 740 | 0.000 % | 29.38/29.47 c | 24324 | 760 41333 97068 | 20171 8698 740 | 0.000 % | 29.88/29.98 c | 24831 | 760 41333 97068 | 22189 9205 739 | 0.000 % | 30.88/30.94 c | 25594 | 760 41333 97068 | 24407 9968 739 | 0.000 % | 32.38/32.45 c | 26735 | 760 41333 97068 | 26848 11109 739 | 0.000 % | 35.78/35.84 c | 28444 | 760 41333 97068 | 29533 12818 739 | 0.000 % | 36.88/36.91 c =============================================================================== 36.88/36.91 c New solution: 741 36.88/36.91 o 741 36.88/36.91 c Elapsed CPU time: 36.6384 s Remaining CPU time: 143.362 s 36.88/36.91 c =============================================================================== 36.88/36.91 c | 29866 | 760 41334 97828 | 13778 14240 739 | 0.000 % | 37.38/37.41 c | 29966 | 760 41334 97828 | 15155 7220 739 | 0.000 % | 37.57/37.68 c | 30118 | 760 41334 97828 | 16671 7372 739 | 0.000 % | 38.08/38.15 c | 30345 | 760 41334 97828 | 18338 7599 739 | 0.000 % | 38.88/38.96 c | 30685 | 760 41334 97828 | 20172 7939 739 | 0.000 % | 39.78/39.87 c | 31194 | 760 41334 97828 | 22189 8448 738 | 0.000 % | 40.78/40.80 c | 31955 | 760 41334 97828 | 24408 9209 738 | 0.000 % | 42.98/43.00 c | 33094 | 760 41334 97828 | 26849 10348 738 | 0.000 % | 45.28/45.37 c | 34803 | 760 41334 97828 | 29534 12057 738 | 0.000 % | 53.47/53.53 c | 37366 | 760 41334 97828 | 32487 14620 738 | 0.000 % | 62.68/62.80 c | 41211 | 760 41334 97828 | 35736 18465 738 | 0.000 % | 77.86/77.96 c | 46979 | 760 41334 97828 | 39310 24233 738 | 0.000 % | 105.95/106.10 c | 55628 | 760 41334 97828 | 43241 32882 738 | 0.000 % | 156.54/156.65 c | 68604 | 760 41334 97828 | 47565 13242 737 | 0.000 % | 180.63/180.76 c There are 0 assigned variables. 0 in cost function. 180.73/180.87 c core #1 180.73/180.87 c #cores: 1 180.73/180.87 c Final Weight: 741 180.73/180.87 o 741 180.73/180.87 s OPTIMUM FOUND 180.73/180.87 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.73/180.87 c Total CPU time: 180.106 s
OK -19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656008-1276492028/watcher-2656008-1276492028 -o /tmp/evaluation-result-2656008-1276492028/solver-2656008-1276492028 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656008-1276492028.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: 1.00 1.00 1.00 3/106 29686 /proc/meminfo: memFree=1784516/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=3676 CPUtime=0 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 22859115 3764224 227 1992294400 134512640 135751879 4289725392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 919 227 145 303 0 372 0 [startup+0.085946 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29686 /proc/meminfo: memFree=1784516/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=4812 CPUtime=0.08 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 733 0 0 0 8 0 0 0 20 0 1 0 22859115 4927488 652 1992294400 134512640 135751879 4289725392 18446744073709551615 134564345 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 1203 652 286 303 0 656 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4812 [startup+0.101948 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29686 /proc/meminfo: memFree=1784516/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=4976 CPUtime=0.09 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 819 0 0 0 9 0 0 0 20 0 1 0 22859115 5095424 738 1992294400 134512640 135751879 4289725392 18446744073709551615 134559783 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 1244 738 315 303 0 697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4976 [startup+0.300985 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29686 /proc/meminfo: memFree=1784516/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=7520 CPUtime=0.29 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 1751 0 0 0 29 0 0 0 20 0 1 0 22859115 7700480 1396 1992294400 134512640 135751879 4289725392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 1880 1396 146 303 0 1575 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7520 [startup+0.70106 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29686 /proc/meminfo: memFree=1784516/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=9052 CPUtime=0.69 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 2156 0 0 0 67 2 0 0 20 0 1 0 22859115 9269248 1801 1992294400 134512640 135751879 4289725392 18446744073709551615 134616760 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 2263 1801 147 303 0 1958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9052 [startup+1.50021 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29687 /proc/meminfo: memFree=1775704/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=13808 CPUtime=1.49 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 3337 0 0 0 146 3 0 0 22 0 1 0 22859115 14139392 2982 1992294400 134512640 135751879 4289725392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 3452 2982 147 303 0 3147 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13808 [startup+3.10051 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29687 /proc/meminfo: memFree=1769752/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=21000 CPUtime=3.09 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 5118 0 0 0 303 6 0 0 25 0 1 0 22859115 21504000 4763 1992294400 134512640 135751879 4289725392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 5250 4763 147 303 0 4945 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21000 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29687 /proc/meminfo: memFree=1758592/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=30536 CPUtime=6.29 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 7498 0 0 0 621 8 0 0 25 0 1 0 22859115 31268864 7143 1992294400 134512640 135751879 4289725392 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 7634 7143 147 303 0 7329 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30536 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29687 /proc/meminfo: memFree=1740860/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=46892 CPUtime=12.69 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 11588 0 0 0 1257 12 0 0 25 0 1 0 22859115 48017408 11233 1992294400 134512640 135751879 4289725392 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 11723 11233 147 303 0 11418 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46892 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29687 /proc/meminfo: memFree=1716556/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=70028 CPUtime=25.49 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 17369 0 0 0 2530 19 0 0 25 0 1 0 22859115 71708672 17014 1992294400 134512640 135751879 4289725392 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 17507 17014 148 303 0 17202 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70028 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29687 /proc/meminfo: memFree=1670056/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=116840 CPUtime=51.08 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 29059 0 0 0 5076 32 0 0 25 0 1 0 22859115 119644160 28704 1992294400 134512640 135751879 4289725392 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 29210 28704 148 303 0 28905 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 116840 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29689 /proc/meminfo: memFree=1617480/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=168924 CPUtime=102.26 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 42018 0 0 0 10179 47 0 0 25 0 1 0 22859115 172978176 41663 1992294400 134512640 135751879 4289725392 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 42231 41663 148 303 0 41926 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 168924 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1562920/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=223884 CPUtime=162.23 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 55677 0 0 0 16158 65 0 0 25 0 1 0 22859115 229257216 55322 1992294400 134512640 135751879 4289725392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 55971 55322 148 303 0 55666 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 223884 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1556720/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=230172 CPUtime=166.24 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 57257 0 0 0 16557 67 0 0 25 0 1 0 22859115 235696128 56902 1992294400 134512640 135751879 4289725392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 57543 56902 148 303 0 57238 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 230172 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1549900/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=236568 CPUtime=172.64 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 58863 0 0 0 17196 68 0 0 25 0 1 0 22859115 242245632 58508 1992294400 134512640 135751879 4289725392 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 59142 58508 148 303 0 58837 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 236568 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1548660/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=237720 CPUtime=175.84 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 59153 0 0 0 17515 69 0 0 25 0 1 0 22859115 243425280 58798 1992294400 134512640 135751879 4289725392 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 59430 58798 148 303 0 59125 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 237720 [startup+179.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1547296/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=239504 CPUtime=179.03 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 59597 0 0 0 17833 70 0 0 25 0 1 0 22859115 245252096 59242 1992294400 134512640 135751879 4289725392 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 59876 59242 148 303 0 59571 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 239504 [startup+179.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1546800/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=239888 CPUtime=179.83 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 59666 0 0 0 17913 70 0 0 25 0 1 0 22859115 245645312 59311 1992294400 134512640 135751879 4289725392 18446744073709551615 134616806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 59972 59311 148 303 0 59667 0 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (KiB) 239888 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1546552/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=240016 CPUtime=180.24 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 59694 0 0 0 17954 70 0 0 25 0 1 0 22859115 245776384 59339 1992294400 134512640 135751879 4289725392 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 60004 59339 148 303 0 59699 0 Current children cumulated CPU time (s) 180.24 Current children cumulated vsize (KiB) 240016 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1546552/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=240016 CPUtime=180.63 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 59723 0 0 0 17993 70 0 0 25 0 1 0 22859115 245776384 59368 1992294400 134512640 135751879 4289725392 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 60004 59368 148 303 0 59699 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 240016 [startup+180.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29691 /proc/meminfo: memFree=1546552/2059040 swapFree=4142408/4192956 [pid=29686] ppid=29684 vsize=241912 CPUtime=180.73 /proc/29686/stat : 29686 (wbo1.4b) R 29684 29686 29573 0 -1 4202496 60159 0 0 0 18003 70 0 0 25 0 1 0 22859115 247717888 59804 1992294400 134512640 135751879 4289725392 18446744073709551615 135220979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29686/statm: 60478 59804 149 303 0 60173 0 Current children cumulated CPU time (s) 180.73 Current children cumulated vsize (KiB) 241912 Child status: 0 Real time (s): 180.895 CPU time (s): 180.834 CPU user time (s): 180.106 CPU system time (s): 0.727889 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 241912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.106 system time used= 0.727889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60160 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= 3 involuntary context switches= 478 runsolver used 0.32395 second user time and 0.843871 second system time The end
Begin job on node019 at 2010-06-14 07:07:08 IDJOB=2656008 IDBENCH=2243 IDSOLVER=1161 FILE ID=node019/2656008-1276492028 PBS_JOBID= 11173398 Free space on /tmp= 62380 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-1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656008-1276492028/watcher-2656008-1276492028 -o /tmp/evaluation-result-2656008-1276492028/solver-2656008-1276492028 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656008-1276492028.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED=609049108 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1785044 kB Buffers: 76836 kB Cached: 105844 kB SwapCached: 4636 kB Active: 101544 kB Inactive: 94492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1785044 kB SwapTotal: 4192956 kB SwapFree: 4142408 kB Dirty: 3612 kB Writeback: 0 kB AnonPages: 11616 kB Mapped: 13636 kB Slab: 56304 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180456 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= 62376 MiB End job on node019 at 2010-06-14 07:10:09