Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.71 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
| MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1523 |
| Best CPU time to get the best result obtained on this benchmark | 0.309952 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1523 |
| Optimality of the best value was proved | YES |
| Number of variables | 201 |
| Total number of constraints | 133 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 26 |
| Number of constraints which are nor clauses,nor cardinality constraints | 87 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 201 |
| Biggest coefficient in the objective function | 1920 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 19980 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 1920 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 19980 |
| Number of bits of the biggest sum of numbers | 15 |
| 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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680737-1277451712.opb. 0.00/0.00 c Instance file HOME/instance-2680737-1277451712.opb 0.00/0.00 c File size is 17810 bytes. 0.00/0.00 c Highest Coefficient sum: 777 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 201 | 0.00/0.00 c | Number Clauses: 20 | 0.00/0.00 c | Number Cardinality: 80 | 0.00/0.00 c | Number PB Constraints: 33 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 195 133 1923 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 195 133 1923 | 5500 100 49 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2590 0.00/0.01 o 2590 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 100 | 195 134 2124 | 5000 100 49 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2578 0.00/0.01 o 2578 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 100 | 195 135 2325 | 5000 100 49 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2568 0.00/0.01 o 2568 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 195 136 2526 | 5000 102 49 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2554 0.00/0.01 o 2554 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 107 | 195 137 2727 | 5000 107 51 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2371 0.00/0.01 o 2371 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 136 | 195 138 2928 | 5000 136 51 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2321 0.00/0.01 o 2321 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 137 | 195 139 3129 | 5000 137 51 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2265 0.00/0.01 o 2265 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 160 | 195 140 3330 | 5000 160 51 | 2.988 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 2233 0.00/0.01 o 2233 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 161 | 195 141 3531 | 5000 161 51 | 2.988 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 2231 0.00/0.02 o 2231 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 169 | 195 142 3732 | 5000 169 50 | 2.988 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 2200 0.00/0.02 o 2200 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 173 | 195 143 3933 | 5000 173 50 | 2.988 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 2188 0.00/0.02 o 2188 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 178 | 195 144 4134 | 5000 178 50 | 2.988 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 2176 0.00/0.02 o 2176 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 179 | 195 145 4335 | 5000 179 49 | 2.988 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 2164 0.00/0.02 o 2164 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 183 | 195 146 4536 | 5000 183 49 | 2.988 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 2142 0.00/0.03 o 2142 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 231 | 195 147 4737 | 5000 231 51 | 2.988 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 2120 0.00/0.03 o 2120 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 238 | 195 148 4938 | 5000 238 51 | 2.988 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 2072 0.00/0.03 o 2072 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 275 | 195 149 5139 | 5000 275 50 | 2.988 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 2069 0.00/0.05 o 2069 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 361 | 195 150 5340 | 5000 361 55 | 2.988 % | 0.00/0.06 c | 462 | 195 150 5340 | 5500 462 60 | 2.988 % | 0.08/0.08 c | 614 | 195 150 5340 | 6050 614 60 | 2.988 % | 0.09/0.10 c | 841 | 195 150 5340 | 6655 841 55 | 2.988 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 2015 0.09/0.11 o 2015 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 843 | 195 151 5541 | 5000 843 55 | 2.988 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 2003 0.09/0.11 o 2003 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 845 | 195 152 5742 | 5000 845 55 | 2.988 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 1962 0.09/0.11 o 1962 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 854 | 195 153 5943 | 5000 854 55 | 2.988 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 1781 0.09/0.11 o 1781 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 871 | 195 154 6144 | 5000 871 55 | 2.988 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 1764 0.09/0.11 o 1764 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 871 | 195 155 6345 | 5000 871 55 | 2.988 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 1752 0.09/0.13 o 1752 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 915 | 195 156 6546 | 5000 915 57 | 2.988 % | 0.09/0.15 c | 1015 | 195 156 6546 | 5500 1015 58 | 2.988 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 1740 0.09/0.16 o 1740 0.09/0.16 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1051 | 195 157 6747 | 5000 1051 59 | 2.988 % | 0.09/0.17 c | 1152 | 195 157 6747 | 5500 1152 60 | 2.988 % | 0.09/0.19 c | 1302 | 195 157 6747 | 6050 1302 59 | 2.988 % | 0.19/0.23 c | 1527 | 195 157 6747 | 6655 1527 60 | 2.988 % | 0.19/0.29 c | 1864 | 195 157 6747 | 7320 1864 60 | 2.988 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 1731 0.19/0.29 o 1731 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 1870 | 195 158 6948 | 5000 1870 60 | 2.988 % | 0.29/0.31 c | 1971 | 195 158 6948 | 5500 1971 60 | 2.988 % | 0.29/0.32 c | 2122 | 195 158 6948 | 6050 2122 59 | 2.988 % | 0.29/0.36 c | 2349 | 195 158 6948 | 6655 2349 57 | 2.988 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 1647 0.29/0.37 o 1647 0.29/0.37 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 2387 | 195 159 7149 | 5000 2387 57 | 2.988 % | 0.29/0.39 c | 2487 | 195 159 7149 | 5500 2487 58 | 2.988 % | 0.39/0.41 c | 2637 | 195 159 7149 | 6050 2637 57 | 2.988 % | 0.39/0.44 c | 2863 | 195 159 7149 | 6655 2863 56 | 2.988 % | 0.39/0.49 c | 3201 | 195 159 7149 | 7320 3201 56 | 2.988 % | 0.49/0.57 c | 3707 | 195 159 7149 | 8052 3707 57 | 2.988 % | 0.59/0.69 c | 4467 | 195 159 7149 | 8857 4467 56 | 2.988 % | 0.79/0.88 c | 5607 | 195 159 7149 | 9743 5607 57 | 2.988 % | 1.10/1.15 c | 7315 | 195 159 7149 | 10717 7315 55 | 2.988 % | 1.59/1.66 c | 9877 | 195 159 7149 | 11789 9877 56 | 2.988 % | 2.29/2.31 c | 13721 | 195 159 7149 | 12968 7771 51 | 2.988 % | 3.39/3.40 c | 19487 | 195 159 7149 | 14265 6994 52 | 2.988 % | 4.68/4.79 c | 28136 | 195 159 7149 | 15692 8462 43 | 2.988 % | 5.59/5.68 c =============================================================================== 5.59/5.68 c New solution: 1639 5.59/5.68 o 1639 5.59/5.68 c Elapsed CPU time: 5.59515 s Remaining CPU time: 174.405 s 5.59/5.68 c =============================================================================== 5.59/5.68 c | 32833 | 195 160 7350 | 5000 13159 48 | 2.988 % | 5.69/5.73 c | 32934 | 195 160 7350 | 5500 3391 56 | 2.988 % | 5.69/5.75 c | 33085 | 195 160 7350 | 6050 3542 56 | 2.988 % | 5.69/5.79 c | 33310 | 195 160 7350 | 6655 3767 57 | 2.988 % | 5.79/5.85 c | 33647 | 195 160 7350 | 7320 4104 57 | 2.988 % | 5.89/5.95 c | 34154 | 195 160 7350 | 8052 4611 58 | 2.988 % | 5.99/6.05 c | 34915 | 195 160 7350 | 8857 5372 56 | 2.988 % | 6.19/6.20 c | 36055 | 195 160 7350 | 9743 6512 54 | 2.988 % | 6.39/6.44 c | 37764 | 195 160 7350 | 10717 8221 52 | 2.988 % | 6.50/6.52 c =============================================================================== 6.50/6.52 c New solution: 1627 6.50/6.52 o 1627 6.50/6.52 c Elapsed CPU time: 6.40603 s Remaining CPU time: 173.594 s 6.50/6.52 c =============================================================================== 6.50/6.52 c | 38117 | 195 161 7551 | 5000 8574 53 | 2.988 % | 6.50/6.54 c | 38218 | 195 161 7551 | 5500 4388 45 | 2.988 % | 6.50/6.56 c | 38368 | 195 161 7551 | 6050 4538 45 | 2.988 % | 6.50/6.60 c | 38593 | 195 161 7551 | 6655 4763 46 | 2.988 % | 6.60/6.65 c | 38933 | 195 161 7551 | 7320 5103 46 | 2.988 % | 6.69/6.73 c | 39439 | 195 161 7551 | 8052 5609 46 | 2.988 % | 6.69/6.78 c =============================================================================== 6.69/6.78 c New solution: 1615 6.69/6.78 o 1615 6.69/6.78 c Elapsed CPU time: 6.66399 s Remaining CPU time: 173.336 s 6.69/6.78 c =============================================================================== 6.69/6.78 c | 39646 | 195 162 7752 | 5000 5816 47 | 2.988 % | 6.79/6.80 c | 39746 | 195 162 7752 | 5500 3008 48 | 2.988 % | 6.79/6.82 c | 39897 | 195 162 7752 | 6050 3159 48 | 2.988 % | 6.79/6.84 c | 40125 | 195 162 7752 | 6655 3387 47 | 2.988 % | 6.89/6.90 c | 40462 | 195 162 7752 | 7320 3724 49 | 2.988 % | 6.89/6.98 c | 40969 | 195 162 7752 | 8052 4231 50 | 2.988 % | 6.99/7.08 c | 41728 | 195 162 7752 | 8857 4990 48 | 2.988 % | 7.29/7.30 c | 42867 | 195 162 7752 | 9743 6129 49 | 2.988 % | 7.48/7.54 c | 44576 | 195 162 7752 | 10717 7838 48 | 2.988 % | 7.88/7.91 c =============================================================================== 7.88/7.91 c New solution: 1613 7.88/7.91 o 1613 7.88/7.91 c Elapsed CPU time: 7.78582 s Remaining CPU time: 172.214 s 7.88/7.91 c =============================================================================== 7.88/7.91 c | 46190 | 195 163 7953 | 5000 9452 52 | 2.988 % | 7.88/7.94 c | 46290 | 195 163 7953 | 5500 4826 54 | 2.988 % | 7.88/7.97 c | 46440 | 195 163 7953 | 6050 4976 54 | 2.988 % | 7.99/8.01 c | 46666 | 195 163 7953 | 6655 5202 55 | 2.988 % | 7.99/8.06 c | 47003 | 195 163 7953 | 7320 5539 54 | 2.988 % | 8.09/8.18 c | 47510 | 195 163 7953 | 8052 6046 55 | 2.988 % | 8.29/8.33 c | 48272 | 195 163 7953 | 8857 6808 57 | 2.988 % | 8.49/8.53 c | 49411 | 195 163 7953 | 9743 7947 56 | 2.988 % | 8.80/8.86 c | 51120 | 195 163 7953 | 10717 9656 57 | 2.988 % | 9.18/9.25 c | 53683 | 195 163 7953 | 11789 6804 53 | 2.988 % | 9.99/10.04 c | 57527 | 195 163 7953 | 12968 10648 52 | 2.988 % | 10.89/10.94 c | 63294 | 195 163 7953 | 14265 9876 45 | 2.988 % | 12.59/12.63 c | 71943 | 195 163 7953 | 15692 11322 49 | 2.988 % | 15.49/15.52 c | 84918 | 195 163 7953 | 17261 8484 55 | 2.988 % | 19.80/19.80 c | 104379 | 195 163 7953 | 18987 10568 51 | 2.988 % | 27.39/27.47 c | 133573 | 195 163 7953 | 20886 11088 61 | 2.988 % | 37.18/37.27 c | 177362 | 195 163 7953 | 22974 12879 50 | 2.988 % | 37.38/37.49 c =============================================================================== 37.38/37.49 c New solution: 1609 37.38/37.49 o 1609 37.38/37.49 c Elapsed CPU time: 36.9394 s Remaining CPU time: 143.061 s 37.38/37.49 c =============================================================================== 37.38/37.49 c | 178197 | 195 164 8154 | 5000 13714 52 | 2.988 % | 37.48/37.53 c | 178297 | 195 164 8154 | 5500 3529 57 | 2.988 % | 37.48/37.56 c | 178447 | 195 164 8154 | 6050 3679 57 | 2.988 % | 37.48/37.59 c | 178672 | 195 164 8154 | 6655 3904 56 | 2.988 % | 37.58/37.66 c | 179009 | 195 164 8154 | 7320 4241 56 | 2.988 % | 37.68/37.74 c | 179516 | 195 164 8154 | 8052 4748 55 | 2.988 % | 37.78/37.88 c | 180275 | 195 164 8154 | 8857 5507 55 | 2.988 % | 37.98/38.07 c | 181415 | 195 164 8154 | 9743 6647 53 | 2.988 % | 38.28/38.36 c | 183124 | 195 164 8154 | 10717 8356 51 | 2.988 % | 38.78/38.81 c | 185687 | 195 164 8154 | 11789 5498 44 | 2.988 % | 39.38/39.43 c | 189531 | 195 164 8154 | 12968 9342 45 | 2.988 % | 40.48/40.56 c | 195297 | 195 164 8154 | 14265 8572 42 | 2.988 % | 42.48/42.50 c | 203949 | 195 164 8154 | 15692 10033 49 | 2.988 % | 45.18/45.29 c | 216924 | 195 164 8154 | 17261 15109 50 | 2.988 % | 49.87/49.92 c | 236385 | 195 164 8154 | 18987 17197 52 | 2.988 % | 51.58/51.69 c =============================================================================== 51.58/51.69 c New solution: 1608 51.58/51.69 o 1608 51.58/51.69 c Elapsed CPU time: 50.9423 s Remaining CPU time: 129.058 s 51.58/51.69 c =============================================================================== 51.58/51.69 c | 243965 | 195 165 8355 | 5000 15225 52 | 2.988 % | 51.68/51.74 c | 244065 | 195 165 8355 | 5500 3907 53 | 2.988 % | 51.68/51.77 c | 244215 | 195 165 8355 | 6050 4057 53 | 2.988 % | 51.78/51.81 c | 244440 | 195 165 8355 | 6655 4282 54 | 2.988 % | 51.78/51.86 c | 244777 | 195 165 8355 | 7320 4619 53 | 2.988 % | 51.88/51.95 c | 245284 | 195 165 8355 | 8052 5126 52 | 2.988 % | 51.97/52.09 c | 246043 | 195 165 8355 | 8857 5885 52 | 2.988 % | 52.18/52.26 c | 247183 | 195 165 8355 | 9743 7025 51 | 2.988 % | 52.58/52.61 c | 248894 | 195 165 8355 | 10717 8736 51 | 2.988 % | 52.98/53.05 c | 251457 | 195 165 8355 | 11789 5881 47 | 2.988 % | 53.68/53.75 c | 255301 | 195 165 8355 | 12968 9725 47 | 2.988 % | 53.78/53.83 c =============================================================================== 53.78/53.83 c New solution: 1603 53.78/53.83 o 1603 53.78/53.83 c Elapsed CPU time: 53.0419 s Remaining CPU time: 126.958 s 53.78/53.83 c =============================================================================== 53.78/53.83 c | 255641 | 195 166 8556 | 5000 10065 48 | 2.988 % | 53.78/53.86 c | 255742 | 195 166 8556 | 5500 2618 45 | 2.988 % | 53.78/53.88 c | 255894 | 195 166 8556 | 6050 2770 46 | 2.988 % | 53.88/53.92 c | 256122 | 195 166 8556 | 6655 2998 47 | 2.988 % | 53.88/53.99 c =============================================================================== 53.88/53.99 c New solution: 1595 53.88/53.99 o 1595 53.88/53.99 c Elapsed CPU time: 53.2049 s Remaining CPU time: 126.795 s 53.88/53.99 c =============================================================================== 53.88/53.99 c | 256411 | 195 167 8757 | 5000 3287 50 | 2.988 % | 53.97/54.01 c | 256511 | 195 167 8757 | 5500 3387 50 | 2.988 % | 53.97/54.04 c | 256661 | 195 167 8757 | 6050 3537 51 | 2.988 % | 53.97/54.08 c | 256887 | 195 167 8757 | 6655 3763 51 | 2.988 % | 54.07/54.15 c | 257224 | 195 167 8757 | 7320 4100 51 | 2.988 % | 54.17/54.22 c | 257733 | 195 167 8757 | 8052 4609 50 | 2.988 % | 54.27/54.35 c | 258493 | 195 167 8757 | 8857 5369 49 | 2.988 % | 54.47/54.57 c | 259632 | 195 167 8757 | 9743 6508 49 | 2.988 % | 54.88/54.94 c | 261342 | 195 167 8757 | 10717 8218 50 | 2.988 % | 55.27/55.38 c | 263905 | 195 167 8757 | 11789 10781 49 | 2.988 % | 56.17/56.22 c | 267750 | 195 167 8757 | 12968 8681 51 | 2.988 % | 57.57/57.65 c | 273516 | 195 167 8757 | 14265 7908 55 | 2.988 % | 59.28/59.39 c | 282167 | 195 167 8757 | 15692 9375 49 | 2.988 % | 61.97/62.05 c | 295142 | 195 167 8757 | 17261 14450 44 | 2.988 % | 66.37/66.46 c | 314603 | 195 167 8757 | 18987 16521 55 | 2.988 % | 73.58/73.66 c | 343795 | 195 167 8757 | 20886 17076 53 | 2.988 % | 74.67/74.77 c =============================================================================== 74.67/74.77 c New solution: 1583 74.67/74.77 o 1583 74.67/74.77 c Elapsed CPU time: 73.7118 s Remaining CPU time: 106.288 s 74.67/74.77 c =============================================================================== 74.67/74.77 c | 347652 | 195 168 8958 | 5000 20933 55 | 2.988 % | 74.77/74.87 c | 347752 | 195 168 8958 | 5500 2717 63 | 2.988 % | 74.86/74.90 c | 347902 | 195 168 8958 | 6050 2867 62 | 2.988 % | 74.86/74.94 c | 348127 | 195 168 8958 | 6655 3092 60 | 2.988 % | 74.86/74.99 c | 348464 | 195 168 8958 | 7320 3429 59 | 2.988 % | 74.96/75.07 c | 348971 | 195 168 8958 | 8052 3936 57 | 2.988 % | 75.16/75.21 c | 349730 | 195 168 8958 | 8857 4695 56 | 2.988 % | 75.37/75.40 c | 350870 | 195 168 8958 | 9743 5835 54 | 2.988 % | 75.57/75.67 c | 352579 | 195 168 8958 | 10717 7544 52 | 2.988 % | 76.17/76.21 c | 355142 | 195 168 8958 | 11789 10107 51 | 2.988 % | 76.88/76.91 c | 358986 | 195 168 8958 | 12968 8000 44 | 2.988 % | 77.98/78.02 c | 364755 | 195 168 8958 | 14265 7222 43 | 2.988 % | 79.97/80.08 c | 373404 | 195 168 8958 | 15692 8678 57 | 2.988 % | 83.06/83.12 c | 386381 | 195 168 8958 | 17261 13733 58 | 2.988 % | 87.37/87.41 c | 405842 | 195 168 8958 | 18987 15824 45 | 2.988 % | 94.26/94.39 c | 435036 | 195 168 8958 | 20886 16368 52 | 2.988 % | 99.07/99.18 c =============================================================================== 99.07/99.18 c New solution: 1575 99.07/99.18 o 1575 99.07/99.18 c Elapsed CPU time: 97.8201 s Remaining CPU time: 82.1799 s 99.07/99.18 c =============================================================================== 99.07/99.18 c | 454511 | 195 169 9159 | 5000 14835 57 | 2.988 % | 99.17/99.23 c | 454611 | 195 169 9159 | 5500 3809 60 | 2.988 % | 99.17/99.25 c | 454762 | 195 169 9159 | 6050 3960 59 | 2.988 % | 99.26/99.30 c | 454990 | 195 169 9159 | 6655 4188 59 | 2.988 % | 99.36/99.40 c | 455328 | 195 169 9159 | 7320 4526 61 | 2.988 % | 99.36/99.48 c | 455834 | 195 169 9159 | 8052 5032 60 | 2.988 % | 99.56/99.63 c | 456594 | 195 169 9159 | 8857 5792 58 | 2.988 % | 99.76/99.89 c | 457734 | 195 169 9159 | 9743 6932 58 | 2.988 % | 100.16/100.25 c | 459442 | 195 169 9159 | 10717 8640 59 | 2.988 % | 100.66/100.71 c | 462005 | 195 169 9159 | 11789 5791 52 | 2.988 % | 101.46/101.50 c | 465851 | 195 169 9159 | 12968 9637 52 | 2.988 % | 102.66/102.80 c | 471618 | 195 169 9159 | 14265 8857 52 | 2.988 % | 104.56/104.68 c | 480268 | 195 169 9159 | 15692 10326 46 | 2.988 % | 107.56/107.64 c | 493242 | 195 169 9159 | 17261 15399 50 | 2.988 % | 112.36/112.50 c | 512703 | 195 169 9159 | 18987 8801 56 | 2.988 % | 120.16/120.23 c | 541895 | 195 169 9159 | 20886 18881 53 | 2.988 % | 120.96/121.09 c =============================================================================== 120.96/121.09 c New solution: 1571 120.96/121.09 o 1571 120.96/121.09 c Elapsed CPU time: 119.449 s Remaining CPU time: 60.5512 s 120.96/121.09 c =============================================================================== 120.96/121.09 c | 545226 | 195 170 9360 | 5000 11724 56 | 2.988 % | 121.05/121.13 c | 545328 | 195 170 9360 | 5500 3033 60 | 2.988 % | 121.05/121.16 c | 545478 | 195 170 9360 | 6050 3183 59 | 2.988 % | 121.05/121.19 c | 545703 | 195 170 9360 | 6655 3408 57 | 2.988 % | 121.16/121.26 c | 546041 | 195 170 9360 | 7320 3746 57 | 2.988 % | 121.26/121.33 c | 546547 | 195 170 9360 | 8052 4252 54 | 2.988 % | 121.36/121.49 c | 547309 | 195 170 9360 | 8857 5014 55 | 2.988 % | 121.55/121.66 c | 548449 | 195 170 9360 | 9743 6154 53 | 2.988 % | 121.96/122.01 c | 550157 | 195 170 9360 | 10717 7862 52 | 2.988 % | 122.46/122.50 c | 552719 | 195 170 9360 | 11789 10424 50 | 2.988 % | 123.16/123.26 c | 556563 | 195 170 9360 | 12968 8305 46 | 2.988 % | 124.45/124.57 c | 562331 | 195 170 9360 | 14265 7532 52 | 2.988 % | 126.36/126.40 c | 570981 | 195 170 9360 | 15692 8997 49 | 2.988 % | 129.25/129.36 c | 583956 | 195 170 9360 | 17261 14072 42 | 2.988 % | 134.16/134.21 c | 603417 | 195 170 9360 | 18987 16165 48 | 2.988 % | 141.44/141.57 c | 632609 | 195 170 9360 | 20886 16711 51 | 2.988 % | 152.04/152.17 c | 676399 | 195 170 9360 | 22974 18478 45 | 2.988 % | 162.75/162.86 c =============================================================================== 162.75/162.86 c New solution: 1563 162.75/162.86 o 1563 162.75/162.86 c Elapsed CPU time: 160.684 s Remaining CPU time: 19.3164 s 162.75/162.86 c =============================================================================== 162.75/162.86 c | 714297 | 195 171 9561 | 5000 20913 63 | 2.988 % | 162.84/162.95 c | 714398 | 195 171 9561 | 5500 2716 62 | 2.988 % | 162.84/162.97 c | 714548 | 195 171 9561 | 6050 2866 61 | 2.988 % | 162.94/163.01 c | 714773 | 195 171 9561 | 6655 3091 60 | 2.988 % | 162.94/163.09 c | 715110 | 195 171 9561 | 7320 3428 60 | 2.988 % | 163.04/163.16 c | 715616 | 195 171 9561 | 8052 3934 56 | 2.988 % | 163.24/163.33 c | 716375 | 195 171 9561 | 8857 4693 57 | 2.988 % | 163.44/163.50 c | 717515 | 195 171 9561 | 9743 5833 53 | 2.988 % | 163.85/163.92 c | 719223 | 195 171 9561 | 10717 7541 56 | 2.988 % | 164.34/164.42 c | 721786 | 195 171 9561 | 11789 10104 54 | 2.988 % | 165.14/165.29 c | 725631 | 195 171 9561 | 12968 8003 51 | 2.988 % | 166.24/166.39 c | 731397 | 195 171 9561 | 14265 7231 42 | 2.988 % | 168.24/168.39 c | 740047 | 195 171 9561 | 15692 8683 50 | 2.988 % | 171.24/171.36 c | 753021 | 195 171 9561 | 17261 13751 50 | 2.988 % | 175.95/176.03 c | 772482 | 195 171 9561 | 18987 15856 49 | 2.988 % | 182.34/182.41 c There are 6 assigned variables. 6 in cost function. 183.24/183.32 c core #1 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 100 Total Weight: 100 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #2 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 100 Total Weight: 200 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #3 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 90 Total Weight: 290 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #4 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 90 Total Weight: 380 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #5 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 80 Total Weight: 460 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #6 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 80 Total Weight: 540 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #7 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 70 Total Weight: 610 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #8 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 70 Total Weight: 680 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #9 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 60 Total Weight: 740 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #10 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 60 Total Weight: 800 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #11 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 50 Total Weight: 850 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #12 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 50 Total Weight: 900 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #13 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 40 Total Weight: 940 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #14 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 40 Total Weight: 980 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #15 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 30 Total Weight: 1010 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #16 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 30 Total Weight: 1040 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #17 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 20 Total Weight: 1060 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #18 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 20 Total Weight: 1080 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #19 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 10 Total Weight: 1090 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #20 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 10 Core Weight: 10 Total Weight: 1100 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #21 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 12 Core Weight: 30 Total Weight: 1130 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #22 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 11 Core Weight: 20 Total Weight: 1150 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #23 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 27 Core Weight: 10 Total Weight: 1160 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #24 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 25 Core Weight: 2 Total Weight: 1162 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #25 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 23 Core Weight: 8 Total Weight: 1170 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #26 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 35 Core Weight: 25 Total Weight: 1195 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #27 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 55 Core Weight: 5 Total Weight: 1200 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #28 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 50 Core Weight: 5 Total Weight: 1205 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c core #29 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 45 Core Weight: 5 Total Weight: 1210 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c ============================[ Search Statistics ]============================== 183.24/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.32 c =============================================================================== 183.24/183.32 c | 0 | 496 1095 10014 | 5000 0 nan | 0.000 % | 183.24/183.32 c =============================================================================== 183.24/183.33 c core #30 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 47 Core Weight: 5 Total Weight: 1215 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c ============================[ Search Statistics ]============================== 183.24/183.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.33 c =============================================================================== 183.24/183.33 c | 0 | 557 1131 10325 | 5000 0 nan | 0.000 % | 183.24/183.33 c =============================================================================== 183.24/183.34 c core #31 183.24/183.34 c 183.24/183.34 c 183.24/183.34 c Core size: 74 Core Weight: 5 Total Weight: 1220 183.24/183.34 c 183.24/183.34 c 183.24/183.34 c ============================[ Search Statistics ]============================== 183.24/183.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.34 c =============================================================================== 183.24/183.34 c | 0 | 628 1187 10524 | 5000 0 nan | 0.000 % | 183.24/183.34 c =============================================================================== 183.24/183.35 c core #32 183.24/183.35 c 183.24/183.35 c 183.24/183.35 c Core size: 108 Core Weight: 5 Total Weight: 1225 183.24/183.35 c 183.24/183.35 c 183.24/183.35 c ============================[ Search Statistics ]============================== 183.24/183.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.35 c =============================================================================== 183.24/183.35 c | 0 | 735 1280 10819 | 5000 0 nan | 0.000 % | 183.24/183.36 c =============================================================================== 183.24/183.36 c core #33 183.24/183.36 c 183.24/183.36 c 183.24/183.36 c Core size: 109 Core Weight: 2 Total Weight: 1227 183.24/183.36 c 183.24/183.36 c 183.24/183.36 c ============================[ Search Statistics ]============================== 183.24/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.36 c =============================================================================== 183.24/183.36 c | 0 | 852 1380 11174 | 5000 0 nan | 0.000 % | 183.24/183.37 c =============================================================================== 183.24/183.38 c core #34 183.24/183.38 c 183.24/183.38 c 183.24/183.38 c Core size: 120 Core Weight: 2 Total Weight: 1229 183.24/183.38 c 183.24/183.38 c 183.24/183.38 c ============================[ Search Statistics ]============================== 183.24/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.38 c =============================================================================== 183.24/183.38 c | 0 | 968 1484 11466 | 5000 0 nan | 0.000 % | 183.24/183.39 c =============================================================================== 183.33/183.40 c core #35 183.33/183.40 c 183.33/183.40 c 183.33/183.40 c Core size: 115 Core Weight: 1 Total Weight: 1230 183.33/183.40 c 183.33/183.40 c 183.33/183.40 c ============================[ Search Statistics ]============================== 183.33/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.40 c =============================================================================== 183.33/183.40 c | 0 | 1098 1579 12095 | 5000 0 nan | 0.000 % | 183.33/183.41 c =============================================================================== 183.33/183.42 c core #36 183.33/183.42 c 183.33/183.42 c 183.33/183.42 c Core size: 149 Core Weight: 1 Total Weight: 1231 183.33/183.42 c 183.33/183.42 c 183.33/183.42 c ============================[ Search Statistics ]============================== 183.33/183.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.42 c =============================================================================== 183.33/183.42 c | 0 | 1239 1713 12421 | 5000 0 nan | 0.000 % | 183.33/183.43 c =============================================================================== 183.33/183.44 c core #37 183.33/183.44 c 183.33/183.44 c 183.33/183.44 c Core size: 124 Core Weight: 1 Total Weight: 1232 183.33/183.44 c 183.33/183.44 c 183.33/183.44 c ============================[ Search Statistics ]============================== 183.33/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.44 c =============================================================================== 183.33/183.44 c | 0 | 1365 1832 12770 | 5000 0 nan | 0.000 % | 183.33/183.46 c =============================================================================== 183.33/183.47 c core #38 183.33/183.47 c 183.33/183.47 c 183.33/183.47 c Core size: 129 Core Weight: 1 Total Weight: 1233 183.33/183.47 c 183.33/183.47 c 183.33/183.47 c ============================[ Search Statistics ]============================== 183.33/183.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.47 c =============================================================================== 183.33/183.47 c | 0 | 1495 1959 13139 | 5000 0 nan | 0.000 % | 183.33/183.48 c =============================================================================== 183.33/183.49 c core #39 183.33/183.49 c 183.33/183.49 c 183.33/183.49 c Core size: 127 Core Weight: 1 Total Weight: 1234 183.33/183.49 c 183.33/183.49 c 183.33/183.49 c ============================[ Search Statistics ]============================== 183.33/183.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.49 c =============================================================================== 183.33/183.49 c | 0 | 1623 2080 13552 | 5000 0 nan | 0.000 % | 183.44/183.51 c =============================================================================== 183.44/183.52 c core #40 183.44/183.52 c 183.44/183.52 c 183.44/183.52 c Core size: 139 Core Weight: 1 Total Weight: 1235 183.44/183.52 c 183.44/183.52 c 183.44/183.52 c ============================[ Search Statistics ]============================== 183.44/183.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.52 c =============================================================================== 183.44/183.52 c | 0 | 1767 2186 14249 | 5000 0 nan | 0.000 % | 183.44/183.53 c =============================================================================== 183.44/183.55 c core #41 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 171 Core Weight: 1 Total Weight: 1236 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c ============================[ Search Statistics ]============================== 183.44/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.55 c =============================================================================== 183.44/183.55 c | 0 | 1938 2342 14823 | 5000 0 nan | 0.000 % | 183.44/183.56 c =============================================================================== 183.44/183.57 c core #42 183.44/183.57 c 183.44/183.57 c 183.44/183.57 c Core size: 123 Core Weight: 1 Total Weight: 1237 183.44/183.57 c 183.44/183.57 c 183.44/183.57 c ============================[ Search Statistics ]============================== 183.44/183.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.57 c =============================================================================== 183.44/183.57 c | 0 | 2051 2445 15287 | 5000 0 nan | 0.000 % | 183.44/183.58 c =============================================================================== 183.44/183.59 c core #43 183.44/183.59 c 183.44/183.59 c 183.44/183.59 c Core size: 120 Core Weight: 1 Total Weight: 1238 183.44/183.59 c 183.44/183.59 c 183.44/183.59 c ============================[ Search Statistics ]============================== 183.44/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.59 c =============================================================================== 183.44/183.59 c | 0 | 2168 2555 15712 | 5000 0 nan | 0.000 % | 183.54/183.61 c =============================================================================== 183.54/183.63 c core #44 183.54/183.63 c 183.54/183.63 c 183.54/183.63 c Core size: 84 Core Weight: 1 Total Weight: 1239 183.54/183.63 c 183.54/183.63 c 183.54/183.63 c ============================[ Search Statistics ]============================== 183.54/183.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.63 c =============================================================================== 183.54/183.63 c | 0 | 2245 2619 15981 | 5000 0 nan | 0.000 % | 183.54/183.63 c =============================================================================== 183.54/183.65 c core #45 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 29 Core Weight: 1 Total Weight: 1240 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c ============================[ Search Statistics ]============================== 183.54/183.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.65 c =============================================================================== 183.54/183.65 c | 0 | 2272 2645 16061 | 5000 0 nan | 0.000 % | 183.54/183.65 c =============================================================================== 183.54/183.67 c core #46 183.54/183.67 c 183.54/183.67 c 183.54/183.67 c Core size: 28 Core Weight: 1 Total Weight: 1241 183.54/183.67 c 183.54/183.67 c 183.54/183.67 c ============================[ Search Statistics ]============================== 183.54/183.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.67 c =============================================================================== 183.54/183.67 c | 0 | 2296 2669 16113 | 5000 0 nan | 0.000 % | 183.54/183.67 c =============================================================================== 183.54/183.69 c core #47 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 36 Core Weight: 1 Total Weight: 1242 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c ============================[ Search Statistics ]============================== 183.54/183.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.69 c =============================================================================== 183.54/183.69 c | 0 | 2325 2697 16210 | 5000 0 nan | 0.000 % | 183.64/183.71 c | 102 | 2324 2697 16210 | 5500 101 38 | 2.230 % | 183.64/183.72 c =============================================================================== 183.64/183.73 c core #48 183.64/183.73 c 183.64/183.73 c 183.64/183.73 c Core size: 138 Core Weight: 1 Total Weight: 1243 183.64/183.73 c 183.64/183.73 c 183.64/183.73 c ============================[ Search Statistics ]============================== 183.64/183.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.73 c =============================================================================== 183.64/183.73 c | 0 | 2462 2824 16655 | 5000 0 nan | 0.000 % | 183.64/183.76 c =============================================================================== 183.64/183.77 c core #49 183.64/183.77 c 183.64/183.77 c 183.64/183.77 c Core size: 154 Core Weight: 1 Total Weight: 1244 183.64/183.77 c 183.64/183.77 c 183.64/183.77 c ============================[ Search Statistics ]============================== 183.64/183.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.77 c =============================================================================== 183.64/183.77 c | 0 | 2610 2933 17169 | 5000 0 nan | 0.000 % | 183.64/183.78 c =============================================================================== 183.64/183.80 c core #50 183.64/183.80 c 183.64/183.80 c 183.64/183.80 c Core size: 82 Core Weight: 1 Total Weight: 1245 183.64/183.80 c 183.64/183.80 c 183.64/183.80 c ============================[ Search Statistics ]============================== 183.64/183.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.80 c =============================================================================== 183.64/183.80 c | 0 | 2682 2989 17443 | 5000 0 nan | 0.000 % | 183.74/183.82 c =============================================================================== 183.74/183.83 c core #51 183.74/183.83 c 183.74/183.83 c 183.74/183.83 c Core size: 92 Core Weight: 1 Total Weight: 1246 183.74/183.83 c 183.74/183.83 c 183.74/183.83 c ============================[ Search Statistics ]============================== 183.74/183.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.83 c =============================================================================== 183.74/183.83 c | 0 | 2775 3071 17808 | 5000 0 nan | 0.000 % | 183.74/183.86 c | 101 | 2775 3071 17808 | 5500 101 32 | 1.631 % | 183.74/183.86 c =============================================================================== 183.74/183.88 c core #52 183.74/183.88 c 183.74/183.88 c 183.74/183.88 c Core size: 115 Core Weight: 1 Total Weight: 1247 183.74/183.88 c 183.74/183.88 c 183.74/183.88 c ============================[ Search Statistics ]============================== 183.74/183.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.88 c =============================================================================== 183.74/183.88 c | 0 | 2884 3160 18206 | 5000 0 nan | 0.000 % | 183.83/183.90 c =============================================================================== 183.83/183.91 c core #53 183.83/183.91 c 183.83/183.91 c 183.83/183.91 c Core size: 95 Core Weight: 1 Total Weight: 1248 183.83/183.91 c 183.83/183.91 c 183.83/183.91 c ============================[ Search Statistics ]============================== 183.83/183.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.91 c =============================================================================== 183.83/183.91 c | 0 | 2974 3234 18494 | 5000 0 nan | 0.000 % | 183.83/183.94 c | 100 | 2968 3234 18494 | 5500 98 42 | 1.689 % | 183.83/183.95 c =============================================================================== 183.83/183.97 c core #54 183.83/183.97 c 183.83/183.97 c 183.83/183.97 c Core size: 260 Core Weight: 1 Total Weight: 1249 183.83/183.97 c 183.83/183.97 c 183.83/183.97 c ============================[ Search Statistics ]============================== 183.83/183.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.97 c =============================================================================== 183.83/183.97 c | 0 | 3232 3444 19414 | 5000 0 nan | 0.000 % | 183.83/183.98 c =============================================================================== 183.94/184.00 c core #55 183.94/184.00 c 183.94/184.00 c 183.94/184.00 c Core size: 59 Core Weight: 1 Total Weight: 1250 183.94/184.00 c 183.94/184.00 c 183.94/184.00 c ============================[ Search Statistics ]============================== 183.94/184.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.00 c =============================================================================== 183.94/184.00 c | 0 | 3285 3473 19534 | 5000 0 nan | 0.000 % | 183.94/184.03 c | 102 | 3285 3473 19534 | 5500 102 39 | 1.322 % | 183.94/184.04 c =============================================================================== 183.94/184.06 c core #56 183.94/184.06 c 183.94/184.06 c 183.94/184.06 c Core size: 217 Core Weight: 1 Total Weight: 1251 183.94/184.06 c 183.94/184.06 c 183.94/184.06 c ============================[ Search Statistics ]============================== 183.94/184.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.06 c =============================================================================== 183.94/184.06 c | 0 | 3502 3643 20299 | 5000 0 nan | 0.000 % | 183.94/184.07 c =============================================================================== 183.94/184.09 c core #57 183.94/184.09 c 183.94/184.09 c 183.94/184.09 c Core size: 75 Core Weight: 1 Total Weight: 1252 183.94/184.09 c 183.94/184.09 c 183.94/184.09 c ============================[ Search Statistics ]============================== 183.94/184.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.09 c =============================================================================== 183.94/184.09 c | 0 | 3569 3690 20541 | 5000 0 nan | 0.000 % | 184.04/184.11 c =============================================================================== 184.04/184.13 c core #58 184.04/184.13 c 184.04/184.13 c 184.04/184.13 c Core size: 62 Core Weight: 1 Total Weight: 1253 184.04/184.13 c 184.04/184.13 c 184.04/184.13 c ============================[ Search Statistics ]============================== 184.04/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.13 c =============================================================================== 184.04/184.13 c | 0 | 3625 3720 20678 | 5000 0 nan | 0.000 % | 184.04/184.16 c | 100 | 3625 3720 20678 | 5500 100 34 | 1.145 % | 184.04/184.16 c =============================================================================== 184.04/184.18 c core #59 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c Core size: 98 Core Weight: 1 Total Weight: 1254 184.04/184.18 c 184.04/184.18 c 184.04/184.18 c ============================[ Search Statistics ]============================== 184.04/184.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.18 c =============================================================================== 184.04/184.18 c | 0 | 3719 3802 21035 | 5000 0 nan | 0.000 % | 184.13/184.21 c | 102 | 3719 3802 21035 | 5500 102 24 | 1.090 % | 184.13/184.23 c =============================================================================== 184.13/184.25 c core #60 184.13/184.25 c 184.13/184.25 c 184.13/184.25 c Core size: 146 Core Weight: 1 Total Weight: 1255 184.13/184.25 c 184.13/184.25 c 184.13/184.25 c ============================[ Search Statistics ]============================== 184.13/184.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.25 c =============================================================================== 184.13/184.25 c | 0 | 3856 3913 21600 | 5000 0 nan | 0.000 % | 184.13/184.27 c | 102 | 3856 3913 21600 | 5500 102 25 | 1.001 % | 184.13/184.29 c =============================================================================== 184.24/184.31 c core #61 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 167 Core Weight: 1 Total Weight: 1256 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c ============================[ Search Statistics ]============================== 184.24/184.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.31 c =============================================================================== 184.24/184.31 c | 0 | 4013 4021 22258 | 5000 0 nan | 0.000 % | 184.24/184.34 c | 100 | 4012 4021 22258 | 5500 99 42 | 0.914 % | 184.24/184.36 c =============================================================================== 184.24/184.38 c core #62 184.24/184.38 c 184.24/184.38 c 184.24/184.38 c Core size: 245 Core Weight: 1 Total Weight: 1257 184.24/184.38 c 184.24/184.38 c 184.24/184.38 c ============================[ Search Statistics ]============================== 184.24/184.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.38 c =============================================================================== 184.24/184.38 c | 0 | 4250 4147 22971 | 5000 0 nan | 0.000 % | 184.33/184.41 c | 100 | 4250 4147 22971 | 5500 100 53 | 0.794 % | 184.33/184.45 c | 250 | 4247 4147 22971 | 6050 247 35 | 0.864 % | 184.33/184.45 c =============================================================================== 184.33/184.48 c core #63 184.33/184.48 c 184.33/184.48 c 184.33/184.48 c Core size: 293 Core Weight: 1 Total Weight: 1258 184.33/184.48 c 184.33/184.48 c 184.33/184.48 c ============================[ Search Statistics ]============================== 184.33/184.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.48 c =============================================================================== 184.33/184.48 c | 0 | 4525 4290 23856 | 5000 0 nan | 0.000 % | 184.44/184.51 c | 101 | 4525 4290 23856 | 5500 101 49 | 0.680 % | 184.44/184.54 c | 251 | 4525 4290 23856 | 6050 251 34 | 0.680 % | 184.44/184.55 c =============================================================================== 184.44/184.57 c core #64 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 250 Core Weight: 1 Total Weight: 1259 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c ============================[ Search Statistics ]============================== 184.44/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.57 c =============================================================================== 184.44/184.57 c | 0 | 4768 4404 24584 | 5000 0 nan | 0.000 % | 184.54/184.61 c | 102 | 4768 4404 24584 | 5500 102 38 | 0.605 % | 184.54/184.63 c =============================================================================== 184.54/184.65 c core #65 184.54/184.65 c 184.54/184.65 c 184.54/184.65 c Core size: 125 Core Weight: 1 Total Weight: 1260 184.54/184.65 c 184.54/184.65 c 184.54/184.65 c ============================[ Search Statistics ]============================== 184.54/184.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.65 c =============================================================================== 184.54/184.65 c | 0 | 4889 4462 24918 | 5000 0 nan | 0.000 % | 184.54/184.68 c =============================================================================== 184.64/184.70 c core #66 184.64/184.70 c 184.64/184.70 c 184.64/184.70 c Core size: 41 Core Weight: 1 Total Weight: 1261 184.64/184.70 c 184.64/184.70 c 184.64/184.70 c ============================[ Search Statistics ]============================== 184.64/184.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.70 c =============================================================================== 184.64/184.70 c | 0 | 4927 4487 25065 | 5000 0 nan | 0.000 % | 184.64/184.73 c | 100 | 4926 4487 25065 | 5500 41 11 | 0.585 % | 184.64/184.74 c =============================================================================== 184.64/184.76 c core #67 184.64/184.76 c 184.64/184.76 c 184.64/184.76 c Core size: 107 Core Weight: 1 Total Weight: 1262 184.64/184.76 c 184.64/184.76 c 184.64/184.76 c ============================[ Search Statistics ]============================== 184.64/184.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.76 c =============================================================================== 184.64/184.76 c | 0 | 5031 4530 25337 | 5000 0 nan | 0.000 % | 184.64/184.80 c | 102 | 5031 4530 25337 | 5500 102 63 | 0.553 % | 184.74/184.84 c | 252 | 5031 4530 25337 | 6050 252 40 | 0.553 % | 184.74/184.87 c =============================================================================== 184.83/184.90 c core #68 184.83/184.90 c 184.83/184.90 c 184.83/184.90 c Core size: 210 Core Weight: 1 Total Weight: 1263 184.83/184.90 c 184.83/184.90 c 184.83/184.90 c ============================[ Search Statistics ]============================== 184.83/184.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.90 c =============================================================================== 184.83/184.90 c | 0 | 5223 4599 25844 | 5000 0 nan | 0.000 % | 184.83/184.93 c | 101 | 5223 4599 25844 | 5500 101 42 | 0.533 % | 184.83/184.97 c | 251 | 5223 4599 25844 | 6050 251 27 | 0.533 % | 184.94/185.01 c =============================================================================== 184.94/185.04 c core #69 184.94/185.04 c 184.94/185.04 c 184.94/185.04 c Core size: 259 Core Weight: 1 Total Weight: 1264 184.94/185.04 c 184.94/185.04 c 184.94/185.04 c ============================[ Search Statistics ]============================== 184.94/185.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.04 c =============================================================================== 184.94/185.04 c | 0 | 5471 4651 26429 | 5000 0 nan | 0.000 % | 184.94/185.07 c | 100 | 5471 4651 26429 | 5500 100 19 | 0.509 % | 184.94/185.08 c =============================================================================== 185.03/185.10 c core #70 185.03/185.10 c 185.03/185.10 c 185.03/185.10 c Core size: 80 Core Weight: 1 Total Weight: 1265 185.03/185.10 c 185.03/185.10 c 185.03/185.10 c ============================[ Search Statistics ]============================== 185.03/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.10 c =============================================================================== 185.03/185.10 c | 0 | 5541 4678 26601 | 5000 0 nan | 0.000 % | 185.03/185.13 c | 100 | 5541 4678 26601 | 5500 100 21 | 0.503 % | 185.03/185.14 c =============================================================================== 185.03/185.16 c core #71 185.03/185.16 c 185.03/185.16 c 185.03/185.16 c Core size: 39 Core Weight: 1 Total Weight: 1266 185.03/185.16 c 185.03/185.16 c 185.03/185.16 c ============================[ Search Statistics ]============================== 185.03/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.16 c =============================================================================== 185.03/185.16 c | 0 | 5578 4700 26697 | 5000 0 nan | 0.000 % | 185.14/185.20 c | 100 | 5578 4700 26697 | 5500 100 35 | 0.499 % | 185.14/185.21 c =============================================================================== 185.14/185.24 c core #72 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 71 Core Weight: 1 Total Weight: 1267 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c ============================[ Search Statistics ]============================== 185.14/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.24 c =============================================================================== 185.14/185.24 c | 0 | 5637 4731 26852 | 5000 0 nan | 0.000 % | 185.14/185.28 c | 100 | 5637 4731 26852 | 5500 100 44 | 0.494 % | 185.23/185.31 c | 251 | 5637 4731 26852 | 6050 251 29 | 0.494 % | 185.23/185.32 c =============================================================================== 185.23/185.34 c core #73 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c Core size: 157 Core Weight: 1 Total Weight: 1268 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c ============================[ Search Statistics ]============================== 185.23/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.34 c =============================================================================== 185.23/185.34 c | 0 | 5785 4770 27207 | 5000 0 nan | 0.000 % | 185.23/185.38 c | 100 | 5785 4770 27207 | 5500 100 31 | 0.482 % | 185.34/185.42 c | 251 | 5784 4770 27207 | 6050 246 23 | 0.499 % | 185.34/185.43 c =============================================================================== 185.34/185.46 c core #74 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 236 Core Weight: 1 Total Weight: 1269 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c ============================[ Search Statistics ]============================== 185.34/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.46 c =============================================================================== 185.34/185.46 c | 0 | 6000 4803 27720 | 5000 0 nan | 0.000 % | 185.43/185.50 c | 103 | 6000 4803 27720 | 5500 103 19 | 0.448 % | 185.43/185.53 c =============================================================================== 185.43/185.56 c core #75 185.43/185.56 c 185.43/185.56 c 185.43/185.56 c Core size: 253 Core Weight: 1 Total Weight: 1270 185.43/185.56 c 185.43/185.56 c 185.43/185.56 c ============================[ Search Statistics ]============================== 185.43/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.56 c =============================================================================== 185.43/185.56 c | 0 | 6245 4830 28246 | 5000 0 nan | 0.000 % | 185.43/185.59 c | 100 | 6245 4830 28246 | 5500 100 24 | 0.430 % | 185.54/185.63 c =============================================================================== 185.54/185.65 c core #76 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 253 Core Weight: 1 Total Weight: 1271 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 6483 4861 28763 | 5000 0 nan | 0.000 % | 185.54/185.69 c | 100 | 6483 4861 28763 | 5500 100 21 | 0.415 % | 185.63/185.73 c | 250 | 6458 4861 28763 | 6050 173 22 | 0.799 % | 185.63/185.75 c =============================================================================== 185.63/185.78 c core #77 185.63/185.78 c 185.63/185.78 c 185.63/185.78 c Core size: 335 Core Weight: 1 Total Weight: 1272 185.63/185.78 c 185.63/185.78 c 185.63/185.78 c ============================[ Search Statistics ]============================== 185.63/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.78 c =============================================================================== 185.63/185.78 c | 0 | 6802 4883 29423 | 5000 0 nan | 0.000 % | 185.74/185.82 c | 104 | 6802 4883 29423 | 5500 104 38 | 0.395 % | 185.74/185.85 c | 255 | 6802 4883 29423 | 6050 255 26 | 0.395 % | 185.84/185.92 c | 480 | 6802 4883 29423 | 6655 480 23 | 0.395 % | 185.93/186.02 c | 817 | 6802 4883 29423 | 7320 817 26 | 0.395 % | 185.93/186.08 c =============================================================================== 186.03/186.12 c core #78 186.03/186.12 c 186.03/186.12 c 186.03/186.12 c Core size: 673 Core Weight: 1 Total Weight: 1273 186.03/186.12 c 186.03/186.12 c 186.03/186.12 c ============================[ Search Statistics ]============================== 186.03/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.12 c =============================================================================== 186.03/186.12 c | 0 | 7468 4952 30886 | 5000 0 nan | 0.000 % | 186.03/186.16 c | 100 | 7468 4952 30886 | 5500 100 33 | 0.360 % | 186.14/186.21 c | 250 | 7468 4952 30886 | 6050 250 24 | 0.360 % | 186.24/186.31 c | 477 | 7468 4952 30886 | 6655 477 36 | 0.360 % | 186.34/186.43 c | 815 | 7468 4952 30886 | 7320 815 34 | 0.360 % | 186.43/186.59 c | 1321 | 7468 4952 30886 | 8052 1321 36 | 0.360 % | 186.73/186.81 c =============================================================================== 186.73/186.86 c core #79 186.73/186.86 c 186.73/186.86 c 186.73/186.86 c Core size: 1152 Core Weight: 1 Total Weight: 1274 186.73/186.86 c 186.73/186.86 c 186.73/186.86 c ============================[ Search Statistics ]============================== 186.73/186.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.73/186.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.73/186.86 c =============================================================================== 186.73/186.86 c | 0 | 8610 5043 33300 | 5000 0 nan | 0.000 % | 186.84/186.90 c | 100 | 8610 5043 33300 | 5500 100 76 | 0.313 % | 186.84/186.95 c | 251 | 8610 5043 33300 | 6050 251 48 | 0.313 % | 186.94/187.02 c | 479 | 8610 5043 33300 | 6655 479 53 | 0.313 % | 187.03/187.11 c | 816 | 8610 5043 33300 | 7320 816 56 | 0.313 % | 187.13/187.28 c | 1322 | 8610 5043 33300 | 8052 1322 58 | 0.313 % | 187.43/187.55 c | 2081 | 8610 5043 33300 | 8857 2081 61 | 0.313 % | 187.84/187.96 c | 3223 | 8610 5043 33300 | 9743 3223 63 | 0.313 % | 188.63/188.74 c | 4931 | 8610 5043 33300 | 10717 4931 63 | 0.313 % | 189.83/189.95 c | 7496 | 8610 5043 33300 | 11789 7496 66 | 0.313 % | 192.03/192.18 c | 11340 | 8609 5043 33300 | 12968 11228 68 | 0.324 % | 192.94/193.09 c =============================================================================== 193.23/193.32 c core #80 193.23/193.32 c 193.23/193.32 c 193.23/193.32 c Core size: 1662 Core Weight: 1 Total Weight: 1275 193.23/193.32 c 193.23/193.32 c 193.23/193.32 c ============================[ Search Statistics ]============================== 193.23/193.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.23/193.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.23/193.32 c =============================================================================== 193.23/193.32 c | 0 | 10255 5235 37009 | 5000 0 nan | 0.000 % | 193.23/193.37 c | 100 | 10255 5235 37009 | 5500 100 68 | 0.243 % | 193.33/193.42 c | 251 | 10255 5235 37009 | 6050 251 52 | 0.243 % | 193.44/193.50 c | 478 | 10255 5235 37009 | 6655 478 56 | 0.243 % | 193.54/193.61 c | 816 | 10255 5235 37009 | 7320 816 59 | 0.243 % | 193.73/193.80 c | 1322 | 10255 5235 37009 | 8052 1322 61 | 0.243 % | 193.93/194.05 c | 2083 | 10254 5235 37009 | 8857 887 51 | 0.253 % | 194.24/194.39 c | 3223 | 10254 5235 37009 | 9743 2027 52 | 0.253 % | 194.83/194.98 c | 4932 | 10254 5235 37009 | 10717 3736 57 | 0.253 % | 195.74/195.85 c | 7495 | 10254 5235 37009 | 11789 6299 61 | 0.253 % | 197.03/197.19 c | 11339 | 10254 5235 37009 | 12968 10143 61 | 0.253 % | 199.74/199.83 c | 17105 | 10254 5235 37009 | 14265 9359 62 | 0.253 % | 203.13/203.28 c | 25756 | 10254 5235 37009 | 15692 10779 58 | 0.253 % | 209.03/209.12 c | 38730 | 10254 5235 37009 | 17261 15790 66 | 0.253 % | 217.93/218.05 c | 58192 | 10254 5235 37009 | 18987 9070 66 | 0.253 % | 232.32/232.42 c | 87385 | 10254 5235 37009 | 20886 19067 68 | 0.253 % | 254.62/254.74 c | 131174 | 10254 5235 37009 | 22974 20679 70 | 0.253 % | 291.50/291.68 c | 196859 | 10254 5235 37009 | 25272 16908 71 | 0.253 % | 344.99/345.14 c | 295385 | 10254 5235 37009 | 27799 23719 67 | 0.253 % | 376.58/376.72 c =============================================================================== 380.28/380.44 c core #81 380.28/380.44 c 380.28/380.44 c 380.28/380.44 c Core size: 1118 Core Weight: 1 Total Weight: 1276 380.28/380.44 c 380.28/380.44 c 380.28/380.44 c ============================[ Search Statistics ]============================== 380.28/380.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 380.28/380.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 380.28/380.44 c =============================================================================== 380.28/380.44 c | 0 | 11323 5473 39724 | 5000 0 nan | 0.000 % | 380.38/380.60 c | 101 | 11323 5473 39724 | 5500 101 76 | 0.194 % | 380.48/380.65 c | 252 | 11323 5473 39724 | 6050 252 46 | 0.194 % | 380.57/380.77 c | 480 | 11323 5473 39724 | 6655 480 43 | 0.194 % | 380.77/380.93 c | 819 | 11323 5473 39724 | 7320 819 49 | 0.194 % | 380.97/381.19 c | 1325 | 11323 5473 39724 | 8052 1325 52 | 0.194 % | 381.28/381.45 c | 2085 | 11323 5473 39724 | 8857 2085 51 | 0.194 % | 381.78/381.98 c | 3225 | 11323 5473 39724 | 9743 3225 54 | 0.194 % | 382.37/382.54 c | 4934 | 11322 5473 39724 | 10717 2979 47 | 0.203 % | 383.38/383.52 c | 7496 | 11322 5473 39724 | 11789 5541 54 | 0.203 % | 384.78/384.94 c | 11340 | 11322 5473 39724 | 12968 9385 58 | 0.203 % | 387.38/387.55 c | 17109 | 11322 5473 39724 | 14265 8601 61 | 0.203 % | 391.58/391.75 c | 25758 | 11322 5473 39724 | 15692 10023 67 | 0.203 % | 396.77/397.00 c | 38733 | 11322 5473 39724 | 17261 15032 61 | 0.203 % | 405.97/406.17 c | 58194 | 11322 5473 39724 | 18987 17095 64 | 0.203 % | 420.67/420.80 c | 87386 | 11320 5473 39724 | 20886 10886 72 | 0.220 % | 440.56/440.77 c | 131175 | 11320 5473 39724 | 22974 12519 65 | 0.220 % | 472.76/472.98 c | 196860 | 11320 5473 39724 | 25272 20250 70 | 0.220 % | 524.44/524.61 c | 295387 | 11320 5473 39724 | 27799 25256 67 | 0.220 % | 581.01/581.28 c =============================================================================== 586.51/586.72 c core #82 586.51/586.72 c 586.51/586.72 c 586.51/586.72 c Core size: 871 Core Weight: 1 Total Weight: 1277 586.51/586.72 c 586.51/586.72 c 586.51/586.72 c ============================[ Search Statistics ]============================== 586.51/586.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 586.51/586.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 586.51/586.72 c =============================================================================== 586.51/586.72 c | 0 | 12158 5746 41946 | 5000 0 nan | 0.000 % | 586.62/586.89 c | 102 | 12158 5746 41946 | 5500 102 38 | 0.181 % | 586.72/586.95 c | 252 | 12158 5746 41946 | 6050 252 27 | 0.181 % | 586.82/587.09 c | 479 | 12158 5746 41946 | 6655 479 29 | 0.181 % | 587.02/587.22 c | 817 | 12158 5746 41946 | 7320 817 33 | 0.181 % | 587.22/587.41 c | 1323 | 12158 5746 41946 | 8052 1323 37 | 0.181 % | 587.51/587.79 c | 2082 | 12158 5746 41946 | 8857 2082 44 | 0.181 % | 587.91/588.19 c | 3223 | 12158 5746 41946 | 9743 3223 48 | 0.181 % | 588.82/589.07 c | 4933 | 12158 5746 41946 | 10717 4933 54 | 0.181 % | 589.71/589.97 c | 7498 | 12158 5746 41946 | 11789 7498 51 | 0.181 % | 591.21/591.40 c | 11342 | 12158 5746 41946 | 12968 11342 53 | 0.181 % | 594.01/594.21 c | 17108 | 12158 5746 41946 | 14265 10526 50 | 0.181 % | 597.31/597.51 c | 25758 | 12158 5746 41946 | 15692 11983 56 | 0.181 % | 602.62/602.89 c | 38732 | 12158 5746 41946 | 17261 9101 65 | 0.181 % | 610.11/610.37 c | 58194 | 12158 5746 41946 | 18987 11136 54 | 0.181 % | 625.51/625.79 c | 87387 | 12158 5746 41946 | 20886 11586 26 | 0.181 % | 636.50/636.76 c =============================================================================== 637.60/637.80 c core #83 637.60/637.80 c 637.60/637.80 c 637.60/637.80 c Core size: 2651 Core Weight: 1 Total Weight: 1278 637.60/637.80 c 637.60/637.80 c 637.60/637.80 c ============================[ Search Statistics ]============================== 637.60/637.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 637.60/637.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 637.60/637.80 c =============================================================================== 637.60/637.80 c | 0 | 14790 5867 47466 | 5000 0 nan | 0.000 % | 637.71/637.91 c | 104 | 14790 5867 47466 | 5500 104 68 | 0.135 % | 637.81/638.03 c | 257 | 14790 5867 47466 | 6050 257 43 | 0.135 % | 637.90/638.17 c | 484 | 14790 5867 47466 | 6655 484 36 | 0.135 % | 638.10/638.39 c | 824 | 14790 5867 47466 | 7320 824 37 | 0.135 % | 638.30/638.58 c | 1330 | 14790 5867 47466 | 8052 1330 39 | 0.135 % | 638.70/638.90 c | 2089 | 14790 5867 47466 | 8857 2089 43 | 0.135 % | 639.20/639.41 c | 3228 | 14790 5867 47466 | 9743 3228 46 | 0.135 % | 639.70/639.97 c | 4937 | 14790 5867 47466 | 10717 4937 48 | 0.135 % | 641.01/641.26 c | 7499 | 14790 5867 47466 | 11789 7499 55 | 0.135 % | 642.50/642.74 c | 11343 | 14790 5867 47466 | 12968 11343 59 | 0.135 % | 645.09/645.39 c | 17109 | 14790 5867 47466 | 14265 10590 61 | 0.135 % | 648.70/648.94 c | 25758 | 14790 5867 47466 | 15692 12039 58 | 0.135 % | 654.30/654.57 c | 38733 | 14790 5867 47466 | 17261 9174 67 | 0.135 % | 666.30/666.50 c | 58194 | 14790 5867 47466 | 18987 11209 37 | 0.135 % | 692.38/692.61 c | 87386 | 14790 5867 47466 | 20886 11405 40 | 0.135 % | 712.18/712.50 c | 131176 | 14789 5867 47466 | 22974 20506 56 | 0.142 % | 747.96/748.23 c | 196861 | 14789 5867 47466 | 25272 16270 70 | 0.142 % | 795.55/795.84 c | 295388 | 14789 5867 47466 | 27799 17669 55 | 0.142 % | 864.73/865.10 c | 443178 | 14789 5867 47466 | 30579 20462 59 | 0.142 % | 1056.68/1057.09 c | 664861 | 14789 5867 47466 | 33637 16719 46 | 0.142 % | 1213.81/1214.27 c | 997387 | 14789 5867 47466 | 37001 14092 59 | 0.142 % | 1239.31/1239.71 c =============================================================================== 1248.90/1249.38 c core #84 1248.90/1249.38 c 1248.90/1249.38 c 1248.90/1249.38 c Core size: 3341 Core Weight: 1 Total Weight: 1279 1248.90/1249.38 c 1248.90/1249.38 c 1248.90/1249.38 c ============================[ Search Statistics ]============================== 1248.90/1249.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1248.90/1249.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1248.90/1249.38 c =============================================================================== 1248.90/1249.38 c | 0 | 18068 6060 54377 | 5000 0 nan | 0.000 % | 1249.11/1249.56 c | 100 | 18068 6060 54377 | 5500 100 86 | 0.111 % | 1249.30/1249.77 c | 251 | 18068 6060 54377 | 6050 251 66 | 0.111 % | 1249.50/1249.99 c | 477 | 18068 6060 54377 | 6655 477 53 | 0.111 % | 1249.80/1250.30 c | 815 | 18068 6060 54377 | 7320 815 40 | 0.111 % | 1250.21/1250.68 c | 1322 | 18068 6060 54377 | 8052 1322 34 | 0.111 % | 1251.01/1251.47 c | 2084 | 18068 6060 54377 | 8857 2084 32 | 0.111 % | 1251.41/1251.84 c | 3223 | 18068 6060 54377 | 9743 3223 35 | 0.111 % | 1251.90/1252.35 c | 4931 | 18068 6060 54377 | 10717 4931 38 | 0.111 % | 1252.80/1253.20 c | 7494 | 18068 6060 54377 | 11789 7494 41 | 0.111 % | 1254.10/1254.57 c | 11340 | 18068 6060 54377 | 12968 11340 43 | 0.111 % | 1256.70/1257.10 c | 17109 | 18068 6060 54377 | 14265 10577 52 | 0.111 % | 1260.50/1260.94 c | 25758 | 18068 6060 54377 | 15692 11918 57 | 0.111 % | 1265.99/1266.41 c | 38734 | 18068 6060 54377 | 17261 9046 57 | 0.111 % | 1274.30/1274.79 c | 58196 | 18068 6060 54377 | 18987 11083 55 | 0.111 % | 1287.90/1288.36 c | 87390 | 18068 6060 54377 | 20886 11229 62 | 0.111 % | 1315.48/1315.98 c | 131179 | 18068 6060 54377 | 22974 12445 61 | 0.111 % | 1347.08/1347.56 c | 196863 | 18068 6060 54377 | 25272 19026 59 | 0.111 % | 1383.27/1383.71 c | 295391 | 18068 6060 54377 | 27799 19602 48 | 0.111 % | 1495.13/1495.67 c | 443180 | 18068 6060 54377 | 30579 19941 45 | 0.111 % | 1631.89/1632.47 c | 664864 | 18068 6060 54377 | 33637 18939 53 | 0.111 % | 1781.35/1781.93 c | 997389 | 18068 6060 54377 | 37001 23967 59 | 0.111 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680737-1277451712/watcher-2680737-1277451712 -o /tmp/evaluation-result-2680737-1277451712/solver-2680737-1277451712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680737-1277451712.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26978 /proc/meminfo: memFree=1417936/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=2576 CPUtime=0 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 295 0 0 0 0 0 0 0 19 0 1 0 86462196 2637824 209 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 644 209 144 303 0 339 0 [startup+0.0845059 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26978 /proc/meminfo: memFree=1417936/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=2840 CPUtime=0.08 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 369 0 0 0 8 0 0 0 18 0 1 0 86462196 2908160 283 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 710 283 145 303 0 405 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2840 [startup+0.10151 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26978 /proc/meminfo: memFree=1417936/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=2968 CPUtime=0.09 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 381 0 0 0 9 0 0 0 18 0 1 0 86462196 3039232 295 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 742 295 145 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.301539 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26978 /proc/meminfo: memFree=1417936/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=3364 CPUtime=0.29 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 497 0 0 0 29 0 0 0 18 0 1 0 86462196 3444736 411 1992294400 134512640 135752675 4290030368 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 841 411 145 303 0 536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3364 [startup+0.701596 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26978 /proc/meminfo: memFree=1417936/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=4280 CPUtime=0.69 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 715 0 0 0 68 1 0 0 18 0 1 0 86462196 4382720 629 1992294400 134512640 135752675 4290030368 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 1070 629 145 303 0 765 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4280 [startup+1.50171 s] /proc/loadavg: 0.00 0.00 0.00 2/107 26979 /proc/meminfo: memFree=1415200/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=5840 CPUtime=1.49 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 1099 0 0 0 147 2 0 0 20 0 1 0 86462196 5980160 1013 1992294400 134512640 135752675 4290030368 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 1460 1013 145 303 0 1155 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5840 [startup+3.10095 s] /proc/loadavg: 0.00 0.00 0.00 2/107 26979 /proc/meminfo: memFree=1413092/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=8728 CPUtime=3.09 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 1814 0 0 0 304 5 0 0 24 0 1 0 86462196 8937472 1728 1992294400 134512640 135752675 4290030368 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 2182 1728 145 303 0 1877 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8728 [startup+6.30141 s] /proc/loadavg: 0.08 0.02 0.01 2/107 26979 /proc/meminfo: memFree=1407264/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=14200 CPUtime=6.29 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 3194 0 0 0 619 10 0 0 25 0 1 0 86462196 14540800 3108 1992294400 134512640 135752675 4290030368 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 3550 3108 145 303 0 3245 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14200 [startup+12.7003 s] /proc/loadavg: 0.15 0.03 0.01 2/107 26979 /proc/meminfo: memFree=1395732/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=24940 CPUtime=12.69 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 5871 0 0 0 1249 20 0 0 25 0 1 0 86462196 25538560 5785 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 6235 5785 145 303 0 5930 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24940 [startup+25.5012 s] /proc/loadavg: 0.34 0.08 0.02 2/107 26979 /proc/meminfo: memFree=1377628/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=42604 CPUtime=25.48 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 10288 0 0 0 2510 38 0 0 25 0 1 0 86462196 43626496 10202 1992294400 134512640 135752675 4290030368 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 10651 10202 145 303 0 10346 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42604 [startup+51.1009 s] /proc/loadavg: 0.56 0.15 0.05 2/107 26979 /proc/meminfo: memFree=1343156/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=77396 CPUtime=51.08 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 18982 0 0 0 5035 73 0 0 25 0 1 0 86462196 79253504 18896 1992294400 134512640 135752675 4290030368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 19349 18896 145 303 0 19044 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77396 [startup+102.308 s] /proc/loadavg: 0.81 0.28 0.10 2/107 26981 /proc/meminfo: memFree=1272352/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=147040 CPUtime=102.27 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 36403 0 0 0 10089 138 0 0 25 0 1 0 86462196 150568960 36317 1992294400 134512640 135752675 4290030368 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 36760 36317 145 303 0 36455 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 147040 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 26983 /proc/meminfo: memFree=1198944/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=220940 CPUtime=162.24 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 54868 0 0 0 16012 212 0 0 25 0 1 0 86462196 226242560 54782 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 55235 54782 145 303 0 54930 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 220940 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/107 26985 /proc/meminfo: memFree=1156784/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=262360 CPUtime=222.23 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 65231 0 0 0 21948 275 0 0 25 0 1 0 86462196 268656640 65129 1992294400 134512640 135752675 4290030368 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 65590 65129 146 303 0 65285 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 262360 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/107 26985 /proc/meminfo: memFree=1124172/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=295184 CPUtime=282.21 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 73424 0 0 0 27905 316 0 0 25 0 1 0 86462196 302268416 73322 1992294400 134512640 135752675 4290030368 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 73796 73322 146 303 0 73491 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 295184 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 26987 /proc/meminfo: memFree=1093296/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=325624 CPUtime=342.19 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 81039 0 0 0 33865 354 0 0 25 0 1 0 86462196 333438976 80937 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 81406 80937 146 303 0 81101 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 325624 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 26989 /proc/meminfo: memFree=1062048/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=357116 CPUtime=402.17 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 89074 0 0 0 39821 396 0 0 25 0 1 0 86462196 365686784 88822 1992294400 134512640 135752675 4290030368 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 89279 88822 146 303 0 88974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 357116 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 26991 /proc/meminfo: memFree=1026584/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=392152 CPUtime=462.15 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 97812 0 0 0 45776 439 0 0 25 0 1 0 86462196 401563648 97560 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 98038 97560 146 303 0 97733 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 392152 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 26993 /proc/meminfo: memFree=992608/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=426384 CPUtime=522.14 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 106367 0 0 0 51735 479 0 0 25 0 1 0 86462196 436617216 106115 1992294400 134512640 135752675 4290030368 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 106596 106115 146 303 0 106291 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 426384 [startup+582.3 s] /proc/loadavg: 0.99 0.84 0.44 2/107 26993 /proc/meminfo: memFree=959252/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=459200 CPUtime=582.11 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 114579 0 0 0 57694 517 0 0 25 0 1 0 86462196 470220800 114327 1992294400 134512640 135752675 4290030368 18446744073709551615 135206853 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 114800 114327 146 303 0 114495 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 459200 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.47 2/107 26995 /proc/meminfo: memFree=943504/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=475000 CPUtime=642.11 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 118599 0 0 0 63653 558 0 0 25 0 1 0 86462196 486400000 118213 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 118750 118213 146 303 0 118445 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 475000 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/107 27001 /proc/meminfo: memFree=860052/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=558508 CPUtime=822.04 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 139482 0 0 0 81533 671 0 0 25 0 1 0 86462196 571912192 139096 1992294400 134512640 135752675 4290030368 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 139627 139096 146 303 0 139322 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 558508 [startup+882.301 s] /proc/loadavg: 1.03 0.95 0.59 2/107 27001 /proc/meminfo: memFree=826324/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=591904 CPUtime=882.03 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 147849 0 0 0 87488 715 0 0 25 0 1 0 86462196 606109696 147463 1992294400 134512640 135752675 4290030368 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 147976 147463 146 303 0 147671 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 591904 [startup+942.301 s] /proc/loadavg: 1.05 0.97 0.62 2/107 27003 /proc/meminfo: memFree=806608/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=611704 CPUtime=942.01 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 152786 0 0 0 93457 744 0 0 25 0 1 0 86462196 626384896 152400 1992294400 134512640 135752675 4290030368 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 152926 152400 146 303 0 152621 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 611704 [startup+1002.3 s] /proc/loadavg: 1.05 0.98 0.64 2/107 27005 /proc/meminfo: memFree=786892/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=631092 CPUtime=1001.99 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 157649 0 0 0 99429 770 0 0 25 0 1 0 86462196 646238208 157263 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 157773 157263 146 303 0 157468 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 631092 [startup+1062.3 s] /proc/loadavg: 1.02 0.98 0.66 2/107 27007 /proc/meminfo: memFree=768168/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=649996 CPUtime=1061.97 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 162363 0 0 0 105402 795 0 0 25 0 1 0 86462196 665595904 161977 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 162499 161977 146 303 0 162194 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 649996 [startup+1122.3 s] /proc/loadavg: 1.00 0.98 0.68 2/107 27009 /proc/meminfo: memFree=727372/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=690660 CPUtime=1121.96 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 172517 0 0 0 111357 839 0 0 25 0 1 0 86462196 707235840 172131 1992294400 134512640 135752675 4290030368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 172665 172131 146 303 0 172360 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 690660 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.70 2/107 27018 /proc/meminfo: memFree=685212/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=733296 CPUtime=1181.92 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 183177 0 0 0 117307 885 0 0 25 0 1 0 86462196 750895104 182791 1992294400 134512640 135752675 4290030368 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 183324 182791 146 303 0 183019 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 733296 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.71 2/107 27020 /proc/meminfo: memFree=630900/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=788736 CPUtime=1241.9 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 197037 0 0 0 123263 927 0 0 25 0 1 0 86462196 807665664 196651 1992294400 134512640 135752675 4290030368 18446744073709551615 134516225 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 197184 196651 146 303 0 196879 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 788736 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.73 2/107 27022 /proc/meminfo: memFree=619492/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=797180 CPUtime=1301.89 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 199411 0 0 0 129228 961 0 0 25 0 1 0 86462196 816312320 198851 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 199295 198851 146 303 0 198990 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 797180 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.74 2/107 27024 /proc/meminfo: memFree=600396/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=816856 CPUtime=1361.87 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 204339 0 0 0 135189 998 0 0 25 0 1 0 86462196 836460544 203779 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 204214 203779 146 303 0 203909 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 816856 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.75 2/107 27026 /proc/meminfo: memFree=569520/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=847484 CPUtime=1421.86 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 211982 0 0 0 141143 1043 0 0 25 0 1 0 86462196 867823616 211422 1992294400 134512640 135752675 4290030368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 211871 211422 146 303 0 211566 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 847484 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.77 2/107 27026 /proc/meminfo: memFree=556252/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=860872 CPUtime=1481.84 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 215305 0 0 0 147123 1061 0 0 25 0 1 0 86462196 881532928 214745 1992294400 134512640 135752675 4290030368 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 215218 214745 146 303 0 214913 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 860872 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.78 2/107 27028 /proc/meminfo: memFree=531452/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=885468 CPUtime=1541.81 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 221458 0 0 0 153083 1098 0 0 25 0 1 0 86462196 906719232 220898 1992294400 134512640 135752675 4290030368 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 221367 220898 146 303 0 221062 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 885468 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.79 2/107 27030 /proc/meminfo: memFree=519672/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=897408 CPUtime=1601.8 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 224446 0 0 0 159064 1116 0 0 25 0 1 0 86462196 918945792 223886 1992294400 134512640 135752675 4290030368 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 224352 223886 146 303 0 224047 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 897408 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.80 2/107 27032 /proc/meminfo: memFree=482348/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=934668 CPUtime=1661.78 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 233742 0 0 0 165019 1159 0 0 25 0 1 0 86462196 957100032 233182 1992294400 134512640 135752675 4290030368 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 233667 233182 146 303 0 233362 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 934668 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.81 2/107 27034 /proc/meminfo: memFree=445148/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=972432 CPUtime=1721.76 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 243201 0 0 0 170970 1206 0 0 25 0 1 0 86462196 995770368 242641 1992294400 134512640 135752675 4290030368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 243108 242641 146 303 0 242803 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 972432 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.82 2/107 27034 /proc/meminfo: memFree=407328/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=1009392 CPUtime=1781.74 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 252433 0 0 0 176927 1247 0 0 25 0 1 0 86462196 1033617408 251873 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 252348 251873 146 303 0 252043 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1009392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.98 0.82 2/107 27036 /proc/meminfo: memFree=394308/2059040 swapFree=4140520/4192956 [pid=26978] ppid=26976 vsize=1022196 CPUtime=1800.05 /proc/26978/stat : 26978 (wbo1.4b) R 26976 26978 26951 0 -1 4202496 255630 0 0 0 178746 1259 0 0 25 0 1 0 86462196 1046728704 255070 1992294400 134512640 135752675 4290030368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26978/statm: 255549 255070 146 303 0 255244 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1022196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.71 CPU time (s): 1800.16 CPU user time (s): 1787.47 CPU system time (s): 12.6901 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 1022196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.47 system time used= 12.6901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255630 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= 26 involuntary context switches= 20957 runsolver used 3.18452 second user time and 8.32873 second system time The end
Begin job on node052 at 2010-06-25 09:41:52 IDJOB=2680737 IDBENCH=1858 IDSOLVER=1190 FILE ID=node052/2680737-1277451712 PBS_JOBID= 11188116 Free space on /tmp= 62252 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680737-1277451712/watcher-2680737-1277451712 -o /tmp/evaluation-result-2680737-1277451712/solver-2680737-1277451712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680737-1277451712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED=1143222047 node052.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1418464 kB Buffers: 120516 kB Cached: 416508 kB SwapCached: 5612 kB Active: 185504 kB Inactive: 364488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1418464 kB SwapTotal: 4192956 kB SwapFree: 4140520 kB Dirty: 2888 kB Writeback: 0 kB AnonPages: 11540 kB Mapped: 11828 kB Slab: 68680 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180784 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62248 MiB End job on node052 at 2010-06-25 10:11:55