Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -38 | 1800.65 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 5249f5f1c551add7f5b5b920fc1c3b9c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -39 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
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 | 41263 |
Number of constraints which are clauses | 41263 |
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 41263 PB-constraints to clauses... 1.11 c -- Unit propagations: (none) 1.11 c -- Detecting intervals from adjacent constraints: (none) 1.12 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.22 c ==================================[MINISAT+]================================== 1.22 c | Conflicts | Original | Learnt | Progress | 1.22 c | | Clauses Literals | Max Clauses Literals LPC | | 1.22 c ============================================================================== 1.22 c | 0 | 41263 82526 | 13754 0 0 nan | 0.000 % | 1.22 c ============================================================================== 1.22 c [1mFound solution: -29[0m 1.22 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 | 77411 167438 | 25803 0 0 nan | 0.000 % | 1.38 c | 100 | 77197 167004 | 28383 85 1743 20.5 | 0.449 % | 1.48 c | 250 | 76777 166128 | 31221 216 3076 14.2 | 1.370 % | 1.69 c | 475 | 75681 163748 | 34343 367 7270 19.8 | 3.965 % | 1.92 c | 812 | 74772 161767 | 37778 638 10625 16.7 | 6.213 % | 2.38 c | 1318 | 72216 156098 | 41555 971 15210 15.7 | 12.362 % | 2.45 c ============================================================================== 2.45 c [1mFound solution: -30[0m 2.45 o -30 2.45 c ---[ 0]---> Sorter-cost: 0 Base: 2.49 c ==================================[MINISAT+]================================== 2.49 c | Conflicts | Original | Learnt | Progress | 2.49 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49 c ============================================================================== 2.49 c | 1358 | 71957 155524 | 23985 1000 15644 15.6 | 12.362 % | 2.56 c | 1458 | 71484 154445 | 26383 1077 16216 15.1 | 14.235 % | 2.70 c | 1609 | 70637 152550 | 29021 1185 17694 14.9 | 16.491 % | 2.83 c | 1834 | 69903 150904 | 31924 1355 19103 14.1 | 18.302 % | 3.08 c | 2171 | 68629 148052 | 35116 1633 21862 13.4 | 21.386 % | 3.40 c | 2677 | 66555 143323 | 38628 2003 25849 12.9 | 26.681 % | 3.89 c | 3436 | 63907 137250 | 42490 2573 35121 13.6 | 33.519 % | 4.50 c | 4575 | 60641 129717 | 46739 3414 45806 13.4 | 42.032 % | 5.10 c | 6284 | 58132 123765 | 51413 4758 70644 14.8 | 48.684 % | 5.36 c ============================================================================== 5.36 c [1mFound solution: -32[0m 5.36 o -32 5.37 c ---[ 0]---> Sorter-cost: 0 Base: 5.41 c ==================================[MINISAT+]================================== 5.41 c | Conflicts | Original | Learnt | Progress | 5.41 c | | Clauses Literals | Max Clauses Literals LPC | | 5.41 c ============================================================================== 5.41 c | 6893 | 57499 122346 | 19166 5251 79403 15.1 | 48.684 % | 5.45 c | 6993 | 57374 122059 | 21082 5340 80419 15.1 | 50.986 % | 5.51 c | 7143 | 57174 121601 | 23190 5476 83135 15.2 | 51.497 % | 5.56 c | 7368 | 57124 121493 | 25509 5691 90616 15.9 | 51.614 % | 5.70 c | 7705 | 56450 119888 | 28060 5895 93895 15.9 | 53.460 % | 5.89 c | 8211 | 55724 118204 | 30867 6317 101819 16.1 | 55.371 % | 6.22 c | 8970 | 54430 115147 | 33953 6865 120056 17.5 | 58.891 % | 6.64 c | 10109 | 53229 112295 | 37349 7784 156050 20.0 | 62.178 % | 7.23 c | 11817 | 51998 109354 | 41084 9200 202992 22.1 | 65.558 % | 8.11 c | 14379 | 50235 105114 | 45192 10981 295829 26.9 | 70.406 % | 8.66 c ============================================================================== 8.66 c [1mFound solution: -33[0m 8.66 o -33 8.67 c ---[ 0]---> Sorter-cost: 0 Base: 8.71 c ==================================[MINISAT+]================================== 8.71 c | Conflicts | Original | Learnt | Progress | 8.71 c | | Clauses Literals | Max Clauses Literals LPC | | 8.71 c ============================================================================== 8.71 c | 15965 | 49478 103359 | 16492 12311 371372 30.2 | 70.406 % | 8.73 c | 16066 | 49478 103359 | 18141 12412 374678 30.2 | 72.440 % | 8.77 c | 16216 | 49424 103225 | 19955 12525 376566 30.1 | 72.597 % | 8.84 c | 16441 | 49285 102876 | 21950 12651 381138 30.1 | 72.991 % | 8.95 c | 16778 | 49212 102697 | 24145 12924 395334 30.6 | 73.204 % | 9.10 c | 17285 | 49156 102561 | 26560 13400 438885 32.8 | 73.360 % | 9.52 c | 18044 | 48324 100548 | 29216 13832 461348 33.4 | 75.707 % | 9.86 c | 19183 | 48201 100261 | 32138 14905 550058 36.9 | 76.033 % | 10.45 c | 20891 | 47874 99472 | 35352 16285 636889 39.1 | 76.957 % | 11.31 c | 23453 | 47628 98870 | 38887 18649 839926 45.0 | 77.656 % | 11.92 c ============================================================================== 11.92 c [1mFound solution: -34[0m 11.92 o -34 11.93 c ---[ 0]---> Sorter-cost: 0 Base: 11.98 c ==================================[MINISAT+]================================== 11.98 c | Conflicts | Original | Learnt | Progress | 11.98 c | | Clauses Literals | Max Clauses Literals LPC | | 11.98 c ============================================================================== 11.98 c | 25038 | 47524 98566 | 15841 20184 980752 48.6 | 77.656 % | 12.01 c | 25139 | 47524 98566 | 17425 20285 983661 48.5 | 77.940 % | 12.07 c | 25289 | 47524 98566 | 19167 20435 990976 48.5 | 77.939 % | 12.15 c | 25514 | 47524 98566 | 21084 20660 1005617 48.7 | 77.939 % | 12.26 c | 25851 | 47524 98566 | 23192 20997 1026282 48.9 | 77.939 % | 12.46 c | 26358 | 47524 98566 | 25512 21504 1055909 49.1 | 77.940 % | 12.73 c | 27118 | 47524 98566 | 28063 22264 1120991 50.3 | 77.939 % | 13.34 c | 28258 | 47202 97772 | 30869 23237 1219781 52.5 | 78.852 % | 14.08 c | 29966 | 47191 97747 | 33956 24941 1366171 54.8 | 78.880 % | 15.31 c | 32528 | 47072 97453 | 37352 27423 1611937 58.8 | 79.221 % | 17.34 c | 36372 | 47072 97453 | 41087 31267 2099445 67.1 | 79.221 % | 20.70 c | 42138 | 46746 96661 | 45196 36763 2600401 70.7 | 80.142 % | 23.29 c ============================================================================== 23.29 c [1mFound solution: -35[0m 23.29 o -35 23.30 c ---[ 0]---> Sorter-cost: 0 Base: 23.39 c ==================================[MINISAT+]================================== 23.39 c | Conflicts | Original | Learnt | Progress | 23.39 c | | Clauses Literals | Max Clauses Literals LPC | | 23.39 c ============================================================================== 23.39 c | 46022 | 46748 96684 | 15582 40621 3011087 74.1 | 80.142 % | 23.49 c | 46122 | 46748 96684 | 17140 18203 1211729 66.6 | 80.221 % | 23.54 c | 46272 | 46748 96684 | 18854 18353 1218705 66.4 | 80.221 % | 23.65 c | 46497 | 46714 96607 | 20739 18539 1230555 66.4 | 80.297 % | 23.82 c | 46834 | 46703 96582 | 22813 18867 1250274 66.3 | 80.325 % | 24.05 c | 47340 | 46651 96453 | 25094 19368 1284175 66.3 | 80.473 % | 24.47 c | 48100 | 46472 96017 | 27604 20063 1320976 65.8 | 80.974 % | 24.97 c | 49239 | 46437 95936 | 30364 21181 1424831 67.3 | 81.066 % | 25.62 c | 50947 | 46434 95929 | 33401 22886 1532403 67.0 | 81.074 % | 26.72 c | 53509 | 46389 95814 | 36741 25444 1762687 69.3 | 81.214 % | 28.54 c | 57353 | 46351 95720 | 40415 29177 2121672 72.7 | 81.326 % | 31.85 c | 63119 | 46102 95119 | 44457 34489 2610152 75.7 | 82.030 % | 37.48 c | 71769 | 46087 95084 | 48902 43071 3470985 80.6 | 82.070 % | 48.71 c | 84743 | 46022 94925 | 53793 55928 4763761 85.2 | 82.259 % | 54.53 c ============================================================================== 54.53 c [1mFound solution: -36[0m 54.53 o -36 54.54 c ---[ 0]---> Sorter-cost: 0 Base: 54.65 c ==================================[MINISAT+]================================== 54.65 c | Conflicts | Original | Learnt | Progress | 54.65 c | | Clauses Literals | Max Clauses Literals LPC | | 54.65 c ============================================================================== 54.65 c | 91656 | 46006 94872 | 15335 62707 5469040 87.2 | 82.259 % | 54.82 c | 91756 | 46006 94872 | 16868 20099 1258236 62.6 | 82.312 % | 54.91 c | 91906 | 46004 94868 | 18555 20247 1269896 62.7 | 82.316 % | 55.06 c | 92131 | 45981 94815 | 20410 20467 1286191 62.8 | 82.376 % | 55.25 c | 92469 | 45978 94808 | 22451 20801 1325256 63.7 | 82.384 % | 55.45 c | 92975 | 45956 94754 | 24697 21154 1350045 63.8 | 82.448 % | 55.83 c | 93735 | 45891 94586 | 27166 21886 1408143 64.3 | 82.640 % | 56.33 c | 94874 | 45891 94586 | 29883 23025 1506974 65.4 | 82.640 % | 57.17 c | 96582 | 45850 94484 | 32871 24718 1656829 67.0 | 82.756 % | 58.36 c | 99144 | 45850 94484 | 36159 27280 1890855 69.3 | 82.756 % | 60.63 c | 102988 | 45767 94285 | 39775 31063 2199681 70.8 | 82.989 % | 63.89 c | 108754 | 45767 94285 | 43752 36829 2758646 74.9 | 82.988 % | 69.95 c | 117404 | 45755 94257 | 48127 45475 3584527 78.8 | 83.021 % | 80.99 c | 130378 | 45713 94155 | 52940 58391 4806838 82.3 | 83.141 % | 86.33 c ============================================================================== 86.33 c [1mFound solution: -37[0m 86.33 o -37 86.34 c ---[ 0]---> Sorter-cost: 0 Base: 86.45 c ==================================[MINISAT+]================================== 86.45 c | Conflicts | Original | Learnt | Progress | 86.45 c | | Clauses Literals | Max Clauses Literals LPC | | 86.45 c ============================================================================== 86.45 c | 136420 | 45733 94207 | 15244 64433 5331404 82.7 | 83.141 % | 86.64 c | 136520 | 45733 94207 | 16768 20826 1132496 54.4 | 83.107 % | 86.70 c | 136670 | 45733 94207 | 18445 20976 1139985 54.3 | 83.107 % | 86.79 c | 136895 | 45733 94207 | 20289 21201 1153537 54.4 | 83.107 % | 86.90 c | 137232 | 45733 94207 | 22318 21538 1169510 54.3 | 83.107 % | 87.12 c | 137738 | 45733 94207 | 24550 22044 1213136 55.0 | 83.107 % | 87.46 c | 138497 | 45733 94207 | 27005 22803 1266674 55.5 | 83.108 % | 87.98 c | 139636 | 45733 94207 | 29706 23942 1351252 56.4 | 83.107 % | 88.79 c | 141344 | 45733 94207 | 32676 25650 1504180 58.6 | 83.107 % | 89.93 c | 143906 | 45733 94207 | 35944 28212 1667932 59.1 | 83.107 % | 91.80 c | 147751 | 45733 94207 | 39539 32057 2014186 62.8 | 83.107 % | 95.11 c | 153517 | 45733 94207 | 43492 37823 2552526 67.5 | 83.107 % | 101.13 c | 162166 | 45681 94069 | 47842 46460 3249653 69.9 | 83.271 % | 112.17 c | 175140 | 45681 94069 | 52626 59434 4360949 73.4 | 83.271 % | 128.99 c | 194601 | 45651 93995 | 57889 24662 1331831 54.0 | 83.359 % | 148.33 c | 223793 | 45636 93958 | 63677 53847 4465405 82.9 | 83.403 % | 186.10 c | 267582 | 45636 93958 | 70045 31596 1238437 39.2 | 83.403 % | 242.69 c | 333266 | 45616 93912 | 77050 24572 866247 35.3 | 83.455 % | 326.41 c | 431792 | 45563 93787 | 84755 42419 1615243 38.1 | 83.599 % | 464.45 c | 579581 | 45394 93384 | 93230 104816 9597208 91.6 | 84.067 % | 630.47 c ============================================================================== 630.47 c [1mFound solution: -38[0m 630.47 o -38 630.48 c ---[ 0]---> Sorter-cost: 0 Base: 630.60 c ==================================[MINISAT+]================================== 630.60 c | Conflicts | Original | Learnt | Progress | 630.60 c | | Clauses Literals | Max Clauses Literals LPC | | 630.60 c ============================================================================== 630.60 c | 746055 | 45309 93144 | 15103 81950 6733409 82.2 | 84.067 % | 630.90 c | 746156 | 45309 93144 | 16613 20600 787436 38.2 | 84.320 % | 630.96 c | 746307 | 45309 93144 | 18274 20751 796853 38.4 | 84.320 % | 631.04 c | 746533 | 45309 93144 | 20102 20977 809901 38.6 | 84.320 % | 631.17 c | 746871 | 45296 93111 | 22112 21311 829311 38.9 | 84.360 % | 631.36 c | 747378 | 45296 93111 | 24323 21818 869493 39.9 | 84.360 % | 631.63 c | 748137 | 45296 93111 | 26755 22577 921934 40.8 | 84.360 % | 632.00 c | 749276 | 45296 93111 | 29431 23716 995302 42.0 | 84.360 % | 632.68 c | 750984 | 45296 93111 | 32374 25424 1157917 45.5 | 84.360 % | 633.77 c | 753546 | 45296 93111 | 35612 27986 1353640 48.4 | 84.360 % | 635.50 c | 757392 | 45296 93111 | 39173 31832 1690350 53.1 | 84.360 % | 638.49 c | 763158 | 45296 93111 | 43090 37598 2211301 58.8 | 84.360 % | 643.83 c | 771807 | 45296 93111 | 47399 46247 2847100 61.6 | 84.360 % | 653.90 c | 784782 | 45296 93111 | 52139 59222 3519632 59.4 | 84.360 % | 670.28 c | 804243 | 45296 93111 | 57353 24037 1461669 60.8 | 84.360 % | 686.93 c | 833435 | 45288 93091 | 63088 53223 3135410 58.9 | 84.384 % | 725.63 c | 877224 | 45281 93074 | 69397 33257 1060368 31.9 | 84.404 % | 782.20 c | 942908 | 45275 93060 | 76337 30653 910282 29.7 | 84.420 % | 857.55 c | 1041434 | 45267 93040 | 83971 52317 1630717 31.2 | 84.444 % | 992.31 c | 1189223 | 45267 93040 | 92368 41100 1094366 26.6 | 84.444 % | 1188.32 c | 1410906 | 45243 92980 | 101605 88995 3315877 37.3 | 84.516 % | 1506.62 c | 1743431 | 45183 92838 | 111765 29995 1600865 53.4 | 84.680 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 s SATISFIABLE 1801.15 v -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1801.15 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1801.15 v x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 1801.15 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1801.15 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1801.15 v -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1801.15 v -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 1801.15 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1801.15 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 1801.15 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 1801.15 v -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1801.15 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 1801.15 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 1801.15 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 x467 1801.15 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 1801.15 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 1801.15 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 1801.15 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 1801.15 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1801.15 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1801.15 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1801.15 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1801.15 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 1801.15 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1801.15 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1801.15 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1801.15 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 1801.15 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1801.15 v -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1801.15 v -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1801.15 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 1801.15 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.15 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.15 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.15 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.15 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/node18/watcher-35610-1149293015 -o ROOT/results/node18/solver-35610-1149293015 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node18/35610-1149293015/instance-35610-1149293015.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1852920/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=1048 CPUtime=0 /proc/4001/stat : 4001 (minisat+) D 3999 4001 3955 0 -1 4194304 85 0 0 0 0 0 0 0 18 0 1 0 194964511 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099781622 0 0 17 1 0 0 /proc/4001/statm: 262 70 58 215 0 44 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1838336/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=16000 CPUtime=9.98 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 3871 0 0 0 992 6 0 0 25 0 1 0 194964511 16384000 3749 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 4000 3749 110 215 0 3782 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 16000 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1830336/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=23980 CPUtime=19.98 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 5868 0 0 0 1990 8 0 0 25 0 1 0 194964511 24555520 5746 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574057 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 5995 5746 110 215 0 5777 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 23980 [startup+30.0149 s] /proc/loadavg: 0.95 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1827968/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=26364 CPUtime=29.99 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 6465 0 0 0 2990 9 0 0 25 0 1 0 194964511 26996736 6343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 6591 6343 110 215 0 6373 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26364 [startup+40.0208 s] /proc/loadavg: 0.96 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1824448/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=29976 CPUtime=39.99 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 7340 0 0 0 3989 10 0 0 25 0 1 0 194964511 30695424 7218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 7494 7218 110 215 0 7276 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 29976 [startup+50.0268 s] /proc/loadavg: 0.96 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1819648/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=34676 CPUtime=49.99 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 8541 0 0 0 4987 12 0 0 25 0 1 0 194964511 35508224 8419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 8669 8419 110 215 0 8451 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 34676 [startup+60.0328 s] /proc/loadavg: 0.97 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817088/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=59.99 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9179 0 0 0 5987 12 0 0 25 0 1 0 194964511 38223872 9057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9057 110 215 0 9114 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 37328 [startup+70.0378 s] /proc/loadavg: 0.97 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817088/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=69.99 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9179 0 0 0 6987 12 0 0 25 0 1 0 194964511 38223872 9057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9057 110 215 0 9114 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 37328 [startup+80.0437 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=79.99 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9179 0 0 0 7987 12 0 0 25 0 1 0 194964511 38223872 9057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9057 110 215 0 9114 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 37328 [startup+90.0497 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=90 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9180 0 0 0 8988 12 0 0 25 0 1 0 194964511 38223872 9058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9058 110 215 0 9114 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 37328 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=100.01 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9180 0 0 0 9988 13 0 0 25 0 1 0 194964511 38223872 9058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9058 110 215 0 9114 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 37328 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=110.01 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9180 0 0 0 10988 13 0 0 25 0 1 0 194964511 38223872 9058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9058 110 215 0 9114 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 37328 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=37328 CPUtime=120.02 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9184 0 0 0 11989 13 0 0 25 0 1 0 194964511 38223872 9062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9332 9062 110 215 0 9114 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 37328 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1816000/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=38500 CPUtime=130.02 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 12989 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9625 9342 110 215 0 9407 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 38500 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1816000/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=38500 CPUtime=140.02 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 13989 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9625 9342 110 215 0 9407 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 38500 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1815936/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=38500 CPUtime=150.02 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 14989 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580730 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9625 9342 110 215 0 9407 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 38500 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1815936/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=38500 CPUtime=160.03 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 15990 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9625 9342 110 215 0 9407 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 38500 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1815040/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=39400 CPUtime=170.03 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9690 0 0 0 16990 13 0 0 25 0 1 0 194964511 40345600 9568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 9850 9568 110 215 0 9632 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 39400 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1812928/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=41512 CPUtime=180.03 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 10223 0 0 0 17990 13 0 0 25 0 1 0 194964511 42508288 10101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574262 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 10378 10101 110 215 0 10160 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 41512 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1812864/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=41512 CPUtime=190.04 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 10231 0 0 0 18990 14 0 0 25 0 1 0 194964511 42508288 10109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575446 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 10378 10109 110 215 0 10160 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 41512 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1812928/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=41512 CPUtime=200.04 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 10238 0 0 0 19990 14 0 0 25 0 1 0 194964511 42508288 10116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 10378 10116 110 215 0 10160 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 41512 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1812864/2055920 swapFree=4180888/4192956 ################ # More data... # ################ [pid=4001] ppid=3999 vsize=62792 CPUtime=1781.54 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15543 0 0 0 178133 21 0 0 25 0 1 0 194964511 64299008 15421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15421 110 215 0 15480 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 62792 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1782.55 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15543 0 0 0 178234 21 0 0 25 0 1 0 194964511 64299008 15421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15421 110 215 0 15480 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 62792 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1783.55 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178334 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 62792 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1784.55 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178434 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 62792 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1785.56 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178535 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 62792 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4001 /proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1786.56 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178635 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 62792 [startup+1788.08 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1787.57 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178736 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 62792 [startup+1789.09 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1788.57 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178836 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 62792 [startup+1790.09 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1789.58 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178937 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 62792 [startup+1791.1 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1790.58 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179037 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 62792 [startup+1792.1 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1791.59 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179138 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 62792 [startup+1793.11 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1792.59 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179238 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 62792 [startup+1794.11 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1793.6 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179339 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 62792 [startup+1795.12 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1794.6 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179439 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 62792 [startup+1796.12 s] /proc/loadavg: 1.07 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1795.61 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179540 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 62792 [startup+1797.13 s] /proc/loadavg: 1.06 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1796.61 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179640 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 62792 [startup+1798.13 s] /proc/loadavg: 1.06 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1797.61 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179740 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 62792 [startup+1799.14 s] /proc/loadavg: 1.06 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1798.62 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179841 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 62792 [startup+1800.14 s] /proc/loadavg: 1.06 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1799.62 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179941 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 62792 [startup+1801.15 s] /proc/loadavg: 1.06 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1800.63 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 180042 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 62792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.06 0.99 0.91 2/64 4001 /proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956 [pid=4001] ppid=3999 vsize=62792 CPUtime=1800.63 /proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 180042 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4001/statm: 15698 15422 110 215 0 15480 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 62792 Sending SIGTERM to -4001 Sleeping 2 seconds Child status: 10 Real time (s): 1801.17 CPU time (s): 1800.65 CPU user time (s): 1800.43 CPU system time (s): 0.225965 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (Kb): 62820
Begin job on node18 on Sat Jun 3 00:03:36 UTC 2006 FILE ID= 35610-1149293015 PBS_JOBID= 306984 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-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node18/35610-1149293015/instance-35610-1149293015.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-35610-1149293015 -o ROOT/results/node18/solver-35610-1149293015 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node18/35610-1149293015/instance-35610-1149293015.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c RANDOM SEED= 700366772 /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.216 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 : 5931.00 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.216 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: 1853128 kB Buffers: 16692 kB Cached: 121268 kB SwapCached: 3684 kB Active: 49780 kB Inactive: 96812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853128 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14680 kB Slab: 42264 kB Committed_AS: 313280 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Sat Jun 3 00:33:37 UTC 2006