Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -38 | 1800.57 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
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 | 41605 |
Number of constraints which are clauses | 41605 |
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 c Parsing PB file... 1.11 c Converting 41605 PB-constraints to clauses... 1.11 c -- Unit propagations: (none) 1.11 c -- Detecting intervals from adjacent constraints: (none) 1.11 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.21 c ==================================[MINISAT+]================================== 1.21 c | Conflicts | Original | Learnt | Progress | 1.21 c | | Clauses Literals | Max Clauses Literals LPC | | 1.21 c ============================================================================== 1.21 c | 0 | 41605 83210 | 13868 0 0 nan | 0.000 % | 1.21 c ============================================================================== 1.21 c [1mFound solution: -29[0m 1.21 o -29 1.22 c ---[ 0]---> Sorter-cost:35010 Base: 1.30 c ==================================[MINISAT+]================================== 1.30 c | Conflicts | Original | Learnt | Progress | 1.30 c | | Clauses Literals | Max Clauses Literals LPC | | 1.30 c ============================================================================== 1.30 c | 0 | 77753 168122 | 25917 0 0 nan | 0.000 % | 1.42 c | 101 | 77380 167357 | 28508 74 1087 14.7 | 0.796 % | 1.53 c | 251 | 76935 166400 | 31359 187 2027 10.8 | 1.831 % | 1.76 c | 476 | 75593 163504 | 34495 333 4511 13.5 | 4.972 % | 2.06 c ============================================================================== 2.06 c [1mFound solution: -32[0m 2.06 o -32 2.07 c ---[ 0]---> Sorter-cost: 0 Base: 2.11 c ==================================[MINISAT+]================================== 2.11 c | Conflicts | Original | Learnt | Progress | 2.11 c | | Clauses Literals | Max Clauses Literals LPC | | 2.11 c ============================================================================== 2.11 c | 781 | 74235 160714 | 24745 565 8133 14.4 | 4.972 % | 2.21 c | 881 | 73694 159487 | 27219 640 8842 13.8 | 10.031 % | 2.31 c | 1031 | 73182 158344 | 29941 742 9894 13.3 | 11.290 % | 2.54 c | 1256 | 71817 155279 | 32935 908 11980 13.2 | 14.690 % | 2.78 c | 1593 | 70390 152058 | 36229 1120 14315 12.8 | 18.255 % | 3.15 c | 2099 | 68314 147352 | 39852 1473 20259 13.8 | 23.529 % | 3.76 c | 2858 | 64983 139810 | 43837 2005 27170 13.6 | 31.922 % | 4.40 c | 3997 | 61942 132839 | 48221 2827 38151 13.5 | 39.672 % | 5.27 c | 5705 | 57794 123031 | 53043 4147 58590 14.1 | 50.708 % | 6.39 c | 8267 | 53937 113879 | 58347 6175 101349 16.4 | 61.198 % | 7.64 c | 12111 | 51088 107100 | 64182 9376 209229 22.3 | 68.931 % | 8.38 c ============================================================================== 8.38 c [1mFound solution: -33[0m 8.38 o -33 8.39 c ---[ 0]---> Sorter-cost: 0 Base: 8.43 c ==================================[MINISAT+]================================== 8.43 c | Conflicts | Original | Learnt | Progress | 8.43 c | | Clauses Literals | Max Clauses Literals LPC | | 8.43 c ============================================================================== 8.43 c | 14510 | 50433 105575 | 16811 11454 342561 29.9 | 68.931 % | 8.46 c | 14610 | 50433 105575 | 18492 11554 344419 29.8 | 70.722 % | 8.50 c | 14761 | 50433 105575 | 20341 11705 350475 29.9 | 70.722 % | 8.56 c | 14986 | 50433 105575 | 22375 11930 361583 30.3 | 70.722 % | 8.74 c | 15324 | 50107 104782 | 24612 12183 372190 30.5 | 71.626 % | 8.91 c | 15831 | 49933 104364 | 27074 12595 390221 31.0 | 72.104 % | 9.15 c | 16590 | 49629 103648 | 29781 13283 428057 32.2 | 72.916 % | 9.66 c | 17729 | 48931 101939 | 32759 14235 473128 33.2 | 74.898 % | 10.15 c | 19438 | 48867 101783 | 36035 15894 575254 36.2 | 75.083 % | 11.17 c | 22000 | 48275 100352 | 39639 18090 716401 39.6 | 76.734 % | 12.23 c ============================================================================== 12.23 c [1mFound solution: -34[0m 12.23 o -34 12.24 c ---[ 0]---> Sorter-cost: 0 Base: 12.29 c ==================================[MINISAT+]================================== 12.29 c | Conflicts | Original | Learnt | Progress | 12.29 c | | Clauses Literals | Max Clauses Literals LPC | | 12.29 c ============================================================================== 12.29 c | 24883 | 48095 99832 | 16031 20800 934720 44.9 | 76.734 % | 12.48 c | 24983 | 47740 98976 | 17634 20624 932425 45.2 | 78.263 % | 12.54 c | 25133 | 47740 98976 | 19397 20774 941755 45.3 | 78.263 % | 12.62 c | 25358 | 47702 98882 | 21337 20927 950824 45.4 | 78.376 % | 12.73 c | 25695 | 47702 98882 | 23470 21264 970411 45.6 | 78.376 % | 12.92 c | 26201 | 47700 98878 | 25818 21769 1001975 46.0 | 78.380 % | 13.27 c | 26960 | 47487 98334 | 28399 22339 1043094 46.7 | 79.015 % | 13.71 c | 28099 | 47449 98246 | 31239 23430 1110397 47.4 | 79.115 % | 14.43 c | 29807 | 47449 98246 | 34363 25138 1301421 51.8 | 79.115 % | 15.62 c | 32369 | 47408 98151 | 37800 27600 1517138 55.0 | 79.224 % | 16.97 c ============================================================================== 16.97 c [1mFound solution: -35[0m 16.97 o -35 16.98 c ---[ 0]---> Sorter-cost: 0 Base: 17.04 c ==================================[MINISAT+]================================== 17.04 c | Conflicts | Original | Learnt | Progress | 17.04 c | | Clauses Literals | Max Clauses Literals LPC | | 17.04 c ============================================================================== 17.04 c | 34890 | 47234 97752 | 15744 29984 1760205 58.7 | 79.224 % | 17.12 c | 34990 | 47194 97654 | 17318 29906 1761335 58.9 | 79.907 % | 17.20 c | 35140 | 47194 97654 | 19050 30056 1774039 59.0 | 79.907 % | 17.31 c | 35365 | 47194 97654 | 20955 30281 1792828 59.2 | 79.907 % | 17.48 c | 35702 | 47194 97654 | 23050 30618 1825661 59.6 | 79.907 % | 17.70 c | 36208 | 47194 97654 | 25355 31124 1860327 59.8 | 79.907 % | 18.10 c | 36968 | 47166 97583 | 27891 31860 1920463 60.3 | 79.991 % | 18.69 c | 38109 | 47162 97573 | 30680 32897 2012855 61.2 | 80.003 % | 19.64 c | 39818 | 47162 97573 | 33748 34606 2163659 62.5 | 80.003 % | 21.12 c | 42380 | 47162 97573 | 37123 37168 2449092 65.9 | 80.003 % | 23.75 c | 46227 | 47060 97338 | 40835 40876 2850607 69.7 | 80.260 % | 28.00 c | 51994 | 46982 97141 | 44919 46508 3471568 74.6 | 80.484 % | 35.09 c | 60644 | 46934 97017 | 49411 54952 4522068 82.3 | 80.632 % | 40.03 c ============================================================================== 40.03 c [1mFound solution: -36[0m 40.03 o -36 40.04 c ---[ 0]---> Sorter-cost: 0 Base: 40.14 c ==================================[MINISAT+]================================== 40.14 c | Conflicts | Original | Learnt | Progress | 40.14 c | | Clauses Literals | Max Clauses Literals LPC | | 40.14 c ============================================================================== 40.14 c | 65436 | 46893 96903 | 15631 59362 5113871 86.1 | 80.632 % | 40.29 c | 65536 | 46893 96903 | 17194 18644 1614753 86.6 | 80.749 % | 40.42 c | 65686 | 46854 96804 | 18913 18767 1618131 86.2 | 80.869 % | 40.53 c | 65911 | 46795 96659 | 20804 18985 1627818 85.7 | 81.042 % | 40.68 c | 66248 | 46795 96659 | 22885 19322 1649457 85.4 | 81.042 % | 40.87 c | 66756 | 46795 96659 | 25173 19830 1672800 84.4 | 81.042 % | 41.21 c | 67518 | 46795 96659 | 27691 20592 1744416 84.7 | 81.042 % | 41.75 c | 68657 | 46795 96659 | 30460 21731 1856295 85.4 | 81.042 % | 42.52 c | 70366 | 46795 96659 | 33506 23440 1997186 85.2 | 81.042 % | 43.85 c | 72928 | 46742 96532 | 36857 25984 2212431 85.1 | 81.190 % | 46.09 c | 76774 | 46714 96464 | 40542 29821 2582192 86.6 | 81.266 % | 49.61 c | 82540 | 46712 96460 | 44597 35586 3095009 87.0 | 81.270 % | 55.78 c | 91190 | 46712 96460 | 49056 44236 3866480 87.4 | 81.270 % | 66.74 c | 104165 | 46623 96245 | 53962 57037 4993464 87.5 | 81.522 % | 86.50 c | 123626 | 46580 96146 | 59358 20979 1569020 74.8 | 81.634 % | 104.44 c | 152819 | 46485 95911 | 65294 50114 4321342 86.2 | 81.914 % | 147.17 c | 196609 | 46391 95677 | 71824 26970 1175384 43.6 | 82.190 % | 214.17 c | 262293 | 46384 95660 | 79006 92651 5737328 61.9 | 82.211 % | 308.12 c | 360821 | 46278 95411 | 86907 25024 2605510 104.1 | 82.491 % | 452.50 c | 508611 | 46094 94961 | 95597 83876 6252924 74.5 | 83.019 % | 688.40 c ============================================================================== 688.40 c [1mFound solution: -37[0m 688.40 o -37 688.41 c ---[ 0]---> Sorter-cost: 0 Base: 688.56 c ==================================[MINISAT+]================================== 688.56 c | Conflicts | Original | Learnt | Progress | 688.56 c | | Clauses Literals | Max Clauses Literals LPC | | 688.56 c ============================================================================== 688.56 c | 717483 | 46005 94755 | 15335 96623 8602712 89.0 | 83.019 % | 689.14 c | 717587 | 46005 94755 | 16868 22197 1267225 57.1 | 83.286 % | 689.20 c | 717738 | 46005 94755 | 18555 22348 1275292 57.1 | 83.286 % | 689.29 c | 717966 | 46005 94755 | 20410 22576 1285093 56.9 | 83.286 % | 689.44 c | 718303 | 45968 94665 | 22451 22910 1304131 56.9 | 83.386 % | 689.64 c | 718809 | 45968 94665 | 24697 23416 1340629 57.3 | 83.386 % | 689.92 c | 719568 | 45968 94665 | 27166 24175 1390694 57.5 | 83.386 % | 690.40 c | 720707 | 45940 94599 | 29883 25310 1470712 58.1 | 83.462 % | 691.16 c | 722416 | 45940 94599 | 32871 27019 1600072 59.2 | 83.462 % | 692.25 c | 724978 | 45940 94599 | 36159 29581 1792036 60.6 | 83.462 % | 694.21 c | 728822 | 45899 94498 | 39775 33410 2086802 62.5 | 83.578 % | 697.60 c | 734588 | 45899 94498 | 43752 39176 2585425 66.0 | 83.578 % | 703.46 c | 743238 | 45899 94498 | 48127 47826 3234109 67.6 | 83.578 % | 714.40 c | 756213 | 45899 94498 | 52940 60801 4112651 67.6 | 83.578 % | 732.13 c | 775674 | 45899 94498 | 58234 25812 976849 37.8 | 83.578 % | 752.78 c | 804866 | 45899 94498 | 64058 55004 3048293 55.4 | 83.578 % | 779.24 c ============================================================================== 779.24 c [1mFound solution: -38[0m 779.24 o -38 779.25 c ---[ 0]---> Sorter-cost: 0 Base: 779.35 c ==================================[MINISAT+]================================== 779.35 c | Conflicts | Original | Learnt | Progress | 779.35 c | | Clauses Literals | Max Clauses Literals LPC | | 779.35 c ============================================================================== 779.35 c | 828882 | 45888 94437 | 15296 79014 3988820 50.5 | 83.578 % | 779.75 c | 828982 | 45888 94437 | 16825 22761 627140 27.6 | 83.615 % | 779.83 c | 829132 | 45888 94437 | 18508 22911 630990 27.5 | 83.615 % | 779.95 c | 829357 | 45888 94437 | 20358 23136 640661 27.7 | 83.615 % | 780.12 c | 829694 | 45888 94437 | 22394 23473 657843 28.0 | 83.615 % | 780.36 c | 830200 | 45888 94437 | 24634 23979 684188 28.5 | 83.615 % | 780.63 c | 830959 | 45888 94437 | 27097 24738 724605 29.3 | 83.615 % | 781.03 c | 832098 | 45888 94437 | 29807 25877 793788 30.7 | 83.615 % | 781.58 c | 833807 | 45888 94437 | 32788 27586 909845 33.0 | 83.615 % | 782.50 c | 836369 | 45888 94437 | 36067 30148 1085925 36.0 | 83.615 % | 784.15 c | 840215 | 45859 94365 | 39673 33990 1344419 39.6 | 83.695 % | 787.02 c | 845982 | 45854 94354 | 43641 39754 1665902 41.9 | 83.707 % | 792.12 c | 854631 | 45854 94354 | 48005 48403 2179968 45.0 | 83.707 % | 800.95 c | 867605 | 45854 94354 | 52805 61377 2869493 46.8 | 83.707 % | 815.34 c | 887067 | 45854 94354 | 58086 26347 974862 37.0 | 83.707 % | 832.90 c | 916259 | 45842 94328 | 63895 55530 2672612 48.1 | 83.735 % | 867.04 c | 960048 | 45791 94207 | 70284 36113 1076244 29.8 | 83.867 % | 918.96 c | 1025732 | 45769 94155 | 77313 31589 1033687 32.7 | 83.927 % | 997.53 c | 1124258 | 45765 94145 | 85044 52954 1908600 36.0 | 83.939 % | 1131.28 c | 1272048 | 45697 93969 | 93548 33998 973037 28.6 | 84.147 % | 1333.01 c | 1493731 | 45669 93899 | 102903 83838 2466700 29.4 | 84.231 % | 1629.45 c | 1826256 | 45530 93562 | 113194 118102 4961674 42.0 | 84.627 % | 1801.14 c 1801.14 c *** TERMINATED *** 1801.14 s SATISFIABLE 1801.14 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 1801.14 v x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 x719 1801.14 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1801.14 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 1801.14 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1801.14 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 1801.14 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 1801.14 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1801.14 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 1801.14 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 1801.14 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1801.14 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 x510 -x509 1801.14 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 1801.14 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 1801.14 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 1801.14 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1801.14 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 1801.14 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1801.14 v -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1801.14 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1801.14 v x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1801.14 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 1801.14 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 1801.14 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 1801.14 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1801.14 v -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1801.14 v -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1801.14 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 1801.14 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 1801.14 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 x132 -x131 1801.14 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 1801.14 v -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 1801.14 v -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 1801.14 v -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 1801.14 v -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 1801.14 v -x7 -x6 -x5 -x4 x3 -x2 -x1
OK -38
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-35612-1149293689 -o ROOT/results/node15/solver-35612-1149293689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35612-1149293689/instance-35612-1149293689.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 1482 /proc/meminfo: memFree=1358488/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=1180 CPUtime=0 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 142 0 0 0 0 0 0 0 19 0 1 0 195031697 1208320 127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 295 127 74 215 0 77 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.90 2/64 1482 /proc/meminfo: memFree=1343712/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=16092 CPUtime=9.99 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 3896 0 0 0 992 7 0 0 25 0 1 0 195031697 16478208 3773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 4023 3773 110 215 0 3805 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 16092 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1336800/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=23020 CPUtime=19.99 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 5631 0 0 0 1991 8 0 0 25 0 1 0 195031697 23572480 5508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 5755 5508 110 215 0 5537 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 23020 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1330272/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=29672 CPUtime=29.99 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 7281 0 0 0 2989 10 0 0 25 0 1 0 195031697 30384128 7158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 7418 7158 110 215 0 7200 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 29672 [startup+40.0196 s] /proc/loadavg: 0.95 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1324256/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=35700 CPUtime=39.99 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 8782 0 0 0 3987 12 0 0 25 0 1 0 195031697 36556800 8659 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 8925 8659 110 215 0 8707 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 35700 [startup+50.0253 s] /proc/loadavg: 0.96 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1324128/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=35728 CPUtime=49.99 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 8808 0 0 0 4987 12 0 0 25 0 1 0 195031697 36585472 8685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 8932 8685 110 215 0 8714 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 35728 [startup+60.031 s] /proc/loadavg: 0.97 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1324192/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=35728 CPUtime=60 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 8808 0 0 0 5988 12 0 0 25 0 1 0 195031697 36585472 8685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574427 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 8932 8685 110 215 0 8714 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 35728 [startup+70.0368 s] /proc/loadavg: 0.97 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1323040/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=36912 CPUtime=70 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 9091 0 0 0 6987 13 0 0 25 0 1 0 195031697 37797888 8968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 9228 8968 110 215 0 9010 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 36912 [startup+80.0425 s] /proc/loadavg: 0.98 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1318368/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=41608 CPUtime=80 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10261 0 0 0 7986 14 0 0 25 0 1 0 195031697 42606592 10138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 10402 10138 110 215 0 10184 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 41608 [startup+90.0482 s] /proc/loadavg: 0.98 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=90.01 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 8986 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10776 110 215 0 10837 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 44220 [startup+100.053 s] /proc/loadavg: 0.98 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=100.01 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 9986 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10776 110 215 0 10837 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 44220 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=110.01 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 10986 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10776 110 215 0 10837 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 44220 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=120.02 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 11987 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10776 110 215 0 10837 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 44220 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=130.02 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10900 0 0 0 12987 15 0 0 25 0 1 0 195031697 45281280 10777 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10777 110 215 0 10837 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 44220 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=140.02 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10908 0 0 0 13987 15 0 0 25 0 1 0 195031697 45281280 10785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10785 110 215 0 10837 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 44220 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=150.02 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 14987 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10788 110 215 0 10837 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 44220 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=160.03 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 15988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10788 110 215 0 10837 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 44220 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=170.03 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 16988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10788 110 215 0 10837 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 44220 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=180.03 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 17988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10788 110 215 0 10837 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 44220 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=190.03 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 18988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10788 110 215 0 10837 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 44220 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=44220 CPUtime=200.04 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 19989 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 11055 10788 110 215 0 10837 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 44220 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1482 /proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956 ################ # More data... # ################ [pid=1482] ppid=1480 vsize=70208 CPUtime=1781.44 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178116 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 70208 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1782.45 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178217 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 70208 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1783.45 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178317 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 70208 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1784.46 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178418 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 70208 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1785.46 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178518 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 70208 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.91 3/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1786.47 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178619 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 70208 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1787.48 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178720 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 70208 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 3/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1788.48 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178820 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580809 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 70208 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1789.48 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178920 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 70208 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1790.49 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179021 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585598 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 70208 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1791.49 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179121 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 70208 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1792.5 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179222 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576399 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 70208 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1793.5 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179322 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 70208 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1794.51 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179423 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 70208 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1795.51 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179523 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580311 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 70208 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1796.52 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179624 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 70208 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1797.52 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179724 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 70208 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1798.53 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179825 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 70208 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1799.53 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179925 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 70208 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1800.54 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 180026 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575696 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 70208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1484 /proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956 [pid=1482] ppid=1480 vsize=70208 CPUtime=1800.54 /proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 180026 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1482/statm: 17552 17269 110 215 0 17334 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 70208 Sending SIGTERM to -1482 Sleeping 2 seconds Child status: 10 Real time (s): 1801.15 CPU time (s): 1800.57 CPU user time (s): 1800.27 CPU system time (s): 0.299954 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (Kb): 70208
Begin job on node15 on Sat Jun 3 00:14:49 UTC 2006 FILE ID= 35612-1149293689 PBS_JOBID= 307008 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35612-1149293689/instance-35612-1149293689.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-35612-1149293689 -o ROOT/results/node15/solver-35612-1149293689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35612-1149293689/instance-35612-1149293689.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED= 989498449 /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.285 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.285 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1358704 kB Buffers: 29964 kB Cached: 606268 kB SwapCached: 3308 kB Active: 100060 kB Inactive: 544972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1358704 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14692 kB Slab: 38188 kB Committed_AS: 295520 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 00:44:50 UTC 2006