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 | 23978 | 14.1584 | 14.1939 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb |
| MD5SUM | 941241e1c409728c60fc0eaa98d1a86b |
| 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 | 23978 |
| Best CPU time to get the best result obtained on this benchmark | 0.033492 |
| 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 | 1343 |
| Total number of constraints | 2405 |
| Number of constraints which are clauses | 2405 |
| 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 | 690 |
| 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 | 1098481 |
| 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 | 1098481 |
| 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 162903 0.00/0.02 o 157976 0.00/0.02 o 157779 0.00/0.02 o 156172 0.00/0.02 o 156166 0.00/0.03 o 156114 0.00/0.03 o 156050 0.00/0.03 o 154588 0.00/0.03 o 154579 0.00/0.03 o 152961 0.00/0.03 o 151308 0.00/0.03 o 151296 0.00/0.03 o 151142 0.00/0.03 o 149712 0.00/0.03 o 149596 0.00/0.03 o 149532 0.00/0.03 o 148038 0.00/0.03 o 146872 0.00/0.03 o 146559 0.00/0.03 o 146469 0.00/0.03 o 146315 0.00/0.03 o 145024 0.00/0.03 o 144870 0.00/0.04 o 144737 0.00/0.04 o 144711 0.00/0.04 o 144673 0.00/0.04 o 144557 0.00/0.04 o 144375 0.00/0.04 o 144364 0.00/0.04 o 144358 0.00/0.04 o 144242 0.00/0.04 o 144184 0.00/0.04 o 144088 0.00/0.04 o 144076 0.00/0.04 o 142736 0.00/0.05 o 142678 0.00/0.05 o 142057 0.00/0.05 o 142037 0.00/0.05 o 141869 0.00/0.05 o 141817 0.00/0.05 o 141805 0.00/0.05 o 141791 0.00/0.05 o 141779 0.00/0.05 o 141625 0.00/0.05 o 141611 0.00/0.05 o 141599 0.00/0.05 o 141370 0.00/0.05 o 141312 0.00/0.05 o 139998 0.00/0.06 o 139966 0.00/0.06 o 139954 0.00/0.06 o 139771 0.00/0.06 o 139693 0.00/0.06 o 139597 0.00/0.06 o 138257 0.00/0.06 o 138054 0.00/0.06 o 137944 0.00/0.06 o 136482 0.00/0.06 o 135908 0.00/0.06 o 135720 0.00/0.06 o 135656 0.00/0.07 o 135598 0.00/0.07 o 135535 0.00/0.07 o 135477 0.00/0.07 o 135451 0.00/0.07 o 135413 0.00/0.07 o 135355 0.00/0.07 o 135309 0.00/0.07 o 135271 0.00/0.07 o 135213 0.00/0.07 o 135201 0.00/0.07 o 135143 0.00/0.07 o 135091 0.00/0.07 o 135079 0.00/0.08 o 135021 0.00/0.08 o 135013 0.00/0.08 o 135001 0.00/0.08 o 134943 0.00/0.08 o 134899 0.00/0.08 o 134737 0.00/0.08 o 134679 0.00/0.08 o 134667 0.00/0.08 o 134551 0.00/0.09 o 133947 0.00/0.09 o 133718 0.00/0.09 o 133660 0.00/0.09 o 133640 0.00/0.09 o 133472 0.00/0.09 o 133420 0.00/0.09 o 133408 0.00/0.09 o 133326 0.00/0.09 o 133141 0.00/0.09 o 133083 0.00/0.09 o 133055 0.00/0.09 o 133043 0.00/0.09 o 132965 0.00/0.09 o 132921 0.00/0.10 o 131996 0.10/0.10 o 131952 0.10/0.10 o 131900 0.10/0.10 o 131888 0.10/0.10 o 131830 0.10/0.10 o 131701 0.10/0.10 o 131689 0.10/0.10 o 131631 0.10/0.10 o 131587 0.10/0.10 o 131585 0.10/0.10 o 131541 0.10/0.10 o 131483 0.10/0.11 o 131457 0.10/0.11 o 131419 0.10/0.11 o 131303 0.10/0.11 o 131015 0.10/0.11 o 130856 0.10/0.11 o 130818 0.10/0.11 o 130702 0.10/0.11 o 130462 0.10/0.11 o 130450 0.10/0.11 o 130368 0.10/0.11 o 130183 0.10/0.11 o 130125 0.10/0.11 o 130099 0.10/0.12 o 130041 0.10/0.12 o 130029 0.10/0.12 o 129951 0.10/0.12 o 129907 0.10/0.12 o 129655 0.10/0.12 o 129615 0.10/0.12 o 129333 0.10/0.12 o 129293 0.10/0.12 o 129249 0.10/0.12 o 129081 0.10/0.12 o 129029 0.10/0.12 o 129017 0.10/0.13 o 128982 0.10/0.13 o 128930 0.10/0.13 o 128918 0.10/0.13 o 128840 0.10/0.13 o 128796 0.10/0.13 o 128768 0.10/0.13 o 128756 0.10/0.13 o 128712 0.10/0.13 o 128591 0.10/0.13 o 128527 0.10/0.13 o 128469 0.10/0.13 o 128353 0.10/0.14 o 128169 0.10/0.14 o 128048 0.10/0.14 o 127984 0.10/0.14 o 127926 0.10/0.14 o 127848 0.10/0.14 o 127804 0.10/0.14 o 127666 0.10/0.14 o 127654 0.10/0.14 o 127610 0.10/0.14 o 127564 0.10/0.14 o 127552 0.10/0.14 o 127470 0.10/0.14 o 127285 0.10/0.14 o 127227 0.10/0.15 o 127175 0.10/0.15 o 127163 0.10/0.15 o 127123 0.10/0.15 o 127097 0.10/0.15 o 127059 0.10/0.15 o 127001 0.10/0.15 o 126995 0.10/0.15 o 126983 0.10/0.15 o 126919 0.10/0.15 o 126879 0.10/0.16 o 126705 0.10/0.16 o 126519 0.10/0.16 o 126479 0.10/0.16 o 126459 0.10/0.16 o 126291 0.10/0.16 o 126239 0.10/0.16 o 126227 0.10/0.16 o 126183 0.10/0.16 o 125998 0.10/0.16 o 125940 0.10/0.16 o 125725 0.10/0.16 o 125685 0.10/0.16 o 125627 0.10/0.17 o 125615 0.10/0.17 o 125589 0.10/0.17 o 125551 0.10/0.17 o 125435 0.10/0.17 o 125391 0.10/0.17 o 124944 0.10/0.17 o 124906 0.10/0.17 o 124790 0.10/0.17 o 124744 0.10/0.17 o 124692 0.10/0.17 o 124680 0.10/0.17 o 124654 0.10/0.18 o 124616 0.10/0.18 o 124558 0.10/0.18 o 124518 0.10/0.18 o 124472 0.10/0.18 o 124460 0.10/0.18 o 124251 0.10/0.18 o 124077 0.10/0.18 o 124051 0.10/0.19 o 124039 0.10/0.19 o 123999 0.10/0.19 o 123955 0.10/0.19 o 123787 0.10/0.19 o 122377 0.10/0.19 o 122345 0.10/0.19 o 122287 0.10/0.20 o 120947 0.10/0.20 o 120773 0.20/0.21 o 119433 0.20/0.21 o 119316 0.20/0.21 o 119258 0.20/0.21 o 119093 0.20/0.21 o 119067 0.20/0.21 o 119029 0.20/0.21 o 118971 0.20/0.21 o 118893 0.20/0.21 o 118849 0.20/0.21 o 118835 0.20/0.21 o 118797 0.20/0.21 o 118739 0.20/0.21 o 118681 0.20/0.21 o 118669 0.20/0.22 o 118635 0.20/0.22 o 118595 0.20/0.22 o 118537 0.20/0.22 o 118493 0.20/0.22 o 118485 0.20/0.22 o 118433 0.20/0.22 o 118421 0.20/0.22 o 118377 0.20/0.22 o 118203 0.20/0.23 o 118191 0.20/0.23 o 118133 0.20/0.23 o 118075 0.20/0.23 o 118035 0.20/0.23 o 116735 0.20/0.24 o 116427 0.20/0.24 o 116389 0.20/0.24 o 115023 0.20/0.24 o 114993 0.20/0.24 o 114929 0.20/0.25 o 114895 0.20/0.25 o 113241 0.20/0.26 o 113209 0.20/0.26 o 113165 0.20/0.26 o 113107 0.20/0.26 o 112799 0.20/0.26 o 112759 0.20/0.26 o 112446 0.20/0.26 o 112278 0.20/0.27 o 112035 0.20/0.27 o 110695 0.20/0.27 o 110521 0.20/0.27 o 110491 0.20/0.27 o 110427 0.20/0.28 o 109165 0.20/0.29 o 109143 0.20/0.29 o 109131 0.20/0.29 o 109067 0.20/0.29 o 109027 0.20/0.29 o 108983 0.20/0.29 o 108916 0.20/0.29 o 108889 0.20/0.30 o 108721 0.20/0.30 o 108483 0.30/0.31 o 108477 0.30/0.31 o 108451 0.30/0.31 o 107163 0.30/0.32 o 106989 0.30/0.33 o 105301 0.30/0.34 o 105237 0.30/0.34 o 105225 0.30/0.34 o 105187 0.30/0.34 o 105129 0.30/0.34 o 104746 0.30/0.34 o 104706 0.30/0.34 o 104628 0.30/0.34 o 104584 0.30/0.35 o 104416 0.30/0.35 o 104389 0.30/0.35 o 104386 0.30/0.36 o 104359 0.30/0.36 o 104147 0.30/0.36 o 103915 0.30/0.37 o 103755 0.30/0.37 o 102433 0.30/0.37 o 102389 0.30/0.37 o 102215 0.30/0.38 o 101986 0.30/0.38 o 101928 0.30/0.38 o 101916 0.30/0.38 o 100840 0.30/0.38 o 100782 0.30/0.38 o 100724 0.30/0.38 o 100712 0.30/0.39 o 100672 0.30/0.39 o 98966 0.30/0.39 o 98792 0.30/0.39 o 98734 0.30/0.40 o 98656 0.30/0.40 o 98612 0.30/0.40 o 98438 0.30/0.40 o 98250 0.30/0.40 o 98186 0.30/0.40 o 98146 0.30/0.40 o 97978 0.40/0.41 o 97954 0.40/0.41 o 97896 0.40/0.41 o 97884 0.40/0.41 o 97865 0.40/0.41 o 97853 0.40/0.41 o 97679 0.40/0.41 o 97652 0.40/0.42 o 97626 0.40/0.42 o 96927 0.40/0.42 o 96907 0.40/0.43 o 96739 0.40/0.43 o 96687 0.40/0.43 o 96675 0.40/0.43 o 96649 0.40/0.43 o 96611 0.40/0.43 o 96553 0.40/0.43 o 96513 0.40/0.43 o 96435 0.40/0.43 o 96391 0.40/0.43 o 96364 0.40/0.44 o 96248 0.40/0.44 o 94934 0.40/0.46 o 94914 0.40/0.46 o 94902 0.40/0.46 o 94884 0.40/0.46 o 94641 0.40/0.46 o 94614 0.40/0.46 o 93506 0.40/0.47 o 93428 0.40/0.48 o 91966 0.40/0.49 o 91961 0.40/0.49 o 91949 0.40/0.49 o 91922 0.40/0.49 o 91823 0.40/0.49 o 91803 0.40/0.50 o 91635 0.40/0.50 o 91583 0.40/0.50 o 91571 0.40/0.50 o 91531 0.40/0.50 o 91322 0.40/0.50 o 91148 0.40/0.50 o 90980 0.50/0.51 o 90946 0.50/0.51 o 90934 0.50/0.51 o 90894 0.50/0.51 o 90816 0.50/0.51 o 90772 0.50/0.51 o 90705 0.50/0.52 o 90678 0.50/0.53 o 90426 0.50/0.54 o 90374 0.50/0.54 o 90362 0.50/0.54 o 90133 0.50/0.54 o 90075 0.50/0.54 o 89887 0.50/0.54 o 89783 0.50/0.55 o 89655 0.50/0.55 o 89481 0.50/0.55 o 89437 0.50/0.55 o 89228 0.50/0.55 o 89054 0.50/0.56 o 88886 0.50/0.57 o 88878 0.50/0.57 o 88866 0.50/0.57 o 88808 0.50/0.57 o 87468 0.50/0.57 o 86142 0.50/0.59 o 86137 0.50/0.59 o 85990 0.50/0.60 o 85848 0.50/0.60 o 85770 0.59/0.60 o 84456 0.59/0.61 o 83116 0.59/0.63 o 82697 0.59/0.63 o 82619 0.59/0.64 o 82567 0.59/0.64 o 82540 0.59/0.64 o 82393 0.59/0.64 o 82373 0.59/0.64 o 82205 0.59/0.64 o 82153 0.59/0.64 o 82141 0.59/0.64 o 81950 0.59/0.64 o 81912 0.59/0.64 o 81854 0.59/0.65 o 81686 0.59/0.67 o 79948 0.59/0.69 o 79862 0.59/0.69 o 79804 0.59/0.69 o 79792 0.68/0.70 o 79766 0.68/0.70 o 79592 0.68/0.70 o 78304 0.68/0.71 o 78268 0.68/0.72 o 78262 0.68/0.72 o 78204 0.68/0.72 o 78152 0.68/0.72 o 78140 0.68/0.72 o 78100 0.68/0.72 o 78088 0.68/0.72 o 78010 0.68/0.72 o 77966 0.68/0.73 o 77798 0.68/0.73 o 76914 0.68/0.73 o 76908 0.68/0.73 o 76864 0.68/0.73 o 76858 0.68/0.73 o 76690 0.68/0.74 o 76612 0.68/0.75 o 76588 0.68/0.76 o 76576 0.68/0.76 o 76507 0.68/0.76 o 74844 0.68/0.77 o 73608 0.68/0.79 o 73598 0.68/0.79 o 73586 0.68/0.79 o 73528 0.78/0.80 o 73502 0.78/0.81 o 72214 0.78/0.81 o 72118 0.78/0.82 o 72082 0.88/0.95 o 72064 0.88/0.95 o 72052 0.88/0.95 o 72017 0.88/0.95 o 71835 0.88/0.95 o 71823 0.88/0.95 o 71777 0.88/0.95 o 71765 0.88/0.95 o 71751 0.88/0.95 o 71699 0.88/0.95 o 71655 0.88/0.96 o 71643 0.88/0.96 o 70488 0.88/0.96 o 70303 0.88/0.96 o 70245 0.88/0.96 o 70225 0.88/0.96 o 70181 0.88/0.96 o 70167 0.88/0.96 o 70123 0.88/0.96 o 70013 0.88/0.96 o 69961 0.88/0.96 o 69949 0.88/0.97 o 69915 0.88/0.97 o 69903 0.88/0.97 o 69793 0.88/0.97 o 69781 0.88/0.98 o 69767 0.88/0.98 o 69761 0.88/0.98 o 69715 0.88/0.98 o 69703 0.88/0.99 o 69697 0.88/0.99 o 69637 0.88/0.99 o 69625 0.88/0.99 o 69599 0.88/0.99 o 69541 0.88/0.99 o 69529 1.00/1.00 o 69493 1.00/1.01 o 69481 1.00/1.01 o 69469 1.00/1.02 o 69425 1.00/1.02 o 69407 1.00/1.02 o 69373 1.00/1.02 o 69329 1.00/1.03 o 68432 1.00/1.03 o 68267 1.00/1.03 o 68241 1.00/1.03 o 68203 1.00/1.03 o 68145 1.00/1.04 o 68105 1.00/1.04 o 68093 1.00/1.04 o 68049 1.00/1.04 o 67971 1.00/1.05 o 67947 1.00/1.05 o 67935 1.00/1.05 o 67482 1.00/1.05 o 66220 1.00/1.08 o 66211 1.00/1.08 o 66089 1.10/1.12 o 66058 1.10/1.12 o 66046 1.10/1.12 o 64758 1.10/1.14 o 64706 1.10/1.14 o 64532 1.10/1.16 o 64492 1.10/1.16 o 64480 1.10/1.16 o 64436 1.10/1.16 o 64400 1.10/1.17 o 62906 1.19/1.27 o 61888 1.19/1.28 o 61790 1.19/1.28 o 61778 1.19/1.28 o 61732 1.19/1.28 o 61720 1.29/1.37 o 61700 1.29/1.37 o 61688 1.29/1.37 o 61566 1.39/1.43 o 61558 1.39/1.44 o 61404 1.39/1.45 o 61230 1.49/1.52 o 61107 1.49/1.52 o 59477 1.59/1.64 o 59453 1.59/1.64 o 59213 1.59/1.64 o 59201 1.59/1.64 o 59061 1.59/1.65 o 58965 1.59/1.65 o 58929 1.59/1.65 o 57589 1.59/1.65 o 57421 1.59/1.66 o 57197 1.59/1.66 o 57119 1.89/1.93 o 56951 1.89/1.98 o 56461 1.89/1.99 o 56435 1.89/1.99 o 56397 1.89/1.99 o 56339 1.89/1.99 o 56319 1.89/1.99 o 56261 1.99/2.01 o 56229 1.99/2.02 o 56165 1.99/2.05 o 56139 1.99/2.05 o 56119 1.99/2.06 o 56061 1.99/2.06 o 56055 1.99/2.06 o 56009 1.99/2.06 o 55997 1.99/2.07 o 55973 1.99/2.07 o 55961 2.09/2.11 o 55939 2.09/2.11 o 55811 2.09/2.11 o 55799 2.09/2.16 o 55793 2.09/2.17 o 55625 2.09/2.17 o 53963 2.19/2.20 o 53367 2.19/2.20 o 53127 2.19/2.20 o 53115 2.19/2.20 o 53019 2.19/2.20 o 52879 2.19/2.20 o 52711 2.19/2.22 o 52675 2.29/2.33 o 51982 2.29/2.33 o 51756 2.29/2.34 o 51588 2.29/2.36 o 51552 2.99/3.08 o 51530 2.99/3.09 o 49841 3.09/3.18 o 49759 3.09/3.18 o 49747 3.09/3.19 o 49742 3.18/3.20 o 49718 3.18/3.20 o 49706 3.18/3.23 o 49677 3.18/3.23 o 49665 3.18/3.23 o 49587 3.18/3.24 o 49575 3.18/3.24 o 49570 3.18/3.25 o 49500 3.18/3.25 o 48448 3.18/3.25 o 48422 3.18/3.25 o 48364 3.18/3.26 o 48352 3.18/3.28 o 48344 3.18/3.28 o 48260 3.18/3.28 o 48248 3.18/3.28 o 48212 3.38/3.45 o 48195 3.38/3.45 o 48143 3.38/3.45 o 48131 3.38/3.46 o 48126 3.38/3.49 o 48114 3.38/3.49 o 48102 3.38/3.49 o 47946 3.38/3.50 o 47934 3.48/3.59 o 47910 3.58/3.61 o 47367 3.58/3.61 o 47320 3.58/3.61 o 47300 3.58/3.61 o 47132 3.58/3.61 o 47068 3.58/3.62 o 47050 3.58/3.62 o 46986 3.58/3.62 o 46928 3.58/3.62 o 46900 3.58/3.63 o 46856 3.58/3.63 o 46818 3.58/3.63 o 46760 3.58/3.68 o 46736 3.58/3.68 o 46724 3.88/3.97 o 46655 3.88/3.97 o 46591 3.88/3.98 o 46555 4.09/4.17 o 45157 4.18/4.30 o 43645 4.48/4.51 o 43640 4.48/4.51 o 43622 4.48/4.51 o 42282 4.58/4.67 o 41171 4.58/4.69 o 41149 4.58/4.69 o 41137 5.18/5.25 o 40978 5.38/5.42 o 40832 5.38/5.44 o 39736 5.38/5.44 o 39477 5.38/5.44 o 39447 5.58/5.68 o 39333 5.58/5.68 o 39163 5.58/5.69 o 39154 5.58/5.69 o 39142 5.58/5.69 o 38465 5.58/5.69 o 38297 5.58/5.69 o 38233 5.58/5.69 o 38178 5.58/5.69 o 38132 5.58/5.69 o 38068 5.58/5.69 o 38010 5.58/5.69 o 37946 5.68/5.79 o 37929 5.78/5.80 o 36992 5.78/5.81 o 36968 5.78/5.81 o 36956 5.78/5.81 o 36860 6.08/6.16 o 35598 6.18/6.22 o 35581 6.18/6.22 o 35575 6.18/6.23 o 35565 6.18/6.23 o 35539 6.18/6.23 o 35443 6.18/6.26 o 35425 6.18/6.26 o 35413 6.18/6.26 o 35293 6.18/6.26 o 35281 6.18/6.27 o 35275 6.38/6.42 o 35268 6.38/6.45 o 35245 6.38/6.45 o 35149 6.38/6.48 o 35121 6.38/6.48 o 35087 6.87/6.98 o 34494 6.87/6.98 o 34207 7.08/7.11 o 34039 7.57/7.63 o 32829 7.67/7.72 o 32827 7.67/7.72 o 32697 7.67/7.72 o 32601 7.67/7.79 o 32585 7.67/7.79 o 32573 7.87/7.97 o 32566 7.98/8.04 o 31330 8.67/8.74 o 31302 9.87/9.90 o 31280 9.87/9.90 o 31268 10.66/10.75 o 30084 11.46/11.55 o 29876 11.56/11.67 o 28718 11.66/11.78 o 28533 11.66/11.78 o 28437 11.76/11.88 o 28393 11.76/11.88 o 28226 11.76/11.88 o 28200 11.76/11.89 o 28104 11.86/11.94 o 27133 12.07/12.15 o 27050 12.07/12.15 o 27030 12.07/12.15 o 26862 12.07/12.16 o 26810 12.07/12.16 o 26798 12.07/12.16 o 26633 12.07/12.16 o 26607 12.07/12.16 o 26511 12.07/12.16 o 26209 12.16/12.24 o 26001 12.76/12.82 o 25937 13.46/13.51 o 25734 13.46/13.51 o 25708 13.46/13.51 o 25612 13.46/13.51 o 25372 13.46/13.51 o 25360 13.46/13.51 o 25058 13.66/13.76 o 23978 14.06/14.19 s OPTIMUM FOUND 14.06/14.19 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
OK 23978
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 (59369 MiB free)
memory of node 1: 64510 MiB (59216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433548-1721105559/watcher-4433548-1721105559 -o /tmp/evaluation-result-4433548-1721105559/solver-4433548-1721105559 -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=168029602 HOME/instance-4433548-1721105559.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=838519, runsolver pid=838516
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.01 4.10 4.13 5/257 838520
/proc/meminfo: memFree=121423964/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=30572 memory=11164 CPUtime=0.1 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 1575 0 0 0 10 0 0 0 20 0 1 0 162725613 31305728 2791 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 7643 2791 819 746 0 6707 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30572 KiB
Current children cumulated memory: 11164 KiB
[startup+0.205498 s]*
/proc/loadavg: 4.01 4.10 4.13 5/257 838520
/proc/meminfo: memFree=121418892/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=33012 memory=15584 CPUtime=0.2 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 2206 0 0 0 20 0 0 0 20 0 1 0 162725613 33804288 3896 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 8253 3896 819 746 0 7317 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33012 KiB
Current children cumulated memory: 15584 KiB
[startup+0.305465 s]*
/proc/loadavg: 4.01 4.10 4.13 5/257 838520
/proc/meminfo: memFree=121413624/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=37168 memory=21060 CPUtime=0.3 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 3024 0 0 0 30 0 0 0 20 0 1 0 162725613 38060032 5265 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 9292 5265 819 746 0 8356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 21060 KiB
[startup+0.700173 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838520
/proc/meminfo: memFree=121406616/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=43924 memory=32472 CPUtime=0.68 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 4375 0 0 0 68 0 0 0 20 0 1 0 162725613 44978176 8118 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 10981 8118 819 746 0 10045 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43924 KiB
Current children cumulated memory: 32472 KiB
[startup+1.50025 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838520
/proc/meminfo: memFree=121397736/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=46776 memory=35436 CPUtime=1.49 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 5061 0 0 0 148 1 0 0 20 0 1 0 162725613 47898624 8859 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 11694 8859 835 746 0 10758 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46776 KiB
Current children cumulated memory: 35436 KiB
[startup+3.1055 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838520
/proc/meminfo: memFree=121390076/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=47416 memory=41080 CPUtime=3.09 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 5516 0 0 0 308 1 0 0 20 0 1 0 162725613 48553984 10270 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 11854 10270 835 746 0 10918 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47416 KiB
Current children cumulated memory: 41080 KiB
[startup+6.30024 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838522
/proc/meminfo: memFree=121373260/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=71216 memory=53084 CPUtime=6.28 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 7703 0 0 0 626 2 0 0 20 0 1 0 162725613 72925184 13271 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 17804 13271 835 746 0 16868 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 71216 KiB
Current children cumulated memory: 53084 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838522
/proc/meminfo: memFree=121364324/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=72240 memory=56368 CPUtime=12.66 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 8023 0 0 0 1264 2 0 0 20 0 1 0 162725613 73973760 14092 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 18060 14092 835 746 0 17124 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 72240 KiB
Current children cumulated memory: 56368 KiB
[startup+14.1939 s]
# the end of solver process 838519 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=14.1315 s, system=0.026918 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838522
/proc/meminfo: memFree=121364324/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=72240 memory=56368 CPUtime=12.76 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 8023 0 0 0 1274 2 0 0 20 0 1 0 162725613 73973760 14092 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 18060 14092 835 746 0 17124 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 72240 KiB
Current children cumulated memory: 56368 KiB
[startup+13.6002 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838522
/proc/meminfo: memFree=121360528/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=72240 memory=56368 CPUtime=13.56 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 8023 0 0 0 1354 2 0 0 20 0 1 0 162725613 73973760 14092 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 18060 14092 835 746 0 17124 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 72240 KiB
Current children cumulated memory: 56368 KiB
[startup+14.0002 s]*
/proc/loadavg: 4.01 4.10 4.13 5/257 838522
/proc/meminfo: memFree=121358308/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=72240 memory=56368 CPUtime=13.96 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 8023 0 0 0 1394 2 0 0 20 0 1 0 162725613 73973760 14092 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 18060 14092 835 746 0 17124 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 72240 KiB
Current children cumulated memory: 56368 KiB
[startup+14.1054 s]
/proc/loadavg: 4.01 4.10 4.13 5/257 838522
/proc/meminfo: memFree=121358308/131524600 swapFree=131071996/131071996
[pid=838519] ppid=838516 vsize=72240 memory=56368 CPUtime=14.06 cores=5,7
/proc/838519/stat : 838519 (Exact_nosoplex) R 838516 838519 832279 0 -1 4194304 8023 0 0 0 1404 2 0 0 20 0 1 0 162725613 73973760 14092 134679101440 4194304 7248369 140729573619536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 30474240 140729573626797 140729573626975 140729573626975 140729573633990 0
/proc/838519/statm: 18060 14092 835 746 0 17124 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 72240 KiB
Current children cumulated memory: 56368 KiB
Child status: 30
Real time (s): 14.1939
CPU time (s): 14.1584
CPU user time (s): 14.1315
CPU system time (s): 0.026918
CPU usage (%): 99.7498
Max. virtual memory (cumulated for all children) (KiB): 72240
Max. memory (cumulated for all children) (KiB): 56368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1315
system time used= 0.026918
maximum resident set size= 63472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8030
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= 25
# summary of solver processes directly reported to runsolver:
# pid: 838519
# total CPU time (s): 14.1584
# total CPU user time (s): 14.1315
# total CPU system time (s): 0.026918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047816 second user time and 0.113032 second system time
The end
Begin job on nodeC033 at 2024-07-16 06:52:51 IDJOB=4433548 IDBENCH=148151 IDSOLVER=3061 FILE ID=nodeC033/4433548-1721105559 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-fir03_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-4433548-1721105559/watcher-4433548-1721105559 -o /tmp/evaluation-result-4433548-1721105559/solver-4433548-1721105559 -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=168029602 HOME/instance-4433548-1721105559.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b RANDOM SEED=168029602 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 : 3664.024 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 : 3669.375 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.012 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 : 3600.035 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 : 3664.005 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 : 3656.897 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.925 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 : 3659.690 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: 121432492 kB MemAvailable: 124367096 kB Buffers: 419136 kB Cached: 3320680 kB SwapCached: 0 kB Active: 676224 kB Inactive: 8744880 kB Active(anon): 1556 kB Inactive(anon): 5717432 kB Active(file): 674668 kB Inactive(file): 3027448 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4756 kB Writeback: 0 kB AnonPages: 5680652 kB Mapped: 113812 kB Shmem: 37716 kB KReclaimable: 144272 kB Slab: 254980 kB SReclaimable: 144272 kB SUnreclaim: 110708 kB KernelStack: 4144 kB PageTables: 20972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7041992 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61344 kB HardwareCorrupted: 0 kB AnonHugePages: 3973120 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:05