Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | OPT | 41202 | 84.7883 | 85.0057 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb |
| MD5SUM | 206b08b420dad9af66531a7207372127 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 41202 |
| Best CPU time to get the best result obtained on this benchmark | 0.09333 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1945 |
| Total number of constraints | 3355 |
| Number of constraints which are clauses | 3355 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 55 |
| Number of terms in the objective function | 1036 |
| Biggest coefficient in the objective function | 2072 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1671510 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2072 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1671510 |
| Number of bits of the biggest sum of numbers | 21 |
| 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.04 o 200740 0.00/0.04 o 199909 0.00/0.05 o 199860 0.00/0.05 o 198998 0.00/0.05 o 198835 0.00/0.05 o 198800 0.00/0.05 o 198560 0.00/0.05 o 198548 0.00/0.05 o 197182 0.00/0.05 o 195656 0.00/0.05 o 194382 0.00/0.05 o 194348 0.00/0.05 o 194110 0.00/0.06 o 192714 0.00/0.06 o 192476 0.00/0.06 o 192133 0.00/0.06 o 192005 0.00/0.06 o 190639 0.00/0.06 o 190581 0.00/0.06 o 190457 0.00/0.06 o 190445 0.00/0.06 o 190407 0.00/0.06 o 190349 0.00/0.06 o 189376 0.00/0.06 o 189255 0.00/0.07 o 189191 0.00/0.07 o 189133 0.00/0.07 o 188893 0.00/0.07 o 188881 0.00/0.07 o 188068 0.00/0.07 o 188056 0.00/0.07 o 187935 0.00/0.07 o 187871 0.00/0.07 o 187813 0.00/0.07 o 187675 0.00/0.07 o 187611 0.00/0.07 o 187553 0.00/0.08 o 187541 0.00/0.08 o 187532 0.00/0.08 o 187289 0.00/0.09 o 187173 0.00/0.09 o 185859 0.00/0.09 o 185754 0.00/0.09 o 185525 0.00/0.09 o 185467 0.00/0.10 o 185447 0.09/0.10 o 185227 0.09/0.10 o 185215 0.09/0.10 o 185018 0.09/0.10 o 184998 0.09/0.10 o 184986 0.09/0.10 o 184928 0.09/0.10 o 184913 0.09/0.10 o 184901 0.09/0.11 o 184887 0.09/0.11 o 184841 0.09/0.11 o 184644 0.09/0.11 o 184586 0.09/0.11 o 184577 0.09/0.11 o 184525 0.09/0.11 o 184397 0.09/0.13 o 184345 0.09/0.13 o 184336 0.09/0.13 o 184327 0.09/0.13 o 184269 0.09/0.13 o 184255 0.09/0.13 o 184197 0.09/0.14 o 184171 0.09/0.14 o 184133 0.09/0.14 o 183959 0.09/0.15 o 183895 0.09/0.15 o 182529 0.09/0.15 o 182524 0.09/0.16 o 182414 0.09/0.16 o 182362 0.09/0.16 o 182266 0.09/0.16 o 182257 0.09/0.17 o 182222 0.09/0.17 o 182208 0.09/0.17 o 182150 0.09/0.18 o 182138 0.09/0.18 o 182129 0.09/0.18 o 181282 0.09/0.18 o 181264 0.09/0.18 o 180998 0.09/0.18 o 180963 0.09/0.18 o 180905 0.09/0.19 o 180737 0.09/0.19 o 180685 0.09/0.19 o 180673 0.09/0.20 o 180621 0.09/0.20 o 180493 0.20/0.21 o 180490 0.20/0.21 o 180476 0.20/0.21 o 178788 0.20/0.23 o 178518 0.20/0.25 o 178512 0.20/0.25 o 178338 0.20/0.26 o 178132 0.20/0.26 o 177920 0.20/0.29 o 177749 0.20/0.29 o 177737 0.20/0.29 o 177673 0.20/0.29 o 177659 0.20/0.29 o 177595 0.20/0.29 o 177392 0.20/0.29 o 177334 0.20/0.29 o 177308 0.20/0.29 o 177270 0.20/0.30 o 177212 0.20/0.30 o 177203 0.20/0.30 o 177157 0.30/0.31 o 176960 0.30/0.32 o 176786 0.30/0.34 o 176756 0.30/0.34 o 176742 0.30/0.34 o 176614 0.30/0.35 o 176606 0.30/0.39 o 175266 0.39/0.46 o 175202 0.39/0.47 o 175190 0.39/0.47 o 175132 0.39/0.47 o 174897 0.39/0.47 o 174819 0.39/0.47 o 174755 0.39/0.47 o 174697 0.39/0.48 o 174607 0.39/0.48 o 174567 0.39/0.48 o 174445 0.39/0.48 o 174436 0.39/0.48 o 174427 0.39/0.49 o 174230 0.39/0.49 o 174192 0.39/0.50 o 173960 0.49/0.51 o 173908 0.49/0.51 o 173780 0.49/0.53 o 173763 0.49/0.54 o 173589 0.60/0.60 o 173581 0.60/0.61 o 173477 0.60/0.61 o 173459 0.60/0.65 o 173221 0.60/0.65 o 173125 0.60/0.66 o 173113 0.60/0.66 o 171747 0.60/0.66 o 170129 0.60/0.68 o 168713 0.69/0.72 o 168670 0.69/0.72 o 168618 0.69/0.72 o 168560 0.69/0.73 o 168502 0.69/0.73 o 168450 0.69/0.74 o 168322 0.69/0.76 o 168258 0.69/0.77 o 168232 0.69/0.77 o 168078 0.79/0.84 o 168060 0.79/0.86 o 167817 0.79/0.89 o 167723 0.79/0.89 o 167535 0.89/0.90 o 167471 0.89/0.90 o 167405 0.89/0.94 o 167291 0.89/1.00 o 167288 0.89/1.00 o 167274 0.99/1.01 o 167256 0.99/1.05 o 165544 0.99/1.08 o 165501 0.99/1.09 o 165443 0.99/1.09 o 165440 0.99/1.09 o 165237 0.99/1.09 o 165205 0.99/1.09 o 165127 0.99/1.09 o 165107 0.99/1.09 o 165063 0.99/1.10 o 164999 0.99/1.10 o 164973 0.99/1.10 o 164935 1.09/1.10 o 164819 1.09/1.12 o 164581 1.09/1.13 o 164573 1.09/1.13 o 164355 1.09/1.14 o 164291 1.09/1.14 o 164277 1.18/1.28 o 163934 1.18/1.28 o 163876 1.28/1.36 o 162379 1.28/1.36 o 162336 1.48/1.57 o 162326 1.48/1.57 o 162306 1.48/1.57 o 162262 1.48/1.58 o 162219 1.48/1.59 o 162173 1.48/1.59 o 161976 1.58/1.63 o 161950 1.58/1.63 o 161840 1.58/1.68 o 161596 1.58/1.68 o 160334 1.88/1.99 o 160096 2.08/2.13 o 160091 2.08/2.13 o 160083 2.08/2.13 o 160082 2.08/2.14 o 160065 2.08/2.15 o 160017 2.08/2.15 o 159999 2.08/2.16 o 159985 2.08/2.19 o 159954 2.08/2.19 o 159946 2.19/2.22 o 159931 2.19/2.22 o 159891 2.19/2.22 o 159769 2.19/2.22 o 159761 2.19/2.22 o 159703 2.19/2.24 o 159697 2.19/2.24 o 159689 2.19/2.26 o 159646 2.29/2.31 o 159643 2.29/2.31 o 159634 2.29/2.31 o 159626 2.29/2.31 o 159568 2.29/2.36 o 159510 2.38/2.49 o 159494 2.38/2.49 o 159480 2.48/2.50 o 159422 2.48/2.52 o 159150 2.58/2.61 o 159141 2.58/2.62 o 159132 2.78/2.82 o 159109 2.78/2.82 o 159100 2.78/2.82 o 159048 2.78/2.83 o 158990 2.78/2.83 o 158976 2.78/2.84 o 158950 2.78/2.84 o 158912 2.78/2.84 o 158738 2.78/2.86 o 158730 2.78/2.86 o 158521 2.78/2.86 o 158347 2.78/2.87 o 158167 2.88/2.94 o 158131 2.88/2.94 o 157946 2.88/2.94 o 157888 2.99/3.03 o 157778 3.58/3.65 o 157737 3.58/3.67 o 157615 3.68/3.71 o 157572 3.78/3.81 o 157334 4.08/4.11 o 155872 4.38/4.43 o 154482 4.48/4.58 o 154479 4.48/4.59 o 154421 4.48/4.59 o 154377 4.48/4.59 o 154363 4.57/4.60 o 154346 4.57/4.65 o 154345 4.57/4.65 o 154287 4.57/4.66 o 154244 4.57/4.67 o 154218 4.57/4.68 o 154215 4.57/4.68 o 154108 4.77/4.85 o 152614 5.08/5.12 o 152498 5.08/5.12 o 152466 5.08/5.13 o 152388 5.08/5.13 o 152368 5.08/5.13 o 152324 5.08/5.16 o 152307 5.08/5.17 o 152269 5.08/5.17 o 152037 5.18/5.22 o 151857 5.18/5.29 o 151839 5.28/5.35 o 151836 5.28/5.35 o 151828 5.28/5.36 o 151814 5.28/5.37 o 151810 5.28/5.37 o 151796 5.37/5.45 o 151558 5.47/5.52 o 151542 5.47/5.53 o 151499 5.47/5.53 o 151433 5.47/5.58 o 151326 5.77/5.85 o 151319 5.77/5.86 o 151261 5.77/5.86 o 151032 5.77/5.86 o 150974 5.77/5.87 o 150750 5.77/5.88 o 150672 5.77/5.88 o 150632 5.77/5.88 o 150510 5.87/5.92 o 150446 5.87/5.92 o 150382 5.87/5.92 o 150266 5.87/5.97 o 150223 5.98/6.06 o 150194 5.98/6.06 o 150168 5.98/6.07 o 150165 6.67/6.75 o 149179 6.67/6.76 o 149055 6.67/6.76 o 148927 6.67/6.77 o 148805 6.67/6.77 o 148681 6.67/6.77 o 148553 6.67/6.78 o 148549 6.67/6.78 o 148437 6.67/6.79 o 148421 6.67/6.79 o 148309 6.77/6.80 o 147482 6.77/6.81 o 147410 6.77/6.81 o 147404 6.77/6.82 o 147364 6.77/6.83 o 147242 6.77/6.83 o 147230 6.77/6.84 o 147199 6.77/6.84 o 147187 6.77/6.85 o 147113 6.77/6.85 o 147001 6.77/6.86 o 146955 6.77/6.86 o 146943 6.77/6.86 o 145765 6.77/6.87 o 145693 6.77/6.88 o 145687 6.77/6.88 o 145647 6.77/6.89 o 145641 6.77/6.89 o 145525 6.77/6.89 o 145513 6.87/6.90 o 145064 6.87/6.91 o 144971 6.87/6.91 o 144913 6.87/6.91 o 144725 6.87/6.91 o 144719 6.87/6.91 o 144603 6.87/6.91 o 144591 6.87/6.92 o 144539 6.87/6.92 o 144527 6.87/6.93 o 144458 6.87/6.93 o 144452 6.87/6.93 o 144336 6.87/6.93 o 144324 6.87/6.93 o 144278 6.87/6.93 o 144266 6.87/6.94 o 144240 6.87/6.94 o 144182 6.87/6.94 o 144170 6.87/6.95 o 144156 6.87/6.95 o 144080 6.87/6.95 o 144022 6.87/6.96 o 143964 6.87/6.97 o 143912 6.87/6.97 o 143898 6.87/6.97 o 143886 6.87/6.98 o 143877 6.87/6.98 o 143863 6.87/6.99 o 143837 6.87/6.99 o 143823 6.87/6.99 o 143715 6.87/6.99 o 143703 6.87/6.99 o 143701 6.87/6.99 o 143689 6.97/7.01 o 143681 6.97/7.01 o 143637 6.97/7.02 o 143579 6.97/7.02 o 143567 6.97/7.02 o 143509 6.97/7.03 o 143476 6.97/7.03 o 143462 6.97/7.04 o 143442 6.97/7.04 o 143398 6.97/7.05 o 143346 6.97/7.05 o 143334 6.97/7.05 o 143320 6.97/7.05 o 143309 6.97/7.06 o 143297 6.97/7.06 o 143283 6.97/7.06 o 143213 6.97/7.06 o 143199 6.97/7.06 o 143179 6.97/7.06 o 143135 6.97/7.07 o 143121 6.97/7.07 o 143077 6.97/7.10 o 143073 6.97/7.10 o 143059 7.07/7.14 o 143053 7.07/7.14 o 143039 7.07/7.14 o 143001 7.07/7.14 o 142987 7.07/7.15 o 142975 7.07/7.15 o 142969 7.07/7.16 o 142931 7.07/7.16 o 142917 7.07/7.17 o 142913 7.07/7.17 o 142899 7.07/7.18 o 142873 7.07/7.18 o 142859 7.07/7.18 o 142847 7.07/7.19 o 142803 7.07/7.19 o 142789 7.17/7.21 o 142783 7.17/7.21 o 142771 7.17/7.22 o 142763 7.17/7.27 o 142759 7.17/7.27 o 142751 7.17/7.27 o 142290 7.17/7.27 o 142066 7.17/7.27 o 141988 7.17/7.27 o 141948 7.17/7.28 o 141826 7.17/7.28 o 141803 7.17/7.28 o 141763 7.17/7.28 o 141641 7.17/7.29 o 141609 7.17/7.29 o 141531 7.17/7.29 o 141467 7.27/7.32 o 141466 7.27/7.32 o 141449 7.27/7.37 o 141443 7.27/7.38 o 141269 7.37/7.41 o 141159 7.37/7.41 o 141127 7.37/7.42 o 141063 7.37/7.42 o 140947 7.47/7.51 o 140918 7.47/7.51 o 140848 7.47/7.51 o 140796 7.47/7.51 o 140738 7.47/7.51 o 140680 7.47/7.51 o 140602 7.47/7.52 o 140562 7.47/7.52 o 140556 7.47/7.52 o 140440 7.47/7.53 o 140428 7.47/7.53 o 140254 7.47/7.53 o 140240 7.47/7.53 o 140237 7.47/7.53 o 140002 7.47/7.53 o 139924 7.47/7.53 o 139904 7.47/7.54 o 139860 7.47/7.54 o 139822 7.47/7.55 o 139804 7.47/7.55 o 139795 7.47/7.56 o 139787 7.47/7.57 o 139607 7.57/7.66 o 139503 7.57/7.67 o 139485 7.67/7.74 o 139483 7.67/7.74 o 139355 7.67/7.75 o 139333 7.67/7.75 o 139321 7.67/7.75 o 139315 7.67/7.75 o 139303 7.67/7.75 o 139219 7.67/7.76 o 139175 7.67/7.76 o 139173 7.67/7.76 o 139101 7.67/7.77 o 139089 7.67/7.77 o 139057 7.67/7.77 o 139045 7.67/7.78 o 139017 7.67/7.78 o 138999 7.67/7.78 o 138979 7.67/7.78 o 138935 7.67/7.78 o 138923 7.67/7.78 o 138738 7.67/7.78 o 138680 7.67/7.79 o 138483 7.77/7.82 o 138471 7.77/7.82 o 138459 7.77/7.82 o 138427 7.77/7.83 o 138349 7.77/7.83 o 138329 7.77/7.83 o 138285 7.77/7.83 o 138271 7.77/7.84 o 138233 7.77/7.85 o 138215 7.77/7.88 o 138198 7.87/7.92 o 138189 7.87/7.92 o 138177 7.87/7.92 o 138159 7.87/7.93 o 138145 7.87/7.94 o 138093 7.87/7.94 o 137919 7.87/7.96 o 137910 7.87/7.96 o 137902 7.87/7.97 o 136284 7.98/8.03 o 136220 7.98/8.03 o 136154 8.08/8.16 o 136151 8.08/8.17 o 136131 8.08/8.17 o 136087 8.08/8.18 o 136073 8.08/8.20 o 136055 8.17/8.21 o 135997 8.27/8.35 o 134187 8.37/8.41 o 134186 8.37/8.41 o 134178 8.37/8.41 o 134177 8.37/8.41 o 134160 8.37/8.48 o 134155 8.37/8.49 o 134137 8.47/8.51 o 134071 8.47/8.55 o 134051 8.47/8.56 o 133966 8.87/8.91 o 133873 8.87/8.91 o 133859 8.87/8.92 o 133630 8.87/8.92 o 133572 8.87/8.92 o 133508 8.87/8.92 o 133305 8.87/8.92 o 133247 8.87/8.93 o 133154 8.87/8.93 o 132954 8.87/8.93 o 132948 8.87/8.94 o 132908 8.87/8.94 o 132902 8.87/8.95 o 132786 8.87/8.95 o 132774 8.87/8.98 o 132748 8.87/8.98 o 132710 8.87/8.99 o 132478 9.17/9.20 o 132348 9.27/9.35 o 132053 9.27/9.35 o 130695 9.37/9.45 o 130690 9.37/9.47 o 130647 9.37/9.47 o 130635 9.37/9.48 o 130609 9.37/9.48 o 130597 9.37/9.49 o 130595 9.37/9.49 o 130583 9.47/9.50 o 130574 9.57/9.62 o 130569 9.57/9.62 o 130560 9.57/9.62 o 130552 9.57/9.63 o 130534 9.57/9.68 o 130516 9.77/9.85 o 130482 9.77/9.86 o 130244 10.56/10.63 o 130240 10.56/10.63 o 130228 10.56/10.65 o 130210 10.66/10.73 o 128780 10.66/10.75 o 128713 10.66/10.75 o 128670 10.66/10.76 o 128635 11.06/11.17 o 126912 11.36/11.42 o 125473 11.56/11.60 o 125459 11.56/11.60 o 125415 11.56/11.60 o 125403 11.56/11.62 o 125394 11.56/11.62 o 125385 11.66/11.71 o 125347 11.66/11.71 o 125344 11.66/11.71 o 125141 11.66/11.71 o 125109 11.66/11.71 o 125031 11.66/11.71 o 124967 11.66/11.72 o 124738 11.66/11.72 o 124680 11.66/11.72 o 124662 11.66/11.72 o 124392 11.66/11.73 o 124378 11.66/11.73 o 124332 11.66/11.74 o 124135 11.66/11.75 o 124083 11.66/11.75 o 124074 11.66/11.76 o 124066 11.85/11.93 o 123944 12.07/12.12 o 123936 12.07/12.14 o 123878 12.07/12.17 o 123835 12.96/13.09 o 123806 12.96/13.09 o 123794 12.96/13.09 o 123780 12.96/13.10 o 123742 13.06/13.10 o 123724 13.16/13.20 o 123666 13.26/13.34 o 123623 13.36/13.47 o 123603 13.66/13.70 o 122135 14.96/15.01 o 122133 14.96/15.01 o 122121 14.96/15.02 o 122115 14.96/15.03 o 122089 14.96/15.03 o 122071 14.96/15.04 o 122065 14.96/15.04 o 122057 14.96/15.07 o 122020 14.96/15.07 o 122016 14.96/15.07 o 122008 14.96/15.08 o 122002 14.96/15.08 o 121984 14.96/15.08 o 121976 14.96/15.08 o 121964 15.06/15.11 o 121958 15.06/15.13 o 121952 15.06/15.13 o 121900 15.06/15.14 o 121886 15.06/15.17 o 121885 15.06/15.18 o 121879 15.06/15.18 o 121871 15.06/15.19 o 121866 15.06/15.19 o 121752 15.06/15.19 o 121740 15.06/15.19 o 121732 15.06/15.19 o 121703 15.15/15.20 o 121691 15.15/15.20 o 121686 15.15/15.20 o 121674 15.15/15.24 o 121665 15.15/15.24 o 121653 15.15/15.24 o 121648 15.15/15.24 o 121636 15.15/15.25 o 121622 15.15/15.25 o 121584 15.15/15.25 o 121578 15.15/15.25 o 121566 15.15/15.26 o 121558 15.25/15.30 o 121554 15.25/15.30 o 121540 15.25/15.30 o 121535 15.25/15.30 o 121523 15.25/15.33 o 121462 15.25/15.33 o 121444 15.25/15.34 o 121427 15.25/15.35 o 121419 15.25/15.37 o 121387 15.25/15.37 o 121369 15.25/15.37 o 121361 15.35/15.40 o 121245 15.45/15.52 o 121233 15.45/15.56 o 121215 15.45/15.57 o 121157 15.55/15.62 o 121090 15.55/15.62 o 121047 15.75/15.85 o 121035 15.85/15.96 o 120977 16.05/16.13 o 120911 16.55/16.67 o 120908 16.55/16.67 o 120905 16.55/16.67 o 120702 16.55/16.67 o 120676 16.55/16.68 o 120592 16.55/16.68 o 120528 16.55/16.68 o 120520 16.55/16.68 o 120502 16.55/16.69 o 120459 16.65/16.71 o 120250 16.65/16.71 o 120076 16.65/16.74 o 119896 16.65/16.78 o 119838 17.15/17.23 o 119751 17.15/17.24 o 119731 17.64/17.75 o 119727 17.64/17.75 o 119661 17.74/17.84 o 119429 18.05/18.13 o 119275 18.54/18.61 o 119197 18.74/18.89 o 118656 18.74/18.89 o 118552 18.84/18.90 o 118538 18.84/18.91 o 118528 18.84/18.91 o 118520 18.84/18.93 o 118516 18.84/18.93 o 118502 18.84/18.93 o 118496 18.84/18.96 o 118400 18.84/18.96 o 118322 18.95/19.05 o 118284 18.95/19.06 o 118276 18.95/19.06 o 118270 18.95/19.06 o 118262 18.95/19.07 o 118258 18.95/19.07 o 118252 18.95/19.07 o 118244 19.05/19.10 o 118242 19.05/19.11 o 118184 19.05/19.12 o 118146 19.05/19.13 o 118128 19.05/19.16 o 118119 19.05/19.16 o 118105 19.05/19.16 o 118087 19.05/19.17 o 118070 19.14/19.20 o 118004 19.84/19.94 o 117995 19.84/19.94 o 117987 19.84/19.95 o 117967 19.94/20.02 o 117900 19.94/20.02 o 117857 20.04/20.13 o 116459 22.13/22.27 o 116327 22.13/22.27 o 114709 22.53/22.62 o 114646 22.53/22.62 o 114626 22.53/22.62 o 114582 22.53/22.63 o 114568 23.53/23.65 o 114554 23.53/23.66 o 114496 23.53/23.66 o 114464 23.53/23.66 o 114386 23.53/23.66 o 114366 23.53/23.66 o 114322 23.63/23.73 o 114319 23.63/23.74 o 114249 23.63/23.74 o 114229 23.63/23.74 o 114185 23.63/23.74 o 114176 23.63/23.75 o 114168 23.63/23.77 o 114160 23.63/23.77 o 114148 23.63/23.78 o 114110 23.63/23.78 o 114098 23.63/23.78 o 114092 23.63/23.78 o 114090 23.63/23.78 o 114046 23.63/23.79 o 114034 23.63/23.79 o 114020 23.63/23.79 o 114011 23.73/23.80 o 113994 23.73/23.83 o 113992 23.73/23.83 o 113968 23.73/23.83 o 113954 23.73/23.84 o 113950 23.73/23.84 o 113936 23.73/23.85 o 113814 23.83/23.91 o 113811 23.83/23.92 o 113759 23.83/23.92 o 113742 23.83/23.95 o 113684 23.83/24.00 o 113617 23.93/24.00 o 113574 23.93/24.04 o 113563 23.93/24.04 o 113555 23.93/24.04 o 113534 23.93/24.04 o 113517 23.93/24.05 o 113503 23.93/24.06 o 113485 23.93/24.06 o 113467 24.03/24.14 o 113235 24.32/24.43 o 113231 24.32/24.43 o 113211 24.32/24.43 o 113147 24.32/24.44 o 113081 24.42/24.57 o 113012 24.42/24.58 o 112934 25.03/25.11 o 112922 25.03/25.12 o 112752 25.03/25.12 o 112682 25.03/25.12 o 112670 25.03/25.12 o 111304 25.32/25.41 o 111298 25.32/25.41 o 111258 25.32/25.42 o 111188 25.32/25.42 o 111136 25.32/25.43 o 111132 25.32/25.44 o 111118 25.32/25.46 o 110794 25.32/25.46 o 110565 25.32/25.46 o 110513 25.32/25.46 o 110505 25.32/25.46 o 110499 25.32/25.47 o 110464 25.32/25.47 o 110455 25.32/25.47 o 110447 25.32/25.47 o 110444 25.32/25.47 o 110426 25.32/25.47 o 110241 25.32/25.48 o 110183 25.32/25.48 o 110174 25.32/25.48 o 110130 25.32/25.48 o 110122 25.42/25.50 o 110078 25.42/25.50 o 110070 25.42/25.51 o 110012 25.42/25.51 o 109992 25.42/25.51 o 109948 25.42/25.59 o 109905 25.52/25.64 o 109904 25.52/25.64 o 109896 25.52/25.64 o 109882 25.52/25.64 o 109864 25.52/25.65 o 109798 26.12/26.27 o 109795 26.12/26.27 o 109781 26.12/26.28 o 109738 26.12/26.29 o 109680 26.22/26.33 o 109442 26.32/26.41 o 108154 26.62/26.79 o 106466 28.02/28.12 o 106191 28.02/28.12 o 104743 28.22/28.34 o 104705 28.22/28.37 o 104662 28.22/28.39 o 104596 28.22/28.39 o 104578 28.31/28.41 o 104566 28.31/28.42 o 104453 28.31/28.48 o 104445 28.31/28.48 o 104378 28.31/28.49 o 104328 28.31/28.49 o 104314 28.31/28.49 o 104306 28.31/28.49 o 104262 28.41/28.50 o 104248 28.41/28.55 o 104239 28.41/28.56 o 104207 28.41/28.57 o 104199 28.41/28.57 o 104198 28.41/28.57 o 104181 28.51/28.60 o 104180 28.51/28.60 o 104166 28.51/28.61 o 104094 28.51/28.61 o 104077 28.51/28.62 o 104073 28.51/28.63 o 104059 28.51/28.66 o 104034 28.51/28.67 o 104033 28.51/28.67 o 104016 28.61/28.75 o 104004 28.71/28.82 o 103996 28.71/28.83 o 103995 28.71/28.84 o 103978 28.71/28.85 o 103970 28.71/28.85 o 103926 28.71/28.86 o 103925 28.71/28.86 o 103881 28.71/28.87 o 103829 28.71/28.87 o 103815 28.71/28.87 o 103798 28.81/28.95 o 103793 28.81/28.96 o 103776 28.81/28.98 o 103728 28.92/29.00 o 103724 28.92/29.01 o 103710 28.92/29.07 o 103699 28.92/29.08 o 103693 28.92/29.08 o 103685 28.92/29.10 o 103667 29.02/29.15 o 103634 29.02/29.15 o 103625 29.02/29.16 o 103617 29.02/29.16 o 103611 29.02/29.16 o 103603 29.02/29.18 o 103568 29.02/29.19 o 103560 29.41/29.53 o 103554 29.41/29.53 o 103476 29.81/29.97 o 103409 30.02/30.15 o 103404 30.02/30.16 o 103386 30.02/30.16 o 103378 30.11/30.22 o 103374 30.11/30.22 o 103366 30.21/30.35 o 103357 30.21/30.35 o 103343 30.21/30.37 o 103331 30.31/30.47 o 102983 32.20/32.33 o 101216 32.20/32.36 o 99954 34.30/34.49 o 98492 35.50/35.66 o 98481 35.50/35.66 o 98469 35.60/35.73 o 98460 35.60/35.77 o 97213 35.70/35.86 o 97106 36.09/36.27 o 96888 36.29/36.47 o 96881 36.29/36.49 o 96869 36.39/36.51 o 96857 36.39/36.52 o 96799 36.39/36.52 o 96791 36.39/36.52 o 96773 36.39/36.52 o 96727 36.39/36.52 o 96530 36.39/36.53 o 96327 36.39/36.53 o 96295 36.39/36.54 o 96217 36.39/36.54 o 96197 36.39/36.54 o 96153 36.39/36.58 o 96135 36.39/36.58 o 96077 36.39/36.59 o 96063 36.39/36.59 o 96045 36.39/36.59 o 96037 36.39/36.59 o 95979 36.49/36.62 o 95863 36.49/36.66 o 95611 36.49/36.67 o 95545 36.69/36.86 o 95518 36.69/36.86 o 95510 36.69/36.86 o 95496 36.69/36.86 o 95478 36.69/36.88 o 95435 36.79/36.91 o 95401 36.79/36.93 o 95163 38.09/38.22 o 95035 38.39/38.52 o 95033 38.39/38.53 o 95029 38.39/38.53 o 95021 38.39/38.54 o 95012 38.49/38.62 o 95007 38.49/38.64 o 94998 38.49/38.65 o 94997 38.49/38.66 o 94989 38.59/38.74 o 94930 38.59/38.75 o 94910 38.59/38.75 o 94866 38.59/38.75 o 94814 38.59/38.75 o 94794 38.59/38.75 o 94750 38.59/38.76 o 94741 38.59/38.76 o 94733 38.59/38.76 o 94675 38.59/38.77 o 94617 38.59/38.78 o 94588 38.59/38.78 o 94524 38.59/38.78 o 94510 38.59/38.78 o 94446 38.59/38.78 o 94432 38.59/38.78 o 94382 38.59/38.79 o 94368 38.59/38.79 o 94359 38.59/38.79 o 94351 38.69/38.80 o 94299 38.69/38.80 o 94279 38.69/38.80 o 94235 38.69/38.81 o 94191 38.69/38.81 o 94185 38.69/38.82 o 94177 38.79/38.91 o 94171 38.79/38.92 o 94121 38.79/38.92 o 94113 38.79/38.92 o 94069 38.79/38.92 o 94055 38.89/39.02 o 94023 38.89/39.03 o 94015 38.89/39.04 o 94011 38.89/39.05 o 94005 38.89/39.05 o 93997 38.89/39.08 o 93980 38.89/39.08 o 93972 38.99/39.12 o 93954 39.09/39.23 o 93917 39.09/39.28 o 93908 39.19/39.30 o 93850 39.19/39.32 o 93846 39.19/39.33 o 93832 40.08/40.28 o 93789 40.18/40.39 o 93635 40.38/40.54 o 93623 40.89/41.08 o 92413 41.18/41.30 o 92410 41.18/41.31 o 91128 41.18/41.37 o 91021 41.68/41.80 o 90978 41.68/41.81 o 90943 41.68/41.86 o 90855 41.68/41.86 o 90847 41.68/41.86 o 90841 41.68/41.86 o 90827 41.68/41.87 o 90800 41.68/41.87 o 90786 41.68/41.87 o 90777 41.68/41.87 o 90769 41.68/41.87 o 90759 41.68/41.88 o 90751 41.68/41.88 o 90745 41.68/41.88 o 90737 41.68/41.88 o 90693 41.68/41.88 o 90685 41.68/41.89 o 90653 41.68/41.89 o 90639 41.68/41.89 o 90581 41.68/41.89 o 90575 41.78/41.90 o 90517 41.78/41.90 o 90493 41.78/41.90 o 90461 41.78/41.90 o 90383 41.78/41.91 o 90319 41.78/41.91 o 90313 41.78/41.91 o 90305 41.78/41.96 o 90299 41.78/41.96 o 90291 41.78/41.96 o 90227 41.78/41.97 o 90073 41.78/41.98 o 90043 41.78/41.98 o 90029 41.78/41.98 o 89991 41.78/41.98 o 89977 41.78/41.99 o 89969 41.78/41.99 o 89965 41.78/42.00 o 89951 41.89/42.00 o 89945 41.89/42.01 o 89924 41.89/42.01 o 89910 41.89/42.01 o 89907 41.89/42.01 o 89901 41.89/42.01 o 89893 41.89/42.05 o 89892 41.89/42.06 o 89863 41.89/42.06 o 89849 41.99/42.10 o 89844 41.99/42.11 o 89826 41.99/42.13 o 89801 41.99/42.13 o 89791 41.99/42.13 o 89783 42.48/42.68 o 89777 42.48/42.69 o 89699 43.28/43.43 o 89481 43.58/43.71 o 89462 43.58/43.71 o 89456 43.58/43.72 o 89340 43.58/43.73 o 89326 43.58/43.77 o 89324 43.58/43.77 o 89310 43.58/43.78 o 89266 43.58/43.80 o 89257 43.67/43.80 o 89205 43.67/43.80 o 89188 43.67/43.83 o 89066 43.67/43.86 o 89039 43.67/43.86 o 89022 43.67/43.87 o 89016 43.67/43.87 o 89008 43.67/43.88 o 88941 43.67/43.88 o 88898 43.77/43.95 o 88660 44.07/44.24 o 88655 44.07/44.24 o 88647 44.07/44.24 o 88581 44.07/44.26 o 88538 44.07/44.27 o 88535 44.07/44.27 o 88428 44.37/44.57 o 88402 44.37/44.57 o 88237 44.67/44.85 o 88225 44.67/44.90 o 88159 44.98/45.18 o 88081 44.98/45.19 o 87863 45.47/45.69 o 87855 45.47/45.69 o 87817 45.57/45.75 o 87715 46.07/46.26 o 87547 46.07/46.26 o 86143 46.27/46.47 o 86139 46.27/46.47 o 86131 46.27/46.48 o 86117 46.37/46.52 o 86109 46.37/46.54 o 86051 46.47/46.66 o 86039 46.67/46.80 o 86030 46.67/46.80 o 86013 46.67/46.81 o 85801 47.87/48.10 o 85563 47.87/48.10 o 85545 47.87/48.10 o 85537 47.97/48.14 o 85520 47.97/48.14 o 85508 47.97/48.15 o 85502 47.97/48.15 o 85490 47.97/48.15 o 85478 47.97/48.15 o 85472 47.97/48.16 o 85380 47.97/48.16 o 85368 47.97/48.16 o 85362 47.97/48.16 o 85350 47.97/48.16 o 85342 47.97/48.17 o 85308 47.97/48.17 o 85296 47.97/48.17 o 85290 47.97/48.17 o 85278 47.97/48.19 o 85270 47.97/48.19 o 85258 48.06/48.20 o 85256 48.06/48.20 o 85244 48.06/48.20 o 85236 48.06/48.21 o 85224 48.06/48.21 o 85212 48.06/48.21 o 85200 48.06/48.23 o 85194 48.06/48.23 o 85186 48.06/48.23 o 85184 48.06/48.23 o 85176 48.06/48.23 o 85166 48.06/48.23 o 85158 48.06/48.23 o 85154 48.06/48.24 o 85146 48.06/48.24 o 85142 48.06/48.24 o 85134 48.06/48.24 o 84936 48.06/48.24 o 84858 48.06/48.24 o 84850 48.06/48.26 o 84830 48.06/48.27 o 84818 48.06/48.27 o 84714 48.06/48.27 o 84696 48.06/48.28 o 84681 48.06/48.29 o 84667 48.06/48.29 o 84655 48.06/48.29 o 84650 48.06/48.29 o 84638 48.16/48.32 o 84594 48.16/48.32 o 84580 48.16/48.34 o 84550 48.16/48.34 o 84536 48.16/48.34 o 84495 48.16/48.34 o 84481 48.16/48.35 o 84443 48.16/48.35 o 84431 48.16/48.35 o 84429 48.16/48.35 o 84417 48.16/48.35 o 84313 48.16/48.35 o 84301 48.16/48.36 o 84298 48.16/48.36 o 84296 48.16/48.36 o 84284 48.16/48.36 o 84258 48.16/48.37 o 84246 48.16/48.37 o 84215 48.16/48.37 o 84203 48.16/48.37 o 84197 48.16/48.37 o 84133 48.16/48.37 o 84081 48.16/48.38 o 84023 48.16/48.38 o 83971 48.16/48.38 o 83959 48.16/48.39 o 83921 48.16/48.39 o 83907 48.16/48.39 o 83857 48.16/48.39 o 83843 48.26/48.40 o 83779 48.26/48.41 o 83736 48.26/48.41 o 83678 48.26/48.42 o 83664 48.26/48.42 o 83536 48.26/48.46 o 83530 48.26/48.46 o 83518 48.26/48.48 o 83482 48.26/48.49 o 83436 48.26/48.49 o 83424 48.36/48.50 o 83416 48.36/48.51 o 83410 48.36/48.51 o 83370 48.36/48.52 o 83326 48.36/48.52 o 83324 48.36/48.52 o 83312 48.36/48.55 o 83302 48.36/48.56 o 83294 48.36/48.57 o 83267 48.36/48.57 o 83253 48.46/48.61 o 83245 48.46/48.62 o 83204 48.46/48.62 o 83201 48.46/48.62 o 83187 48.56/48.71 o 83178 48.56/48.71 o 83126 48.56/48.71 o 83112 48.56/48.71 o 82984 48.56/48.72 o 82972 48.56/48.72 o 82952 48.56/48.72 o 82900 48.56/48.72 o 82798 48.56/48.72 o 82772 48.56/48.73 o 82720 48.56/48.73 o 82664 48.56/48.73 o 82612 48.56/48.73 o 82598 48.56/48.74 o 82583 48.56/48.74 o 82577 48.56/48.74 o 82525 48.56/48.74 o 82517 48.56/48.75 o 82465 48.56/48.75 o 82453 48.56/48.75 o 82427 48.56/48.76 o 82415 48.56/48.76 o 82413 48.56/48.76 o 82401 48.56/48.76 o 82363 48.56/48.76 o 82285 48.56/48.77 o 82273 48.56/48.78 o 82256 48.56/48.78 o 82244 48.56/48.79 o 82061 48.56/48.79 o 82047 48.66/48.80 o 82035 48.66/48.80 o 81957 48.66/48.80 o 81937 48.66/48.80 o 81893 48.66/48.80 o 81849 48.66/48.80 o 81835 48.66/48.82 o 81827 48.66/48.84 o 81807 48.66/48.84 o 81793 48.66/48.84 o 81781 48.66/48.85 o 81775 48.66/48.85 o 81763 48.66/48.85 o 81719 48.66/48.85 o 81705 48.66/48.86 o 81679 48.66/48.86 o 81665 48.66/48.86 o 81653 48.66/48.89 o 81652 48.66/48.89 o 81649 48.76/48.90 o 81635 48.76/48.94 o 81627 48.76/48.94 o 81600 48.76/48.95 o 81586 48.76/48.95 o 81581 48.76/48.95 o 81569 48.87/49.01 o 81540 48.87/49.01 o 81535 48.87/49.02 o 81523 48.87/49.03 o 81477 48.87/49.03 o 81465 48.87/49.03 o 81459 48.87/49.04 o 81421 48.87/49.04 o 81407 48.87/49.06 o 81404 48.87/49.07 o 81381 48.87/49.07 o 81369 48.87/49.07 o 81355 48.87/49.08 o 81309 48.87/49.08 o 81297 48.97/49.12 o 81295 48.97/49.12 o 81283 48.97/49.12 o 81219 48.97/49.12 o 81205 48.97/49.13 o 81179 48.97/49.13 o 81141 48.97/49.13 o 81083 48.97/49.14 o 81077 48.97/49.14 o 81025 48.97/49.14 o 80987 48.97/49.15 o 80813 48.97/49.15 o 80761 48.97/49.15 o 80633 48.97/49.18 o 80629 48.97/49.18 o 80571 48.97/49.18 o 80513 48.97/49.19 o 80467 48.97/49.19 o 80270 49.06/49.20 o 80253 49.06/49.21 o 80149 49.06/49.21 o 80131 49.06/49.29 o 80113 49.16/49.30 o 80104 49.16/49.30 o 80096 49.16/49.31 o 80038 49.16/49.34 o 79995 49.26/49.42 o 79757 49.36/49.51 o 79753 49.36/49.52 o 79657 49.36/49.53 o 79640 49.36/49.54 o 79588 49.36/49.56 o 79414 49.46/49.60 o 79408 49.46/49.60 o 79350 49.46/49.61 o 79298 49.46/49.63 o 79176 49.46/49.64 o 78897 49.56/49.70 o 78889 49.56/49.70 o 78831 49.56/49.72 o 78788 49.66/49.83 o 78681 49.86/50.02 o 78655 49.86/50.04 o 78559 49.86/50.04 o 78443 50.16/50.34 o 77346 50.26/50.44 o 77344 50.26/50.45 o 77301 50.26/50.46 o 77295 50.26/50.48 o 77285 50.26/50.48 o 77277 50.36/50.58 o 77265 50.36/50.59 o 77264 50.36/50.59 o 77250 50.36/50.59 o 77242 50.36/50.60 o 77199 50.46/50.67 o 77127 50.46/50.68 o 77081 50.46/50.68 o 76959 50.46/50.69 o 76947 50.66/50.87 o 76938 50.66/50.88 o 76870 50.86/51.02 o 75225 50.96/51.19 o 75222 51.06/51.20 o 75181 51.06/51.20 o 75154 51.06/51.25 o 75091 51.06/51.25 o 75085 51.06/51.26 o 75007 51.36/51.57 o 73508 51.46/51.60 o 73494 51.46/51.60 o 73482 51.46/51.61 o 73476 51.46/51.62 o 73464 51.46/51.62 o 73456 51.46/51.64 o 73410 51.46/51.64 o 73398 51.86/52.01 o 73386 51.96/52.14 o 73360 51.96/52.15 o 73322 51.96/52.15 o 72916 51.96/52.15 o 71732 52.86/53.08 o 70220 53.25/53.47 o 70203 53.25/53.47 o 70189 53.25/53.48 o 70177 53.25/53.49 o 70148 53.25/53.49 o 70134 53.25/53.49 o 70122 53.35/53.50 o 70110 53.35/53.51 o 70085 53.35/53.51 o 70081 53.35/53.51 o 70067 53.35/53.56 o 70059 53.35/53.57 o 70047 53.45/53.60 o 70023 53.45/53.60 o 70009 53.45/53.61 o 69951 53.45/53.62 o 69905 53.45/53.62 o 69893 53.45/53.63 o 69626 53.45/53.63 o 69623 53.45/53.63 o 69420 53.45/53.64 o 69394 53.45/53.64 o 69310 53.45/53.64 o 69290 53.45/53.64 o 69246 53.45/53.64 o 69150 53.45/53.64 o 69124 53.45/53.65 o 69040 53.45/53.65 o 69020 53.45/53.65 o 68976 53.45/53.65 o 68962 53.45/53.67 o 68922 53.45/53.67 o 68800 53.45/53.68 o 68797 53.45/53.68 o 68783 53.45/53.68 o 68725 53.45/53.69 o 68719 53.45/53.69 o 68705 53.45/53.69 o 68661 53.55/53.70 o 68647 53.55/53.70 o 68603 53.55/53.71 o 68585 53.55/53.74 o 68577 53.55/53.75 o 68569 53.55/53.75 o 68551 53.55/53.75 o 68539 53.55/53.76 o 68525 53.55/53.76 o 68487 53.55/53.76 o 68473 53.55/53.77 o 68469 53.55/53.78 o 68455 53.85/54.02 o 68427 53.85/54.03 o 68421 53.85/54.04 o 68343 53.95/54.12 o 68331 53.95/54.15 o 68293 54.25/54.43 o 68215 54.25/54.44 o 67997 54.75/54.92 o 67995 54.75/54.93 o 67731 55.15/55.32 o 67693 56.14/56.32 o 67650 56.24/56.42 o 66312 56.64/56.81 o 66040 57.84/58.02 o 64734 58.14/58.34 o 64732 58.14/58.35 o 64694 58.34/58.58 o 64668 58.34/58.59 o 64612 58.34/58.59 o 64598 58.34/58.59 o 64534 58.44/58.62 o 64531 58.44/58.62 o 64517 58.44/58.63 o 64511 58.44/58.63 o 64499 58.44/58.63 o 64456 58.54/58.70 o 64447 58.54/58.74 o 64442 58.54/58.74 o 64404 58.74/58.92 o 64392 58.74/58.92 o 64328 58.74/58.93 o 64322 58.74/58.93 o 64270 58.74/58.94 o 64214 58.74/58.94 o 64212 58.74/58.95 o 64200 58.74/58.96 o 64110 58.74/58.96 o 64058 58.74/58.98 o 64044 58.74/58.98 o 64032 58.74/58.99 o 64030 58.74/58.99 o 64010 58.74/58.99 o 63966 58.84/59.00 o 63954 58.84/59.00 o 63940 58.84/59.01 o 63896 58.84/59.03 o 63890 58.84/59.03 o 63878 58.84/59.04 o 63834 58.84/59.04 o 63820 58.84/59.08 o 63812 58.84/59.09 o 63766 58.84/59.10 o 63754 58.94/59.14 o 63743 58.94/59.14 o 63731 58.94/59.15 o 63713 58.94/59.16 o 63711 58.94/59.16 o 63699 58.94/59.16 o 63655 58.94/59.17 o 63589 59.04/59.21 o 63584 59.04/59.22 o 63540 59.04/59.22 o 63482 59.14/59.32 o 63218 59.43/59.61 o 63215 59.43/59.61 o 63197 59.43/59.62 o 63154 59.43/59.65 o 63116 60.13/60.32 o 61750 60.73/60.95 o 61744 60.73/60.95 o 61730 60.73/60.95 o 61626 60.73/60.96 o 61608 60.73/60.97 o 61530 60.73/60.98 o 61342 60.73/60.99 o 61278 60.73/60.99 o 61212 60.73/61.00 o 61145 60.84/61.00 o 61102 60.84/61.02 o 60830 60.84/61.08 o 60752 60.84/61.08 o 60598 61.03/61.24 o 60590 61.03/61.24 o 60572 61.13/61.30 o 60566 61.13/61.30 o 60488 63.22/63.44 o 60058 63.22/63.44 o 58720 63.52/63.75 o 58713 63.52/63.75 o 58708 63.52/63.76 o 58684 63.52/63.76 o 58670 63.52/63.78 o 58597 63.52/63.78 o 58585 63.72/63.91 o 58556 63.72/63.91 o 58554 63.72/63.91 o 58542 63.83/64.09 o 58518 63.83/64.10 o 58506 63.93/64.10 o 58490 63.93/64.11 o 58478 63.93/64.11 o 58472 63.93/64.11 o 58470 63.93/64.12 o 58458 63.93/64.12 o 58452 63.93/64.12 o 58440 64.02/64.26 o 58429 64.02/64.26 o 58427 64.02/64.26 o 58415 64.02/64.28 o 58405 64.02/64.28 o 58387 64.02/64.28 o 58375 64.02/64.29 o 58373 64.02/64.29 o 58361 64.12/64.30 o 58321 64.12/64.30 o 58307 64.12/64.30 o 58295 64.12/64.32 o 58289 64.12/64.33 o 58283 64.12/64.33 o 58271 64.12/64.33 o 58239 64.12/64.33 o 58175 64.12/64.34 o 58111 64.12/64.34 o 58097 65.42/65.63 o 58073 65.42/65.63 o 58061 65.42/65.63 o 57983 65.42/65.65 o 57917 65.42/65.68 o 57732 65.42/65.68 o 57674 65.52/65.72 o 57596 65.52/65.73 o 57442 65.62/65.89 o 57430 65.62/65.89 o 57418 65.62/65.89 o 57404 65.72/65.90 o 57294 65.72/65.90 o 57228 65.82/66.05 o 57126 66.42/66.68 o 57118 66.42/66.68 o 57106 66.52/66.79 o 55792 67.61/67.84 o 54782 67.61/67.85 o 54774 67.61/67.85 o 54756 68.31/68.55 o 54746 68.31/68.56 o 54708 68.31/68.59 o 54606 68.61/68.80 o 53768 68.61/68.81 o 53538 68.61/68.81 o 53512 68.82/69.09 o 53483 68.82/69.10 o 53431 68.91/69.11 o 53405 68.91/69.11 o 53396 68.91/69.19 o 53356 68.91/69.19 o 53344 69.01/69.23 o 53335 69.01/69.28 o 52378 69.01/69.28 o 52155 69.01/69.28 o 52085 69.01/69.29 o 52033 69.51/69.72 o 52021 69.81/70.05 o 52006 69.91/70.15 o 51993 69.91/70.19 o 51950 71.00/71.24 o 51048 71.20/71.49 o 51023 71.20/71.49 o 50987 71.30/71.51 o 50964 71.30/71.51 o 50906 71.30/71.53 o 50892 71.30/71.56 o 50880 71.50/71.74 o 50857 71.50/71.75 o 50833 71.50/71.75 o 50821 71.60/71.83 o 50805 71.60/71.84 o 50793 71.60/71.84 o 50769 71.60/71.84 o 50757 71.60/71.86 o 50727 71.60/71.87 o 50691 71.60/71.88 o 50660 71.60/71.89 o 50648 72.70/72.96 o 50634 72.70/72.96 o 50622 72.70/72.96 o 50442 72.70/73.00 o 50210 74.00/74.28 o 50209 74.00/74.29 o 50151 74.00/74.29 o 50139 74.10/74.34 o 49907 74.10/74.39 o 49864 74.19/74.44 o 49862 74.19/74.46 o 49764 74.19/74.47 o 49752 74.19/74.47 o 49716 74.19/74.49 o 49614 74.30/74.54 o 49586 74.30/74.54 o 49550 74.30/74.55 o 49507 74.30/74.59 o 49464 74.69/74.91 o 49406 74.69/74.99 o 49044 75.40/75.62 o 49001 76.10/76.38 o 49000 76.10/76.39 o 48986 76.30/76.50 o 48943 76.50/76.74 o 47933 77.30/77.56 o 47906 77.30/77.56 o 47894 77.30/77.56 o 47708 77.30/77.57 o 47694 77.30/77.57 o 47688 77.30/77.57 o 47476 77.30/77.59 o 47458 77.30/77.59 o 47192 77.60/77.81 o 46792 77.80/78.06 o 46749 77.90/78.14 o 45173 78.19/78.48 o 44015 78.29/78.59 o 44004 78.39/78.62 o 43961 78.49/78.71 o 43953 78.49/78.71 o 43831 78.49/78.71 o 43819 78.49/78.71 o 43767 78.49/78.74 o 42552 78.49/78.75 o 42430 79.39/79.64 o 42308 82.48/82.73 o 41202 84.68/84.99 s OPTIMUM FOUND 84.68/84.99 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 x1941 x1942 x1943 x1944 -x1945
OK 41202
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59176 MiB free)
memory of node 1: 64510 MiB (59200 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433549-1721105618/watcher-4433549-1721105618 -o /tmp/evaluation-result-4433549-1721105618/solver-4433549-1721105618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721096611-832292 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=203771603 HOME/instance-4433549-1721105618.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=838666, runsolver pid=838663
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.06 4.10 4.12 5/257 838667
/proc/meminfo: memFree=121209004/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=31132 memory=11428 CPUtime=0.09 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 1684 0 0 0 9 0 0 0 20 0 1 0 162731490 31879168 2857 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 7783 2857 819 746 0 6847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31132 KiB
Current children cumulated memory: 11428 KiB
[startup+0.205541 s]*
/proc/loadavg: 4.06 4.10 4.12 5/257 838667
/proc/meminfo: memFree=121204912/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=32980 memory=15584 CPUtime=0.2 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 2171 0 0 0 20 0 0 0 20 0 1 0 162731490 33771520 3896 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 8245 3896 819 746 0 7309 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32980 KiB
Current children cumulated memory: 15584 KiB
[startup+0.305474 s]*
/proc/loadavg: 4.06 4.10 4.12 5/257 838667
/proc/meminfo: memFree=121199336/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=36244 memory=20796 CPUtime=0.3 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 2986 0 0 0 30 0 0 0 20 0 1 0 162731490 37113856 5199 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 9061 5199 819 746 0 8125 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36244 KiB
Current children cumulated memory: 20796 KiB
[startup+0.700238 s]
/proc/loadavg: 4.06 4.09 4.12 6/257 838667
/proc/meminfo: memFree=121193760/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=42980 memory=31220 CPUtime=0.69 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 4587 0 0 0 68 1 0 0 20 0 1 0 162731490 44011520 7805 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 10745 7805 819 746 0 9809 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42980 KiB
Current children cumulated memory: 31220 KiB
[startup+1.50025 s]
/proc/loadavg: 4.06 4.09 4.12 5/257 838667
/proc/meminfo: memFree=121184120/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=50520 memory=42832 CPUtime=1.48 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 5936 0 0 0 147 1 0 0 20 0 1 0 162731490 51732480 10708 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 12630 10708 819 746 0 11694 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50520 KiB
Current children cumulated memory: 42832 KiB
[startup+3.10547 s]
/proc/loadavg: 4.06 4.09 4.12 5/257 838667
/proc/meminfo: memFree=121160972/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=70180 memory=59096 CPUtime=3.09 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 8194 0 0 0 307 2 0 0 20 0 1 0 162731490 71864320 14774 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 17545 14774 835 746 0 16609 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70180 KiB
Current children cumulated memory: 59096 KiB
[startup+6.30024 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 838669
/proc/meminfo: memFree=121130960/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=116528 memory=90856 CPUtime=6.27 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 12999 0 0 0 624 3 0 0 20 0 1 0 162731490 119324672 22714 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 29132 22714 835 746 0 28196 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116528 KiB
Current children cumulated memory: 90856 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 838669
/proc/meminfo: memFree=121108280/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=132708 memory=117740 CPUtime=12.66 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 16687 0 0 0 1261 5 0 0 20 0 1 0 162731490 135892992 29435 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 33177 29435 835 746 0 32241 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 132708 KiB
Current children cumulated memory: 117740 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.12 5/257 838671
/proc/meminfo: memFree=121081008/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=185548 memory=132684 CPUtime=25.42 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19391 0 0 0 2536 6 0 0 20 0 1 0 162731490 190001152 33171 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46387 33171 835 746 0 45451 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 185548 KiB
Current children cumulated memory: 132684 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.11 4.12 5/257 838676
/proc/meminfo: memFree=121065336/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=185548 memory=133092 CPUtime=50.96 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19497 0 0 0 5090 6 0 0 20 0 1 0 162731490 190001152 33273 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46387 33273 835 746 0 45451 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 185548 KiB
Current children cumulated memory: 133092 KiB
[startup+85.0056 s]
# the end of solver process 838666 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=84.7115 s, system=0.076788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.14 4.11 4.12 5/257 838676
/proc/meminfo: memFree=121065336/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=185548 memory=133092 CPUtime=51.06 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19497 0 0 0 5100 6 0 0 20 0 1 0 162731490 190001152 33273 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46387 33273 835 746 0 45451 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 185548 KiB
Current children cumulated memory: 133092 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.12 4.10 4.12 5/257 838678
/proc/meminfo: memFree=121038420/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=185932 memory=133192 CPUtime=63.83 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19573 0 0 0 6377 6 0 0 20 0 1 0 162731490 190394368 33298 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46483 33298 835 746 0 45547 0
Current children cumulated CPU time: 63.83 s
Current children cumulated vsize: 185932 KiB
Current children cumulated memory: 133192 KiB
[startup+76.8002 s]
/proc/loadavg: 4.16 4.12 4.13 5/257 838681
/proc/meminfo: memFree=121004584/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=186188 memory=133640 CPUtime=76.6 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19658 0 0 0 7653 7 0 0 20 0 1 0 162731490 190656512 33410 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46547 33410 835 746 0 45611 0
Current children cumulated CPU time: 76.6 s
Current children cumulated vsize: 186188 KiB
Current children cumulated memory: 133640 KiB
[startup+80.0002 s]*
/proc/loadavg: 4.16 4.12 4.13 5/257 838681
/proc/meminfo: memFree=120992444/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=186188 memory=133640 CPUtime=79.8 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19658 0 0 0 7973 7 0 0 20 0 1 0 162731490 190656512 33410 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46547 33410 835 746 0 45611 0
Current children cumulated CPU time: 79.8 s
Current children cumulated vsize: 186188 KiB
Current children cumulated memory: 133640 KiB
[startup+83.2002 s]
/proc/loadavg: 4.15 4.11 4.12 5/257 838681
/proc/meminfo: memFree=120989056/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=186188 memory=133640 CPUtime=82.98 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19690 0 0 0 8291 7 0 0 20 0 1 0 162731490 190656512 33410 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46547 33410 835 746 0 45611 0
Current children cumulated CPU time: 82.98 s
Current children cumulated vsize: 186188 KiB
Current children cumulated memory: 133640 KiB
[startup+84.0002 s]*
/proc/loadavg: 4.15 4.11 4.12 5/257 838681
/proc/meminfo: memFree=120986368/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=186188 memory=133640 CPUtime=83.79 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19690 0 0 0 8372 7 0 0 20 0 1 0 162731490 190656512 33410 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46547 33410 835 746 0 45611 0
Current children cumulated CPU time: 83.79 s
Current children cumulated vsize: 186188 KiB
Current children cumulated memory: 133640 KiB
[startup+84.8002 s]
/proc/loadavg: 4.15 4.11 4.12 5/257 838681
/proc/meminfo: memFree=120986368/131524600 swapFree=131071996/131071996
[pid=838666] ppid=838663 vsize=186188 memory=133640 CPUtime=84.58 cores=5,7
/proc/838666/stat : 838666 (Exact_nosoplex) R 838663 838666 832279 0 -1 4194304 19690 0 0 0 8451 7 0 0 20 0 1 0 162731490 190656512 33410 134679101440 4194304 7248369 140727977448624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 33898496 140727977452461 140727977452639 140727977452639 140727977459654 0
/proc/838666/statm: 46547 33410 835 746 0 45611 0
Current children cumulated CPU time: 84.58 s
Current children cumulated vsize: 186188 KiB
Current children cumulated memory: 133640 KiB
[startup+85.0002 s]*
/proc/loadavg: 4.15 4.11 4.12 5/257 838681
/proc/meminfo: memFree=121042904/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 30
Real time (s): 85.0057
CPU time (s): 84.7883
CPU user time (s): 84.7115
CPU system time (s): 0.076788
CPU usage (%): 99.7443
Max. virtual memory (cumulated for all children) (KiB): 186188
Max. memory (cumulated for all children) (KiB): 133640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.7115
system time used= 0.076788
maximum resident set size= 178380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19692
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= 2
involuntary context switches= 97
# summary of solver processes directly reported to runsolver:
# pid: 838666
# total CPU time (s): 84.7883
# total CPU user time (s): 84.7115
# total CPU system time (s): 0.076788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.177623 second user time and 0.498779 second system time
The end
Begin job on nodeC033 at 2024-07-16 06:53:50 IDJOB=4433549 IDBENCH=148154 IDSOLVER=3061 FILE ID=nodeC033/4433549-1721105618 RUNJOBID= nodeC033-1721096611-832292 SLURM_JOB_ID= 7505611 Free space on /tmp= 890064 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433549-1721105618/watcher-4433549-1721105618 -o /tmp/evaluation-result-4433549-1721105618/solver-4433549-1721105618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721096611-832292 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=203771603 HOME/instance-4433549-1721105618.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 206b08b420dad9af66531a7207372127 RANDOM SEED=203771603 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.214 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.400 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.810 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3649.609 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.231 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.153 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.034 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.144 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121217680 kB MemAvailable: 124152892 kB Buffers: 419232 kB Cached: 3321180 kB SwapCached: 0 kB Active: 676328 kB Inactive: 8958980 kB Active(anon): 1556 kB Inactive(anon): 5931048 kB Active(file): 674772 kB Inactive(file): 3027932 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4868 kB Writeback: 0 kB AnonPages: 5894232 kB Mapped: 113812 kB Shmem: 37716 kB KReclaimable: 144308 kB Slab: 255032 kB SReclaimable: 144308 kB SUnreclaim: 110724 kB KernelStack: 4144 kB PageTables: 21504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7244296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61344 kB HardwareCorrupted: 0 kB AnonHugePages: 4071424 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 256724 kB DirectMap2M: 25731072 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 890060 MiB End job on nodeC033 at 2024-07-16 06:55:15