Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -38 | 1800.68 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
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.65 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
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.12 c Converting 41619 PB-constraints to clauses... 1.13 c -- Unit propagations: (none) 1.13 c -- Detecting intervals from adjacent constraints: (none) 1.13 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 | 41619 83238 | 13873 0 0 nan | 0.000 % | 1.22 c ============================================================================== 1.22 c [1mFound solution: -27[0m 1.22 o -27 1.23 c ---[ 0]---> Sorter-cost:35010 Base: 1.31 c ==================================[MINISAT+]================================== 1.31 c | Conflicts | Original | Learnt | Progress | 1.31 c | | Clauses Literals | Max Clauses Literals LPC | | 1.31 c ============================================================================== 1.31 c | 0 | 77738 168085 | 25912 0 0 nan | 0.000 % | 1.40 c | 100 | 77393 167370 | 28503 74 614 8.3 | 0.753 % | 1.56 c | 250 | 76571 165604 | 31353 182 1860 10.2 | 2.662 % | 1.77 c | 475 | 75416 163089 | 34488 361 3656 10.1 | 5.412 % | 2.10 c | 812 | 73469 158808 | 37937 588 7576 12.9 | 10.134 % | 2.52 c | 1318 | 71470 154363 | 41731 995 12456 12.5 | 15.052 % | 3.12 c | 2077 | 68055 146635 | 45904 1571 21571 13.7 | 23.713 % | 3.39 c ============================================================================== 3.39 c [1mFound solution: -30[0m 3.39 o -30 3.40 c ---[ 0]---> Sorter-cost: 0 Base: 3.44 c ==================================[MINISAT+]================================== 3.44 c | Conflicts | Original | Learnt | Progress | 3.44 c | | Clauses Literals | Max Clauses Literals LPC | | 3.44 c ============================================================================== 3.44 c | 2368 | 66345 142775 | 22115 1722 23486 13.6 | 23.713 % | 3.51 c | 2468 | 65954 141886 | 24326 1798 24101 13.4 | 29.188 % | 3.60 c | 2618 | 65428 140687 | 26759 1916 26017 13.6 | 30.521 % | 3.73 c | 2843 | 64784 139204 | 29435 2104 29300 13.9 | 32.202 % | 3.95 c | 3180 | 63783 136936 | 32378 2343 33178 14.2 | 34.720 % | 4.20 c | 3686 | 62671 134380 | 35616 2764 38470 13.9 | 37.600 % | 4.62 c | 4445 | 60688 129777 | 39178 3385 46444 13.7 | 42.715 % | 4.87 c ============================================================================== 4.87 c [1mFound solution: -31[0m 4.87 o -31 4.88 c ---[ 0]---> Sorter-cost: 0 Base: 4.92 c ==================================[MINISAT+]================================== 4.92 c | Conflicts | Original | Learnt | Progress | 4.92 c | | Clauses Literals | Max Clauses Literals LPC | | 4.92 c ============================================================================== 4.92 c | 4942 | 59952 128172 | 19984 3811 62121 16.3 | 42.715 % | 4.98 c | 5042 | 59679 127517 | 21982 3894 63964 16.4 | 45.623 % | 5.09 c | 5192 | 59303 126633 | 24180 4014 65656 16.4 | 46.620 % | 5.28 c | 5417 | 58170 123919 | 26598 4092 67984 16.6 | 49.720 % | 5.45 c | 5755 | 57394 122041 | 29258 4355 72331 16.6 | 51.880 % | 5.68 c | 6261 | 56683 120374 | 32184 4714 77744 16.5 | 53.783 % | 6.18 c | 7020 | 54571 115370 | 35402 5132 87529 17.1 | 59.526 % | 6.66 c | 8159 | 53100 111874 | 38943 6005 106837 17.8 | 63.555 % | 7.26 c | 9867 | 51361 107721 | 42837 7233 142892 19.8 | 68.277 % | 7.94 c ============================================================================== 7.94 c [1mFound solution: -32[0m 7.94 o -32 7.95 c ---[ 0]---> Sorter-cost: 0 Base: 7.99 c ==================================[MINISAT+]================================== 7.99 c | Conflicts | Original | Learnt | Progress | 7.99 c | | Clauses Literals | Max Clauses Literals LPC | | 7.99 c ============================================================================== 7.99 c | 11787 | 49479 103125 | 16493 8440 181552 21.5 | 68.277 % | 8.04 c | 11887 | 49297 102693 | 18142 8475 182904 21.6 | 74.014 % | 8.10 c | 12037 | 49131 102301 | 19956 8543 185298 21.7 | 74.456 % | 8.15 c | 12262 | 49025 102033 | 21952 8701 189426 21.8 | 74.770 % | 8.25 c | 12602 | 48860 101631 | 24147 8952 197477 22.1 | 75.240 % | 8.39 c | 13108 | 48811 101518 | 26562 9438 225449 23.9 | 75.369 % | 8.61 c ============================================================================== 8.61 c [1mFound solution: -33[0m 8.61 o -33 8.62 c ---[ 0]---> Sorter-cost: 0 Base: 8.67 c ==================================[MINISAT+]================================== 8.67 c | Conflicts | Original | Learnt | Progress | 8.67 c | | Clauses Literals | Max Clauses Literals LPC | | 8.67 c ============================================================================== 8.67 c | 13835 | 48637 101137 | 16212 10042 261315 26.0 | 75.369 % | 8.71 c | 13935 | 48570 100975 | 17833 10127 264156 26.1 | 76.055 % | 8.75 c | 14085 | 48570 100975 | 19616 10277 269303 26.2 | 76.055 % | 8.82 c | 14312 | 48535 100890 | 21578 10475 276829 26.4 | 76.156 % | 8.97 c | 14649 | 48224 100143 | 23735 10596 283579 26.8 | 77.024 % | 9.16 c | 15155 | 47936 99449 | 26109 10862 295418 27.2 | 77.815 % | 9.34 c | 15915 | 47936 99449 | 28720 11622 352382 30.3 | 77.815 % | 9.41 c ============================================================================== 9.41 c [1mFound solution: -34[0m 9.41 o -34 9.42 c ---[ 0]---> Sorter-cost: 0 Base: 9.46 c ==================================[MINISAT+]================================== 9.46 c | Conflicts | Original | Learnt | Progress | 9.46 c | | Clauses Literals | Max Clauses Literals LPC | | 9.46 c ============================================================================== 9.46 c | 16092 | 47809 99110 | 15936 11694 348286 29.8 | 77.815 % | 9.49 c | 16193 | 47809 99110 | 17529 11795 351047 29.8 | 78.162 % | 9.53 c | 16343 | 47809 99110 | 19282 11945 358187 30.0 | 78.162 % | 9.62 c | 16568 | 47699 98850 | 21210 12069 366809 30.4 | 78.463 % | 9.69 c | 16907 | 47699 98850 | 23331 12408 381170 30.7 | 78.463 % | 9.85 c | 17413 | 47691 98830 | 25665 12893 410134 31.8 | 78.487 % | 10.06 c | 18172 | 47570 98547 | 28231 13507 456879 33.8 | 78.813 % | 10.37 c | 19312 | 47514 98418 | 31054 14523 514679 35.4 | 78.957 % | 10.84 c | 21020 | 47429 98213 | 34160 16152 617687 38.2 | 79.194 % | 11.72 c | 23582 | 47246 97781 | 37576 18577 833388 44.9 | 79.692 % | 13.38 c | 27427 | 47199 97655 | 41333 22352 1265776 56.6 | 79.845 % | 16.25 c | 33193 | 47092 97395 | 45467 28078 1866446 66.5 | 80.150 % | 20.79 c | 41842 | 46935 97003 | 50013 36506 2578978 70.6 | 80.608 % | 29.08 c | 54816 | 46775 96601 | 55015 49208 3834743 77.9 | 81.078 % | 38.74 c ============================================================================== 38.74 c [1mFound solution: -35[0m 38.74 o -35 38.75 c ---[ 0]---> Sorter-cost: 0 Base: 38.86 c ==================================[MINISAT+]================================== 38.86 c | Conflicts | Original | Learnt | Progress | 38.86 c | | Clauses Literals | Max Clauses Literals LPC | | 38.86 c ============================================================================== 38.86 c | 66599 | 46701 96441 | 15567 60446 4917752 81.4 | 81.078 % | 39.00 c | 66699 | 46701 96441 | 17123 18649 1166349 62.5 | 81.358 % | 39.07 c | 66849 | 46701 96441 | 18836 18799 1175990 62.6 | 81.358 % | 39.13 c | 67075 | 46701 96441 | 20719 19025 1183368 62.2 | 81.358 % | 39.27 c | 67412 | 46698 96434 | 22791 19361 1203497 62.2 | 81.366 % | 39.55 c | 67920 | 46667 96361 | 25070 19848 1238599 62.4 | 81.450 % | 39.82 c | 68680 | 46645 96307 | 27577 20600 1270078 61.7 | 81.514 % | 40.34 c | 69819 | 46584 96158 | 30335 21676 1347252 62.2 | 81.690 % | 41.16 c | 71527 | 46518 95998 | 33369 23343 1512076 64.8 | 81.874 % | 42.42 c | 74089 | 46518 95998 | 36706 25905 1789120 69.1 | 81.874 % | 44.53 c | 77933 | 46488 95928 | 40376 29711 2161793 72.8 | 81.954 % | 48.04 c | 83701 | 46272 95398 | 44414 35390 2699227 76.3 | 82.566 % | 53.34 c | 92350 | 46247 95337 | 48855 43978 3619619 82.3 | 82.639 % | 65.05 c | 105326 | 46247 95337 | 53741 56954 5420125 95.2 | 82.638 % | 69.41 c ============================================================================== 69.41 c [1mFound solution: -36[0m 69.41 o -36 69.42 c ---[ 0]---> Sorter-cost: 0 Base: 69.54 c ==================================[MINISAT+]================================== 69.54 c | Conflicts | Original | Learnt | Progress | 69.54 c | | Clauses Literals | Max Clauses Literals LPC | | 69.54 c ============================================================================== 69.54 c | 109573 | 46236 95289 | 15412 61020 6058538 99.3 | 82.638 % | 69.71 c | 109673 | 46236 95289 | 16953 17964 1912579 106.5 | 82.676 % | 69.78 c | 109824 | 46236 95289 | 18648 18115 1920817 106.0 | 82.676 % | 69.87 c | 110050 | 46236 95289 | 20513 18341 1933595 105.4 | 82.676 % | 70.00 c | 110387 | 46221 95254 | 22564 18674 1951460 104.5 | 82.716 % | 70.20 c | 110894 | 46221 95254 | 24821 19181 1987235 103.6 | 82.716 % | 70.52 c | 111653 | 46221 95254 | 27303 19940 2051460 102.9 | 82.716 % | 71.01 c | 112792 | 46174 95141 | 30033 21056 2143668 101.8 | 82.844 % | 71.73 c | 114503 | 46174 95141 | 33036 22767 2317315 101.8 | 82.844 % | 72.93 c | 117066 | 46174 95141 | 36340 25330 2565419 101.3 | 82.844 % | 74.92 c | 120910 | 46140 95059 | 39974 29170 2926517 100.3 | 82.940 % | 78.46 c | 126676 | 46140 95059 | 43972 34936 3469893 99.3 | 82.940 % | 79.85 c ============================================================================== 79.85 c [1mFound solution: -37[0m 79.85 o -37 79.86 c ---[ 0]---> Sorter-cost: 0 Base: 79.94 c ==================================[MINISAT+]================================== 79.94 c | Conflicts | Original | Learnt | Progress | 79.94 c | | Clauses Literals | Max Clauses Literals LPC | | 79.94 c ============================================================================== 79.94 c | 128815 | 46161 95117 | 15387 37075 3702991 99.9 | 82.940 % | 80.05 c | 128916 | 46161 95117 | 16925 17069 1143112 67.0 | 82.903 % | 80.11 c | 129066 | 46161 95117 | 18618 17219 1153278 67.0 | 82.903 % | 80.18 c | 129293 | 46161 95117 | 20480 17446 1162668 66.6 | 82.903 % | 80.33 c | 129630 | 46126 95028 | 22528 17771 1187614 66.8 | 83.011 % | 80.54 c | 130137 | 46126 95028 | 24780 18278 1223931 67.0 | 83.011 % | 80.72 c | 130896 | 46051 94848 | 27259 19008 1237330 65.1 | 83.219 % | 81.15 c | 132035 | 46015 94758 | 29984 20133 1322301 65.7 | 83.315 % | 81.81 c | 133744 | 46015 94758 | 32983 21842 1465933 67.1 | 83.315 % | 83.00 c | 136307 | 46015 94758 | 36281 24405 1721914 70.6 | 83.315 % | 84.82 c | 140151 | 46015 94758 | 39909 28249 2009666 71.1 | 83.315 % | 88.07 c | 145918 | 46013 94754 | 43900 34014 2543986 74.8 | 83.319 % | 93.64 c | 154568 | 45959 94626 | 48290 42576 3184772 74.8 | 83.467 % | 103.44 c | 167543 | 45913 94520 | 53120 55540 4225297 76.1 | 83.587 % | 123.20 c | 187005 | 45913 94520 | 58432 75002 6244640 83.3 | 83.587 % | 143.69 c | 216198 | 45876 94429 | 64275 44973 3102677 69.0 | 83.694 % | 188.46 c | 259987 | 45876 94429 | 70702 22219 1193746 53.7 | 83.694 % | 243.75 c | 325671 | 45838 94339 | 77773 87896 5215189 59.3 | 83.798 % | 276.62 c ============================================================================== 276.62 c [1mFound solution: -38[0m 276.62 o -38 276.63 c ---[ 0]---> Sorter-cost: 0 Base: 276.70 c ==================================[MINISAT+]================================== 276.70 c | Conflicts | Original | Learnt | Progress | 276.70 c | | Clauses Literals | Max Clauses Literals LPC | | 276.70 c ============================================================================== 276.70 c | 362744 | 45824 94273 | 15274 45452 1802921 39.7 | 83.798 % | 276.86 c | 362845 | 45824 94273 | 16801 20765 632823 30.5 | 83.844 % | 276.94 c | 362996 | 45824 94273 | 18481 20916 640662 30.6 | 83.844 % | 277.01 c | 363222 | 45824 94273 | 20329 21142 649300 30.7 | 83.844 % | 277.14 c | 363560 | 45824 94273 | 22362 21480 662066 30.8 | 83.844 % | 277.34 c | 364066 | 45824 94273 | 24598 21986 685062 31.2 | 83.844 % | 277.68 c | 364826 | 45824 94273 | 27058 22746 727210 32.0 | 83.844 % | 278.12 c | 365965 | 45824 94273 | 29764 23885 810735 33.9 | 83.844 % | 278.74 c | 367674 | 45824 94273 | 32741 25594 906072 35.4 | 83.844 % | 279.70 c | 370236 | 45824 94273 | 36015 28156 1054352 37.4 | 83.844 % | 281.22 c | 374082 | 45737 94058 | 39616 31979 1334937 41.7 | 84.083 % | 283.71 c | 379848 | 45698 93956 | 43578 37273 1691710 45.4 | 84.203 % | 288.37 c | 388498 | 45694 93948 | 47936 45919 2503857 54.5 | 84.211 % | 296.60 c | 401472 | 45694 93948 | 52729 58893 3447993 58.5 | 84.211 % | 311.28 c | 420934 | 45643 93821 | 58002 23036 699613 30.4 | 84.363 % | 328.91 c | 450126 | 45640 93814 | 63803 52227 1837279 35.2 | 84.371 % | 371.32 c | 493915 | 45636 93804 | 70183 33684 937433 27.8 | 84.383 % | 433.31 c | 559600 | 45629 93789 | 77201 27114 761203 28.1 | 84.399 % | 509.35 c | 658126 | 45625 93781 | 84922 49589 1463015 29.5 | 84.407 % | 659.56 c | 805915 | 45625 93781 | 93414 36081 834144 23.1 | 84.407 % | 846.12 c | 1027598 | 45593 93699 | 102755 67831 2490658 36.7 | 84.507 % | 1142.11 c | 1360125 | 45517 93515 | 113031 99881 3256591 32.6 | 84.723 % | 1664.05 c | 1858914 | 45489 93453 | 124334 66472 2427404 36.5 | 84.791 % | 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 1801.15 v -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 1801.15 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1801.15 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 1801.15 v -x8 -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/node51/watcher-35608-1149292907 -o ROOT/results/node51/solver-35608-1149292907 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/35608-1149292907/instance-35608-1149292907.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1633696/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=1180 CPUtime=0 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 134 0 0 0 0 0 0 0 19 0 1 0 194957945 1208320 119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 295 120 68 215 0 77 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1618976/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=16092 CPUtime=9.99 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 3894 0 0 0 994 5 0 0 25 0 1 0 194957945 16478208 3772 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575414 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 4023 3772 110 215 0 3805 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 16092 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1611232/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=23952 CPUtime=19.99 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 5846 0 0 0 1992 7 0 0 25 0 1 0 194957945 24526848 5724 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 5988 5724 110 215 0 5770 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 23952 [startup+30.0148 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1604768/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=30452 CPUtime=30 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 7462 0 0 0 2991 9 0 0 25 0 1 0 194957945 31182848 7340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 7613 7340 110 215 0 7395 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 30452 [startup+40.0207 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1600416/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=34724 CPUtime=40 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 8554 0 0 0 3990 10 0 0 25 0 1 0 194957945 35557376 8432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 8681 8432 110 215 0 8463 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 34724 [startup+50.0266 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1600480/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=34724 CPUtime=50.01 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 8554 0 0 0 4991 10 0 0 25 0 1 0 194957945 35557376 8432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 8681 8432 110 215 0 8463 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 34724 [startup+60.0325 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1600480/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=34724 CPUtime=60.01 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 8554 0 0 0 5991 10 0 0 25 0 1 0 194957945 35557376 8432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 8681 8432 110 215 0 8463 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 34724 [startup+70.0384 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1595360/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=39828 CPUtime=70.01 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 9831 0 0 0 6990 11 0 0 25 0 1 0 194957945 40783872 9709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 9957 9709 110 215 0 9739 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 39828 [startup+80.0454 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1595424/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=39828 CPUtime=80.02 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 9831 0 0 0 7991 11 0 0 25 0 1 0 194957945 40783872 9709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 9957 9709 110 215 0 9739 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 39828 [startup+90.0503 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1595360/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=39828 CPUtime=90.02 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 9831 0 0 0 8991 11 0 0 25 0 1 0 194957945 40783872 9709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 9957 9709 110 215 0 9739 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 39828 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1595360/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=39828 CPUtime=100.02 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 9831 0 0 0 9991 11 0 0 25 0 1 0 194957945 40783872 9709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 9957 9709 110 215 0 9739 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 39828 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1595360/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=39948 CPUtime=110.02 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 9833 0 0 0 10991 11 0 0 25 0 1 0 194957945 40906752 9711 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 9987 9711 110 215 0 9769 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 39948 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1595040/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=40212 CPUtime=120.03 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 9903 0 0 0 11992 11 0 0 25 0 1 0 194957945 41177088 9781 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10053 9781 110 215 0 9835 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 40212 [startup+130.074 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592416/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=130.03 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10556 0 0 0 12992 11 0 0 25 0 1 0 194957945 43859968 10434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10434 110 215 0 10490 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 42832 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592416/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=140.03 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10556 0 0 0 13992 11 0 0 25 0 1 0 194957945 43859968 10434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10434 110 215 0 10490 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 42832 [startup+150.085 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592480/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=150.03 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10556 0 0 0 14992 11 0 0 25 0 1 0 194957945 43859968 10434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10434 110 215 0 10490 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 42832 [startup+160.091 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592416/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=160.04 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10566 0 0 0 15993 11 0 0 25 0 1 0 194957945 43859968 10444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10444 110 215 0 10490 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 42832 [startup+170.097 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592416/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=170.04 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10566 0 0 0 16993 11 0 0 25 0 1 0 194957945 43859968 10444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581002 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10444 110 215 0 10490 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 42832 [startup+180.102 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592416/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=180.04 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10569 0 0 0 17993 11 0 0 25 0 1 0 194957945 43859968 10447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10447 110 215 0 10490 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 42832 [startup+190.108 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592352/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=190.04 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10582 0 0 0 18993 11 0 0 25 0 1 0 194957945 43859968 10460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10460 110 215 0 10490 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 42832 [startup+200.114 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592352/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=42832 CPUtime=200.05 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 10582 0 0 0 19994 11 0 0 25 0 1 0 194957945 43859968 10460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 10708 10460 110 215 0 10490 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 42832 [startup+210.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1592352/2055920 swapFree=4181388/4192956 ################ # More data... # ################ [pid=9392] ppid=9390 vsize=51912 CPUtime=1781.57 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178142 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 51912 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1782.57 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178242 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 51912 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1783.58 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178343 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 51912 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1784.58 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178443 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 51912 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1785.58 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178543 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 51912 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1786.59 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178644 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580250 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 51912 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1787.59 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178744 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 51912 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1788.6 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178845 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 51912 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1789.6 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 178945 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 51912 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1790.61 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 179046 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581030 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 51912 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1791.61 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 179146 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 51912 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1792.62 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12664 0 0 0 179247 15 0 0 25 0 1 0 194957945 53157888 12534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12534 110 215 0 12760 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 51912 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1793.62 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12670 0 0 0 179347 15 0 0 25 0 1 0 194957945 53157888 12540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12540 110 215 0 12760 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 51912 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1794.63 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12670 0 0 0 179448 15 0 0 25 0 1 0 194957945 53157888 12540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12540 110 215 0 12760 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 51912 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1795.63 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 179548 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 51912 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1796.64 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 179649 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 51912 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1797.64 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 179749 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 51912 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1798.65 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 179850 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 51912 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1799.65 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 179950 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 51912 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1800.66 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 180051 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 51912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 9392 /proc/meminfo: memFree=1583904/2055920 swapFree=4181388/4192956 [pid=9392] ppid=9390 vsize=51912 CPUtime=1800.66 /proc/9392/stat : 9392 (minisat+) R 9390 9392 9346 0 -1 4194304 12671 0 0 0 180051 15 0 0 25 0 1 0 194957945 53157888 12541 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9392/statm: 12978 12541 110 215 0 12760 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 51912 Sending SIGTERM to -9392 Sleeping 2 seconds Child status: 10 Real time (s): 1801.17 CPU time (s): 1800.68 CPU user time (s): 1800.51 CPU system time (s): 0.163975 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 51912
Begin job on node51 on Sat Jun 3 00:01:47 UTC 2006 FILE ID= 35608-1149292907 PBS_JOBID= 306953 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/35608-1149292907/instance-35608-1149292907.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-35608-1149292907 -o ROOT/results/node51/solver-35608-1149292907 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/35608-1149292907/instance-35608-1149292907.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED= 444994 /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.232 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.232 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: 1633912 kB Buffers: 21800 kB Cached: 337784 kB SwapCached: 3400 kB Active: 56872 kB Inactive: 311508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633912 kB SwapTotal: 4192956 kB SwapFree: 4181388 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14916 kB Slab: 39736 kB Committed_AS: 303508 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Sat Jun 3 00:31:48 UTC 2006