Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+Exact 2024-07-11 | SAT | 23978 | 1812.37 | 1815.63 |
| 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 |
1812.32/1815.61 o 175480 1812.32/1815.61 o 163099 1812.32/1815.61 o 161593 1812.32/1815.61 o 159904 1812.32/1815.61 o 158181 1812.32/1815.61 o 158129 1812.32/1815.61 o 158013 1812.32/1815.61 o 157929 1812.32/1815.61 o 157833 1812.32/1815.61 o 156403 1812.32/1815.61 o 156377 1812.32/1815.61 o 156319 1812.32/1815.61 o 154979 1812.32/1815.61 o 154799 1812.32/1815.61 o 153032 1812.32/1815.61 o 151489 1812.32/1815.61 o 151309 1812.32/1815.61 o 149885 1812.32/1815.61 o 149705 1812.32/1815.61 o 149627 1812.32/1815.61 o 148275 1812.32/1815.61 o 148273 1812.32/1815.61 o 148093 1812.32/1815.61 o 147864 1812.32/1815.61 o 147806 1812.32/1815.61 o 147786 1812.32/1815.61 o 147618 1812.32/1815.61 o 147566 1812.32/1815.61 o 147554 1812.32/1815.61 o 145927 1812.32/1815.61 o 145072 1812.32/1815.61 o 144884 1812.32/1815.61 o 144832 1812.32/1815.61 o 144820 1812.32/1815.61 o 144762 1812.32/1815.61 o 144718 1812.32/1815.61 o 144530 1812.32/1815.61 o 144478 1812.32/1815.61 o 144466 1812.32/1815.61 o 144452 1812.32/1815.61 o 144440 1812.32/1815.61 o 144402 1812.32/1815.61 o 144344 1812.32/1815.61 o 143361 1812.32/1815.61 o 143231 1812.32/1815.61 o 143167 1812.32/1815.61 o 143109 1812.32/1815.61 o 143057 1812.32/1815.61 o 143045 1812.32/1815.61 o 143039 1812.32/1815.61 o 142981 1812.32/1815.61 o 142897 1812.32/1815.61 o 142891 1812.32/1815.61 o 142813 1812.32/1815.61 o 142775 1812.32/1815.61 o 142717 1812.32/1815.61 o 142671 1812.32/1815.61 o 142474 1812.32/1815.61 o 141064 1812.32/1815.61 o 140701 1812.32/1815.61 o 140623 1812.32/1815.61 o 140611 1812.32/1815.61 o 140533 1812.32/1815.61 o 140495 1812.32/1815.61 o 140437 1812.32/1815.61 o 140383 1812.32/1815.61 o 140371 1812.32/1815.61 o 140293 1812.32/1815.61 o 140255 1812.32/1815.61 o 140197 1812.32/1815.61 o 140185 1812.32/1815.61 o 140020 1812.32/1815.61 o 139956 1812.32/1815.61 o 139898 1812.32/1815.61 o 139884 1812.32/1815.61 o 139872 1812.32/1815.61 o 139834 1812.32/1815.61 o 139776 1812.32/1815.61 o 138462 1812.32/1815.61 o 138430 1812.32/1815.61 o 138418 1812.32/1815.61 o 138296 1812.32/1815.61 o 137284 1812.32/1815.61 o 137278 1812.32/1815.61 o 137220 1812.32/1815.61 o 137142 1812.32/1815.61 o 137130 1812.32/1815.61 o 137014 1812.32/1815.61 o 136956 1812.32/1815.61 o 135616 1812.32/1815.61 o 135271 1812.32/1815.61 o 135239 1812.32/1815.61 o 135161 1812.32/1815.61 o 135149 1812.32/1815.61 o 135071 1812.32/1815.61 o 135033 1812.32/1815.61 o 134993 1812.32/1815.61 o 134955 1812.32/1815.61 o 134911 1812.32/1815.61 o 134894 1812.32/1815.61 o 134888 1812.32/1815.61 o 134830 1812.32/1815.61 o 134752 1812.32/1815.61 o 134740 1812.32/1815.61 o 134662 1812.32/1815.61 o 134624 1812.32/1815.61 o 134384 1812.32/1815.61 o 134372 1812.32/1815.61 o 134358 1812.32/1815.61 o 134294 1812.32/1815.61 o 134250 1812.32/1815.61 o 133270 1812.32/1815.61 o 133212 1812.32/1815.61 o 133134 1812.32/1815.61 o 133122 1812.32/1815.61 o 133044 1812.32/1815.61 o 133006 1812.32/1815.61 o 132986 1812.32/1815.61 o 132754 1812.32/1815.61 o 132748 1812.32/1815.61 o 132670 1812.32/1815.61 o 132632 1812.32/1815.61 o 130996 1812.32/1815.61 o 130987 1812.32/1815.61 o 130979 1812.32/1815.61 o 129334 1812.32/1815.61 o 128673 1812.32/1815.61 o 128595 1812.32/1815.61 o 128563 1812.32/1815.61 o 128485 1812.32/1815.61 o 128395 1812.32/1815.61 o 128357 1812.32/1815.61 o 128345 1812.32/1815.61 o 128301 1812.32/1815.61 o 128110 1812.32/1815.61 o 128072 1812.32/1815.61 o 128014 1812.32/1815.61 o 128008 1812.32/1815.61 o 127930 1812.32/1815.61 o 127892 1812.32/1815.61 o 126334 1812.32/1815.61 o 125046 1812.32/1815.61 o 125031 1812.32/1815.61 o 123987 1812.32/1815.61 o 123955 1812.32/1815.61 o 123877 1812.32/1815.61 o 123787 1812.32/1815.61 o 123749 1812.32/1815.61 o 123741 1812.32/1815.61 o 123689 1812.32/1815.61 o 123677 1812.32/1815.61 o 123619 1812.32/1815.61 o 123591 1812.32/1815.61 o 123553 1812.32/1815.61 o 123509 1812.32/1815.61 o 123497 1812.32/1815.61 o 123375 1812.32/1815.61 o 122992 1812.32/1815.61 o 122986 1812.32/1815.61 o 122928 1812.32/1815.61 o 122850 1812.32/1815.61 o 122838 1812.32/1815.61 o 122760 1812.32/1815.61 o 122722 1812.32/1815.61 o 122705 1812.32/1815.61 o 122699 1812.32/1815.61 o 122641 1812.32/1815.61 o 122563 1812.32/1815.61 o 122551 1812.32/1815.61 o 122473 1812.32/1815.61 o 122435 1812.32/1815.61 o 122407 1812.32/1815.61 o 122369 1812.32/1815.61 o 122317 1812.32/1815.61 o 122305 1812.32/1815.61 o 122279 1812.32/1815.61 o 122241 1812.32/1815.61 o 122183 1812.32/1815.61 o 122105 1812.32/1815.61 o 122061 1812.32/1815.61 o 121313 1812.32/1815.61 o 121255 1812.32/1815.61 o 121177 1812.32/1815.61 o 121165 1812.32/1815.61 o 121087 1812.32/1815.61 o 121049 1812.32/1815.61 o 121005 1812.32/1815.61 o 121003 1812.32/1815.61 o 120925 1812.32/1815.61 o 120887 1812.32/1815.61 o 120875 1812.32/1815.61 o 120847 1812.32/1815.61 o 120809 1812.32/1815.61 o 120797 1812.32/1815.61 o 120753 1812.32/1815.61 o 120631 1812.32/1815.61 o 119099 1812.32/1815.61 o 118693 1812.32/1815.61 o 118661 1812.32/1815.61 o 118583 1812.32/1815.61 o 118571 1812.32/1815.61 o 118493 1812.32/1815.61 o 118455 1812.32/1815.61 o 118435 1812.32/1815.61 o 118267 1812.32/1815.61 o 118215 1812.32/1815.61 o 118203 1812.32/1815.61 o 118125 1812.32/1815.61 o 118081 1812.32/1815.61 o 118041 1812.32/1815.61 o 118029 1812.32/1815.61 o 117951 1812.32/1815.61 o 117913 1812.32/1815.61 o 117855 1812.32/1815.61 o 117849 1812.32/1815.61 o 117733 1812.32/1815.61 o 117675 1812.32/1815.61 o 116335 1812.32/1815.61 o 116289 1812.32/1815.61 o 116251 1812.32/1815.61 o 116239 1812.32/1815.61 o 115163 1812.32/1815.61 o 114995 1812.32/1815.61 o 113629 1812.32/1815.61 o 112057 1812.32/1815.61 o 112016 1812.32/1815.61 o 111938 1812.32/1815.61 o 111894 1812.32/1815.61 o 111651 1812.32/1815.61 o 110293 1812.32/1815.61 o 108622 1812.32/1815.61 o 108062 1812.32/1815.61 o 107810 1812.32/1815.61 o 107766 1812.32/1815.61 o 107598 1812.32/1815.61 o 107595 1812.32/1815.61 o 107392 1812.32/1815.61 o 107360 1812.32/1815.61 o 107314 1812.32/1815.61 o 107282 1812.32/1815.61 o 107262 1812.32/1815.61 o 107160 1812.32/1815.61 o 107148 1812.32/1815.61 o 106906 1812.32/1815.61 o 106886 1812.32/1815.61 o 106718 1812.32/1815.61 o 106654 1812.32/1815.61 o 106576 1812.32/1815.61 o 106532 1812.32/1815.61 o 106329 1812.32/1815.61 o 106297 1812.32/1815.61 o 106251 1812.32/1815.61 o 106219 1812.32/1815.61 o 106199 1812.32/1815.61 o 106097 1812.32/1815.61 o 105929 1812.32/1815.61 o 105894 1812.32/1815.61 o 105874 1812.32/1815.61 o 105706 1812.32/1815.61 o 105654 1812.32/1815.61 o 105642 1812.32/1815.61 o 105630 1812.32/1815.61 o 105592 1812.32/1815.61 o 105534 1812.32/1815.61 o 105502 1812.32/1815.61 o 105456 1812.32/1815.61 o 105424 1812.32/1815.61 o 105404 1812.32/1815.61 o 105302 1812.32/1815.61 o 105180 1812.32/1815.61 o 104104 1812.32/1815.61 o 104090 1812.32/1815.61 o 104038 1812.32/1815.61 o 103936 1812.32/1815.61 o 103202 1812.32/1815.61 o 102964 1812.32/1815.61 o 102866 1812.32/1815.61 o 102764 1812.32/1815.61 o 102720 1812.32/1815.61 o 102662 1812.32/1815.61 o 102590 1812.32/1815.61 o 102578 1812.32/1815.61 o 102410 1812.32/1815.61 o 101096 1812.32/1815.61 o 101088 1812.32/1815.61 o 101076 1812.32/1815.61 o 101056 1812.32/1815.61 o 100954 1812.32/1815.61 o 100876 1812.32/1815.61 o 99562 1812.32/1815.61 o 98230 1812.32/1815.61 o 98186 1812.32/1815.61 o 98064 1812.32/1815.61 o 96988 1812.32/1815.61 o 96986 1812.32/1815.61 o 96884 1812.32/1815.61 o 96832 1812.32/1815.61 o 96820 1812.32/1815.61 o 95950 1812.32/1815.61 o 95872 1812.32/1815.61 o 95858 1812.32/1815.61 o 95806 1812.32/1815.61 o 95632 1812.32/1815.61 o 95620 1812.32/1815.61 o 95576 1812.32/1815.61 o 95429 1812.32/1815.61 o 93993 1812.32/1815.61 o 93909 1812.32/1815.61 o 93897 1812.32/1815.61 o 93808 1812.32/1815.61 o 93796 1812.32/1815.61 o 93764 1812.32/1815.61 o 93752 1812.32/1815.61 o 93654 1812.32/1815.61 o 93642 1812.32/1815.61 o 93628 1812.32/1815.61 o 93584 1812.32/1815.61 o 93576 1812.32/1815.61 o 93564 1812.32/1815.61 o 93532 1812.32/1815.61 o 93520 1812.32/1815.61 o 93474 1812.32/1815.61 o 93462 1812.32/1815.61 o 92716 1812.32/1815.61 o 92696 1812.32/1815.61 o 92464 1812.32/1815.61 o 92386 1812.32/1815.61 o 92218 1812.32/1815.61 o 90530 1812.32/1815.61 o 90518 1812.32/1815.61 o 90460 1812.32/1815.61 o 90448 1812.32/1815.61 o 90224 1812.32/1815.61 o 90146 1812.32/1815.61 o 89276 1812.32/1815.61 o 89232 1812.32/1815.61 o 89154 1812.32/1815.61 o 89114 1812.32/1815.61 o 89102 1812.32/1815.61 o 89024 1812.32/1815.61 o 88946 1812.32/1815.61 o 88902 1812.32/1815.61 o 88882 1812.32/1815.61 o 88662 1812.32/1815.61 o 88650 1812.32/1815.61 o 88572 1812.32/1815.61 o 88528 1812.32/1815.61 o 87284 1812.32/1815.61 o 87248 1812.32/1815.61 o 87246 1812.32/1815.61 o 87202 1812.32/1815.61 o 87112 1812.32/1815.61 o 85772 1812.32/1815.61 o 85736 1812.32/1815.61 o 85568 1812.32/1815.61 o 85270 1812.32/1815.61 o 83880 1812.32/1815.61 o 82903 1812.32/1815.61 o 82674 1812.32/1815.61 o 82616 1812.32/1815.61 o 82442 1812.32/1815.61 o 82434 1812.32/1815.61 o 82376 1812.32/1815.61 o 82364 1812.32/1815.61 o 82320 1812.32/1815.61 o 82310 1812.32/1815.61 o 82302 1812.32/1815.61 o 82266 1812.32/1815.61 o 82232 1812.32/1815.61 o 82188 1812.32/1815.61 o 81834 1812.32/1815.61 o 80598 1812.32/1815.61 o 80586 1812.32/1815.61 o 80522 1812.32/1815.61 o 80354 1812.32/1815.61 o 79040 1812.32/1815.61 o 78895 1812.32/1815.61 o 77317 1812.32/1815.61 o 76889 1812.32/1815.61 o 76665 1812.32/1815.61 o 76587 1812.32/1815.61 o 76529 1812.32/1815.61 o 76509 1812.32/1815.61 o 76289 1812.32/1815.61 o 76277 1812.32/1815.61 o 76109 1812.32/1815.61 o 74446 1812.32/1815.61 o 74426 1812.32/1815.61 o 74368 1812.32/1815.61 o 74324 1812.32/1815.61 o 74240 1812.32/1815.61 o 74204 1812.32/1815.61 o 74192 1812.32/1815.61 o 74150 1812.32/1815.61 o 74114 1812.32/1815.61 o 74070 1812.32/1815.61 o 72782 1812.32/1815.61 o 72739 1812.32/1815.61 o 72730 1812.32/1815.61 o 72608 1812.32/1815.61 o 71320 1812.32/1815.61 o 70919 1812.32/1815.61 o 70883 1812.32/1815.61 o 70839 1812.32/1815.61 o 70787 1812.32/1815.61 o 70775 1812.32/1815.61 o 70739 1812.32/1815.61 o 69181 1812.32/1815.61 o 69120 1812.32/1815.61 o 68891 1812.32/1815.61 o 68833 1812.32/1815.61 o 68813 1812.32/1815.61 o 68651 1812.32/1815.61 o 68639 1812.32/1815.61 o 68593 1812.32/1815.61 o 68581 1812.32/1815.61 o 68567 1812.32/1815.61 o 68515 1812.32/1815.61 o 68471 1812.32/1815.61 o 68459 1812.32/1815.61 o 68413 1812.32/1815.61 o 68335 1812.32/1815.61 o 68291 1812.32/1815.61 o 68285 1812.32/1815.61 o 68241 1812.32/1815.61 o 68213 1812.32/1815.61 o 68201 1812.32/1815.61 o 68157 1812.32/1815.61 o 67989 1812.32/1815.61 o 67867 1812.32/1815.61 o 67865 1812.32/1815.61 o 67807 1812.32/1815.61 o 67771 1812.32/1815.61 o 67719 1812.32/1815.61 o 67545 1812.32/1815.61 o 66083 1812.32/1815.61 o 65747 1812.32/1815.61 o 65700 1812.32/1815.61 o 64117 1812.32/1815.61 o 63787 1812.32/1815.61 o 62461 1812.32/1815.61 o 60799 1812.32/1815.61 o 59181 1812.32/1815.61 o 59104 1812.32/1815.61 o 59026 1812.32/1815.61 o 58982 1812.32/1815.61 o 58930 1812.32/1815.61 o 58756 1812.32/1815.61 o 58616 1812.32/1815.61 o 58448 1812.32/1815.61 o 58423 1812.32/1815.61 o 58379 1812.32/1815.61 o 58370 1812.32/1815.61 o 58248 1812.32/1815.61 o 56960 1812.32/1815.61 o 56902 1812.32/1815.61 o 56675 1812.32/1815.61 o 56501 1812.32/1815.61 o 56347 1812.32/1815.61 o 56310 1812.32/1815.61 o 56298 1812.32/1815.61 o 56254 1812.32/1815.61 o 54824 1812.32/1815.61 o 53536 1812.32/1815.61 o 53494 1812.32/1815.61 o 53482 1812.32/1815.61 o 53412 1812.32/1815.61 o 51918 1812.32/1815.61 o 51871 1812.32/1815.61 o 51717 1812.32/1815.61 o 50699 1812.32/1815.61 o 50531 1812.32/1815.61 o 49786 1812.32/1815.61 o 49546 1812.32/1815.61 o 49534 1812.32/1815.61 o 49441 1812.32/1815.61 o 49273 1812.32/1815.61 o 49198 1812.32/1815.61 o 49105 1812.32/1815.61 o 49095 1812.32/1815.61 o 49043 1812.32/1815.61 o 49031 1812.32/1815.61 o 48973 1812.32/1815.61 o 48652 1812.32/1815.61 o 48594 1812.32/1815.61 o 48568 1812.32/1815.61 o 48554 1812.32/1815.61 o 47814 1812.32/1815.61 o 47809 1812.32/1815.61 o 47715 1812.32/1815.61 o 47692 1812.32/1815.61 o 47689 1812.32/1815.61 o 47687 1812.32/1815.61 o 47593 1812.32/1815.61 o 47581 1812.32/1815.61 o 47535 1812.32/1815.61 o 47483 1812.32/1815.61 o 47471 1812.32/1815.61 o 47425 1812.32/1815.61 o 47413 1812.32/1815.61 o 47405 1812.32/1815.61 o 47393 1812.32/1815.61 o 47357 1812.32/1815.61 o 47189 1812.32/1815.61 o 47097 1812.32/1815.61 o 46813 1812.32/1815.61 o 46121 1812.32/1815.61 o 46109 1812.32/1815.61 o 46073 1812.32/1815.61 o 45771 1812.32/1815.61 o 45766 1812.32/1815.61 o 45764 1812.32/1815.61 o 45596 1812.32/1815.61 o 45552 1812.32/1815.61 o 44212 1812.32/1815.61 o 44176 1812.32/1815.61 o 44008 1812.32/1815.61 o 42450 1812.32/1815.61 o 42438 1812.32/1815.61 o 42328 1812.32/1815.61 o 42270 1812.32/1815.61 o 42217 1812.32/1815.61 o 42159 1812.32/1815.61 o 42147 1812.32/1815.61 o 42138 1812.32/1815.61 o 41654 1812.32/1815.61 o 41514 1812.32/1815.61 o 41494 1812.32/1815.61 o 41274 1812.32/1815.61 o 41262 1812.32/1815.61 o 41234 1812.32/1815.61 o 41158 1812.32/1815.61 o 41106 1812.32/1815.61 o 41094 1812.32/1815.61 o 41048 1812.32/1815.61 o 41036 1812.32/1815.61 o 41012 1812.32/1815.61 o 41000 1812.32/1815.61 o 40964 1812.32/1815.61 o 40926 1812.32/1815.61 o 40868 1812.32/1815.61 o 40832 1812.32/1815.61 o 40431 1812.32/1815.61 o 40191 1812.32/1815.61 o 40179 1812.32/1815.61 o 40039 1812.32/1815.61 o 39981 1812.32/1815.61 o 39813 1812.32/1815.61 o 39751 1812.32/1815.61 o 39739 1812.32/1815.61 o 39681 1812.32/1815.61 o 39645 1812.32/1815.61 o 39477 1812.32/1815.61 o 39447 1812.32/1815.61 o 39392 1812.32/1815.61 o 39314 1812.32/1815.61 o 39270 1812.32/1815.61 o 39138 1812.32/1815.61 o 39132 1812.32/1815.61 o 39124 1812.32/1815.61 o 39112 1812.32/1815.61 o 38886 1812.32/1815.61 o 38880 1812.32/1815.61 o 37496 1812.32/1815.61 o 37328 1812.32/1815.61 o 37196 1812.32/1815.61 o 37188 1812.32/1815.61 o 37092 1812.32/1815.61 o 37034 1812.32/1815.61 o 36866 1812.32/1815.61 o 36860 1812.32/1815.61 o 36790 1812.32/1815.61 o 36778 1812.32/1815.61 o 36754 1812.32/1815.61 o 36658 1812.32/1815.61 o 36646 1812.32/1815.61 o 35604 1812.32/1815.61 o 35598 1812.32/1815.61 o 35571 1812.32/1815.61 o 35475 1812.32/1815.61 o 35469 1812.32/1815.61 o 35337 1812.32/1815.61 o 35309 1812.32/1815.61 o 35275 1812.32/1815.61 o 35242 1812.32/1815.61 o 35178 1812.32/1815.61 o 35010 1812.32/1815.61 o 34039 1812.32/1815.61 o 32829 1812.32/1815.61 o 32787 1812.32/1815.61 o 32775 1812.32/1815.61 o 32696 1812.32/1815.61 o 32600 1812.32/1815.61 o 32586 1812.32/1815.61 o 32574 1812.32/1815.61 o 32546 1812.32/1815.61 o 31869 1812.32/1815.61 o 31849 1812.32/1815.61 o 31617 1812.32/1815.61 o 31582 1812.32/1815.61 o 31426 1812.32/1815.61 o 31330 1812.32/1815.61 o 31302 1812.32/1815.61 o 31268 1812.32/1815.61 o 30749 1812.32/1815.61 o 30691 1812.32/1815.61 o 30389 1812.32/1815.61 o 30353 1812.32/1815.61 o 30277 1812.32/1815.61 o 30265 1812.32/1815.61 o 30242 1812.32/1815.61 o 30146 1812.32/1815.61 o 30118 1812.32/1815.61 o 30084 1812.32/1815.61 o 30075 1812.32/1815.61 o 29876 1812.32/1815.61 o 29753 1812.32/1815.61 o 29689 1812.32/1815.61 o 28718 1812.32/1815.61 o 28711 1812.32/1815.61 o 28691 1812.32/1815.61 o 28471 1812.32/1815.61 o 28459 1812.32/1815.61 o 28291 1812.32/1815.61 o 27133 1812.32/1815.61 o 26001 1812.32/1815.61 o 25937 1812.32/1815.61 o 25899 1812.32/1815.61 o 25659 1812.32/1815.61 o 25647 1812.32/1815.61 o 25482 1812.32/1815.61 o 25456 1812.32/1815.61 o 25360 1812.32/1815.61 o 25058 1812.32/1815.61 o 23978 1812.32/1815.61 s SATISFIABLE 1812.32/1815.61 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: 64059 MiB (62867 MiB free)
memory of node 1: 64510 MiB (63455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437175-1722971201/watcher-4437175-1722971201 -o /tmp/evaluation-result-4437175-1722971201/solver-4437175-1722971201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722971201-336736 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437175-1722971201.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=336790, runsolver pid=336779
[startup+0.100119 s]*
/proc/loadavg: 0.89 1.09 1.78 7/248 336810
/proc/meminfo: memFree=129340624/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=20828 memory=8512 CPUtime=0.09 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 715 0 0 0 9 0 0 0 20 0 1 0 63490837 21327872 2128 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 5207 2128 1105 2753 0 1860 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 12264 KiB
[startup+0.215635 s]*
/proc/loadavg: 0.89 1.09 1.78 7/248 336810
/proc/meminfo: memFree=129334416/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=20828 memory=8512 CPUtime=0.21 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 715 0 0 0 21 0 0 0 20 0 1 0 63490837 21327872 2128 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 5207 2128 1105 2753 0 1860 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 12264 KiB
[startup+0.314849 s]*
/proc/loadavg: 0.89 1.09 1.78 7/248 336812
/proc/meminfo: memFree=129316984/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=32404 memory=24760 CPUtime=0.3 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 3400 0 0 0 29 1 0 0 20 0 1 0 63490837 33181696 6190 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 8101 6190 2689 2753 0 4754 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50996 KiB
Current children cumulated memory: 28512 KiB
[startup+0.700435 s]
/proc/loadavg: 0.89 1.09 1.78 7/248 336812
/proc/meminfo: memFree=129319360/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=0.67 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 64 3 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+1.50042 s]
/proc/loadavg: 0.89 1.09 1.78 7/248 336812
/proc/meminfo: memFree=129319280/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=1.47 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 139 8 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+3.11297 s]
/proc/loadavg: 0.89 1.09 1.78 7/248 336812
/proc/meminfo: memFree=129319396/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=3.08 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 291 17 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+6.30038 s]
/proc/loadavg: 1.14 1.14 1.80 7/248 336812
/proc/meminfo: memFree=129319548/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=6.27 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 592 35 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+12.7004 s]
/proc/loadavg: 1.37 1.18 1.81 7/248 336813
/proc/meminfo: memFree=129319392/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=12.65 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 1193 72 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.32 1.84 7/248 336815
/proc/meminfo: memFree=129319264/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=25.42 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 2396 146 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+51.1127 s]
/proc/loadavg: 2.73 1.56 1.91 7/248 336820
/proc/meminfo: memFree=129318544/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=22880 CPUtime=50.99 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4522 0 0 0 4796 303 0 0 20 0 1 0 63490837 29908992 5720 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5720 2801 2753 0 3955 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 26632 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.95 2.03 7/248 336828
/proc/meminfo: memFree=129318012/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
################
# More data... #
################
/proc/336803/statm: 7302 5884 2801 2753 0 3955 0
Current children cumulated CPU time: 1659.34 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 27288 KiB
[startup+1722.3 s]
/proc/loadavg: 4.15 4.12 3.80 7/246 337730
/proc/meminfo: memFree=129308168/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=23536 CPUtime=1719.24 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4559 0 0 0 161523 10401 0 0 20 0 1 0 63490837 29908992 5884 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5884 2801 2753 0 3955 0
Current children cumulated CPU time: 1719.24 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 27288 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.11 3.82 7/246 337742
/proc/meminfo: memFree=129307932/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=23536 CPUtime=1779.14 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4560 0 0 0 167160 10754 0 0 20 0 1 0 63490837 29908992 5884 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5884 2801 2753 0 3955 0
Current children cumulated CPU time: 1779.14 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 27288 KiB
[startup+1815.63 s]
# the end of solver process 336790 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1703.79 s, system=108.576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.17 4.12 3.83 7/246 337743
/proc/meminfo: memFree=129307848/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63490836 10170368 691 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 691 613 264 0 134 0
[pid=336798] ppid=336790 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/336798/stat : 336798 (timeout) S 336790 336798 336724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63490837 8867840 247 134679101440 94563033751552 94563033786568 140734252047040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94563035883984 94563035886116 94563053928448 140734252049453 140734252049569 140734252049569 140734252056551 0
/proc/336798/statm: 2165 247 223 9 0 87 0
[pid=336803] ppid=336798 vsize=29208 memory=23536 CPUtime=1788.83 cores=1,3
/proc/336803/stat : 336803 (LS-MabSP) R 336798 336798 336724 0 -1 4194304 4560 0 0 0 168069 10814 0 0 20 0 1 0 63490837 29908992 5884 134679101440 4194304 15467897 140737475823136 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33792000 140737475830848 140737475830951 140737475830951 140737475837933 0
/proc/336803/statm: 7302 5884 2801 2753 0 3955 0
Current children cumulated CPU time: 1788.83 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 27288 KiB
[startup+1804.8 s]
/proc/loadavg: 4.13 4.12 3.83 5/247 337872
/proc/meminfo: memFree=129020232/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2812 CPUtime=1794.82 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 270 4785 0 0 0 0 168630 10852 20 0 1 0 63490836 10170368 703 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 703 613 264 0 134 0
[pid=337744] ppid=336790 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/337744/stat : 337744 (timeout) S 336790 337744 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670637 8867840 229 134679101440 94199139045376 94199139080392 140735394781248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94199141177808 94199141179940 94199163531264 140735394788344 140735394788513 140735394788513 140735394795495 0
/proc/337744/statm: 2165 229 205 9 0 87 0
[pid=337747] ppid=337744 vsize=67988 memory=47956 CPUtime=6.73 cores=1,3
/proc/337747/stat : 337747 (Exact) R 337744 337744 336724 0 -1 4194304 7010 0 0 0 671 2 0 0 20 0 1 0 63670637 69619712 11989 134679101440 4194304 7210733 140727496418208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 33271808 140727496426516 140727496426666 140727496426666 140727496433648 0
/proc/337747/statm: 16997 11989 748 737 0 16085 0
Current children cumulated CPU time: 1801.55 s
Current children cumulated vsize: 86580 KiB
Current children cumulated memory: 51684 KiB
[startup+1811.2 s]
/proc/loadavg: 4.12 4.12 3.83 5/247 337873
/proc/meminfo: memFree=129001848/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2812 CPUtime=1794.82 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 270 4785 0 0 0 0 168630 10852 20 0 1 0 63490836 10170368 703 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 703 613 264 0 134 0
[pid=337744] ppid=336790 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/337744/stat : 337744 (timeout) S 336790 337744 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670637 8867840 229 134679101440 94199139045376 94199139080392 140735394781248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94199141177808 94199141179940 94199163531264 140735394788344 140735394788513 140735394788513 140735394795495 0
/proc/337744/statm: 2165 229 205 9 0 87 0
[pid=337747] ppid=337744 vsize=70548 memory=52832 CPUtime=13.11 cores=1,3
/proc/337747/stat : 337747 (Exact) R 337744 337744 336724 0 -1 4194304 7705 0 0 0 1308 3 0 0 20 0 1 0 63670637 72241152 13208 134679101440 4194304 7210733 140727496418208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 33271808 140727496426516 140727496426666 140727496426666 140727496433648 0
/proc/337747/statm: 17637 13208 748 737 0 16725 0
Current children cumulated CPU time: 1807.93 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 56560 KiB
[startup+1812.8 s]
/proc/loadavg: 4.12 4.12 3.83 5/247 337873
/proc/meminfo: memFree=129001732/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2812 CPUtime=1794.82 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 270 4785 0 0 0 0 168630 10852 20 0 1 0 63490836 10170368 703 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 703 613 264 0 134 0
[pid=337744] ppid=336790 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/337744/stat : 337744 (timeout) S 336790 337744 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670637 8867840 229 134679101440 94199139045376 94199139080392 140735394781248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94199141177808 94199141179940 94199163531264 140735394788344 140735394788513 140735394788513 140735394795495 0
/proc/337744/statm: 2165 229 205 9 0 87 0
[pid=337747] ppid=337744 vsize=70548 memory=52832 CPUtime=14.71 cores=1,3
/proc/337747/stat : 337747 (Exact) R 337744 337744 336724 0 -1 4194304 7711 0 0 0 1468 3 0 0 20 0 1 0 63670637 72241152 13208 134679101440 4194304 7210733 140727496418208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 33271808 140727496426516 140727496426666 140727496426666 140727496433648 0
/proc/337747/statm: 17637 13208 748 737 0 16725 0
Current children cumulated CPU time: 1809.53 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 56560 KiB
[startup+1814.4 s]
/proc/loadavg: 4.11 4.11 3.83 5/247 337873
/proc/meminfo: memFree=129000752/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2812 CPUtime=1794.82 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 270 4785 0 0 0 0 168630 10852 20 0 1 0 63490836 10170368 703 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 703 613 264 0 134 0
[pid=337744] ppid=336790 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/337744/stat : 337744 (timeout) S 336790 337744 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670637 8867840 229 134679101440 94199139045376 94199139080392 140735394781248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94199141177808 94199141179940 94199163531264 140735394788344 140735394788513 140735394788513 140735394795495 0
/proc/337744/statm: 2165 229 205 9 0 87 0
[pid=337747] ppid=337744 vsize=70548 memory=52832 CPUtime=16.31 cores=1,3
/proc/337747/stat : 337747 (Exact) R 337744 337744 336724 0 -1 4194304 7712 0 0 0 1628 3 0 0 20 0 1 0 63670637 72241152 13208 134679101440 4194304 7210733 140727496418208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 33271808 140727496426516 140727496426666 140727496426666 140727496433648 0
/proc/337747/statm: 17637 13208 748 737 0 16725 0
Current children cumulated CPU time: 1811.13 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 56560 KiB
[startup+1815.2 s]
/proc/loadavg: 4.11 4.11 3.83 5/247 337873
/proc/meminfo: memFree=128995240/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2812 CPUtime=1794.82 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 270 4785 0 0 0 0 168630 10852 20 0 1 0 63490836 10170368 703 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 703 613 264 0 134 0
[pid=337744] ppid=336790 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/337744/stat : 337744 (timeout) S 336790 337744 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670637 8867840 229 134679101440 94199139045376 94199139080392 140735394781248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94199141177808 94199141179940 94199163531264 140735394788344 140735394788513 140735394788513 140735394795495 0
/proc/337744/statm: 2165 229 205 9 0 87 0
[pid=337747] ppid=337744 vsize=70548 memory=52832 CPUtime=17.1 cores=1,3
/proc/337747/stat : 337747 (Exact) R 337744 337744 336724 0 -1 4194304 7713 0 0 0 1707 3 0 0 20 0 1 0 63670637 72241152 13208 134679101440 4194304 7210733 140727496418208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 33271808 140727496426516 140727496426666 140727496426666 140727496433648 0
/proc/337747/statm: 17637 13208 748 737 0 16725 0
Current children cumulated CPU time: 1811.92 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 56560 KiB
[startup+1815.6 s]
/proc/loadavg: 4.11 4.11 3.83 5/247 337873
/proc/meminfo: memFree=128995240/131655788 swapFree=131071472/131071996
[pid=336790] ppid=336779 vsize=9932 memory=2812 CPUtime=1794.82 cores=1,3
/proc/336790/stat : 336790 (Hybrid-LSMabSP+) S 336779 336790 336724 0 -1 4194304 270 4785 0 0 0 0 168630 10852 20 0 1 0 63490836 10170368 703 134679101440 94608585420800 94608586500120 140734086980464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94608588598576 94608588645764 94608616550400 140734086988780 140734086988926 140734086988926 140734086995937 0
/proc/336790/statm: 2483 703 613 264 0 134 0
[pid=337744] ppid=336790 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/337744/stat : 337744 (timeout) S 336790 337744 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670637 8867840 229 134679101440 94199139045376 94199139080392 140735394781248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94199141177808 94199141179940 94199163531264 140735394788344 140735394788513 140735394788513 140735394795495 0
/proc/337744/statm: 2165 229 205 9 0 87 0
[pid=337747] ppid=337744 vsize=70548 memory=52832 CPUtime=17.5 cores=1,3
/proc/337747/stat : 337747 (Exact) R 337744 337744 336724 0 -1 4194304 7718 0 0 0 1747 3 0 0 20 0 1 0 63670637 72241152 13208 134679101440 4194304 7210733 140727496418208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 33271808 140727496426516 140727496426666 140727496426666 140727496433648 0
/proc/337747/statm: 17637 13208 748 737 0 16725 0
Current children cumulated CPU time: 1812.32 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 56560 KiB
Child status: 0
Real time (s): 1815.63
CPU time (s): 1812.37
CPU user time (s): 1703.79
CPU system time (s): 108.576
CPU usage (%): 99.8204
Max. virtual memory (cumulated for all children) (KiB): 89140
Max. memory (cumulated for all children) (KiB): 56560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1703.79
system time used= 108.576
maximum resident set size= 63896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 485
# summary of solver processes directly reported to runsolver:
# pid: 336790
# total CPU time (s): 1812.37
# total CPU user time (s): 1703.79
# total CPU system time (s): 108.576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.72376 second user time and 17.8571 second system time
The end
Begin job on nodeC008 at 2024-08-06 21:06:41 IDJOB=4437175 IDBENCH=148151 IDSOLVER=3070 FILE ID=nodeC008/4437175-1722971201 RUNJOBID= nodeC008-1722971201-336736 SLURM_JOB_ID= 8259062 Free space on /tmp= 723780 MiB SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437175-1722971201/watcher-4437175-1722971201 -o /tmp/evaluation-result-4437175-1722971201/solver-4437175-1722971201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722971201-336736 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437175-1722971201.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b RANDOM SEED=50695010 nodeC008.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 : 0xb00001f cpu MHz : 1197.380 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 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 : 0xb00001f cpu MHz : 1198.117 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 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 : 0xb00001f cpu MHz : 1182.721 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 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 : 0xb00001f cpu MHz : 1196.892 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 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 : 0xb00001f cpu MHz : 1199.416 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 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 : 0xb00001f cpu MHz : 1201.044 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 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 : 0xb00001f cpu MHz : 1195.703 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 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 : 0xb00001f cpu MHz : 1194.258 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129363520 kB MemAvailable: 130053848 kB Buffers: 342720 kB Cached: 1197944 kB SwapCached: 72 kB Active: 629536 kB Inactive: 1196068 kB Active(anon): 1368 kB Inactive(anon): 321704 kB Active(file): 628168 kB Inactive(file): 874364 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 82304 kB Writeback: 8 kB AnonPages: 285540 kB Mapped: 99528 kB Shmem: 37488 kB KReclaimable: 55652 kB Slab: 141416 kB SReclaimable: 55652 kB SUnreclaim: 85764 kB KernelStack: 3524 kB PageTables: 9256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 626312 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 23296 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 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: 269128 kB DirectMap2M: 22704128 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723700 MiB End job on nodeC008 at 2024-08-06 21:36:57