Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -42 | 1800.21 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | e1b2be59a127acc8d929395698929541 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -45 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
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 | 945 |
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 | 945 |
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 | 945 |
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.46 c Converting 58549 PB-constraints to clauses... 1.46 c -- Unit propagations: (none) 1.46 c -- Detecting intervals from adjacent constraints: (none) 1.47 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.58 c ==================================[MINISAT+]================================== 1.58 c | Conflicts | Original | Learnt | Progress | 1.58 c | | Clauses Literals | Max Clauses Literals LPC | | 1.58 c ============================================================================== 1.58 c | 0 | 58549 117098 | 19516 0 0 nan | 0.000 % | 1.58 c ============================================================================== 1.58 c [1mFound solution: -33[0m 1.58 o -33 1.59 c ---[ 0]---> Sorter-cost:44290 Base: 1.69 c ==================================[MINISAT+]================================== 1.69 c | Conflicts | Original | Learnt | Progress | 1.69 c | | Clauses Literals | Max Clauses Literals LPC | | 1.69 c ============================================================================== 1.69 c | 0 | 104166 224223 | 34722 0 0 nan | 0.000 % | 1.81 c | 100 | 103642 223111 | 38194 76 983 12.9 | 0.946 % | 1.98 c | 250 | 103156 222095 | 42013 185 1779 9.6 | 1.795 % | 2.21 c | 475 | 102265 220194 | 46214 359 3317 9.2 | 3.414 % | 2.50 c | 814 | 101075 217600 | 50836 639 5778 9.0 | 5.664 % | 3.15 c | 1320 | 97538 209751 | 55920 1003 12819 12.8 | 12.575 % | 3.99 c | 2079 | 93642 200909 | 61512 1463 18801 12.9 | 20.467 % | 5.11 c | 3218 | 88661 189630 | 67663 2127 26524 12.5 | 30.497 % | 6.43 c | 4927 | 82400 175157 | 74429 3225 35325 11.0 | 43.267 % | 6.76 c ============================================================================== 6.76 c [1mFound solution: -36[0m 6.76 o -36 6.77 c ---[ 0]---> Sorter-cost: 0 Base: 6.82 c ==================================[MINISAT+]================================== 6.82 c | Conflicts | Original | Learnt | Progress | 6.82 c | | Clauses Literals | Max Clauses Literals LPC | | 6.82 c ============================================================================== 6.82 c | 5415 | 81313 172721 | 27104 3561 38639 10.9 | 43.267 % | 6.87 c | 5515 | 81068 172126 | 29814 3614 39218 10.9 | 46.298 % | 6.96 c | 5665 | 80657 171144 | 32795 3742 40921 10.9 | 47.176 % | 7.13 c | 5890 | 79982 169546 | 36075 3902 43480 11.1 | 48.620 % | 7.34 c | 6227 | 79003 167290 | 39682 4118 45635 11.1 | 50.642 % | 7.57 c | 6733 | 78063 165079 | 43651 4430 49480 11.2 | 52.651 % | 8.05 c | 7493 | 76096 160443 | 48016 4837 55581 11.5 | 56.880 % | 8.57 c | 8632 | 74589 156885 | 52818 5773 73298 12.7 | 60.129 % | 9.24 c ============================================================================== 9.24 c [1mFound solution: -37[0m 9.24 o -37 9.25 c ---[ 0]---> Sorter-cost: 0 Base: 9.31 c ==================================[MINISAT+]================================== 9.31 c | Conflicts | Original | Learnt | Progress | 9.31 c | | Clauses Literals | Max Clauses Literals LPC | | 9.31 c ============================================================================== 9.31 c | 9964 | 72294 151476 | 24098 6717 92845 13.8 | 60.129 % | 9.33 c | 10064 | 72294 151476 | 26507 6817 96622 14.2 | 65.090 % | 9.39 c | 10214 | 72243 151364 | 29158 6960 98656 14.2 | 65.186 % | 9.46 c | 10440 | 72148 151147 | 32074 7150 102420 14.3 | 65.368 % | 9.58 c | 10777 | 71910 150582 | 35281 7453 109836 14.7 | 65.878 % | 9.76 c | 11283 | 71431 149450 | 38810 7849 116929 14.9 | 66.893 % | 10.15 c | 12042 | 70162 146309 | 42691 8318 128370 15.4 | 69.772 % | 10.59 c | 13181 | 69233 144085 | 46960 9095 152049 16.7 | 71.811 % | 11.27 c | 14889 | 68025 141190 | 51656 10405 194546 18.7 | 74.475 % | 11.99 c | 17451 | 67465 139846 | 56821 12599 292482 23.2 | 75.681 % | 12.17 c ============================================================================== 12.17 c [1mFound solution: -38[0m 12.17 o -38 12.18 c ---[ 0]---> Sorter-cost: 0 Base: 12.23 c ==================================[MINISAT+]================================== 12.23 c | Conflicts | Original | Learnt | Progress | 12.23 c | | Clauses Literals | Max Clauses Literals LPC | | 12.23 c ============================================================================== 12.23 c | 18058 | 67414 139655 | 22471 13154 334103 25.4 | 75.681 % | 12.27 c | 18158 | 67414 139655 | 24718 13254 340082 25.7 | 75.807 % | 12.32 c | 18309 | 67399 139620 | 27189 13361 344290 25.8 | 75.839 % | 12.50 c | 18534 | 66939 138489 | 29908 13378 346429 25.9 | 76.889 % | 12.61 c | 18872 | 66842 138270 | 32899 13666 357163 26.1 | 77.077 % | 12.75 c | 19378 | 66767 138089 | 36189 14080 377022 26.8 | 77.243 % | 13.03 c | 20137 | 66615 137726 | 39808 14759 398503 27.0 | 77.575 % | 13.36 c | 21276 | 66398 137195 | 43789 15773 445835 28.3 | 78.060 % | 13.87 c | 22984 | 66398 137195 | 48168 17481 625306 35.8 | 78.060 % | 14.80 c | 25546 | 66066 136404 | 52985 19769 794427 40.2 | 78.788 % | 16.16 c | 29390 | 65853 135895 | 58283 23401 1067190 45.6 | 79.253 % | 17.63 c ============================================================================== 17.63 c [1mFound solution: -39[0m 17.63 o -39 17.65 c ---[ 0]---> Sorter-cost: 0 Base: 17.72 c ==================================[MINISAT+]================================== 17.72 c | Conflicts | Original | Learnt | Progress | 17.72 c | | Clauses Literals | Max Clauses Literals LPC | | 17.72 c ============================================================================== 17.72 c | 32637 | 65821 135848 | 21940 26636 1446264 54.3 | 79.253 % | 17.81 c | 32737 | 65732 135626 | 24134 26685 1448385 54.3 | 79.603 % | 17.89 c | 32887 | 65727 135615 | 26547 26818 1455138 54.3 | 79.613 % | 17.99 c | 33113 | 65727 135615 | 29202 27044 1474034 54.5 | 79.613 % | 18.17 c | 33450 | 65697 135543 | 32122 27355 1497434 54.7 | 79.680 % | 18.37 c | 33956 | 65697 135543 | 35334 27861 1538713 55.2 | 79.680 % | 18.81 c | 34715 | 65589 135270 | 38868 28521 1585884 55.6 | 79.931 % | 19.40 c | 35855 | 65482 135009 | 42754 29577 1655703 56.0 | 80.169 % | 20.14 c | 37563 | 65482 135009 | 47030 31285 1797921 57.5 | 80.169 % | 21.47 c | 40127 | 65243 134410 | 51733 33432 1984818 59.4 | 80.735 % | 23.62 c | 43971 | 64998 133825 | 56906 36983 2317054 62.7 | 81.263 % | 27.09 c | 49737 | 64814 133363 | 62597 42396 2877508 67.9 | 81.692 % | 33.01 c | 58388 | 64619 132884 | 68857 50672 3796235 74.9 | 82.131 % | 43.72 c | 71362 | 64480 132543 | 75742 63342 5261377 83.1 | 82.449 % | 67.30 c | 90823 | 64425 132404 | 83317 82608 8035630 97.3 | 82.582 % | 90.96 c ============================================================================== 90.96 c [1mFound solution: -40[0m 90.96 o -40 90.98 c ---[ 0]---> Sorter-cost: 0 Base: 91.15 c ==================================[MINISAT+]================================== 91.15 c | Conflicts | Original | Learnt | Progress | 91.15 c | | Clauses Literals | Max Clauses Literals LPC | | 91.15 c ============================================================================== 91.15 c | 109905 | 64414 132357 | 21471 101407 10380699 102.4 | 82.582 % | 91.46 c | 110006 | 64386 132284 | 23618 21811 1640548 75.2 | 82.679 % | 91.51 c | 110156 | 64386 132284 | 25979 21961 1645897 74.9 | 82.679 % | 91.61 c | 110381 | 64386 132284 | 28577 22186 1658364 74.7 | 82.679 % | 91.77 c | 110718 | 64386 132284 | 31435 22523 1685423 74.8 | 82.679 % | 92.04 c | 111224 | 64384 132278 | 34579 23001 1726413 75.1 | 82.685 % | 92.38 c | 111983 | 64356 132212 | 38037 23758 1797994 75.7 | 82.745 % | 92.97 c | 113124 | 64356 132212 | 41840 24899 1928522 77.5 | 82.745 % | 93.74 c | 114832 | 64356 132212 | 46024 26607 2074157 78.0 | 82.745 % | 95.02 c | 117394 | 64321 132129 | 50627 29164 2294029 78.7 | 82.822 % | 97.25 c | 121238 | 64321 132129 | 55690 33008 2737094 82.9 | 82.822 % | 100.89 c | 127004 | 64317 132119 | 61259 38771 3371390 87.0 | 82.831 % | 107.74 c | 135653 | 64295 132065 | 67385 47415 4522685 95.4 | 82.882 % | 118.97 c | 148627 | 64254 131966 | 74123 60336 6178176 102.4 | 82.974 % | 133.44 c ============================================================================== 133.44 c [1mFound solution: -41[0m 133.44 o -41 133.45 c ---[ 0]---> Sorter-cost: 0 Base: 133.60 c ==================================[MINISAT+]================================== 133.60 c | Conflicts | Original | Learnt | Progress | 133.60 c | | Clauses Literals | Max Clauses Literals LPC | | 133.60 c ============================================================================== 133.60 c | 163149 | 64183 131807 | 21394 74787 7692198 102.9 | 82.974 % | 133.80 c | 163249 | 64183 131807 | 23533 20074 1358818 67.7 | 83.143 % | 133.86 c | 163399 | 64183 131807 | 25886 20224 1366314 67.6 | 83.143 % | 133.96 c | 163625 | 64183 131807 | 28475 20450 1379110 67.4 | 83.143 % | 134.04 c | 163962 | 64183 131807 | 31322 20787 1392044 67.0 | 83.143 % | 134.25 c | 164468 | 64183 131807 | 34455 21293 1434386 67.4 | 83.143 % | 134.56 c | 165229 | 64153 131727 | 37900 22051 1483457 67.3 | 83.222 % | 135.06 c | 166369 | 64153 131727 | 41690 23191 1600656 69.0 | 83.222 % | 135.90 c | 168077 | 64134 131680 | 45859 24890 1783760 71.7 | 83.267 % | 137.04 c | 170639 | 64102 131604 | 50445 27431 2021386 73.7 | 83.337 % | 138.96 c | 174484 | 64099 131597 | 55490 31274 2339999 74.8 | 83.343 % | 142.17 c | 180250 | 64099 131597 | 61039 37040 2928223 79.1 | 83.343 % | 147.90 c | 188899 | 64034 131440 | 67143 45638 3846777 84.3 | 83.489 % | 158.97 c | 201873 | 63981 131315 | 73857 58555 5634637 96.2 | 83.603 % | 178.94 c | 221334 | 63975 131301 | 81243 78014 7981254 102.3 | 83.616 % | 215.74 c | 250528 | 63908 131132 | 89368 107123 11438473 106.8 | 83.778 % | 257.19 c | 294319 | 63902 131118 | 98304 53229 4759432 89.4 | 83.791 % | 325.66 c | 360004 | 63735 130700 | 108135 118856 12406551 104.4 | 84.188 % | 444.11 c | 458530 | 63720 130663 | 118948 103406 10348912 100.1 | 84.223 % | 625.40 c | 606319 | 63649 130488 | 130843 125332 13128938 104.8 | 84.388 % | 862.87 c ============================================================================== 862.87 c [1mFound solution: -42[0m 862.87 o -42 862.88 c ---[ 0]---> Sorter-cost: 0 Base: 862.97 c ==================================[MINISAT+]================================== 862.97 c | Conflicts | Original | Learnt | Progress | 862.97 c | | Clauses Literals | Max Clauses Literals LPC | | 862.97 c ============================================================================== 862.97 c | 800692 | 63527 130169 | 21175 44774 2490338 55.6 | 84.388 % | 863.04 c | 800793 | 63527 130169 | 23292 44875 2494192 55.6 | 84.652 % | 863.11 c | 800944 | 63527 130169 | 25621 45026 2499646 55.5 | 84.652 % | 863.23 c | 801169 | 63527 130169 | 28183 45251 2519170 55.7 | 84.652 % | 863.41 c | 801506 | 63527 130169 | 31002 45588 2542135 55.8 | 84.652 % | 863.70 c | 802012 | 63516 130144 | 34102 46072 2579373 56.0 | 84.675 % | 864.02 c | 802771 | 63516 130144 | 37512 46831 2621026 56.0 | 84.674 % | 864.60 c | 803911 | 63516 130144 | 41264 47971 2731665 56.9 | 84.675 % | 865.33 c | 805621 | 63516 130144 | 45390 49681 2845139 57.3 | 84.675 % | 866.73 c | 808183 | 63516 130144 | 49929 52243 3052784 58.4 | 84.675 % | 868.80 c | 812028 | 63516 130144 | 54922 56088 3426452 61.1 | 84.675 % | 872.28 c | 817794 | 63516 130144 | 60414 61854 4045722 65.4 | 84.675 % | 878.82 c | 826444 | 63516 130144 | 66456 70504 4927832 69.9 | 84.675 % | 889.87 c | 839418 | 63516 130144 | 73101 83478 6067691 72.7 | 84.675 % | 909.51 c | 858879 | 63485 130069 | 80412 24109 1377308 57.1 | 84.744 % | 929.57 c | 888072 | 63485 130069 | 88453 53302 3330276 62.5 | 84.744 % | 975.02 c | 931862 | 63485 130069 | 97298 97092 6934655 71.4 | 84.744 % | 1049.21 c | 997547 | 63485 130069 | 107028 62009 3079584 49.7 | 84.744 % | 1139.77 c | 1096073 | 63390 129834 | 117731 48921 2086545 42.7 | 84.967 % | 1306.60 c | 1243864 | 63345 129716 | 129504 76849 4507889 58.7 | 85.062 % | 1572.92 c | 1465547 | 63226 129419 | 142454 32910 1149088 34.9 | 85.332 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s SATISFIABLE 1801.20 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 -x925 1801.20 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 1801.20 v -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1801.20 v -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1801.20 v -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1801.20 v x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1801.20 v x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1801.20 v -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1801.20 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1801.20 v x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1801.20 v -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1801.20 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1801.20 v x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1801.20 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 1801.20 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 1801.20 v -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1801.20 v -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1801.20 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1801.20 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1801.20 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 1801.20 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1801.20 v -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1801.20 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1801.20 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1801.20 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1801.20 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 1801.20 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1801.20 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1801.20 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 1801.20 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1801.20 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 1801.20 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1801.20 v -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1801.20 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 1801.20 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 1801.20 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 1801.20 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1801.20 v x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1801.20 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 1801.20 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1801.20 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 1801.20 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1801.20 v -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1801.20 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1801.20 v -x1
OK -42
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/node76/watcher-35621-1149296503 -o ROOT/results/node76/solver-35621-1149296503 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node76/35621-1149296503/instance-35621-1149296503.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1540488/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=1180 CPUtime=0 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 149 0 0 0 0 0 0 0 19 0 1 0 195289702 1208320 135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 295 135 74 215 0 77 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1520080/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=22308 CPUtime=9.98 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 5379 0 0 0 992 6 0 0 25 0 1 0 195289702 22843392 5204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 5577 5204 110 215 0 5359 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 22308 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1517008/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=25648 CPUtime=19.98 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 6209 0 0 0 1991 7 0 0 25 0 1 0 195289702 26263552 6034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 6412 6034 110 215 0 6194 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 25648 [startup+30.0144 s] /proc/loadavg: 0.95 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1509968/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=32796 CPUtime=29.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 7980 0 0 0 2990 9 0 0 25 0 1 0 195289702 33583104 7805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 8199 7805 110 215 0 7981 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 32796 [startup+40.0206 s] /proc/loadavg: 0.96 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1504080/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=38572 CPUtime=39.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 9447 0 0 0 3988 11 0 0 25 0 1 0 195289702 39497728 9272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 9643 9272 110 215 0 9425 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38572 [startup+50.0269 s] /proc/loadavg: 0.96 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1498512/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=44216 CPUtime=49.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 10827 0 0 0 4986 13 0 0 25 0 1 0 195289702 45277184 10652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 11054 10652 110 215 0 10836 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 44216 [startup+60.033 s] /proc/loadavg: 0.97 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1493456/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=49296 CPUtime=59.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 12111 0 0 0 5985 14 0 0 25 0 1 0 195289702 50479104 11936 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 12324 11936 110 215 0 12106 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 49296 [startup+70.0382 s] /proc/loadavg: 0.97 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1488720/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=53864 CPUtime=69.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 13278 0 0 0 6984 15 0 0 25 0 1 0 195289702 55156736 13103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 13466 13103 110 215 0 13248 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 53864 [startup+80.0444 s] /proc/loadavg: 0.98 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1484176/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=58640 CPUtime=80 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 14424 0 0 0 7983 17 0 0 25 0 1 0 195289702 60047360 14249 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 14660 14249 110 215 0 14442 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 58640 [startup+90.0507 s] /proc/loadavg: 0.98 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1480272/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62552 CPUtime=89.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15403 0 0 0 8982 17 0 0 25 0 1 0 195289702 64053248 15228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587949 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15638 15228 110 215 0 15420 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 62552 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62948 CPUtime=99.99 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 9981 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586566 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15737 15345 110 215 0 15519 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 62948 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62948 CPUtime=110 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 10982 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15737 15345 110 215 0 15519 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 62948 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62948 CPUtime=120 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 11982 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15737 15345 110 215 0 15519 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 62948 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62948 CPUtime=130 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 12982 18 0 0 25 0 1 0 195289702 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15737 15345 110 215 0 15519 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 62948 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479760/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=140 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 13982 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 62944 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=150 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 14982 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 62944 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=160.01 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 15983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 62944 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=170.01 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 16983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 62944 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=180.01 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 17983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 62944 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=190.01 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 18983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 62944 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1479696/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=62944 CPUtime=200.01 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 15520 0 0 0 19983 18 0 0 25 0 1 0 195289702 64454656 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 15736 15345 110 215 0 15518 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 62944 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1476496/2055888 swapFree=4085392/4096564 ################ # More data... # ################ [pid=25943] ppid=25941 vsize=94880 CPUtime=1781.09 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178080 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1781.09 Current children cumulated vsize (Kb) 94880 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1782.1 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178181 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1782.1 Current children cumulated vsize (Kb) 94880 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1783.1 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178281 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1783.1 Current children cumulated vsize (Kb) 94880 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1784.11 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178382 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1784.11 Current children cumulated vsize (Kb) 94880 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1785.11 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178482 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1785.11 Current children cumulated vsize (Kb) 94880 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1786.12 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178583 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1786.12 Current children cumulated vsize (Kb) 94880 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1787.12 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178683 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1787.12 Current children cumulated vsize (Kb) 94880 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1788.12 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178783 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572977 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1788.12 Current children cumulated vsize (Kb) 94880 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1789.12 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178883 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574548 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1789.12 Current children cumulated vsize (Kb) 94880 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1790.13 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 178984 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1790.13 Current children cumulated vsize (Kb) 94880 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1791.13 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179084 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1791.13 Current children cumulated vsize (Kb) 94880 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1792.14 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179185 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1792.14 Current children cumulated vsize (Kb) 94880 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1793.14 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179285 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1793.14 Current children cumulated vsize (Kb) 94880 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1794.15 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179386 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1794.15 Current children cumulated vsize (Kb) 94880 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1795.15 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179486 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (Kb) 94880 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1796.16 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179587 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (Kb) 94880 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1797.16 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179687 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (Kb) 94880 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1798.16 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179787 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580929 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1798.16 Current children cumulated vsize (Kb) 94880 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1799.17 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179888 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1799.17 Current children cumulated vsize (Kb) 94880 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1800.17 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179988 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (Kb) 94880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/68 25943 /proc/meminfo: memFree=1447568/2055888 swapFree=4085392/4096564 [pid=25943] ppid=25941 vsize=94880 CPUtime=1800.18 /proc/25943/stat : 25943 (minisat+) R 25941 25943 25897 0 -1 4194304 23489 0 0 0 179989 29 0 0 25 0 1 0 195289702 97157120 23314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25943/statm: 23720 23314 110 215 0 23502 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (Kb) 94880 Sending SIGTERM to -25943 Sleeping 2 seconds Child status: 10 Real time (s): 1801.22 CPU time (s): 1800.21 CPU user time (s): 1799.89 CPU system time (s): 0.311952 CPU usage (%): 99.9439 Max. virtual memory (cumulated for all children) (Kb): 94880
Begin job on node76 on Sat Jun 3 01:01:43 UTC 2006 FILE ID= 35621-1149296503 PBS_JOBID= 307129 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node76/35621-1149296503/instance-35621-1149296503.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-35621-1149296503 -o ROOT/results/node76/solver-35621-1149296503 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node76/35621-1149296503/instance-35621-1149296503.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED= 695025222 /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.236 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 : 6006.14 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.236 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1540704 kB Buffers: 37792 kB Cached: 408928 kB SwapCached: 2488 kB Active: 107928 kB Inactive: 347512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1540704 kB SwapTotal: 4096564 kB SwapFree: 4085392 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16548 kB Slab: 46360 kB Committed_AS: 308220 kB PageTables: 1260 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node76 on Sat Jun 3 01:31:44 UTC 2006