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 | 47342 | 41.7835 | 41.8923 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb |
| MD5SUM | cc2b167b604094044d9d141ee486a126 |
| 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 | 47342 |
| Best CPU time to get the best result obtained on this benchmark | 0.022153 |
| 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 | 1152 |
| Total number of constraints | 1774 |
| Number of constraints which are clauses | 1774 |
| 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 | 39 |
| Number of terms in the objective function | 661 |
| Biggest coefficient in the objective function | 2133 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1049330 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2133 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1049330 |
| 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.02 o 188575 0.00/0.02 o 172380 0.00/0.02 o 170822 0.00/0.02 o 170520 0.00/0.02 o 169136 0.00/0.02 o 167610 0.00/0.02 o 167367 0.00/0.02 o 165749 0.00/0.02 o 164359 0.00/0.02 o 164307 0.00/0.02 o 164179 0.00/0.02 o 164063 0.00/0.02 o 163881 0.00/0.03 o 163766 0.00/0.03 o 163638 0.00/0.03 o 163598 0.00/0.03 o 163470 0.00/0.03 o 163458 0.00/0.03 o 163376 0.00/0.03 o 163191 0.00/0.03 o 163133 0.00/0.03 o 162503 0.00/0.03 o 162318 0.00/0.03 o 162260 0.00/0.03 o 162208 0.00/0.03 o 162080 0.00/0.04 o 161964 0.00/0.04 o 161920 0.00/0.04 o 161735 0.00/0.04 o 161677 0.00/0.04 o 161657 0.00/0.04 o 161561 0.00/0.04 o 161509 0.00/0.04 o 161497 0.00/0.04 o 159870 0.00/0.05 o 159856 0.00/0.05 o 159844 0.00/0.05 o 159786 0.00/0.05 o 159748 0.00/0.05 o 159632 0.00/0.05 o 159510 0.00/0.05 o 159487 0.00/0.05 o 159371 0.00/0.05 o 159359 0.00/0.05 o 159336 0.00/0.05 o 159278 0.00/0.06 o 159252 0.00/0.06 o 159214 0.00/0.06 o 159098 0.00/0.06 o 159063 0.00/0.06 o 159043 0.00/0.06 o 158875 0.00/0.06 o 158823 0.00/0.06 o 158811 0.00/0.06 o 158765 0.00/0.06 o 158568 0.00/0.06 o 158566 0.00/0.06 o 158554 0.00/0.06 o 158516 0.00/0.07 o 158400 0.00/0.07 o 158356 0.00/0.07 o 158350 0.00/0.07 o 158298 0.00/0.07 o 158286 0.00/0.07 o 158228 0.00/0.07 o 158022 0.00/0.07 o 157906 0.00/0.08 o 157822 0.00/0.08 o 157758 0.00/0.08 o 157700 0.00/0.08 o 157695 0.00/0.08 o 157637 0.00/0.08 o 157585 0.00/0.08 o 157457 0.00/0.09 o 156131 0.00/0.09 o 156125 0.00/0.09 o 156113 0.00/0.09 o 154460 0.09/0.11 o 154444 0.09/0.11 o 154204 0.09/0.11 o 154192 0.09/0.11 o 154148 0.09/0.11 o 154110 0.09/0.11 o 154092 0.09/0.11 o 153849 0.09/0.12 o 153803 0.09/0.12 o 153606 0.09/0.12 o 153232 0.09/0.12 o 153174 0.09/0.14 o 153170 0.09/0.14 o 153158 0.09/0.14 o 153140 0.09/0.14 o 153102 0.09/0.14 o 152986 0.09/0.14 o 152928 0.09/0.15 o 151454 0.09/0.16 o 151447 0.09/0.16 o 151403 0.09/0.16 o 151345 0.09/0.16 o 151301 0.09/0.16 o 151289 0.09/0.16 o 151245 0.09/0.17 o 151071 0.09/0.17 o 150967 0.09/0.17 o 150749 0.09/0.18 o 150715 0.09/0.18 o 150703 0.09/0.18 o 150659 0.09/0.18 o 150485 0.09/0.19 o 150369 0.09/0.19 o 150332 0.09/0.19 o 150320 0.09/0.19 o 150262 0.09/0.19 o 150184 0.09/0.19 o 150140 0.09/0.20 o 149937 0.09/0.20 o 149879 0.09/0.20 o 149847 0.09/0.20 o 149835 0.09/0.20 o 149650 0.09/0.20 o 149592 0.20/0.21 o 149546 0.20/0.21 o 149349 0.20/0.21 o 149309 0.20/0.21 o 149297 0.20/0.21 o 149271 0.20/0.21 o 149233 0.20/0.21 o 149175 0.20/0.21 o 149123 0.20/0.21 o 148995 0.20/0.22 o 148949 0.20/0.22 o 148937 0.20/0.22 o 148879 0.20/0.22 o 148823 0.20/0.23 o 148707 0.20/0.24 o 148699 0.20/0.24 o 148583 0.20/0.27 o 148574 0.20/0.27 o 148458 0.39/0.46 o 148014 0.39/0.46 o 147774 0.39/0.46 o 147762 0.39/0.46 o 147704 0.39/0.46 o 147658 0.39/0.47 o 147461 0.39/0.47 o 147443 0.39/0.47 o 147379 0.39/0.47 o 147176 0.39/0.47 o 147118 0.39/0.48 o 147074 0.39/0.48 o 146949 0.49/0.54 o 146833 0.49/0.58 o 146717 0.59/0.66 o 146705 0.68/0.70 o 146643 0.68/0.70 o 146573 0.68/0.70 o 146526 0.68/0.70 o 146515 0.68/0.71 o 146399 0.68/0.72 o 146355 0.68/0.76 o 146319 0.68/0.76 o 146310 0.68/0.76 o 146196 0.68/0.76 o 146185 0.78/0.86 o 145961 0.78/0.86 o 145856 0.78/0.87 o 145852 0.78/0.88 o 145614 0.78/0.88 o 145398 0.78/0.88 o 145393 0.78/0.88 o 145155 0.78/0.89 o 145121 0.78/0.89 o 145095 0.78/0.89 o 145057 0.78/0.89 o 144999 0.88/0.90 o 144400 0.88/0.90 o 144253 0.88/0.90 o 144215 0.88/0.90 o 144157 0.88/0.90 o 143932 0.88/0.90 o 143894 0.88/0.90 o 143836 0.88/0.90 o 143824 0.88/0.91 o 143790 0.88/0.91 o 143766 0.88/0.91 o 143732 0.88/0.91 o 143714 0.88/0.91 o 143702 0.88/0.91 o 143680 0.88/0.91 o 143668 0.88/0.91 o 143622 0.88/0.91 o 143610 0.88/0.92 o 143598 0.88/0.92 o 143540 0.88/0.93 o 143509 0.88/0.93 o 143489 0.88/0.93 o 143445 0.88/0.93 o 143387 0.88/0.93 o 143375 0.88/0.93 o 143323 0.88/0.93 o 143311 0.88/0.94 o 143253 0.88/0.94 o 143209 0.88/0.94 o 143195 0.88/0.95 o 143151 0.88/0.95 o 143143 0.88/0.95 o 142882 0.88/0.95 o 141498 0.88/0.96 o 141426 0.88/0.96 o 141252 0.88/0.98 o 141244 0.88/0.98 o 141224 0.88/0.98 o 141180 0.88/0.98 o 141122 0.88/0.98 o 141064 0.88/0.98 o 140948 0.88/0.99 o 140933 0.88/0.99 o 140875 0.88/0.99 o 140635 0.88/0.99 o 140623 0.88/0.99 o 140301 0.98/1.00 o 140295 0.98/1.00 o 140179 0.98/1.01 o 140141 0.98/1.01 o 139758 0.98/1.03 o 139749 0.98/1.03 o 139737 0.98/1.03 o 139699 0.98/1.03 o 139682 0.98/1.03 o 139610 0.98/1.04 o 139436 0.98/1.05 o 139332 0.98/1.05 o 139288 0.98/1.05 o 139172 0.98/1.07 o 139155 0.98/1.07 o 139143 0.98/1.08 o 139027 0.98/1.08 o 138899 0.98/1.08 o 138841 1.08/1.13 o 137258 1.08/1.14 o 137213 1.08/1.14 o 137201 1.08/1.14 o 137149 1.08/1.14 o 137143 1.08/1.14 o 137085 1.08/1.15 o 137071 1.08/1.15 o 137031 1.08/1.15 o 137019 1.08/1.16 o 136897 1.08/1.16 o 136839 1.08/1.17 o 136824 1.08/1.17 o 136708 1.08/1.17 o 136662 1.08/1.17 o 136465 1.08/1.17 o 136337 1.08/1.18 o 136329 1.08/1.18 o 136317 1.08/1.18 o 136259 1.08/1.18 o 136215 1.08/1.19 o 136122 1.08/1.19 o 135910 1.08/1.19 o 135852 1.08/1.20 o 135814 1.19/1.21 o 135808 1.19/1.21 o 135770 1.19/1.22 o 135712 1.19/1.22 o 135674 1.19/1.22 o 135500 1.19/1.22 o 135483 1.19/1.24 o 135477 1.19/1.24 o 135353 1.28/1.30 o 135295 1.28/1.31 o 135278 1.28/1.32 o 134947 1.28/1.34 o 133364 1.28/1.37 o 131746 1.38/1.41 o 131731 1.38/1.41 o 131667 1.38/1.42 o 131603 1.38/1.42 o 131586 1.38/1.47 o 131575 1.38/1.47 o 131401 1.48/1.55 o 129783 1.58/1.60 o 129774 1.58/1.60 o 129762 1.58/1.60 o 129745 1.58/1.61 o 129736 1.58/1.63 o 129690 1.58/1.68 o 129580 1.58/1.68 o 129464 1.58/1.69 o 129412 1.58/1.69 o 129400 1.58/1.69 o 129336 1.58/1.69 o 129133 1.58/1.69 o 129075 1.58/1.69 o 129072 1.58/1.69 o 128869 1.58/1.69 o 128837 1.68/1.70 o 128791 1.68/1.70 o 128759 1.68/1.70 o 128739 1.68/1.70 o 128695 1.68/1.70 o 128637 1.68/1.71 o 128628 1.68/1.71 o 127010 1.68/1.71 o 126804 1.68/1.71 o 126688 1.68/1.71 o 126650 1.68/1.76 o 126476 1.78/1.89 o 126462 1.78/1.89 o 126418 1.78/1.89 o 126244 1.88/1.91 o 126180 1.88/1.91 o 126064 1.88/1.99 o 125896 1.88/1.99 o 125568 1.98/2.02 o 125565 1.98/2.02 o 125553 1.98/2.02 o 125541 1.98/2.04 o 125503 1.98/2.04 o 125451 1.98/2.04 o 125439 1.98/2.04 o 125361 1.98/2.05 o 125303 1.98/2.05 o 125187 1.98/2.05 o 125129 1.98/2.05 o 125083 1.98/2.05 o 124886 1.98/2.05 o 124834 1.98/2.06 o 124706 1.98/2.07 o 124700 1.98/2.07 o 124584 1.98/2.08 o 124567 1.98/2.08 o 124236 2.09/2.16 o 124062 2.18/2.24 o 124056 2.18/2.24 o 124042 2.18/2.25 o 122896 2.18/2.27 o 122853 2.18/2.27 o 122841 2.18/2.27 o 122829 2.18/2.27 o 122783 2.18/2.28 o 122667 2.18/2.28 o 122650 2.18/2.28 o 122592 2.18/2.29 o 122554 2.38/2.40 o 122542 2.38/2.40 o 122528 2.38/2.40 o 122490 2.38/2.44 o 121539 2.48/2.55 o 121504 2.48/2.55 o 121344 2.48/2.55 o 121338 2.48/2.56 o 121214 2.58/2.67 o 121192 2.58/2.67 o 121180 2.58/2.67 o 121142 2.58/2.68 o 120852 2.58/2.68 o 120678 2.58/2.68 o 120585 2.58/2.68 o 120373 2.58/2.68 o 120315 2.68/2.76 o 119984 2.78/2.84 o 119978 2.78/2.84 o 119920 2.78/2.84 o 119804 2.78/2.85 o 119766 2.78/2.87 o 118849 2.78/2.87 o 118780 2.78/2.87 o 118620 2.78/2.87 o 118536 2.78/2.88 o 118490 2.88/2.94 o 118334 2.88/2.99 o 118291 2.88/2.99 o 118279 2.88/2.99 o 118163 2.98/3.01 o 118121 2.98/3.01 o 118109 2.98/3.01 o 118097 2.98/3.01 o 118045 2.98/3.02 o 117917 2.98/3.04 o 117711 2.98/3.05 o 117595 2.98/3.07 o 117579 2.98/3.07 o 117567 2.98/3.07 o 117523 2.98/3.08 o 117497 2.98/3.08 o 117459 2.98/3.08 o 117285 2.98/3.08 o 117157 3.08/3.12 o 117152 3.08/3.12 o 117140 3.08/3.13 o 117024 3.08/3.17 o 117015 3.08/3.17 o 116716 3.18/3.27 o 116708 3.18/3.28 o 116670 3.18/3.28 o 116380 4.58/4.60 o 116329 4.58/4.60 o 116317 4.58/4.61 o 116271 4.58/4.61 o 116259 4.58/4.62 o 116219 4.58/4.62 o 116207 4.58/4.62 o 116201 4.58/4.62 o 116155 4.58/4.62 o 116143 4.58/4.65 o 116111 4.58/4.65 o 116099 4.68/4.73 o 116059 4.68/4.73 o 116047 4.68/4.74 o 116007 4.68/4.74 o 115995 4.68/4.74 o 115983 4.68/4.75 o 115937 4.68/4.75 o 115925 4.78/4.80 o 115923 4.78/4.81 o 115911 4.78/4.84 o 115891 4.78/4.84 o 115879 4.78/4.84 o 115867 4.88/4.90 o 115865 4.88/4.91 o 115853 4.88/4.92 o 115807 4.88/4.92 o 115795 4.88/4.92 o 115749 4.88/4.93 o 115737 4.88/4.94 o 115717 4.88/4.94 o 115705 4.88/4.94 o 115693 4.88/4.97 o 115688 4.88/4.97 o 115644 4.88/4.97 o 115632 4.88/4.99 o 115630 4.88/4.99 o 115586 4.88/4.99 o 115574 4.98/5.01 o 115568 4.98/5.01 o 115556 4.98/5.03 o 115526 4.98/5.04 o 115494 4.98/5.04 o 115482 4.98/5.05 o 115442 4.98/5.05 o 115430 4.98/5.06 o 115390 4.98/5.06 o 115378 4.98/5.06 o 115366 4.98/5.08 o 115322 4.98/5.08 o 115310 5.08/5.11 o 115308 5.08/5.12 o 115290 5.08/5.12 o 115278 5.08/5.12 o 115220 5.08/5.13 o 115192 5.08/5.13 o 115180 5.08/5.14 o 115174 5.08/5.14 o 115162 5.08/5.16 o 115154 5.08/5.16 o 115142 5.08/5.16 o 115122 5.08/5.18 o 115110 5.08/5.19 o 115096 5.08/5.19 o 115088 5.08/5.19 o 115062 5.08/5.19 o 115050 5.17/5.20 o 115044 5.17/5.20 o 115032 5.17/5.26 o 115006 5.17/5.26 o 114988 5.27/5.34 o 114980 5.27/5.34 o 114936 5.27/5.36 o 114902 5.27/5.37 o 114890 5.27/5.37 o 114878 5.27/5.39 o 114840 5.37/5.40 o 114838 5.37/5.41 o 114782 5.37/5.43 o 114780 5.37/5.44 o 114768 5.37/5.46 o 114748 5.37/5.46 o 114736 5.37/5.46 o 114724 5.47/5.53 o 113308 5.67/5.78 o 113302 5.67/5.78 o 113290 5.67/5.79 o 113282 5.67/5.79 o 113268 5.77/5.81 o 111980 5.87/6.00 o 111705 5.98/6.10 o 111669 5.98/6.10 o 111657 6.08/6.10 o 111605 6.08/6.10 o 111477 6.08/6.11 o 111459 6.08/6.15 o 111250 6.08/6.15 o 111076 6.17/6.20 o 110902 6.17/6.27 o 110888 6.17/6.27 o 110876 6.17/6.28 o 110858 6.17/6.28 o 110814 6.17/6.28 o 110698 6.17/6.29 o 110582 6.27/6.30 o 110574 6.27/6.37 o 110514 6.27/6.37 o 110382 6.47/6.50 o 110373 6.47/6.50 o 110315 6.47/6.51 o 110307 6.47/6.52 o 110191 6.57/6.63 o 110113 6.67/6.71 o 110104 6.67/6.71 o 110092 6.67/6.71 o 109976 6.67/6.71 o 109802 6.67/6.72 o 109756 6.67/6.72 o 109559 6.67/6.72 o 109521 6.67/6.72 o 109347 6.67/6.74 o 109339 6.67/6.79 o 109325 6.67/6.79 o 109313 6.67/6.79 o 109301 6.67/6.79 o 109293 6.67/6.80 o 109177 6.77/6.81 o 109159 6.77/6.83 o 109025 6.77/6.83 o 108851 6.97/7.05 o 108842 6.97/7.06 o 108624 6.97/7.06 o 107362 7.17/7.21 o 105752 7.37/7.45 o 104148 7.47/7.53 o 104110 7.56/7.61 o 104107 7.56/7.61 o 104063 7.56/7.62 o 103117 7.56/7.63 o 103071 7.56/7.63 o 103059 7.56/7.63 o 103001 7.56/7.64 o 102995 7.56/7.64 o 102937 7.56/7.65 o 102931 7.56/7.65 o 102919 7.56/7.65 o 102911 7.56/7.67 o 102909 7.56/7.67 o 102851 7.56/7.67 o 102849 7.56/7.67 o 102805 7.56/7.67 o 102793 7.56/7.68 o 102767 7.56/7.68 o 102755 7.56/7.68 o 102737 7.66/7.73 o 102721 7.66/7.73 o 102709 7.66/7.73 o 102671 7.66/7.74 o 102653 7.66/7.75 o 102581 7.86/7.90 o 101366 7.86/7.91 o 101325 7.86/7.97 o 101320 7.86/7.98 o 101312 7.86/7.99 o 101298 7.86/7.99 o 101286 7.86/7.99 o 101274 7.86/7.99 o 101268 7.86/7.99 o 101256 8.07/8.14 o 101255 8.07/8.14 o 101243 8.07/8.14 o 101171 8.07/8.15 o 101163 8.07/8.15 o 101154 8.16/8.21 o 101128 8.16/8.21 o 101090 8.16/8.21 o 100800 8.26/8.38 o 100766 8.46/8.55 o 100765 8.46/8.55 o 100753 8.46/8.56 o 100718 8.46/8.56 o 100706 8.46/8.56 o 100654 8.46/8.56 o 100642 8.46/8.56 o 100633 8.46/8.57 o 100625 8.46/8.58 o 100553 8.46/8.58 o 100379 8.46/8.59 o 100205 8.56/8.66 o 100196 8.56/8.66 o 100152 8.56/8.67 o 99978 8.66/8.72 o 99862 8.66/8.77 o 99845 8.66/8.77 o 99729 8.66/8.78 o 99685 8.66/8.79 o 99668 8.76/8.81 o 99624 8.76/8.81 o 99508 8.87/8.90 o 99499 9.17/9.28 o 97837 9.57/9.62 o 97833 9.57/9.63 o 97677 10.26/10.34 o 96927 10.26/10.34 o 96875 10.26/10.35 o 96791 10.26/10.35 o 96779 10.26/10.37 o 96741 10.26/10.37 o 96729 10.26/10.37 o 96613 10.26/10.39 o 96581 10.36/10.40 o 96421 10.36/10.40 o 96389 10.36/10.41 o 96367 10.36/10.41 o 96335 10.36/10.44 o 96331 10.36/10.44 o 96277 10.36/10.46 o 96231 10.36/10.47 o 96225 10.36/10.47 o 96141 10.36/10.48 o 96109 10.36/10.48 o 96097 10.36/10.48 o 96085 10.36/10.48 o 96079 10.36/10.49 o 96059 10.36/10.49 o 96047 10.36/10.49 o 96027 10.36/10.49 o 96015 10.36/10.49 o 96012 10.46/10.50 o 95954 10.46/10.50 o 95942 10.46/10.51 o 95826 10.46/10.51 o 95784 10.46/10.51 o 95772 10.46/10.52 o 95769 10.46/10.52 o 95737 10.46/10.52 o 95705 10.46/10.52 o 95651 10.46/10.53 o 95625 10.46/10.55 o 95573 10.46/10.55 o 95561 10.46/10.55 o 95541 10.46/10.55 o 95529 10.46/10.56 o 95483 10.46/10.56 o 95471 10.46/10.57 o 95413 10.46/10.58 o 95409 10.46/10.58 o 95355 10.46/10.59 o 95349 10.46/10.59 o 95175 10.56/10.60 o 95163 10.56/10.61 o 95151 10.56/10.61 o 95137 10.56/10.62 o 95105 10.56/10.62 o 95093 10.56/10.62 o 95067 10.56/10.62 o 95035 10.56/10.63 o 95023 10.56/10.63 o 94991 10.56/10.64 o 94989 10.56/10.65 o 94977 10.56/10.65 o 94951 10.56/10.65 o 94919 10.56/10.66 o 94907 10.56/10.66 o 94849 10.56/10.68 o 94835 10.56/10.68 o 94823 10.56/10.68 o 94803 10.56/10.68 o 94791 10.56/10.69 o 94777 10.56/10.69 o 94765 10.56/10.70 o 94733 10.66/10.70 o 94675 10.66/10.72 o 94643 10.66/10.72 o 94611 10.66/10.73 o 94609 10.66/10.74 o 94597 10.66/10.74 o 94565 10.66/10.74 o 94553 10.66/10.76 o 94545 10.66/10.76 o 94533 10.66/10.77 o 94513 10.66/10.77 o 94501 10.66/10.77 o 94455 10.66/10.77 o 94443 10.66/10.78 o 94423 10.66/10.78 o 94385 10.66/10.79 o 94339 10.66/10.79 o 94327 10.76/10.80 o 94315 10.76/10.80 o 94283 10.76/10.83 o 93719 10.76/10.83 o 93699 10.76/10.84 o 93603 10.76/10.84 o 93583 10.76/10.84 o 93467 10.76/10.87 o 93452 10.76/10.87 o 93406 10.76/10.87 o 93209 10.76/10.88 o 93165 10.76/10.88 o 93049 10.76/10.88 o 92956 10.76/10.89 o 92946 10.76/10.89 o 92761 10.76/10.89 o 92703 10.76/10.89 o 92701 10.76/10.89 o 92694 10.76/10.89 o 92686 10.86/10.95 o 92682 10.86/10.95 o 92638 10.86/10.95 o 92630 10.86/10.98 o 90942 11.07/11.10 o 90870 11.07/11.11 o 90711 11.07/11.11 o 90704 11.07/11.11 o 90696 11.07/11.19 o 90689 11.07/11.19 o 90677 11.16/11.20 o 90611 11.16/11.20 o 90567 11.16/11.20 o 90555 11.16/11.20 o 90537 11.16/11.21 o 90511 11.16/11.22 o 90499 11.16/11.22 o 90383 11.16/11.22 o 90376 11.16/11.22 o 90368 11.16/11.25 o 90330 11.16/11.25 o 90318 11.16/11.25 o 90310 11.16/11.27 o 90232 11.16/11.28 o 90168 11.16/11.28 o 90052 11.26/11.33 o 89837 11.26/11.37 o 89829 11.26/11.37 o 89797 11.26/11.37 o 89785 11.26/11.37 o 89741 11.26/11.38 o 89729 11.36/11.40 o 89724 11.36/11.40 o 89712 11.36/11.40 o 89654 11.36/11.41 o 89500 11.36/11.41 o 89384 11.36/11.42 o 87820 11.36/11.43 o 87530 11.36/11.45 o 87526 11.36/11.45 o 87514 11.36/11.45 o 87476 11.36/11.45 o 87458 11.46/11.50 o 87192 11.46/11.55 o 87180 11.46/11.56 o 87128 11.46/11.56 o 87116 11.46/11.56 o 87078 11.46/11.56 o 87060 11.56/11.62 o 85407 11.56/11.69 o 85385 11.66/11.70 o 85269 11.66/11.70 o 85257 11.66/11.70 o 85017 11.66/11.70 o 85005 11.66/11.71 o 84831 11.66/11.71 o 84616 11.66/11.71 o 84500 11.66/11.72 o 84469 11.66/11.72 o 84457 11.66/11.72 o 84445 11.66/11.72 o 84387 11.66/11.72 o 84349 11.66/11.72 o 84331 11.66/11.75 o 84297 11.66/11.75 o 84285 11.66/11.75 o 84227 11.66/11.76 o 84209 11.66/11.76 o 84102 11.66/11.76 o 83977 11.76/11.86 o 83936 11.76/11.86 o 83876 11.76/11.87 o 83867 11.86/11.99 o 83708 11.86/11.99 o 83644 11.86/12.00 o 83641 11.86/12.00 o 83406 11.96/12.00 o 83360 11.96/12.00 o 83328 11.96/12.00 o 83264 11.96/12.00 o 83206 11.96/12.00 o 83128 11.96/12.00 o 83084 11.96/12.00 o 82968 11.96/12.01 o 82950 11.96/12.01 o 82567 11.96/12.03 o 82547 11.96/12.03 o 82503 11.96/12.03 o 82387 12.06/12.16 o 82346 12.06/12.17 o 82277 12.26/12.34 o 82255 12.26/12.35 o 82243 12.36/12.47 o 82066 12.36/12.48 o 82034 12.36/12.49 o 80714 12.46/12.51 o 80630 12.86/12.91 o 80611 12.86/12.91 o 80599 12.86/12.91 o 80483 13.16/13.27 o 80457 13.26/13.36 o 80445 13.26/13.36 o 80433 13.26/13.36 o 80415 13.26/13.37 o 80401 13.26/13.37 o 80343 13.45/13.57 o 80309 13.65/13.74 o 80265 13.65/13.74 o 80253 13.65/13.77 o 80186 13.65/13.77 o 80174 13.65/13.77 o 80154 13.65/13.77 o 79986 13.65/13.77 o 79922 13.65/13.79 o 79679 13.75/13.88 o 79677 13.75/13.88 o 79665 13.75/13.88 o 79647 13.75/13.89 o 79473 13.85/13.90 o 79299 13.96/14.03 o 79183 14.06/14.16 o 79165 14.06/14.17 o 79081 14.15/14.23 o 79047 14.25/14.34 o 79035 14.25/14.34 o 79003 14.25/14.34 o 78983 14.25/14.35 o 78939 14.25/14.35 o 78881 14.25/14.35 o 78823 14.25/14.35 o 78617 14.25/14.36 o 78501 14.35/14.41 o 78333 14.35/14.42 o 78295 14.35/14.42 o 78005 14.45/14.50 o 77669 14.55/14.68 o 77668 14.55/14.68 o 77656 14.55/14.68 o 77531 14.55/14.69 o 77513 14.65/14.75 o 77429 15.06/15.14 o 77186 15.06/15.15 o 75776 15.35/15.43 o 75768 15.35/15.44 o 75750 15.35/15.45 o 75748 15.35/15.45 o 75736 15.35/15.45 o 75692 15.45/15.55 o 75662 15.45/15.55 o 75650 15.45/15.55 o 75638 15.45/15.56 o 75620 15.55/15.64 o 75600 15.55/15.65 o 75516 16.35/16.41 o 74184 16.65/16.70 o 74046 16.75/16.84 o 72566 17.35/17.40 o 71330 17.44/17.53 o 71276 17.44/17.53 o 71224 17.44/17.53 o 71212 17.44/17.55 o 71206 17.44/17.55 o 71194 17.54/17.61 o 71188 17.54/17.61 o 71176 17.54/17.62 o 71148 17.54/17.62 o 71136 17.54/17.62 o 71092 17.54/17.69 o 71088 17.54/17.70 o 71076 17.64/17.70 o 71070 17.64/17.70 o 71058 17.64/17.78 o 71036 17.64/17.78 o 71010 17.64/17.78 o 70998 17.64/17.78 o 70980 17.64/17.79 o 70948 17.74/17.80 o 70936 17.74/17.88 o 70812 17.74/17.88 o 70754 17.74/17.88 o 70737 17.74/17.88 o 70679 17.74/17.88 o 70667 17.74/17.88 o 70609 17.74/17.89 o 70557 17.74/17.89 o 70493 17.74/17.89 o 70430 17.74/17.89 o 70404 17.74/17.89 o 70372 17.74/17.89 o 70366 17.74/17.89 o 70308 17.74/17.89 o 70250 17.84/17.90 o 70218 17.84/17.90 o 70206 17.84/17.94 o 70114 17.84/17.94 o 70102 17.84/17.94 o 70044 17.84/17.95 o 70026 17.95/18.01 o 69988 17.95/18.02 o 69718 18.24/18.39 o 69706 18.34/18.40 o 69694 18.34/18.40 o 69676 18.34/18.41 o 69624 18.34/18.41 o 69520 18.34/18.41 o 69456 18.34/18.42 o 69302 18.44/18.55 o 69264 18.44/18.55 o 68974 18.64/18.71 o 68818 18.64/18.77 o 68806 18.64/18.78 o 68734 18.74/18.83 o 68426 19.05/19.15 o 68424 19.05/19.15 o 68412 19.05/19.15 o 68400 19.05/19.17 o 68348 19.14/19.21 o 68264 19.44/19.51 o 66924 19.44/19.53 o 66919 19.44/19.53 o 66907 19.44/19.54 o 66875 19.44/19.54 o 66863 19.44/19.54 o 66851 19.44/19.54 o 66805 19.44/19.54 o 66793 19.44/19.54 o 66735 19.44/19.54 o 66698 19.44/19.54 o 66666 19.44/19.55 o 66654 19.44/19.55 o 66596 19.44/19.55 o 66538 19.44/19.55 o 66486 19.44/19.55 o 66408 19.44/19.55 o 66364 19.44/19.56 o 66356 19.44/19.56 o 66344 19.44/19.56 o 66292 19.44/19.56 o 66248 19.44/19.57 o 66219 19.44/19.57 o 66167 19.44/19.57 o 66155 19.44/19.57 o 66112 19.44/19.57 o 66100 19.44/19.57 o 66086 19.44/19.57 o 66054 19.44/19.57 o 66034 19.44/19.57 o 65990 19.44/19.57 o 65932 19.44/19.58 o 65926 19.44/19.58 o 65880 19.44/19.58 o 65868 19.44/19.58 o 65854 19.44/19.58 o 65822 19.44/19.58 o 65810 19.44/19.59 o 65764 19.44/19.59 o 65752 19.54/19.63 o 65732 19.54/19.63 o 65720 19.54/19.63 o 65676 19.54/19.65 o 65618 20.84/20.95 o 65610 21.14/21.28 o 65582 21.14/21.29 o 65538 21.14/21.29 o 65526 21.14/21.29 o 65508 21.24/21.32 o 65496 21.24/21.35 o 65478 21.24/21.36 o 65434 21.24/21.37 o 65422 21.24/21.37 o 64140 21.24/21.37 o 64096 21.24/21.39 o 64084 21.73/21.85 o 64076 21.73/21.86 o 64058 21.73/21.89 o 64024 21.73/21.90 o 64012 21.83/21.90 o 64006 21.83/21.90 o 63994 21.83/21.93 o 63990 21.83/21.93 o 63978 21.83/21.94 o 63966 21.83/21.94 o 63922 22.13/22.21 o 63906 22.13/22.22 o 63738 22.13/22.22 o 63686 22.13/22.22 o 63674 22.13/22.22 o 63651 22.13/22.22 o 63639 22.13/22.22 o 63634 22.13/22.23 o 63596 22.13/22.23 o 63538 22.13/22.23 o 63480 22.13/22.23 o 63428 22.13/22.23 o 63416 22.13/22.23 o 63358 22.13/22.23 o 63280 22.13/22.24 o 63236 22.13/22.24 o 63224 22.13/22.24 o 63198 22.13/22.24 o 63077 22.13/22.24 o 63033 22.13/22.25 o 62981 22.13/22.25 o 62969 22.13/22.25 o 62955 22.13/22.25 o 62923 22.13/22.25 o 62911 22.13/22.29 o 62876 22.13/22.29 o 62858 22.13/22.29 o 62742 22.33/22.47 o 62658 22.33/22.48 o 62643 22.73/22.88 o 62641 22.73/22.88 o 62585 22.83/22.92 o 62249 23.63/23.77 o 62247 23.63/23.77 o 62221 23.63/23.77 o 62209 23.63/23.77 o 62203 23.63/23.78 o 62191 23.63/23.78 o 62189 23.63/23.79 o 62187 23.63/23.79 o 62161 23.63/23.79 o 62149 23.63/23.79 o 62143 23.63/23.79 o 62131 23.73/23.82 o 62087 23.73/23.87 o 62053 23.73/23.87 o 62041 23.73/23.88 o 62029 23.73/23.89 o 62027 23.73/23.89 o 62015 23.73/23.89 o 61975 23.73/23.89 o 61957 23.83/23.91 o 61948 23.83/23.93 o 61933 23.83/23.96 o 61810 23.83/23.96 o 61792 23.83/23.96 o 61570 23.83/23.96 o 61558 23.83/23.97 o 61552 23.83/23.97 o 61540 23.83/23.97 o 61528 23.83/23.97 o 61522 23.83/23.97 o 61496 23.83/23.97 o 61484 23.83/23.98 o 61459 23.83/23.98 o 61447 23.83/23.98 o 61343 23.83/23.98 o 61279 23.83/23.98 o 61227 23.83/23.98 o 61215 23.83/23.98 o 61209 23.83/23.98 o 61197 23.83/23.99 o 61191 23.83/23.99 o 61179 23.83/24.00 o 61143 23.93/24.00 o 61131 23.93/24.00 o 61119 23.93/24.00 o 61081 23.93/24.00 o 61063 23.93/24.03 o 61060 23.93/24.04 o 61020 23.93/24.04 o 61002 23.93/24.05 o 60990 23.93/24.05 o 60988 23.93/24.05 o 60976 23.93/24.05 o 60944 23.93/24.06 o 60932 23.93/24.07 o 60930 23.93/24.07 o 60884 23.93/24.07 o 60872 23.93/24.07 o 60866 23.93/24.07 o 60854 23.93/24.08 o 60846 23.93/24.08 o 60834 23.93/24.08 o 60832 23.93/24.09 o 60806 23.93/24.09 o 60794 23.93/24.09 o 60788 23.93/24.09 o 60776 23.93/24.09 o 60730 23.93/24.09 o 60718 24.03/24.10 o 60674 24.13/24.22 o 60666 24.13/24.22 o 60622 24.13/24.23 o 60610 24.13/24.24 o 60596 24.13/24.24 o 60580 24.13/24.24 o 60562 24.13/24.24 o 60550 24.13/24.25 o 60538 24.23/24.34 o 60537 24.23/24.37 o 60363 24.43/24.54 o 60346 24.43/24.54 o 60274 24.43/24.55 o 60222 24.43/24.55 o 60138 24.43/24.58 o 59923 24.43/24.58 o 59807 24.43/24.59 o 59769 24.43/24.59 o 59479 24.53/24.68 o 59427 24.53/24.68 o 59317 25.12/25.28 o 59302 25.22/25.37 o 59299 25.22/25.38 o 59227 25.42/25.55 o 59214 25.42/25.56 o 59205 25.42/25.56 o 59193 25.42/25.56 o 59181 25.42/25.56 o 59179 25.42/25.57 o 59135 25.42/25.57 o 59123 25.82/25.92 o 59103 25.82/25.92 o 59059 25.82/25.92 o 59039 25.82/25.92 o 58871 25.82/25.92 o 58819 25.82/25.92 o 58807 25.82/25.93 o 58755 25.82/25.93 o 58671 25.82/25.94 o 58627 25.82/25.96 o 58296 25.82/25.97 o 58281 26.22/26.35 o 58279 26.22/26.36 o 58267 26.22/26.37 o 58195 26.32/26.42 o 58157 26.32/26.43 o 57887 28.02/28.18 o 56677 28.62/28.70 o 56631 28.62/28.71 o 56619 28.62/28.72 o 56602 28.62/28.74 o 56596 28.62/28.75 o 56570 28.62/28.75 o 56518 28.62/28.75 o 56454 28.62/28.75 o 56416 28.62/28.76 o 56411 28.62/28.77 o 56399 28.62/28.77 o 56394 28.62/28.77 o 56382 28.62/28.77 o 56356 28.62/28.78 o 56344 28.72/28.83 o 56342 28.72/28.83 o 56330 28.72/28.83 o 56318 28.72/28.83 o 56309 28.72/28.83 o 56297 28.72/28.84 o 56292 28.72/28.84 o 56280 28.72/28.84 o 56278 28.72/28.85 o 56266 28.72/28.86 o 56237 28.72/28.86 o 56225 28.72/28.87 o 56208 28.82/28.90 o 56199 28.82/28.90 o 56182 28.82/28.92 o 56177 28.82/28.92 o 56165 28.82/28.92 o 56125 28.82/28.93 o 56113 28.82/28.93 o 56101 28.82/28.93 o 56096 28.82/28.94 o 56084 28.82/28.94 o 56075 28.82/28.94 o 56063 28.82/28.95 o 56058 28.82/28.95 o 56046 28.92/29.03 o 55981 28.92/29.03 o 55969 28.92/29.03 o 55943 28.92/29.04 o 55931 28.92/29.04 o 55871 28.92/29.04 o 55807 28.92/29.04 o 55795 28.92/29.04 o 55737 28.92/29.04 o 55679 28.92/29.06 o 55657 28.92/29.06 o 55645 28.92/29.07 o 55601 28.92/29.07 o 55595 28.92/29.07 o 55581 28.92/29.08 o 55549 28.92/29.08 o 55537 28.92/29.08 o 55511 28.92/29.08 o 55499 29.02/29.17 o 55476 29.02/29.17 o 55464 29.02/29.18 o 55450 29.02/29.19 o 55392 29.02/29.19 o 55380 29.02/29.19 o 55378 29.11/29.20 o 55366 29.11/29.20 o 55308 29.11/29.20 o 55288 29.11/29.20 o 55276 29.11/29.20 o 55264 29.11/29.22 o 55212 29.11/29.22 o 55148 29.11/29.23 o 55122 29.11/29.23 o 55110 31.11/31.29 o 53926 31.71/31.89 o 53902 31.71/31.89 o 53890 31.71/31.89 o 53878 31.71/31.89 o 53852 31.71/31.89 o 53840 31.81/31.90 o 53838 31.81/31.91 o 53826 31.81/31.91 o 53812 31.81/31.91 o 53800 31.81/31.91 o 53788 31.81/31.91 o 53762 31.81/31.92 o 53760 31.81/31.92 o 53748 31.81/31.92 o 53742 31.81/31.92 o 53716 31.81/31.92 o 53704 31.81/31.99 o 53701 31.81/31.99 o 53585 31.81/32.00 o 53559 31.91/32.00 o 53547 31.91/32.00 o 53538 31.91/32.01 o 53517 31.91/32.01 o 53505 31.91/32.02 o 53465 31.91/32.02 o 53419 31.91/32.02 o 53407 31.91/32.02 o 53393 31.91/32.02 o 53381 31.91/32.02 o 53369 31.91/32.03 o 53346 31.91/32.03 o 53334 31.91/32.03 o 53325 31.91/32.04 o 53321 31.91/32.04 o 53309 31.91/32.04 o 53297 31.91/32.05 o 53291 31.91/32.05 o 53277 31.91/32.05 o 53265 31.91/32.05 o 53253 31.91/32.09 o 53241 31.91/32.09 o 53229 31.91/32.10 o 53183 31.91/32.10 o 53151 31.91/32.10 o 53087 31.91/32.10 o 53029 32.01/32.12 o 53013 32.01/32.13 o 53001 32.01/32.13 o 52989 32.01/32.13 o 52983 32.01/32.13 o 52945 32.11/32.26 o 52940 32.11/32.26 o 52928 32.11/32.27 o 52919 32.11/32.29 o 52891 32.11/32.29 o 52851 32.11/32.29 o 52839 32.11/32.29 o 52827 32.21/32.35 o 52821 32.21/32.35 o 52783 32.31/32.44 o 52780 32.31/32.44 o 52768 32.60/32.77 o 52742 32.60/32.78 o 52730 32.60/32.78 o 52680 32.60/32.78 o 52410 32.60/32.80 o 52370 32.70/32.85 o 52326 33.30/33.43 o 52311 33.50/33.60 o 52262 33.50/33.60 o 52250 33.50/33.61 o 52198 33.50/33.61 o 52186 33.50/33.61 o 52171 33.50/33.61 o 52159 33.50/33.61 o 52147 33.50/33.62 o 52101 33.50/33.62 o 52095 33.50/33.62 o 52049 33.50/33.62 o 52037 33.50/33.62 o 52025 33.50/33.63 o 51993 33.50/33.63 o 51981 33.50/33.63 o 51955 33.50/33.63 o 51943 33.50/33.64 o 51941 33.50/33.64 o 51929 33.50/33.64 o 51883 33.50/33.64 o 51871 33.50/33.64 o 51813 33.50/33.65 o 51769 33.50/33.68 o 51711 33.50/33.68 o 51665 33.50/33.69 o 51653 33.60/33.71 o 51618 33.60/33.71 o 51609 33.60/33.77 o 51581 33.60/33.78 o 51570 33.60/33.79 o 51558 33.60/33.79 o 51546 33.60/33.79 o 51537 33.70/33.88 o 51535 33.70/33.88 o 51491 33.70/33.88 o 51453 33.80/33.90 o 51183 35.80/35.91 o 51179 35.80/35.96 o 51164 35.80/35.97 o 51152 35.80/35.97 o 51141 35.80/35.97 o 51129 35.80/35.97 o 51117 35.80/35.97 o 51108 35.80/35.98 o 51100 35.80/35.98 o 51088 35.80/35.98 o 51079 35.80/35.98 o 51068 35.80/35.98 o 51059 35.80/35.98 o 51056 35.80/35.98 o 51047 35.80/35.98 o 51044 35.80/35.99 o 51035 35.80/35.99 o 50997 35.80/35.99 o 50951 35.80/35.99 o 50899 35.80/35.99 o 50887 35.80/35.99 o 50879 35.80/35.99 o 50867 35.80/35.99 o 50844 35.80/36.00 o 50835 35.80/36.00 o 50832 35.90/36.00 o 50823 35.90/36.00 o 50809 35.90/36.01 o 50800 35.90/36.01 o 50774 35.90/36.01 o 50754 35.90/36.01 o 50586 35.90/36.01 o 50534 35.90/36.01 o 50522 35.90/36.02 o 50499 35.90/36.02 o 50487 35.90/36.02 o 50478 35.90/36.02 o 50464 35.90/36.02 o 50452 35.90/36.03 o 50449 35.90/36.03 o 50440 35.90/36.03 o 50431 35.90/36.04 o 50397 35.90/36.04 o 50385 35.90/36.04 o 50373 35.90/36.04 o 50327 35.90/36.04 o 50315 35.90/36.06 o 50277 35.90/36.07 o 50231 35.90/36.07 o 50219 35.90/36.08 o 50217 35.90/36.08 o 50205 35.90/36.08 o 50185 35.90/36.08 o 50173 35.90/36.08 o 50161 35.90/36.09 o 50135 35.90/36.09 o 50132 35.90/36.09 o 50123 36.00/36.10 o 50113 36.00/36.10 o 50101 36.00/36.10 o 50089 36.00/36.11 o 50051 36.50/36.66 o 50050 36.50/36.66 o 50038 36.50/36.67 o 50029 36.50/36.67 o 50027 36.50/36.67 o 50024 36.50/36.67 o 50015 36.50/36.68 o 49971 36.50/36.68 o 49957 36.50/36.68 o 49945 36.50/36.68 o 49933 36.50/36.69 o 49931 36.50/36.69 o 49873 36.50/36.69 o 49861 36.60/36.70 o 49826 36.60/36.71 o 49823 36.60/36.71 o 49779 36.60/36.75 o 49765 36.60/36.75 o 49753 36.60/36.76 o 49718 36.60/36.76 o 49709 36.60/36.76 o 49695 36.60/36.76 o 49692 36.60/36.76 o 49683 36.60/36.77 o 49671 36.60/36.78 o 49646 36.60/36.78 o 49634 36.60/36.78 o 49622 36.60/36.79 o 49538 36.60/36.79 o 49503 36.60/36.79 o 49494 36.69/36.80 o 49489 36.69/36.80 o 49480 36.69/36.80 o 49477 36.69/36.80 o 49468 36.69/36.80 o 49465 36.69/36.80 o 49456 36.69/36.82 o 49455 36.69/36.82 o 49446 36.69/36.82 o 49443 36.69/36.82 o 49434 36.69/36.82 o 49431 36.69/36.82 o 49422 36.69/36.83 o 49399 36.69/36.83 o 49390 36.69/36.83 o 49387 36.69/36.83 o 49378 36.69/36.84 o 49361 36.69/36.84 o 49352 36.69/36.84 o 49349 36.69/36.84 o 49340 36.69/36.85 o 49333 36.69/36.85 o 49324 36.69/36.85 o 49321 36.69/36.85 o 49312 36.69/36.86 o 49277 36.69/36.86 o 49268 36.79/36.90 o 49248 36.79/36.91 o 49236 36.79/36.91 o 49210 36.79/36.91 o 49152 36.79/36.91 o 49140 36.79/36.92 o 49138 36.79/36.92 o 49094 36.79/36.92 o 49082 36.79/36.93 o 49044 36.79/36.94 o 49032 36.79/36.95 o 49010 36.79/36.95 o 48998 36.79/36.96 o 48969 36.79/36.96 o 48960 37.00/37.19 o 48957 37.00/37.19 o 48954 37.00/37.19 o 48945 37.39/37.58 o 48940 37.49/37.60 o 48856 37.49/37.62 o 48839 37.79/37.94 o 48569 38.00/38.15 o 48560 38.00/38.15 o 48548 38.00/38.18 o 48542 38.00/38.18 o 48530 38.00/38.18 o 48484 38.00/38.18 o 48472 38.00/38.19 o 48434 38.09/38.22 o 48412 38.09/38.23 o 48400 38.09/38.23 o 48362 38.09/38.24 o 48278 39.09/39.20 o 48267 39.09/39.20 o 48255 39.09/39.20 o 48101 39.09/39.21 o 48057 39.09/39.22 o 47674 39.09/39.26 o 47665 39.39/39.55 o 47627 39.39/39.55 o 47357 41.58/41.71 o 47351 41.58/41.72 o 47342 41.68/41.88 s OPTIMUM FOUND 41.68/41.88 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
OK 47342
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 (59353 MiB free)
memory of node 1: 64510 MiB (59208 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433550-1721105575/watcher-4433550-1721105575 -o /tmp/evaluation-result-4433550-1721105575/solver-4433550-1721105575 -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=2115774316 HOME/instance-4433550-1721105575.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
Current StackSize limit: 8192 KiB
solver pid=838614, runsolver pid=838611
[startup+0.101629 s]*
/proc/loadavg: 4.01 4.09 4.13 5/257 838615
/proc/meminfo: memFree=121398360/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=30168 memory=10372 CPUtime=0.09 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 1411 0 0 0 9 0 0 0 20 0 1 0 162727264 30892032 2593 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 7542 2593 819 746 0 6606 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30168 KiB
Current children cumulated memory: 10372 KiB
[startup+0.205579 s]*
/proc/loadavg: 4.01 4.09 4.13 5/257 838615
/proc/meminfo: memFree=121394044/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=32336 memory=14528 CPUtime=0.2 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 1957 0 0 0 20 0 0 0 20 0 1 0 162727264 33112064 3632 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 8084 3632 819 746 0 7148 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32336 KiB
Current children cumulated memory: 14528 KiB
[startup+0.305496 s]*
/proc/loadavg: 4.01 4.09 4.13 5/257 838615
/proc/meminfo: memFree=121389364/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=34900 memory=18684 CPUtime=0.29 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 2475 0 0 0 29 0 0 0 20 0 1 0 162727264 35737600 4671 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 8725 4671 819 746 0 7789 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34900 KiB
Current children cumulated memory: 18684 KiB
[startup+0.700243 s]
/proc/loadavg: 4.01 4.09 4.13 5/257 838615
/proc/meminfo: memFree=121385328/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=36484 memory=22840 CPUtime=0.68 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 2978 0 0 0 68 0 0 0 20 0 1 0 162727264 37359616 5710 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 9121 5710 819 746 0 8185 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36484 KiB
Current children cumulated memory: 22840 KiB
[startup+1.50024 s]
/proc/loadavg: 4.01 4.09 4.13 5/257 838615
/proc/meminfo: memFree=121380648/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=45468 memory=36364 CPUtime=1.48 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 4855 0 0 0 147 1 0 0 20 0 1 0 162727264 46559232 9091 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 11367 9091 819 746 0 10431 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45468 KiB
Current children cumulated memory: 36364 KiB
[startup+3.10557 s]
/proc/loadavg: 4.01 4.09 4.12 5/257 838615
/proc/meminfo: memFree=121346828/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=71240 memory=56876 CPUtime=3.08 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 7650 0 0 0 306 2 0 0 20 0 1 0 162727264 72949760 14219 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 17810 14219 835 746 0 16874 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 56876 KiB
[startup+6.30022 s]
/proc/loadavg: 4.01 4.09 4.12 5/257 838615
/proc/meminfo: memFree=121330104/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=74252 memory=62300 CPUtime=6.27 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 8499 0 0 0 624 3 0 0 20 0 1 0 162727264 76034048 15575 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 18563 15575 835 746 0 17627 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74252 KiB
Current children cumulated memory: 62300 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.09 4.12 5/257 838617
/proc/meminfo: memFree=121295308/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=116444 memory=86948 CPUtime=12.66 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13005 0 0 0 1261 5 0 0 20 0 1 0 162727264 119238656 21737 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29111 21737 835 746 0 28175 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 116444 KiB
Current children cumulated memory: 86948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.13 5/257 838618
/proc/meminfo: memFree=121173700/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118236 memory=88340 CPUtime=25.42 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13424 0 0 0 2537 5 0 0 20 0 1 0 162727264 121073664 22085 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29559 22085 835 746 0 28623 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 118236 KiB
Current children cumulated memory: 88340 KiB
[startup+41.8923 s]
# the end of solver process 838614 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=41.7256 s, system=0.057858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.08 4.10 4.13 5/257 838618
/proc/meminfo: memFree=121173700/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118236 memory=88340 CPUtime=25.52 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13425 0 0 0 2547 5 0 0 20 0 1 0 162727264 121073664 22085 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29559 22085 835 746 0 28623 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 118236 KiB
Current children cumulated memory: 88340 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.07 4.10 4.13 5/257 838620
/proc/meminfo: memFree=121132760/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118236 memory=88604 CPUtime=31.91 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13468 0 0 0 3186 5 0 0 20 0 1 0 162727264 121073664 22151 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29559 22151 835 746 0 28623 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 118236 KiB
Current children cumulated memory: 88604 KiB
[startup+38.4002 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 838621
/proc/meminfo: memFree=121132328/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118492 memory=88604 CPUtime=38.29 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13504 0 0 0 3824 5 0 0 20 0 1 0 162727264 121335808 22151 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29623 22151 835 746 0 28687 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 118492 KiB
Current children cumulated memory: 88604 KiB
[startup+40.0002 s]*
/proc/loadavg: 4.06 4.10 4.12 5/257 838621
/proc/meminfo: memFree=121131180/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118492 memory=88604 CPUtime=39.89 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13514 0 0 0 3984 5 0 0 20 0 1 0 162727264 121335808 22151 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29623 22151 835 746 0 28687 0
Current children cumulated CPU time: 39.89 s
Current children cumulated vsize: 118492 KiB
Current children cumulated memory: 88604 KiB
[startup+40.8002 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 838621
/proc/meminfo: memFree=121131180/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118492 memory=88604 CPUtime=40.68 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13514 0 0 0 4063 5 0 0 20 0 1 0 162727264 121335808 22151 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29623 22151 835 746 0 28687 0
Current children cumulated CPU time: 40.68 s
Current children cumulated vsize: 118492 KiB
Current children cumulated memory: 88604 KiB
[startup+41.6002 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 838621
/proc/meminfo: memFree=121131188/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118492 memory=88780 CPUtime=41.48 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13549 0 0 0 4143 5 0 0 20 0 1 0 162727264 121335808 22195 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29623 22195 835 746 0 28687 0
Current children cumulated CPU time: 41.48 s
Current children cumulated vsize: 118492 KiB
Current children cumulated memory: 88780 KiB
[startup+41.8002 s]
/proc/loadavg: 4.06 4.10 4.12 5/257 838621
/proc/meminfo: memFree=121131188/131524600 swapFree=131071996/131071996
[pid=838614] ppid=838611 vsize=118492 memory=88780 CPUtime=41.68 cores=5,7
/proc/838614/stat : 838614 (Exact_nosoplex) R 838611 838614 832279 0 -1 4194304 13549 0 0 0 4163 5 0 0 20 0 1 0 162727264 121335808 22195 134679101440 4194304 7248369 140736154231552 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 39305216 140736154239916 140736154240095 140736154240095 140736154247110 0
/proc/838614/statm: 29623 22195 835 746 0 28687 0
Current children cumulated CPU time: 41.68 s
Current children cumulated vsize: 118492 KiB
Current children cumulated memory: 88780 KiB
Child status: 30
Real time (s): 41.8923
CPU time (s): 41.7835
CPU user time (s): 41.7256
CPU system time (s): 0.057858
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 118492
Max. memory (cumulated for all children) (KiB): 88780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.7256
system time used= 0.057858
maximum resident set size= 99560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13551
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= 62
# summary of solver processes directly reported to runsolver:
# pid: 838614
# total CPU time (s): 41.7835
# total CPU user time (s): 41.7256
# total CPU system time (s): 0.057858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119699 second user time and 0.258733 second system time
The end
Begin job on nodeC033 at 2024-07-16 06:53:08 IDJOB=4433550 IDBENCH=148153 IDSOLVER=3061 FILE ID=nodeC033/4433550-1721105575 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-fir05_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-4433550-1721105575/watcher-4433550-1721105575 -o /tmp/evaluation-result-4433550-1721105575/solver-4433550-1721105575 -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=2115774316 HOME/instance-4433550-1721105575.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cc2b167b604094044d9d141ee486a126 RANDOM SEED=2115774316 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 : 3668.486 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 : 3682.197 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 : 3600.036 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 : 3605.887 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 : 3668.548 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.312 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 : 3599.942 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.855 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: 121407088 kB MemAvailable: 124342132 kB Buffers: 419164 kB Cached: 3320768 kB SwapCached: 0 kB Active: 676440 kB Inactive: 8770532 kB Active(anon): 1564 kB Inactive(anon): 5742868 kB Active(file): 674876 kB Inactive(file): 3027664 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4932 kB Writeback: 32 kB AnonPages: 5706212 kB Mapped: 113988 kB Shmem: 37716 kB KReclaimable: 144304 kB Slab: 255036 kB SReclaimable: 144304 kB SUnreclaim: 110732 kB KernelStack: 4136 kB PageTables: 21192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6972416 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61344 kB HardwareCorrupted: 0 kB AnonHugePages: 4005888 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:53:50