Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -43 | 1800.67 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
MD5SUM | aabc023158e10c9511062af8ac97c515 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58624 |
Number of constraints which are clauses | 58624 |
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.58 c Converting 58624 PB-constraints to clauses... 1.59 c -- Unit propagations: (none) 1.59 c -- Detecting intervals from adjacent constraints: (none) 1.59 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 1.72 c ==================================[MINISAT+]================================== 1.72 c | Conflicts | Original | Learnt | Progress | 1.72 c | | Clauses Literals | Max Clauses Literals LPC | | 1.72 c ============================================================================== 1.72 c | 0 | 58624 117248 | 19541 0 0 nan | 0.000 % | 1.72 c ============================================================================== 1.72 c [1mFound solution: -31[0m 1.72 o -31 1.73 c ---[ 0]---> Sorter-cost:44290 Base: 1.83 c ==================================[MINISAT+]================================== 1.83 c | Conflicts | Original | Learnt | Progress | 1.83 c | | Clauses Literals | Max Clauses Literals LPC | | 1.83 c ============================================================================== 1.83 c | 0 | 104213 224311 | 34737 0 0 nan | 0.000 % | 1.97 c | 100 | 103753 223355 | 38210 63 352 5.6 | 0.799 % | 2.17 c | 250 | 103075 221899 | 42031 184 1699 9.2 | 2.046 % | 2.47 c | 475 | 101685 218869 | 46234 359 3428 9.5 | 4.676 % | 2.83 c | 813 | 99941 215027 | 50858 624 5935 9.5 | 8.041 % | 3.22 c ============================================================================== 3.22 c [1mFound solution: -34[0m 3.22 o -34 3.23 c ---[ 0]---> Sorter-cost: 0 Base: 3.28 c ==================================[MINISAT+]================================== 3.28 c | Conflicts | Original | Learnt | Progress | 3.28 c | | Clauses Literals | Max Clauses Literals LPC | | 3.28 c ============================================================================== 3.28 c | 1145 | 98367 211607 | 32789 875 9453 10.8 | 8.041 % | 3.42 c | 1246 | 97670 210062 | 36067 936 10041 10.7 | 12.509 % | 3.55 c | 1396 | 97202 209006 | 39674 1031 10925 10.6 | 13.452 % | 3.80 c | 1621 | 95987 206277 | 43642 1161 12048 10.4 | 15.877 % | 4.07 c | 1958 | 94801 203593 | 48006 1411 15086 10.7 | 18.255 % | 4.64 c | 2464 | 92142 197582 | 52807 1692 17509 10.3 | 23.612 % | 5.22 c | 3223 | 89622 191786 | 58087 2260 23288 10.3 | 28.835 % | 6.11 c | 4362 | 85515 182365 | 63896 3094 31899 10.3 | 37.082 % | 7.21 c | 6070 | 81641 173405 | 70286 4400 47324 10.8 | 45.054 % | 8.73 c | 8632 | 76140 160465 | 77314 6222 77175 12.4 | 56.811 % | 10.44 c | 12476 | 71881 150330 | 85046 9255 155440 16.8 | 66.013 % | 11.14 c ============================================================================== 11.14 c [1mFound solution: -35[0m 11.14 o -35 11.15 c ---[ 0]---> Sorter-cost: 0 Base: 11.20 c ==================================[MINISAT+]================================== 11.20 c | Conflicts | Original | Learnt | Progress | 11.20 c | | Clauses Literals | Max Clauses Literals LPC | | 11.20 c ============================================================================== 11.20 c | 14307 | 70810 147891 | 23603 10753 201061 18.7 | 66.013 % | 11.27 c | 14407 | 70765 147784 | 25963 10841 202522 18.7 | 68.509 % | 11.32 c | 14557 | 70765 147784 | 28559 10991 207402 18.9 | 68.509 % | 11.39 c | 14783 | 70691 147602 | 31415 11185 216078 19.3 | 68.675 % | 11.51 c | 15120 | 70586 147358 | 34557 11507 227319 19.8 | 68.886 % | 11.69 c | 15626 | 70348 146787 | 38012 11951 241938 20.2 | 69.400 % | 12.01 c | 16385 | 70089 146154 | 41814 12648 271863 21.5 | 69.975 % | 12.19 c ============================================================================== 12.19 c [1mFound solution: -36[0m 12.19 o -36 12.20 c ---[ 0]---> Sorter-cost: 0 Base: 12.26 c ==================================[MINISAT+]================================== 12.26 c | Conflicts | Original | Learnt | Progress | 12.26 c | | Clauses Literals | Max Clauses Literals LPC | | 12.26 c ============================================================================== 12.26 c | 16815 | 69891 145672 | 23297 13020 282802 21.7 | 69.975 % | 12.29 c | 16915 | 69891 145672 | 25626 13120 284893 21.7 | 70.395 % | 12.33 c | 17065 | 69891 145672 | 28189 13270 286399 21.6 | 70.395 % | 12.41 c | 17290 | 69827 145517 | 31008 13475 295467 21.9 | 70.532 % | 12.54 c | 17627 | 69734 145292 | 34109 13799 310942 22.5 | 70.743 % | 12.78 c | 18133 | 69371 144409 | 37520 14192 322561 22.7 | 71.538 % | 12.83 c ============================================================================== 12.83 c [1mFound solution: -37[0m 12.83 o -37 12.84 c ---[ 0]---> Sorter-cost: 0 Base: 12.90 c ==================================[MINISAT+]================================== 12.90 c | Conflicts | Original | Learnt | Progress | 12.90 c | | Clauses Literals | Max Clauses Literals LPC | | 12.90 c ============================================================================== 12.90 c | 18277 | 69362 144430 | 23120 14335 325818 22.7 | 71.538 % | 12.94 c | 18377 | 69362 144430 | 25432 14435 332585 23.0 | 71.584 % | 13.02 c | 18527 | 69277 144233 | 27975 14556 347362 23.9 | 71.763 % | 13.10 c | 18752 | 69277 144233 | 30772 14781 367844 24.9 | 71.763 % | 13.28 c | 19089 | 69030 143626 | 33849 14950 374080 25.0 | 72.327 % | 13.51 c | 19596 | 68741 142905 | 37234 15398 392392 25.5 | 73.016 % | 13.75 c | 20355 | 68660 142718 | 40958 16081 432831 26.9 | 73.185 % | 14.12 c | 21494 | 68513 142365 | 45054 17165 509426 29.7 | 73.511 % | 14.82 c | 23202 | 68154 141510 | 49559 18653 641562 34.4 | 74.298 % | 15.13 c ============================================================================== 15.13 c [1mFound solution: -38[0m 15.13 o -38 15.14 c ---[ 0]---> Sorter-cost: 0 Base: 15.21 c ==================================[MINISAT+]================================== 15.21 c | Conflicts | Original | Learnt | Progress | 15.21 c | | Clauses Literals | Max Clauses Literals LPC | | 15.21 c ============================================================================== 15.21 c | 23824 | 67852 140729 | 22617 19046 663777 34.9 | 74.298 % | 15.28 c | 23924 | 67766 140515 | 24878 19123 665280 34.8 | 75.183 % | 15.35 c | 24074 | 67714 140393 | 27366 19252 669804 34.8 | 75.292 % | 15.41 c | 24299 | 67714 140393 | 30103 19477 677322 34.8 | 75.292 % | 15.52 c | 24636 | 67714 140393 | 33113 19814 696585 35.2 | 75.292 % | 15.71 c | 25142 | 67678 140303 | 36424 20309 716491 35.3 | 75.375 % | 16.09 c | 25902 | 67425 139703 | 40067 20929 797034 38.1 | 75.917 % | 16.61 c | 27042 | 67212 139192 | 44074 21947 872312 39.7 | 76.383 % | 17.31 c | 28750 | 67142 139014 | 48481 23609 1034815 43.8 | 76.548 % | 18.33 c | 31312 | 67092 138893 | 53329 26102 1245314 47.7 | 76.657 % | 20.44 c | 35156 | 66477 137377 | 58662 29648 1507713 50.9 | 78.057 % | 23.32 c | 40922 | 66357 137092 | 64528 35234 2003265 56.9 | 78.315 % | 28.48 c | 49572 | 66165 136632 | 70981 43618 2849495 65.3 | 78.733 % | 30.81 c ============================================================================== 30.81 c [1mFound solution: -39[0m 30.81 o -39 30.82 c ---[ 0]---> Sorter-cost: 0 Base: 30.92 c ==================================[MINISAT+]================================== 30.92 c | Conflicts | Original | Learnt | Progress | 30.92 c | | Clauses Literals | Max Clauses Literals LPC | | 30.92 c ============================================================================== 30.92 c | 53102 | 66131 136585 | 22043 46964 3239093 69.0 | 78.733 % | 31.06 c | 53203 | 66092 136494 | 24247 19870 1267667 63.8 | 78.977 % | 31.13 c | 53353 | 66092 136494 | 26672 20020 1277625 63.8 | 78.977 % | 31.24 c | 53578 | 66092 136494 | 29339 20245 1297647 64.1 | 78.977 % | 31.43 c | 53917 | 66083 136473 | 32273 20580 1329003 64.6 | 78.996 % | 31.65 c | 54424 | 66083 136473 | 35500 21087 1371465 65.0 | 78.996 % | 32.03 c | 55183 | 66081 136469 | 39050 21844 1449488 66.4 | 78.999 % | 32.62 c | 56322 | 66081 136469 | 42955 22983 1576964 68.6 | 78.999 % | 33.43 c | 58030 | 66081 136469 | 47251 24691 1727745 70.0 | 78.999 % | 34.89 c | 60592 | 65903 136032 | 51976 27218 1994366 73.3 | 79.390 % | 37.16 c | 64436 | 65748 135667 | 57173 31008 2368011 76.4 | 79.714 % | 40.87 c | 70202 | 65748 135667 | 62891 36774 3054028 83.0 | 79.714 % | 47.34 c | 78851 | 65630 135370 | 69180 45415 4281369 94.3 | 79.987 % | 59.07 c | 91825 | 65630 135370 | 76098 58389 6085540 104.2 | 79.987 % | 64.82 c ============================================================================== 64.82 c [1mFound solution: -40[0m 64.82 o -40 64.83 c ---[ 0]---> Sorter-cost: 0 Base: 64.97 c ==================================[MINISAT+]================================== 64.97 c | Conflicts | Original | Learnt | Progress | 64.97 c | | Clauses Literals | Max Clauses Literals LPC | | 64.97 c ============================================================================== 64.97 c | 97446 | 65617 135317 | 21872 63942 6734885 105.3 | 79.987 % | 65.29 c | 97546 | 65521 135083 | 24059 19913 1776166 89.2 | 80.240 % | 65.39 c | 97696 | 65511 135059 | 26465 20062 1785837 89.0 | 80.262 % | 65.53 c | 97921 | 65485 134999 | 29111 20286 1798820 88.7 | 80.316 % | 65.68 c | 98258 | 65485 134999 | 32022 20623 1818617 88.2 | 80.316 % | 65.90 c | 98765 | 65485 134999 | 35225 21130 1863451 88.2 | 80.316 % | 66.29 c | 99525 | 65485 134999 | 38747 21890 1943719 88.8 | 80.316 % | 66.87 c | 100667 | 65432 134870 | 42622 23023 2052223 89.1 | 80.433 % | 68.03 c | 102376 | 65237 134387 | 46884 24634 2215179 89.9 | 80.881 % | 69.34 c | 104938 | 65233 134377 | 51573 27193 2439838 89.7 | 80.891 % | 71.83 c | 108784 | 65114 134084 | 56730 31017 2904470 93.6 | 81.164 % | 75.92 c | 114550 | 64872 133502 | 62403 36617 3619951 98.9 | 81.689 % | 82.08 c | 123199 | 64872 133502 | 68643 45266 4649642 102.7 | 81.689 % | 95.43 c | 136175 | 64810 133346 | 75508 58227 6774965 116.4 | 81.838 % | 110.14 c ============================================================================== 110.14 c [1mFound solution: -41[0m 110.14 o -41 110.16 c ---[ 0]---> Sorter-cost: 0 Base: 110.32 c ==================================[MINISAT+]================================== 110.32 c | Conflicts | Original | Learnt | Progress | 110.32 c | | Clauses Literals | Max Clauses Literals LPC | | 110.32 c ============================================================================== 110.32 c | 150026 | 64829 133402 | 21609 72073 8627626 119.7 | 81.838 % | 110.54 c | 150126 | 64829 133402 | 23769 20486 1739332 84.9 | 81.817 % | 110.58 c | 150276 | 64829 133402 | 26146 20636 1744519 84.5 | 81.817 % | 110.70 c | 150501 | 64829 133402 | 28761 20861 1763472 84.5 | 81.817 % | 110.95 c | 150839 | 64720 133135 | 31637 21184 1776192 83.8 | 82.068 % | 111.14 c | 151345 | 64720 133135 | 34801 21690 1809498 83.4 | 82.068 % | 111.53 c | 152104 | 64667 133003 | 38281 22431 1868161 83.3 | 82.192 % | 112.01 c | 153244 | 64576 132788 | 42109 23332 1921393 82.4 | 82.385 % | 112.97 c | 154952 | 64519 132644 | 46320 25032 2128460 85.0 | 82.515 % | 114.35 c | 157514 | 64514 132633 | 50952 27592 2413144 87.5 | 82.525 % | 116.60 c | 161359 | 64514 132633 | 56048 31437 2830357 90.0 | 82.525 % | 120.65 c | 167125 | 64508 132619 | 61652 37198 3592888 96.6 | 82.538 % | 127.73 c | 175774 | 64484 132559 | 67818 45837 4744404 103.5 | 82.595 % | 138.63 c | 188750 | 64443 132458 | 74600 58799 6135883 104.4 | 82.690 % | 162.35 c | 208211 | 64435 132438 | 82060 78258 8346917 106.7 | 82.709 % | 205.62 c | 237404 | 64428 132421 | 90266 107448 11304159 105.2 | 82.725 % | 247.72 c | 281193 | 64313 132144 | 99292 56003 5085663 90.8 | 82.979 % | 336.04 c | 346877 | 64154 131750 | 109222 121446 12746175 105.0 | 83.347 % | 462.47 c | 445403 | 64019 131427 | 120144 104029 14095691 135.5 | 83.645 % | 651.94 c | 593192 | 63972 131308 | 132158 126275 13452165 106.5 | 83.760 % | 943.00 c | 814875 | 63846 130990 | 145374 70499 5499835 78.0 | 84.065 % | 1133.09 c ============================================================================== 1133.09 c [1mFound solution: -42[0m 1133.09 o -42 1133.11 c ---[ 0]---> Sorter-cost: 0 Base: 1133.24 c ==================================[MINISAT+]================================== 1133.24 c | Conflicts | Original | Learnt | Progress | 1133.24 c | | Clauses Literals | Max Clauses Literals LPC | | 1133.24 c ============================================================================== 1133.24 c | 959809 | 63817 130879 | 21272 63813 5891031 92.3 | 84.065 % | 1133.56 c | 959909 | 63817 130879 | 23399 20718 1321198 63.8 | 84.132 % | 1133.64 c | 960060 | 63808 130858 | 25739 20866 1325827 63.5 | 84.151 % | 1133.74 c | 960286 | 63803 130847 | 28313 21089 1336832 63.4 | 84.161 % | 1133.91 c | 960623 | 63797 130833 | 31144 21423 1351180 63.1 | 84.173 % | 1134.14 c | 961131 | 63797 130833 | 34258 21931 1389822 63.4 | 84.173 % | 1134.39 c | 961890 | 63797 130833 | 37684 22690 1430206 63.0 | 84.173 % | 1134.88 c | 963029 | 63792 130822 | 41453 23828 1520713 63.8 | 84.183 % | 1135.62 c | 964737 | 63792 130822 | 45598 25536 1665316 65.2 | 84.183 % | 1136.76 c | 967299 | 63792 130822 | 50158 28098 1912620 68.1 | 84.183 % | 1138.62 c | 971143 | 63792 130822 | 55174 31942 2283961 71.5 | 84.183 % | 1142.15 c | 976909 | 63792 130822 | 60691 37708 2983787 79.1 | 84.183 % | 1147.86 c | 985559 | 63792 130822 | 66760 46358 3711311 80.1 | 84.183 % | 1158.18 c | 998533 | 63792 130822 | 73436 59332 4990834 84.1 | 84.183 % | 1181.55 c | 1017995 | 63792 130822 | 80780 78794 7337241 93.1 | 84.183 % | 1219.57 c | 1047189 | 63785 130805 | 88858 107987 10109022 93.6 | 84.199 % | 1259.48 c | 1090981 | 63695 130587 | 97744 59304 4103606 69.2 | 84.402 % | 1342.94 c | 1156665 | 63676 130544 | 107518 124977 9446463 75.6 | 84.440 % | 1464.30 c | 1255191 | 63665 130517 | 118270 112552 4834277 43.0 | 84.466 % | 1674.23 c ============================================================================== 1674.23 c [1mFound solution: -43[0m 1674.23 o -43 1674.25 c ---[ 0]---> Sorter-cost: 0 Base: 1674.40 c ==================================[MINISAT+]================================== 1674.40 c | Conflicts | Original | Learnt | Progress | 1674.40 c | | Clauses Literals | Max Clauses Literals LPC | | 1674.40 c ============================================================================== 1674.40 c | 1397196 | 63677 130554 | 21225 136726 5531471 40.5 | 84.466 % | 1676.72 c | 1397297 | 63677 130554 | 23347 26529 756746 28.5 | 84.495 % | 1676.82 c | 1397448 | 63677 130554 | 25682 26680 761212 28.5 | 84.495 % | 1676.97 c | 1397673 | 63677 130554 | 28250 26905 768814 28.6 | 84.495 % | 1677.18 c | 1398010 | 63677 130554 | 31075 27242 781699 28.7 | 84.495 % | 1677.41 c | 1398516 | 63677 130554 | 34183 27748 812222 29.3 | 84.495 % | 1677.74 c | 1399275 | 63677 130554 | 37601 28507 868423 30.5 | 84.495 % | 1678.25 c | 1400414 | 63677 130554 | 41361 29646 944174 31.8 | 84.495 % | 1678.88 c | 1402122 | 63677 130554 | 45497 31354 1045658 33.4 | 84.495 % | 1680.06 c | 1404684 | 63585 130324 | 50047 33875 1234548 36.4 | 84.691 % | 1681.68 c | 1408528 | 63543 130216 | 55052 37708 1488343 39.5 | 84.795 % | 1684.71 c | 1414294 | 63509 130138 | 60557 43450 1961678 45.1 | 84.865 % | 1690.07 c | 1422944 | 63487 130088 | 66613 52098 2711481 52.0 | 84.909 % | 1700.13 c | 1435918 | 63487 130088 | 73274 65072 3721414 57.2 | 84.909 % | 1719.12 c | 1455379 | 63482 130077 | 80601 84530 5339382 63.2 | 84.919 % | 1751.15 c | 1484572 | 63318 129656 | 88662 29819 1412257 47.4 | 85.266 % | 1792.78 c | 1528361 | 63304 129622 | 97528 73524 6489058 88.3 | 85.298 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s SATISFIABLE 1801.19 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1801.19 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1801.19 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 1801.19 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1801.19 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1801.19 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 1801.19 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 1801.19 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1801.19 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1801.19 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 1801.19 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 1801.19 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 1801.19 v x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1801.19 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1801.19 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1801.19 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 1801.19 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1801.19 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 1801.19 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1801.19 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 1801.19 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 1801.19 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1801.19 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 1801.19 v -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1801.19 v -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1801.19 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1801.19 v -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1801.19 v x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1801.19 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 1801.19 v -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1801.19 v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1801.19 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 1801.19 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 1801.19 v -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1801.19 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1801.19 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1801.19 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1801.19 v -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1801.19 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1801.19 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1801.19 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.19 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.19 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.19 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.19 v -x1
OK -43
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/node47/watcher-35619-1149295425 -o ROOT/results/node47/solver-35619-1149295425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node47/35619-1149295425/instance-35619-1149295425.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1652824/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=1048 CPUtime=0 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 161471070 1073152 82 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 262 83 67 215 0 44 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1632352/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=22396 CPUtime=9.98 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 5422 0 0 0 991 7 0 0 25 0 1 0 161471070 22933504 5233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 5599 5233 110 215 0 5381 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 22396 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1630688/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=24272 CPUtime=19.99 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 5866 0 0 0 1991 8 0 0 25 0 1 0 161471070 24854528 5677 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 6068 5677 110 215 0 5850 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24272 [startup+30.0151 s] /proc/loadavg: 0.95 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1623520/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=31440 CPUtime=29.99 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 7664 0 0 0 2989 10 0 0 25 0 1 0 161471070 32194560 7475 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 7860 7475 110 215 0 7642 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 31440 [startup+40.0212 s] /proc/loadavg: 0.96 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1622688/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=32280 CPUtime=39.99 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 7875 0 0 0 3989 10 0 0 25 0 1 0 161471070 33054720 7686 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 8070 7686 110 215 0 7852 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 32280 [startup+50.0273 s] /proc/loadavg: 0.96 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1616608/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=38424 CPUtime=49.99 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 9410 0 0 0 4988 11 0 0 25 0 1 0 161471070 39346176 9221 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 9606 9221 110 215 0 9388 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 38424 [startup+60.0333 s] /proc/loadavg: 0.97 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1610400/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=44576 CPUtime=59.99 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 10956 0 0 0 5986 13 0 0 25 0 1 0 161471070 45645824 10767 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576399 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 11144 10767 110 215 0 10926 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 44576 [startup+70.0404 s] /proc/loadavg: 0.97 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1607840/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=47188 CPUtime=70 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 11590 0 0 0 6986 14 0 0 25 0 1 0 161471070 48320512 11401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 11797 11401 110 215 0 11579 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 47188 [startup+80.0465 s] /proc/loadavg: 0.98 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1607840/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=47188 CPUtime=80 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 11590 0 0 0 7986 14 0 0 25 0 1 0 161471070 48320512 11401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 11797 11401 110 215 0 11579 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 47188 [startup+90.0526 s] /proc/loadavg: 0.98 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1607840/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=47188 CPUtime=90 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 11590 0 0 0 8986 14 0 0 25 0 1 0 161471070 48320512 11401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 11797 11401 110 215 0 11579 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 47188 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1604768/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=50324 CPUtime=100.01 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 12372 0 0 0 9986 15 0 0 25 0 1 0 161471070 51531776 12183 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 12581 12183 110 215 0 12363 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 50324 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1599904/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=55172 CPUtime=110.02 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 13582 0 0 0 10985 17 0 0 25 0 1 0 161471070 56496128 13393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 13793 13393 110 215 0 13575 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 55172 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1599712/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=55256 CPUtime=120.02 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 13615 0 0 0 11985 17 0 0 25 0 1 0 161471070 56582144 13426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580902 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 13814 13426 110 215 0 13596 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 55256 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1599712/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=55256 CPUtime=130.02 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 13615 0 0 0 12985 17 0 0 25 0 1 0 161471070 56582144 13426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 13814 13426 110 215 0 13596 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 55256 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1599712/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=55256 CPUtime=140.03 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 13615 0 0 0 13986 17 0 0 25 0 1 0 161471070 56582144 13426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581477 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 13814 13426 110 215 0 13596 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 55256 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1599712/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=55256 CPUtime=150.03 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 13615 0 0 0 14986 17 0 0 25 0 1 0 161471070 56582144 13426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574120 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 13814 13426 110 215 0 13596 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 55256 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1599712/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=55256 CPUtime=160.03 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 13619 0 0 0 15986 17 0 0 25 0 1 0 161471070 56582144 13430 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 13814 13430 110 215 0 13596 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 55256 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1597472/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=57460 CPUtime=170.03 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 14181 0 0 0 16986 17 0 0 25 0 1 0 161471070 58839040 13992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 14365 13992 110 215 0 14147 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 57460 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1594080/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=60864 CPUtime=180.04 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 15026 0 0 0 17985 19 0 0 25 0 1 0 161471070 62324736 14837 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 15216 14837 110 215 0 14998 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 60864 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1591264/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=63796 CPUtime=190.04 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 15718 0 0 0 18985 19 0 0 25 0 1 0 161471070 65327104 15529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578748 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 15949 15529 110 215 0 15731 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 63796 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1588832/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=66272 CPUtime=200.04 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 16330 0 0 0 19984 20 0 0 25 0 1 0 161471070 67862528 16141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 16568 16141 110 215 0 16350 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 66272 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20435 /proc/meminfo: memFree=1586464/2055920 swapFree=4183744/4192956 ################ # More data... # ################ [pid=20435] ppid=20433 vsize=107292 CPUtime=1781.55 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178117 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 107292 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1782.56 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178218 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 107292 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1783.56 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178318 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 107292 [startup+1785.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1784.56 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178418 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 107292 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1785.57 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178519 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 107292 [startup+1787.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1786.57 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178619 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 107292 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1787.58 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178720 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 107292 [startup+1789.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1788.58 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178820 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 107292 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1789.59 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 178921 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580913 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 107292 [startup+1791.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1790.59 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179021 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 107292 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1791.6 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179122 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 107292 [startup+1793.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1792.6 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179222 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 107292 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1793.61 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179323 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 107292 [startup+1795.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1794.61 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179423 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 107292 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1795.62 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179524 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 107292 [startup+1797.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1796.62 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179624 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 107292 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1797.63 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179725 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 107292 [startup+1799.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1798.63 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179825 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575444 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 107292 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1799.64 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 179926 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 107292 [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1800.64 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 180026 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 107292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.93 2/64 20630 /proc/meminfo: memFree=1547296/2055920 swapFree=4183744/4192956 [pid=20435] ppid=20433 vsize=107292 CPUtime=1800.64 /proc/20435/stat : 20435 (minisat+) R 20433 20435 20389 0 -1 4194304 26597 0 0 0 180026 38 0 0 25 0 1 0 161471070 109867008 26408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20435/statm: 26823 26408 110 215 0 26605 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 107292 Sending SIGTERM to -20435 Sleeping 2 seconds Child status: 10 Real time (s): 1801.21 CPU time (s): 1800.67 CPU user time (s): 1800.27 CPU system time (s): 0.399939 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (Kb): 107292
Begin job on node47 on Sat Jun 3 00:43:45 UTC 2006 FILE ID= 35619-1149295425 PBS_JOBID= 307095 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-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node47/35619-1149295425/instance-35619-1149295425.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-35619-1149295425 -o ROOT/results/node47/solver-35619-1149295425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node47/35619-1149295425/instance-35619-1149295425.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= aabc023158e10c9511062af8ac97c515 RANDOM SEED= 17296681 /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 : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1653096 kB Buffers: 22912 kB Cached: 313940 kB SwapCached: 3352 kB Active: 51068 kB Inactive: 294560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1653096 kB SwapTotal: 4192956 kB SwapFree: 4183744 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15032 kB Slab: 43184 kB Committed_AS: 279152 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Sat Jun 3 01:13:47 UTC 2006