Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -42 | 1800.07 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
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.03 |
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 | 58245 |
Number of constraints which are clauses | 58245 |
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/0.00 c Parsing PB file... 1.49/1.58 c Converting 58245 PB-constraints to clauses... 1.49/1.58 c -- Unit propagations: (none) 1.49/1.58 c -- Detecting intervals from adjacent constraints: (none) 1.49/1.59 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.69/1.72 c ==================================[MINISAT+]================================== 1.69/1.72 c | Conflicts | Original | Learnt | Progress | 1.69/1.72 c | | Clauses Literals | Max Clauses Literals LPC | | 1.69/1.72 c ============================================================================== 1.69/1.72 c | 0 | 58245 116490 | 19415 0 0 nan | 0.000 % | 1.69/1.72 c ============================================================================== 1.69/1.72 c [1mFound solution: -29[0m 1.69/1.72 o -29 1.69/1.73 c ---[ 0]---> Sorter-cost:44290 Base: 1.80/1.83 c ==================================[MINISAT+]================================== 1.80/1.83 c | Conflicts | Original | Learnt | Progress | 1.80/1.83 c | | Clauses Literals | Max Clauses Literals LPC | | 1.80/1.83 c ============================================================================== 1.80/1.83 c | 0 | 103674 223173 | 34558 0 0 nan | 0.000 % | 1.99/2.00 c | 100 | 103217 222224 | 38013 74 640 8.6 | 0.795 % | 2.20/2.25 c | 250 | 102277 220190 | 41815 178 1328 7.5 | 2.556 % | 2.49/2.54 c | 475 | 101299 218072 | 45996 363 3330 9.2 | 4.391 % | 2.99/3.03 c | 812 | 99047 213116 | 50596 601 6292 10.5 | 8.826 % | 3.30/3.38 c ============================================================================== 3.30/3.38 c [1mFound solution: -33[0m 3.30/3.38 o -33 3.30/3.39 c ---[ 0]---> Sorter-cost: 0 Base: 3.39/3.44 c ==================================[MINISAT+]================================== 3.39/3.44 c | Conflicts | Original | Learnt | Progress | 3.39/3.44 c | | Clauses Literals | Max Clauses Literals LPC | | 3.39/3.44 c ============================================================================== 3.39/3.44 c | 1154 | 97981 210998 | 32660 842 9717 11.5 | 8.826 % | 3.49/3.55 c | 1254 | 97456 209833 | 35926 908 10864 12.0 | 12.242 % | 3.69/3.72 c | 1404 | 96930 208673 | 39518 1038 12408 12.0 | 13.257 % | 3.89/3.94 c | 1630 | 96171 206966 | 43470 1223 14347 11.7 | 14.977 % | 4.29/4.34 c | 1967 | 94090 202274 | 47817 1458 16260 11.2 | 18.956 % | 4.69/4.74 c | 2473 | 92212 198058 | 52599 1787 19115 10.7 | 22.689 % | 5.49/5.54 c | 3232 | 88553 189636 | 57859 2356 25138 10.7 | 30.105 % | 6.39/6.45 c | 4372 | 84300 179875 | 63645 3005 31878 10.6 | 38.823 % | 7.39/7.48 c | 6081 | 80620 171309 | 70009 4307 46466 10.8 | 46.451 % | 8.99/9.00 c | 8643 | 75017 158019 | 77010 6013 68321 11.4 | 58.474 % | 9.49/9.59 c ============================================================================== 9.49/9.59 c [1mFound solution: -34[0m 9.49/9.59 o -34 9.59/9.60 c ---[ 0]---> Sorter-cost: 0 Base: 9.59/9.65 c ==================================[MINISAT+]================================== 9.59/9.65 c | Conflicts | Original | Learnt | Progress | 9.59/9.65 c | | Clauses Literals | Max Clauses Literals LPC | | 9.59/9.65 c ============================================================================== 9.59/9.65 c | 9837 | 73511 154433 | 24503 6917 84271 12.2 | 58.474 % | 9.69/9.74 c | 9937 | 73160 153606 | 26953 6916 84599 12.2 | 62.459 % | 9.69/9.80 c | 10087 | 73060 153368 | 29648 6999 85824 12.3 | 62.676 % | 9.89/9.90 c | 10312 | 72828 152824 | 32613 7170 89136 12.4 | 63.163 % | 9.99/10.02 c | 10649 | 72659 152439 | 35874 7471 94516 12.7 | 63.509 % | 10.09/10.19 c | 11155 | 72503 152068 | 39462 7865 103845 13.2 | 63.970 % | 10.49/10.52 c | 11914 | 71669 150067 | 43408 8396 115466 13.8 | 65.675 % | 10.79/10.90 c | 13055 | 71037 148549 | 47749 9401 141983 15.1 | 67.046 % | 11.49/11.51 c | 14763 | 70222 146623 | 52524 10862 187323 17.2 | 68.772 % | 11.59/11.61 c ============================================================================== 11.59/11.61 c [1mFound solution: -35[0m 11.59/11.61 o -35 11.59/11.62 c ---[ 0]---> Sorter-cost: 0 Base: 11.59/11.67 c ==================================[MINISAT+]================================== 11.59/11.67 c | Conflicts | Original | Learnt | Progress | 11.59/11.67 c | | Clauses Literals | Max Clauses Literals LPC | | 11.59/11.67 c ============================================================================== 11.59/11.67 c | 15084 | 70261 146790 | 23420 11142 194649 17.5 | 68.772 % | 11.69/11.74 c | 15184 | 70145 146515 | 25762 11226 196318 17.5 | 69.049 % | 11.69/11.79 c | 15334 | 70122 146458 | 28338 11375 199287 17.5 | 69.100 % | 11.79/11.86 c | 15559 | 70122 146458 | 31172 11600 219368 18.9 | 69.100 % | 11.89/11.94 c | 15896 | 70114 146440 | 34289 11935 226983 19.0 | 69.116 % | 12.09/12.13 c | 16402 | 69855 145806 | 37718 12327 241011 19.6 | 69.697 % | 12.39/12.41 c | 17161 | 69457 144856 | 41489 12860 269839 21.0 | 70.553 % | 12.99/13.04 c | 18300 | 68230 141868 | 45638 13498 300688 22.3 | 73.307 % | 13.39/13.42 c ============================================================================== 13.39/13.42 c [1mFound solution: -36[0m 13.39/13.42 o -36 13.39/13.43 c ---[ 0]---> Sorter-cost: 0 Base: 13.39/13.49 c ==================================[MINISAT+]================================== 13.39/13.49 c | Conflicts | Original | Learnt | Progress | 13.39/13.49 c | | Clauses Literals | Max Clauses Literals LPC | | 13.39/13.49 c ============================================================================== 13.39/13.49 c | 19394 | 67923 141108 | 22641 14427 343281 23.8 | 73.307 % | 13.49/13.53 c | 19495 | 67908 141073 | 24905 14526 347004 23.9 | 74.024 % | 13.49/13.58 c ============================================================================== 13.49/13.58 c [1mFound solution: -37[0m 13.49/13.58 o -37 13.49/13.60 c ---[ 0]---> Sorter-cost: 0 Base: 13.59/13.66 c ==================================[MINISAT+]================================== 13.59/13.66 c | Conflicts | Original | Learnt | Progress | 13.59/13.66 c | | Clauses Literals | Max Clauses Literals LPC | | 13.59/13.66 c ============================================================================== 13.59/13.66 c | 19613 | 67925 141145 | 22641 14641 351375 24.0 | 74.024 % | 13.69/13.70 c | 19713 | 67839 140937 | 24905 14731 356033 24.2 | 74.212 % | 13.69/13.78 c | 19863 | 67762 140750 | 27395 14851 358518 24.1 | 74.384 % | 13.89/13.92 c | 20088 | 67631 140425 | 30135 14979 363163 24.2 | 74.687 % | 13.99/14.02 c | 20425 | 67626 140412 | 33148 15243 374131 24.5 | 74.700 % | 14.09/14.19 c | 20932 | 67626 140412 | 36463 15750 434642 27.6 | 74.700 % | 14.39/14.49 c | 21692 | 67432 139937 | 40109 16429 458771 27.9 | 75.130 % | 14.89/14.98 c | 22831 | 67112 139167 | 44120 17411 506808 29.1 | 75.822 % | 15.49/15.50 c | 24539 | 67069 139072 | 48532 19055 591866 31.1 | 75.899 % | 16.29/16.38 c | 27101 | 66891 138638 | 53386 21563 774079 35.9 | 76.294 % | 17.79/17.83 c | 30945 | 66792 138391 | 58724 25311 1005599 39.7 | 76.527 % | 20.08/20.13 c ============================================================================== 20.08/20.13 c [1mFound solution: -38[0m 20.08/20.13 o -38 20.08/20.14 c ---[ 0]---> Sorter-cost: 0 Base: 20.18/20.22 c ==================================[MINISAT+]================================== 20.18/20.22 c | Conflicts | Original | Learnt | Progress | 20.18/20.22 c | | Clauses Literals | Max Clauses Literals LPC | | 20.18/20.22 c ============================================================================== 20.18/20.22 c | 35844 | 66669 138025 | 22223 30022 1470073 49.0 | 76.527 % | 20.28/20.31 c | 35945 | 66544 137727 | 24445 30030 1471559 49.0 | 77.089 % | 20.38/20.40 c | 36097 | 66544 137727 | 26889 30182 1483627 49.2 | 77.089 % | 20.58/20.63 c | 36322 | 66328 137202 | 29578 30294 1489137 49.2 | 77.568 % | 20.68/20.80 c | 36659 | 66286 137102 | 32536 30598 1502725 49.1 | 77.657 % | 20.98/21.02 c | 37165 | 66286 137102 | 35790 31104 1531065 49.2 | 77.657 % | 21.38/21.47 c | 37924 | 66236 136980 | 39369 31838 1579318 49.6 | 77.772 % | 21.88/22.00 c | 39063 | 66198 136896 | 43306 32931 1663184 50.5 | 77.845 % | 22.89/22.93 c | 40771 | 66094 136643 | 47636 34450 1773571 51.5 | 78.081 % | 24.28/24.34 c ============================================================================== 24.28/24.34 c [1mFound solution: -39[0m 24.28/24.34 o -39 24.28/24.36 c ---[ 0]---> Sorter-cost: 0 Base: 24.38/24.44 c ==================================[MINISAT+]================================== 24.38/24.44 c | Conflicts | Original | Learnt | Progress | 24.38/24.44 c | | Clauses Literals | Max Clauses Literals LPC | | 24.38/24.44 c ============================================================================== 24.38/24.44 c | 43229 | 66119 136738 | 22039 36846 2044619 55.5 | 78.081 % | 24.48/24.51 c | 43330 | 66082 136649 | 24242 36918 2046357 55.4 | 78.194 % | 24.48/24.59 c | 43480 | 66082 136649 | 26667 37068 2055234 55.4 | 78.194 % | 24.68/24.78 c | 43705 | 66061 136598 | 29333 37197 2068198 55.6 | 78.241 % | 24.88/24.96 c | 44042 | 66061 136598 | 32267 37534 2088672 55.6 | 78.241 % | 25.28/25.35 c | 44548 | 65988 136417 | 35494 37789 2109858 55.8 | 78.407 % | 25.68/25.79 c | 45307 | 65967 136364 | 39043 38528 2171262 56.4 | 78.457 % | 26.38/26.47 c | 46446 | 65967 136364 | 42947 39667 2284055 57.6 | 78.457 % | 27.48/27.58 c | 48155 | 65911 136232 | 47242 41326 2437988 59.0 | 78.578 % | 29.18/29.20 c | 50717 | 65911 136232 | 51966 43888 2766324 63.0 | 78.578 % | 31.78/31.89 c | 54561 | 65908 136225 | 57163 47731 3237086 67.8 | 78.584 % | 33.28/33.31 c ============================================================================== 33.28/33.31 c [1mFound solution: -40[0m 33.28/33.31 o -40 33.28/33.32 c ---[ 0]---> Sorter-cost: 0 Base: 33.38/33.42 c ==================================[MINISAT+]================================== 33.38/33.42 c | Conflicts | Original | Learnt | Progress | 33.38/33.42 c | | Clauses Literals | Max Clauses Literals LPC | | 33.38/33.42 c ============================================================================== 33.38/33.42 c | 56290 | 65823 135998 | 21941 48563 3297518 67.9 | 78.584 % | 33.58/33.61 c | 56390 | 65712 135748 | 24135 19988 1396674 69.9 | 78.983 % | 33.58/33.68 c | 56540 | 65712 135748 | 26548 20138 1404187 69.7 | 78.983 % | 33.78/33.84 c | 56765 | 65650 135596 | 29203 20338 1414088 69.5 | 79.126 % | 33.88/34.00 c | 57103 | 65650 135596 | 32123 20676 1442270 69.8 | 79.126 % | 34.18/34.21 c | 57610 | 65650 135596 | 35336 21183 1470803 69.4 | 79.126 % | 34.48/34.56 c | 58369 | 65650 135596 | 38869 21942 1512854 68.9 | 79.126 % | 35.09/35.10 c | 59509 | 65650 135596 | 42756 23082 1617718 70.1 | 79.126 % | 35.88/35.92 c | 61219 | 65650 135596 | 47032 24792 1814999 73.2 | 79.126 % | 37.48/37.54 c | 63781 | 65446 135086 | 51735 27327 2124510 77.7 | 79.590 % | 39.58/39.61 c | 67625 | 65344 134832 | 56909 31081 2420985 77.9 | 79.825 % | 43.18/43.30 c | 73391 | 65273 134642 | 62600 36808 2997370 81.4 | 80.003 % | 46.48/46.58 c ============================================================================== 46.48/46.58 c [1mFound solution: -41[0m 46.48/46.58 o -41 46.48/46.59 c ---[ 0]---> Sorter-cost: 0 Base: 46.58/46.69 c ==================================[MINISAT+]================================== 46.58/46.69 c | Conflicts | Original | Learnt | Progress | 46.58/46.69 c | | Clauses Literals | Max Clauses Literals LPC | | 46.58/46.69 c ============================================================================== 46.58/46.69 c | 78259 | 65233 134560 | 21744 41665 3434394 82.4 | 80.003 % | 46.68/46.77 c | 78359 | 65233 134560 | 23918 41765 3440374 82.4 | 80.114 % | 46.88/46.92 c | 78509 | 65194 134462 | 26310 41909 3446929 82.2 | 80.209 % | 46.98/47.09 c | 78735 | 65194 134462 | 28941 42135 3468085 82.3 | 80.209 % | 47.28/47.33 c | 79072 | 65194 134462 | 31835 42472 3491885 82.2 | 80.209 % | 47.58/47.69 c | 79578 | 65194 134462 | 35018 42978 3533426 82.2 | 80.209 % | 48.18/48.22 c | 80337 | 65194 134462 | 38520 43737 3606744 82.5 | 80.209 % | 49.08/49.15 c | 81476 | 65186 134442 | 42372 44835 3720600 83.0 | 80.228 % | 50.28/50.35 c | 83184 | 65186 134442 | 46610 46543 3854293 82.8 | 80.228 % | 52.27/52.32 c | 85747 | 65146 134350 | 51271 49094 4064252 82.8 | 80.307 % | 55.48/55.55 c | 89591 | 65137 134329 | 56398 52931 4435673 83.8 | 80.326 % | 60.77/60.87 c | 95358 | 65137 134329 | 62038 58698 5204836 88.7 | 80.326 % | 70.17/70.23 c | 104009 | 65137 134329 | 68241 67349 6225461 92.4 | 80.326 % | 86.07/86.16 c | 116985 | 65033 134076 | 75066 80299 7880223 98.1 | 80.561 % | 112.56/112.65 c | 136446 | 64945 133856 | 82572 99663 10505945 105.4 | 80.761 % | 146.16/146.28 c | 165638 | 64651 133139 | 90830 37553 3984323 106.1 | 81.418 % | 189.54/189.66 c | 209427 | 64398 132524 | 99913 81184 8603031 106.0 | 81.986 % | 277.82/277.98 c | 275112 | 64354 132420 | 109904 41677 3387232 81.3 | 82.081 % | 403.60/403.72 c | 373638 | 64228 132111 | 120894 24613 2032989 82.6 | 82.367 % | 576.64/576.85 c | 521429 | 64017 131607 | 132984 47259 3288613 69.6 | 82.830 % | 600.94/601.18 c ============================================================================== 600.94/601.18 c [1mFound solution: -42[0m 600.94/601.18 o -42 600.94/601.19 c ---[ 0]---> Sorter-cost: 0 Base: 601.14/601.33 c ==================================[MINISAT+]================================== 601.14/601.33 c | Conflicts | Original | Learnt | Progress | 601.14/601.33 c | | Clauses Literals | Max Clauses Literals LPC | | 601.14/601.33 c ============================================================================== 601.14/601.33 c | 545471 | 64006 131539 | 21335 71295 6128963 86.0 | 82.830 % | 601.34/601.59 c | 545572 | 64006 131539 | 23468 21251 1541762 72.6 | 82.860 % | 601.45/601.66 c | 545722 | 64006 131539 | 25815 21401 1547365 72.3 | 82.860 % | 601.55/601.74 c | 545948 | 64006 131539 | 28396 21627 1558368 72.1 | 82.860 % | 601.64/601.81 c | 546285 | 64006 131539 | 31236 21964 1565008 71.3 | 82.860 % | 602.04/602.20 c | 546792 | 63793 131021 | 34360 22020 1572821 71.4 | 83.333 % | 602.24/602.50 c | 547551 | 63793 131021 | 37796 22779 1612574 70.8 | 83.333 % | 602.74/602.97 c | 548692 | 63793 131021 | 41575 23920 1700827 71.1 | 83.333 % | 603.65/603.84 c | 550400 | 63786 131004 | 45733 25624 1851873 72.3 | 83.349 % | 604.94/605.18 c | 552963 | 63755 130933 | 50306 28186 2096211 74.4 | 83.412 % | 607.14/607.34 c | 556807 | 63752 130926 | 55337 32027 2495684 77.9 | 83.419 % | 610.25/610.49 c | 562573 | 63719 130846 | 60871 37751 3055041 80.9 | 83.488 % | 616.94/617.12 c | 571222 | 63712 130829 | 66958 46399 3911051 84.3 | 83.504 % | 628.34/628.50 c | 584199 | 63701 130802 | 73654 59375 5390919 90.8 | 83.530 % | 649.53/649.78 c | 603662 | 63699 130798 | 81019 78834 6855589 87.0 | 83.533 % | 687.32/687.51 c | 632856 | 63605 130572 | 89121 107177 9492687 88.6 | 83.742 % | 729.71/729.91 c | 676645 | 63572 130499 | 98033 56242 4602912 81.8 | 83.806 % | 820.18/820.42 c | 742330 | 63528 130379 | 107837 121916 11265865 92.4 | 83.914 % | 936.36/936.65 c | 840856 | 63483 130274 | 118620 108067 6454765 59.7 | 84.009 % | 1120.91/1121.20 c | 988645 | 63447 130188 | 130482 131929 10453973 79.2 | 84.088 % | 1420.13/1420.55 c | 1210328 | 63439 130170 | 143531 89033 3517765 39.5 | 84.104 % | 1800.05/1800.50 c 1800.05/1800.50 c *** TERMINATED *** 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.05/1800.50 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 1800.05/1800.50 v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.05/1800.50 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.05/1800.50 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 1800.05/1800.50 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.05/1800.50 v -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.05/1800.50 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 1800.05/1800.50 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 1800.05/1800.50 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.05/1800.50 v -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.05/1800.50 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.05/1800.50 v -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.05/1800.50 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.05/1800.50 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.05/1800.50 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.05/1800.50 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 1800.05/1800.50 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.05/1800.50 v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.05/1800.50 v -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.05/1800.50 v -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.05/1800.50 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 1800.05/1800.50 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 1800.05/1800.50 v -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.05/1800.50 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.05/1800.50 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.05/1800.50 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.05/1800.50 v -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.05/1800.50 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 1800.05/1800.50 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.05/1800.50 v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.05/1800.50 v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.05/1800.50 v -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.05/1800.50 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.05/1800.50 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.05/1800.50 v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.05/1800.50 v x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.05/1800.50 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 1800.05/1800.50 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.05/1800.50 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.05/1800.50 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 1800.05/1800.50 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 1800.05/1800.50 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 1800.05/1800.50 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 1800.05/1800.50 v -x1
OK -42
/tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-353533-1176668608 -o ROOT/results/node61/solver-353533-1176668608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353533-1176668608/minisat+ /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 4/64 5229 /proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=1180 CPUtime=0 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 78824494 1208320 135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 295 135 74 215 0 77 0 [startup+0.0466891 s] /proc/loadavg: 1.00 1.00 1.00 4/64 5229 /proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=1592 CPUtime=0.04 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 234 0 0 0 4 0 0 0 18 0 1 0 78824494 1630208 219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 398 219 74 215 0 180 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1592 [startup+0.101694 s] /proc/loadavg: 1.00 1.00 1.00 4/64 5229 /proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=2008 CPUtime=0.09 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 78824494 2056192 336 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 502 336 74 215 0 284 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2008 [startup+0.301712 s] /proc/loadavg: 1.00 1.00 1.00 4/64 5229 /proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=3684 CPUtime=0.29 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 765 0 0 0 29 0 0 0 19 0 1 0 78824494 3772416 750 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 921 750 74 215 0 703 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3684 [startup+0.701751 s] /proc/loadavg: 1.00 1.00 1.00 4/64 5229 /proc/meminfo: memFree=1756856/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=7024 CPUtime=0.69 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 1583 0 0 0 69 0 0 0 23 0 1 0 78824494 7192576 1568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 1756 1568 74 215 0 1538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7024 [startup+1.50183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1748400/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=13584 CPUtime=1.49 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 3221 0 0 0 148 1 0 0 25 0 1 0 78824494 13910016 3206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 3396 3206 74 215 0 3178 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13584 [startup+3.10198 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1736368/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=22072 CPUtime=3.09 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 5350 0 0 0 301 8 0 0 25 0 1 0 78824494 22601728 5164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 5518 5164 110 215 0 5300 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22072 [startup+6.30128 s] /proc/loadavg: 1.08 1.02 1.01 2/65 5230 /proc/meminfo: memFree=1736048/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=22300 CPUtime=6.29 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 5392 0 0 0 621 8 0 0 25 0 1 0 78824494 22835200 5206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 5575 5206 110 215 0 5357 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22300 [startup+12.7019 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5230 /proc/meminfo: memFree=1736048/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=22300 CPUtime=12.69 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 5394 0 0 0 1261 8 0 0 25 0 1 0 78824494 22835200 5208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 5575 5208 110 215 0 5357 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22300 [startup+25.5011 s] /proc/loadavg: 1.06 1.01 1.00 2/65 5230 /proc/meminfo: memFree=1731248/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=27260 CPUtime=25.48 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 6635 0 0 0 2539 9 0 0 25 0 1 0 78824494 27914240 6445 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 6815 6445 110 215 0 6597 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27260 [startup+51.1016 s] /proc/loadavg: 1.04 1.01 1.00 2/65 5230 /proc/meminfo: memFree=1723440/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=35396 CPUtime=51.08 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 8669 0 0 0 5097 11 0 0 25 0 1 0 78824494 36245504 8469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 8849 8469 110 215 0 8631 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35396 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/65 5230 /proc/meminfo: memFree=1698672/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=60064 CPUtime=102.27 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 14783 0 0 0 10210 17 0 0 25 0 1 0 78824494 61505536 14583 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 15016 14583 110 215 0 14798 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60064 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1686640/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=71968 CPUtime=162.25 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 17773 0 0 0 16205 20 0 0 25 0 1 0 78824494 73695232 17573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 17992 17573 110 215 0 17774 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 71968 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1686640/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=71968 CPUtime=222.23 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 17773 0 0 0 22203 20 0 0 25 0 1 0 78824494 73695232 17573 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 17992 17573 110 215 0 17774 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71968 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1684464/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=74036 CPUtime=282.22 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 18318 0 0 0 28201 21 0 0 25 0 1 0 78824494 75812864 18118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 18509 18118 110 215 0 18291 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 74036 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1684336/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=74036 CPUtime=342.2 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 18318 0 0 0 34199 21 0 0 25 0 1 0 78824494 75812864 18118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 18509 18118 110 215 0 18291 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 74036 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1672240/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=86064 CPUtime=402.19 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 21348 0 0 0 40194 25 0 0 25 0 1 0 78824494 88129536 21148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 21516 21148 110 215 0 21298 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 86064 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1672176/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=86064 CPUtime=462.18 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 21348 0 0 0 46193 25 0 0 25 0 1 0 78824494 88129536 21148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 21516 21148 110 215 0 21298 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 86064 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1672176/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=86064 CPUtime=522.16 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 21348 0 0 0 52191 25 0 0 25 0 1 0 78824494 88129536 21148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 21516 21148 110 215 0 21298 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 86064 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=582.15 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 58189 26 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 89364 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=642.14 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 64188 26 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 89364 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.06 1.03 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=882.07 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 88180 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 89364 [startup+942.302 s] /proc/loadavg: 1.05 1.04 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=942.06 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 94179 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 89364 [startup+1002.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1002.04 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 100177 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577249 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 89364 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1062.03 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 106176 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 89364 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1122.01 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22092 0 0 0 112174 27 0 0 25 0 1 0 78824494 91508736 21892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21892 110 215 0 22123 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 89364 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1181.99 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 118172 27 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 89364 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669168/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1241.98 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 124170 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 89364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1301.97 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 130169 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 89364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1361.95 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 136167 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 89364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1421.94 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 142166 28 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 89364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1481.93 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 148164 29 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 89364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669104/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1541.91 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22101 0 0 0 154162 29 0 0 25 0 1 0 78824494 91508736 21901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21901 110 215 0 22123 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 89364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1601.89 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 160160 29 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21914 110 215 0 22123 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 89364 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1661.88 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 166159 29 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21914 110 215 0 22123 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 89364 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1721.86 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 172157 29 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21914 110 215 0 22123 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 89364 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1781.85 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 178155 30 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21914 110 215 0 22123 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 89364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1800.05 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 179975 30 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21914 110 215 0 22123 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 89364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5232 /proc/meminfo: memFree=1669040/2055920 swapFree=4184896/4192956 [pid=5229] ppid=5227 vsize=89364 CPUtime=1800.05 /proc/5229/stat : 5229 (minisat+) R 5227 5229 4872 0 -1 4194304 22114 0 0 0 179975 30 0 0 25 0 1 0 78824494 91508736 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5229/statm: 22341 21914 110 215 0 22123 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 89364 Child status: 10 Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1799.76 CPU system time (s): 0.316951 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 89364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.316951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22116 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 235 involuntary context switches= 2540 runsolver used 1.3398 second user time and 3.72243 second system time The end
Begin job on node61 on Sun Apr 15 20:23:29 UTC 2007 IDJOB= 353533 IDBENCH= 2250 IDSOLVER= 156 FILE ID= node61/353533-1176668608 PBS_JOBID= 4559936 Free space on /tmp= 66560 MiB SOLVER NAME= minisat+ 1.14 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-3.opb COMMAND LINE= /tmp/evaluation/353533-1176668608/minisat+ /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-353533-1176668608 -o ROOT/results/node61/conversion-353533-1176668608 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-353533-1176668608 -o ROOT/results/node61/solver-353533-1176668608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353533-1176668608/minisat+ /tmp/evaluation/353533-1176668608/instance-353533-1176668608.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED= 869818408 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.240 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.240 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: 1757328 kB Buffers: 16488 kB Cached: 196124 kB SwapCached: 2404 kB Active: 79908 kB Inactive: 143580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1757328 kB SwapTotal: 4192956 kB SwapFree: 4184896 kB Dirty: 3684 kB Writeback: 0 kB Mapped: 17536 kB Slab: 61256 kB Committed_AS: 172288 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node61 on Sun Apr 15 20:53:31 UTC 2007