Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabP+Exact 2024-07-11 | SAT | 23978 | 1817.17 | 1821.07 |
| 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 |
1817.09/1821.05 o 175480 1817.09/1821.05 o 163099 1817.09/1821.05 o 161593 1817.09/1821.05 o 159904 1817.09/1821.05 o 158181 1817.09/1821.05 o 158129 1817.09/1821.05 o 158013 1817.09/1821.05 o 157929 1817.09/1821.05 o 157833 1817.09/1821.05 o 156403 1817.09/1821.05 o 156377 1817.09/1821.05 o 156319 1817.09/1821.05 o 154979 1817.09/1821.05 o 154799 1817.09/1821.05 o 153032 1817.09/1821.05 o 151608 1817.09/1821.05 o 151428 1817.09/1821.05 o 149885 1817.09/1821.05 o 149705 1817.09/1821.05 o 148078 1817.09/1821.05 o 148076 1817.09/1821.05 o 147896 1817.09/1821.05 o 147847 1817.09/1821.05 o 147789 1817.09/1821.05 o 147609 1817.09/1821.05 o 147575 1817.09/1821.05 o 147479 1817.09/1821.05 o 147427 1817.09/1821.05 o 147415 1817.09/1821.05 o 147357 1817.09/1821.05 o 146128 1817.09/1821.05 o 145908 1817.09/1821.05 o 145896 1817.09/1821.05 o 145882 1817.09/1821.05 o 145870 1817.09/1821.05 o 145832 1817.09/1821.05 o 145774 1817.09/1821.05 o 145112 1817.09/1821.05 o 145034 1817.09/1821.05 o 145022 1817.09/1821.05 o 144906 1817.09/1821.05 o 144848 1817.09/1821.05 o 144794 1817.09/1821.05 o 144782 1817.09/1821.05 o 144666 1817.09/1821.05 o 144608 1817.09/1821.05 o 144596 1817.09/1821.05 o 144588 1817.09/1821.05 o 144536 1817.09/1821.05 o 144524 1817.09/1821.05 o 144518 1817.09/1821.05 o 144402 1817.09/1821.05 o 144344 1817.09/1821.05 o 142717 1817.09/1821.05 o 142021 1817.09/1821.05 o 141989 1817.09/1821.05 o 141911 1817.09/1821.05 o 141899 1817.09/1821.05 o 141783 1817.09/1821.05 o 141725 1817.09/1821.05 o 141705 1817.09/1821.05 o 141485 1817.09/1821.05 o 141473 1817.09/1821.05 o 141244 1817.09/1821.05 o 141186 1817.09/1821.05 o 141172 1817.09/1821.05 o 141160 1817.09/1821.05 o 141122 1817.09/1821.05 o 141064 1817.09/1821.05 o 139776 1817.09/1821.05 o 139222 1817.09/1821.05 o 139216 1817.09/1821.05 o 139158 1817.09/1821.05 o 139080 1817.09/1821.05 o 139068 1817.09/1821.05 o 138952 1817.09/1821.05 o 138894 1817.09/1821.05 o 138706 1817.09/1821.05 o 138654 1817.09/1821.05 o 138642 1817.09/1821.05 o 138596 1817.09/1821.05 o 138584 1817.09/1821.05 o 138462 1817.09/1821.05 o 138430 1817.09/1821.05 o 138418 1817.09/1821.05 o 138296 1817.09/1821.05 o 137252 1817.09/1821.05 o 137232 1817.09/1821.05 o 137220 1817.09/1821.05 o 137142 1817.09/1821.05 o 137130 1817.09/1821.05 o 137052 1817.09/1821.05 o 137014 1817.09/1821.05 o 136064 1817.09/1821.05 o 136058 1817.09/1821.05 o 136006 1817.09/1821.05 o 135922 1817.09/1821.05 o 135910 1817.09/1821.05 o 135832 1817.09/1821.05 o 135794 1817.09/1821.05 o 135782 1817.09/1821.05 o 135660 1817.09/1821.05 o 135616 1817.09/1821.05 o 135149 1817.09/1821.05 o 135129 1817.09/1821.05 o 134961 1817.09/1821.05 o 134909 1817.09/1821.05 o 134897 1817.09/1821.05 o 134865 1817.09/1821.05 o 134787 1817.09/1821.05 o 134775 1817.09/1821.05 o 134697 1817.09/1821.05 o 134659 1817.09/1821.05 o 134587 1817.09/1821.05 o 134549 1817.09/1821.05 o 134537 1817.09/1821.05 o 134308 1817.09/1821.05 o 134250 1817.09/1821.05 o 134222 1817.09/1821.05 o 134158 1817.09/1821.05 o 133288 1817.09/1821.05 o 133140 1817.09/1821.05 o 133082 1817.09/1821.05 o 133004 1817.09/1821.05 o 132992 1817.09/1821.05 o 132914 1817.09/1821.05 o 132876 1817.09/1821.05 o 132754 1817.09/1821.05 o 132748 1817.09/1821.05 o 132670 1817.09/1821.05 o 132632 1817.09/1821.05 o 130996 1817.09/1821.05 o 130987 1817.09/1821.05 o 130979 1817.09/1821.05 o 129334 1817.09/1821.05 o 127892 1817.09/1821.05 o 127355 1817.09/1821.05 o 127323 1817.09/1821.05 o 127245 1817.09/1821.05 o 127233 1817.09/1821.05 o 127155 1817.09/1821.05 o 127117 1817.09/1821.05 o 127097 1817.09/1821.05 o 126929 1817.09/1821.05 o 126865 1817.09/1821.05 o 126743 1817.09/1821.05 o 126514 1817.09/1821.05 o 126456 1817.09/1821.05 o 126448 1817.09/1821.05 o 126436 1817.09/1821.05 o 126392 1817.09/1821.05 o 126334 1817.09/1821.05 o 125046 1817.09/1821.05 o 125031 1817.09/1821.05 o 123987 1817.09/1821.05 o 123955 1817.09/1821.05 o 123877 1817.09/1821.05 o 123865 1817.09/1821.05 o 123813 1817.09/1821.05 o 123749 1817.09/1821.05 o 123741 1817.09/1821.05 o 123663 1817.09/1821.05 o 123619 1817.09/1821.05 o 123593 1817.09/1821.05 o 123555 1817.09/1821.05 o 123497 1817.09/1821.05 o 123491 1817.09/1821.05 o 123413 1817.09/1821.05 o 123375 1817.09/1821.05 o 122061 1817.09/1821.05 o 120631 1817.09/1821.05 o 120120 1817.09/1821.05 o 120088 1817.09/1821.05 o 120010 1817.09/1821.05 o 119920 1817.09/1821.05 o 119882 1817.09/1821.05 o 119833 1817.09/1821.05 o 119801 1817.09/1821.05 o 119723 1817.09/1821.05 o 119633 1817.09/1821.05 o 119595 1817.09/1821.05 o 119517 1817.09/1821.05 o 119473 1817.09/1821.05 o 119471 1817.09/1821.05 o 119381 1817.09/1821.05 o 119343 1817.09/1821.05 o 119291 1817.09/1821.05 o 119279 1817.09/1821.05 o 119221 1817.09/1821.05 o 119193 1817.09/1821.05 o 119155 1817.09/1821.05 o 119143 1817.09/1821.05 o 119099 1817.09/1821.05 o 118609 1817.09/1821.05 o 118577 1817.09/1821.05 o 118499 1817.09/1821.05 o 118487 1817.09/1821.05 o 118409 1817.09/1821.05 o 118371 1817.09/1821.05 o 118203 1817.09/1821.05 o 118187 1817.09/1821.05 o 118175 1817.09/1821.05 o 118097 1817.09/1821.05 o 118059 1817.09/1821.05 o 118007 1817.09/1821.05 o 117995 1817.09/1821.05 o 117957 1817.09/1821.05 o 117899 1817.09/1821.05 o 117855 1817.09/1821.05 o 117833 1817.09/1821.05 o 117815 1817.09/1821.05 o 117803 1817.09/1821.05 o 117765 1817.09/1821.05 o 117675 1817.09/1821.05 o 116335 1817.09/1821.05 o 116295 1817.09/1821.05 o 116283 1817.09/1821.05 o 116239 1817.09/1821.05 o 115865 1817.09/1821.05 o 115845 1817.09/1821.05 o 115677 1817.09/1821.05 o 115613 1817.09/1821.05 o 115607 1817.09/1821.05 o 115549 1817.09/1821.05 o 115471 1817.09/1821.05 o 115459 1817.09/1821.05 o 115381 1817.09/1821.05 o 115343 1817.09/1821.05 o 115175 1817.09/1821.05 o 115167 1817.09/1821.05 o 115155 1817.09/1821.05 o 115117 1817.09/1821.05 o 115039 1817.09/1821.05 o 114995 1817.09/1821.05 o 114334 1817.09/1821.05 o 114302 1817.09/1821.05 o 114224 1817.09/1821.05 o 114212 1817.09/1821.05 o 114160 1817.09/1821.05 o 114134 1817.09/1821.05 o 114096 1817.09/1821.05 o 113931 1817.09/1821.05 o 113867 1817.09/1821.05 o 113809 1817.09/1821.05 o 113641 1817.09/1821.05 o 113629 1817.09/1821.05 o 113615 1817.09/1821.05 o 113551 1817.09/1821.05 o 113539 1817.09/1821.05 o 113487 1817.09/1821.05 o 113461 1817.09/1821.05 o 113423 1817.09/1821.05 o 113345 1817.09/1821.05 o 113301 1817.09/1821.05 o 112559 1817.09/1821.05 o 112553 1817.09/1821.05 o 112495 1817.09/1821.05 o 112353 1817.09/1821.05 o 112327 1817.09/1821.05 o 112289 1817.09/1821.05 o 112121 1817.09/1821.05 o 112069 1817.09/1821.05 o 112057 1817.09/1821.05 o 112017 1817.09/1821.05 o 111913 1817.09/1821.05 o 111895 1817.09/1821.05 o 111805 1817.09/1821.05 o 110465 1817.09/1821.05 o 110407 1817.09/1821.05 o 109049 1817.09/1821.05 o 109030 1817.09/1821.05 o 109018 1817.09/1821.05 o 109006 1817.09/1821.05 o 108954 1817.09/1821.05 o 108928 1817.09/1821.05 o 108922 1817.09/1821.05 o 108910 1817.09/1821.05 o 108820 1817.09/1821.05 o 108814 1817.09/1821.05 o 108750 1817.09/1821.05 o 108724 1817.09/1821.05 o 107480 1817.09/1821.05 o 107422 1817.09/1821.05 o 107378 1817.09/1821.05 o 105904 1817.09/1821.05 o 105660 1817.09/1821.05 o 104398 1817.09/1821.05 o 104290 1817.09/1821.05 o 104284 1817.09/1821.05 o 104232 1817.09/1821.05 o 104148 1817.09/1821.05 o 104084 1817.09/1821.05 o 104058 1817.09/1821.05 o 103936 1817.09/1821.05 o 103368 1817.09/1821.05 o 103220 1817.09/1821.05 o 103168 1817.09/1821.05 o 103084 1817.09/1821.05 o 103020 1817.09/1821.05 o 102994 1817.09/1821.05 o 102826 1817.09/1821.05 o 102814 1817.09/1821.05 o 102788 1817.09/1821.05 o 102750 1817.09/1821.05 o 102692 1817.09/1821.05 o 101166 1817.09/1821.05 o 100432 1817.09/1821.05 o 100264 1817.09/1821.05 o 100212 1817.09/1821.05 o 100200 1817.09/1821.05 o 100096 1817.09/1821.05 o 100044 1817.09/1821.05 o 100032 1817.09/1821.05 o 99922 1817.09/1821.05 o 99910 1817.09/1821.05 o 99852 1817.09/1821.05 o 99716 1817.09/1821.05 o 99632 1817.09/1821.05 o 98318 1817.09/1821.05 o 98294 1817.09/1821.05 o 97438 1817.09/1821.05 o 97418 1817.09/1821.05 o 97360 1817.09/1821.05 o 97120 1817.09/1821.05 o 97108 1817.09/1821.05 o 97076 1817.09/1821.05 o 97064 1817.09/1821.05 o 96986 1817.09/1821.05 o 95576 1817.09/1821.05 o 95429 1817.09/1821.05 o 93993 1817.09/1821.05 o 93878 1817.09/1821.05 o 93866 1817.09/1821.05 o 93840 1817.09/1821.05 o 93744 1817.09/1821.05 o 93576 1817.09/1821.05 o 92262 1817.09/1821.05 o 92218 1817.09/1821.05 o 90530 1817.09/1821.05 o 89999 1817.09/1821.05 o 89851 1817.09/1821.05 o 89799 1817.09/1821.05 o 89625 1817.09/1821.05 o 89401 1817.09/1821.05 o 89323 1817.09/1821.05 o 89311 1817.09/1821.05 o 89146 1817.09/1821.05 o 89120 1817.09/1821.05 o 89082 1817.09/1821.05 o 89024 1817.09/1821.05 o 88902 1817.09/1821.05 o 87284 1817.09/1821.05 o 87248 1817.09/1821.05 o 85864 1817.09/1821.05 o 85624 1817.09/1821.05 o 85612 1817.09/1821.05 o 85568 1817.09/1821.05 o 84455 1817.09/1821.05 o 84215 1817.09/1821.05 o 84203 1817.09/1821.05 o 83974 1817.09/1821.05 o 83916 1817.09/1821.05 o 83880 1817.09/1821.05 o 82188 1817.09/1821.05 o 82156 1817.09/1821.05 o 82142 1817.09/1821.05 o 82130 1817.09/1821.05 o 82104 1817.09/1821.05 o 82090 1817.09/1821.05 o 82084 1817.09/1821.05 o 82038 1817.09/1821.05 o 82026 1817.09/1821.05 o 82008 1817.09/1821.05 o 81994 1817.09/1821.05 o 81982 1817.09/1821.05 o 81938 1817.09/1821.05 o 80862 1817.09/1821.05 o 80694 1817.09/1821.05 o 80670 1817.09/1821.05 o 80658 1817.09/1821.05 o 80598 1817.09/1821.05 o 79040 1817.09/1821.05 o 78895 1817.09/1821.05 o 77317 1817.09/1821.05 o 77313 1817.09/1821.05 o 77281 1817.09/1821.05 o 77261 1817.09/1821.05 o 77159 1817.09/1821.05 o 76789 1817.09/1821.05 o 76711 1817.09/1821.05 o 76685 1817.09/1821.05 o 76589 1817.09/1821.05 o 76349 1817.09/1821.05 o 76337 1817.09/1821.05 o 76259 1817.09/1821.05 o 76215 1817.09/1821.05 o 76047 1817.09/1821.05 o 75951 1817.09/1821.05 o 75915 1817.09/1821.05 o 75894 1817.09/1821.05 o 75856 1817.09/1821.05 o 75798 1817.09/1821.05 o 75786 1817.09/1821.05 o 75746 1817.09/1821.05 o 75734 1817.09/1821.05 o 75702 1817.09/1821.05 o 75676 1817.09/1821.05 o 75670 1817.09/1821.05 o 75624 1817.09/1821.05 o 75612 1817.09/1821.05 o 75580 1817.09/1821.05 o 75568 1817.09/1821.05 o 75089 1817.09/1821.05 o 74924 1817.09/1821.05 o 74898 1817.09/1821.05 o 74860 1817.09/1821.05 o 74802 1817.09/1821.05 o 74750 1817.09/1821.05 o 74634 1817.09/1821.05 o 74576 1817.09/1821.05 o 74446 1817.09/1821.05 o 74394 1817.09/1821.05 o 74382 1817.09/1821.05 o 74336 1817.09/1821.05 o 74324 1817.09/1821.05 o 74192 1817.09/1821.05 o 74176 1817.09/1821.05 o 74164 1817.09/1821.05 o 74128 1817.09/1821.05 o 74070 1817.09/1821.05 o 72782 1817.09/1821.05 o 71320 1817.09/1821.05 o 71277 1817.09/1821.05 o 71225 1817.09/1821.05 o 71051 1817.09/1821.05 o 71015 1817.09/1821.05 o 71003 1817.09/1821.05 o 70919 1817.09/1821.05 o 70739 1817.09/1821.05 o 70691 1817.09/1821.05 o 70679 1817.09/1821.05 o 70621 1817.09/1821.05 o 70447 1817.09/1821.05 o 69133 1817.09/1821.05 o 69089 1817.09/1821.05 o 68205 1817.09/1821.05 o 67981 1817.09/1821.05 o 67903 1817.09/1821.05 o 67867 1817.09/1821.05 o 67545 1817.09/1821.05 o 67539 1817.09/1821.05 o 66373 1817.09/1821.05 o 66295 1817.09/1821.05 o 66251 1817.09/1821.05 o 66083 1817.09/1821.05 o 65747 1817.09/1821.05 o 65700 1817.09/1821.05 o 64117 1817.09/1821.05 o 63787 1817.09/1821.05 o 62461 1817.09/1821.05 o 62436 1817.09/1821.05 o 62400 1817.09/1821.05 o 62391 1817.09/1821.05 o 61261 1817.09/1821.05 o 61121 1817.09/1821.05 o 60953 1817.09/1821.05 o 60799 1817.09/1821.05 o 60796 1817.09/1821.05 o 60678 1817.09/1821.05 o 60666 1817.09/1821.05 o 60600 1817.09/1821.05 o 60556 1817.09/1821.05 o 60544 1817.09/1821.05 o 60534 1817.09/1821.05 o 60482 1817.09/1821.05 o 60470 1817.09/1821.05 o 60412 1817.09/1821.05 o 60390 1817.09/1821.05 o 60378 1817.09/1821.05 o 60334 1817.09/1821.05 o 60310 1817.09/1821.05 o 60298 1817.09/1821.05 o 60246 1817.09/1821.05 o 60072 1817.09/1821.05 o 60047 1817.09/1821.05 o 60021 1817.09/1821.05 o 59983 1817.09/1821.05 o 59925 1817.09/1821.05 o 59803 1817.09/1821.05 o 59707 1817.09/1821.05 o 59671 1817.09/1821.05 o 59517 1817.09/1821.05 o 59181 1817.09/1821.05 o 59178 1817.09/1821.05 o 59169 1817.09/1821.05 o 59151 1817.09/1821.05 o 59139 1817.09/1821.05 o 59121 1817.09/1821.05 o 57653 1817.09/1821.05 o 57617 1817.09/1821.05 o 57568 1817.09/1821.05 o 57524 1817.09/1821.05 o 57513 1817.09/1821.05 o 57504 1817.09/1821.05 o 57473 1817.09/1821.05 o 57461 1817.09/1821.05 o 57452 1817.09/1821.05 o 57420 1817.09/1821.05 o 57408 1817.09/1821.05 o 56103 1817.09/1821.05 o 56094 1817.09/1821.05 o 55284 1817.09/1821.05 o 55226 1817.09/1821.05 o 55174 1817.09/1821.05 o 55000 1817.09/1821.05 o 54968 1817.09/1821.05 o 54956 1817.09/1821.05 o 54824 1817.09/1821.05 o 54792 1817.09/1821.05 o 54780 1817.09/1821.05 o 53710 1817.09/1821.05 o 53536 1817.09/1821.05 o 51918 1817.09/1821.05 o 51549 1817.09/1821.05 o 51320 1817.09/1821.05 o 51262 1817.09/1821.05 o 51220 1817.09/1821.05 o 51208 1817.09/1821.05 o 51162 1817.09/1821.05 o 51150 1817.09/1821.05 o 51144 1817.09/1821.05 o 51132 1817.09/1821.05 o 51118 1817.09/1821.05 o 51080 1817.09/1821.05 o 51022 1817.09/1821.05 o 51010 1817.09/1821.05 o 50946 1817.09/1821.05 o 50888 1817.09/1821.05 o 50050 1817.09/1821.05 o 50024 1817.09/1821.05 o 49986 1817.09/1821.05 o 49928 1817.09/1821.05 o 49906 1817.09/1821.05 o 49900 1817.09/1821.05 o 49854 1817.09/1821.05 o 49842 1817.09/1821.05 o 49714 1817.09/1821.05 o 49702 1817.09/1821.05 o 49630 1817.09/1821.05 o 49592 1817.09/1821.05 o 49534 1817.09/1821.05 o 49438 1817.09/1821.05 o 49402 1817.09/1821.05 o 49392 1817.09/1821.05 o 49356 1817.09/1821.05 o 49304 1817.09/1821.05 o 49292 1817.09/1821.05 o 49066 1817.09/1821.05 o 48973 1817.09/1821.05 o 48922 1817.09/1821.05 o 48910 1817.09/1821.05 o 48852 1817.09/1821.05 o 48753 1817.09/1821.05 o 48420 1817.09/1821.05 o 47507 1817.09/1821.05 o 47413 1817.09/1821.05 o 47395 1817.09/1821.05 o 47373 1817.09/1821.05 o 47364 1817.09/1821.05 o 47352 1817.09/1821.05 o 47306 1817.09/1821.05 o 47294 1817.09/1821.05 o 47201 1817.09/1821.05 o 47184 1817.09/1821.05 o 47126 1817.09/1821.05 o 47124 1817.09/1821.05 o 47086 1817.09/1821.05 o 47028 1817.09/1821.05 o 47021 1817.09/1821.05 o 47016 1817.09/1821.05 o 47009 1817.09/1821.05 o 47004 1817.09/1821.05 o 45995 1817.09/1821.05 o 45990 1817.09/1821.05 o 45801 1817.09/1821.05 o 45796 1817.09/1821.05 o 45743 1817.09/1821.05 o 45738 1817.09/1821.05 o 45719 1817.09/1821.05 o 45714 1817.09/1821.05 o 45681 1817.09/1821.05 o 45623 1817.09/1821.05 o 45618 1817.09/1821.05 o 45606 1817.09/1821.05 o 45496 1817.09/1821.05 o 45472 1817.09/1821.05 o 45443 1817.09/1821.05 o 45438 1817.09/1821.05 o 45432 1817.09/1821.05 o 45368 1817.09/1821.05 o 45339 1817.09/1821.05 o 45334 1817.09/1821.05 o 45282 1817.09/1821.05 o 45270 1817.09/1821.05 o 43712 1817.09/1821.05 o 42450 1817.09/1821.05 o 42019 1817.09/1821.05 o 41889 1817.09/1821.05 o 41831 1817.09/1821.05 o 41825 1817.09/1821.05 o 41779 1817.09/1821.05 o 41767 1817.09/1821.05 o 41639 1817.09/1821.05 o 41627 1817.09/1821.05 o 41617 1817.09/1821.05 o 41591 1817.09/1821.05 o 41553 1817.09/1821.05 o 41495 1817.09/1821.05 o 41471 1817.09/1821.05 o 41459 1817.09/1821.05 o 41421 1817.09/1821.05 o 41363 1817.09/1821.05 o 41327 1817.09/1821.05 o 41313 1817.09/1821.05 o 41275 1817.09/1821.05 o 41217 1817.09/1821.05 o 41159 1817.09/1821.05 o 41125 1817.09/1821.05 o 41003 1817.09/1821.05 o 40991 1817.09/1821.05 o 40902 1817.09/1821.05 o 40878 1817.09/1821.05 o 40866 1817.09/1821.05 o 40844 1817.09/1821.05 o 40832 1817.09/1821.05 o 39441 1817.09/1821.05 o 39423 1817.09/1821.05 o 39365 1817.09/1821.05 o 39301 1817.09/1821.05 o 39252 1817.09/1821.05 o 39236 1817.09/1821.05 o 39096 1817.09/1821.05 o 39084 1817.09/1821.05 o 39057 1817.09/1821.05 o 38923 1817.09/1821.05 o 37952 1817.09/1821.05 o 37946 1817.09/1821.05 o 37809 1817.09/1821.05 o 37797 1817.09/1821.05 o 37573 1817.09/1821.05 o 37382 1817.09/1821.05 o 37286 1817.09/1821.05 o 37266 1817.09/1821.05 o 37046 1817.09/1821.05 o 37034 1817.09/1821.05 o 36866 1817.09/1821.05 o 36860 1817.09/1821.05 o 36798 1817.09/1821.05 o 36792 1817.09/1821.05 o 36750 1817.09/1821.05 o 36744 1817.09/1821.05 o 36738 1817.09/1821.05 o 36672 1817.09/1821.05 o 36660 1817.09/1821.05 o 36501 1817.09/1821.05 o 36310 1817.09/1821.05 o 36214 1817.09/1821.05 o 36194 1817.09/1821.05 o 35962 1817.09/1821.05 o 35832 1817.09/1821.05 o 35736 1817.09/1821.05 o 35604 1817.09/1821.05 o 35598 1817.09/1821.05 o 35477 1817.09/1821.05 o 35337 1817.09/1821.05 o 35309 1817.09/1821.05 o 35275 1817.09/1821.05 o 34649 1817.09/1821.05 o 34458 1817.09/1821.05 o 34362 1817.09/1821.05 o 34302 1817.09/1821.05 o 34241 1817.09/1821.05 o 34209 1817.09/1821.05 o 34113 1817.09/1821.05 o 34101 1817.09/1821.05 o 34073 1817.09/1821.05 o 34051 1817.09/1821.05 o 34039 1817.09/1821.05 o 32829 1817.09/1821.05 o 32788 1817.09/1821.05 o 32776 1817.09/1821.05 o 32680 1817.09/1821.05 o 32573 1817.09/1821.05 o 32504 1817.09/1821.05 o 31268 1817.09/1821.05 o 30987 1817.09/1821.05 o 30796 1817.09/1821.05 o 30700 1817.09/1821.05 o 30680 1817.09/1821.05 o 30544 1817.09/1821.05 o 30448 1817.09/1821.05 o 30146 1817.09/1821.05 o 30130 1817.09/1821.05 o 30118 1817.09/1821.05 o 30096 1817.09/1821.05 o 30084 1817.09/1821.05 o 30073 1817.09/1821.05 o 30039 1817.09/1821.05 o 29938 1817.09/1821.05 o 29888 1817.09/1821.05 o 29876 1817.09/1821.05 o 29866 1817.09/1821.05 o 29794 1817.09/1821.05 o 29772 1817.09/1821.05 o 29760 1817.09/1821.05 o 29272 1817.09/1821.05 o 29032 1817.09/1821.05 o 29020 1817.09/1821.05 o 28718 1817.09/1821.05 o 28702 1817.09/1821.05 o 28690 1817.09/1821.05 o 28661 1817.09/1821.05 o 28635 1817.09/1821.05 o 28615 1817.09/1821.05 o 28447 1817.09/1821.05 o 28395 1817.09/1821.05 o 28383 1817.09/1821.05 o 27715 1817.09/1821.05 o 27689 1817.09/1821.05 o 27593 1817.09/1821.05 o 27573 1817.09/1821.05 o 27475 1817.09/1821.05 o 27463 1817.09/1821.05 o 27449 1817.09/1821.05 o 27353 1817.09/1821.05 o 27341 1817.09/1821.05 o 27301 1817.09/1821.05 o 27229 1817.09/1821.05 o 27133 1817.09/1821.05 o 26487 1817.09/1821.05 o 26322 1817.09/1821.05 o 26200 1817.09/1821.05 o 26176 1817.09/1821.05 o 26164 1817.09/1821.05 o 26135 1817.09/1821.05 o 26123 1817.09/1821.05 o 26097 1817.09/1821.05 o 26001 1817.09/1821.05 o 25670 1817.09/1821.05 o 25430 1817.09/1821.05 o 25418 1817.09/1821.05 o 25360 1817.09/1821.05 o 25058 1817.09/1821.05 o 23978 1817.09/1821.05 o 23978 1817.09/1821.05 o 23978 1817.09/1821.05 s SATISFIABLE 1817.09/1821.05 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: 63968 MiB (63043 MiB free)
memory of node 1: 64473 MiB (63335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437578-1722971683/watcher-4437578-1722971683 -o /tmp/evaluation-result-4437578-1722971683/solver-4437578-1722971683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722971683-351963 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437578-1722971683.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=352009, runsolver pid=351998
[startup+0.100317 s]*
/proc/loadavg: 0.93 1.10 1.66 6/266 352038
/proc/meminfo: memFree=129385008/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=22012 memory=9620 CPUtime=0.09 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1143 0 0 0 9 0 0 0 20 0 1 0 63770591 22540288 2405 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5503 2405 1153 2753 0 2156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40604 KiB
Current children cumulated memory: 13460 KiB
[startup+0.205938 s]*
/proc/loadavg: 0.93 1.10 1.66 5/266 352038
/proc/meminfo: memFree=129381124/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=0.2 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 19 1 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+0.305186 s]*
/proc/loadavg: 0.93 1.10 1.66 6/266 352038
/proc/meminfo: memFree=129361688/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=0.29 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 28 1 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+0.700316 s]
/proc/loadavg: 0.93 1.10 1.66 6/266 352038
/proc/meminfo: memFree=129352948/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=0.68 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 64 4 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+1.5002 s]
/proc/loadavg: 0.93 1.10 1.66 5/266 352040
/proc/meminfo: memFree=129352620/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=1.48 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 140 8 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+3.10541 s]
/proc/loadavg: 1.18 1.15 1.68 5/266 352040
/proc/meminfo: memFree=129352652/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=3.08 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 289 19 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+6.30019 s]
/proc/loadavg: 1.18 1.15 1.68 5/266 352040
/proc/meminfo: memFree=129352736/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=6.27 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 589 38 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+12.7003 s]
/proc/loadavg: 1.61 1.24 1.70 5/266 352041
/proc/meminfo: memFree=129337436/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=12.66 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 1195 71 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 1.33 1.73 5/266 352043
/proc/meminfo: memFree=129337428/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=25.43 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 2397 146 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+51.1062 s]
/proc/loadavg: 2.81 1.58 1.80 5/264 352048
/proc/meminfo: memFree=129336524/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9688 CPUtime=50.98 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1338 0 0 0 4800 298 0 0 20 0 1 0 63770591 22237184 2422 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2422 1169 2753 0 2082 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13528 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.01 1.93 5/264 352056
/proc/meminfo: memFree=129335628/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
################
# More data... #
################
/proc/352019/statm: 5429 2443 1169 2753 0 2082 0
Current children cumulated CPU time: 1718.63 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13612 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.08 3.79 5/265 352986
/proc/meminfo: memFree=129314432/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9772 CPUtime=1778.5 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1375 0 0 0 167263 10587 0 0 20 0 1 0 63770591 22237184 2443 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2443 1169 2753 0 2082 0
Current children cumulated CPU time: 1778.5 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13612 KiB
[startup+1821.07 s]
# the end of solver process 352009 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1710.31 s, system=106.856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.08 4.08 3.79 5/265 352988
/proc/meminfo: memFree=129314324/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2824 CPUtime=0 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 242 103 0 0 0 0 0 0 20 0 1 0 63770590 10170368 706 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 706 631 264 0 134 0
[pid=352017] ppid=352009 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/352017/stat : 352017 (timeout) S 352009 352017 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63770591 8867840 254 134679101440 94537916018688 94537916053704 140729782128192 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94537918151120 94537918153252 94537946353664 140729782129699 140729782129821 140729782129821 140729782136807 0
/proc/352017/statm: 2165 254 230 9 0 87 0
[pid=352019] ppid=352017 vsize=21716 memory=9772 CPUtime=1788.19 cores=4,6
/proc/352019/stat : 352019 (LS-MabP) R 352017 352017 351952 0 -1 4194304 1375 0 0 0 168172 10647 0 0 20 0 1 0 63770591 22237184 2443 134679101440 4194304 15467897 140726769804384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24596480 140726769812535 140726769812644 140726769812644 140726769819630 0
/proc/352019/statm: 5429 2443 1169 2753 0 2082 0
Current children cumulated CPU time: 1788.19 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13612 KiB
[startup+1804.8 s]
/proc/loadavg: 4.07 4.08 3.79 5/265 353057
/proc/meminfo: memFree=129054836/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=69756 memory=50964 CPUtime=6.76 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8175 0 0 0 674 2 0 0 20 0 1 0 63950391 71430144 12741 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17439 12741 804 745 0 16504 0
Current children cumulated CPU time: 1800.93 s
Current children cumulated vsize: 88348 KiB
Current children cumulated memory: 54820 KiB
[startup+1811.2 s]
/proc/loadavg: 4.14 4.09 3.80 5/265 353058
/proc/meminfo: memFree=128930796/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=71756 memory=55048 CPUtime=13.13 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8719 0 0 0 1311 2 0 0 20 0 1 0 63950391 73478144 13762 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17939 13762 804 745 0 17004 0
Current children cumulated CPU time: 1807.3 s
Current children cumulated vsize: 90348 KiB
Current children cumulated memory: 58904 KiB
[startup+1817.6 s]
/proc/loadavg: 4.12 4.09 3.80 5/265 353058
/proc/meminfo: memFree=128838020/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=71756 memory=55252 CPUtime=19.53 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8757 0 0 0 1950 3 0 0 20 0 1 0 63950391 73478144 13813 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17939 13813 804 745 0 17004 0
Current children cumulated CPU time: 1813.7 s
Current children cumulated vsize: 90348 KiB
Current children cumulated memory: 59108 KiB
[startup+1819.2 s]
/proc/loadavg: 4.12 4.09 3.80 6/265 353058
/proc/meminfo: memFree=128807600/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=71756 memory=55252 CPUtime=21.12 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8757 0 0 0 2109 3 0 0 20 0 1 0 63950391 73478144 13813 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17939 13813 804 745 0 17004 0
Current children cumulated CPU time: 1815.29 s
Current children cumulated vsize: 90348 KiB
Current children cumulated memory: 59108 KiB
[startup+1820 s]*
/proc/loadavg: 4.12 4.09 3.80 5/265 353058
/proc/meminfo: memFree=128796664/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=71756 memory=55252 CPUtime=21.93 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8757 0 0 0 2190 3 0 0 20 0 1 0 63950391 73478144 13813 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17939 13813 804 745 0 17004 0
Current children cumulated CPU time: 1816.1 s
Current children cumulated vsize: 90348 KiB
Current children cumulated memory: 59108 KiB
[startup+1820.8 s]
/proc/loadavg: 4.12 4.09 3.80 5/265 353058
/proc/meminfo: memFree=128796664/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=71756 memory=55252 CPUtime=22.72 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8765 0 0 0 2269 3 0 0 20 0 1 0 63950391 73478144 13813 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17939 13813 804 745 0 17004 0
Current children cumulated CPU time: 1816.89 s
Current children cumulated vsize: 90348 KiB
Current children cumulated memory: 59108 KiB
[startup+1821 s]*
/proc/loadavg: 4.12 4.09 3.80 5/265 353060
/proc/meminfo: memFree=128787280/131524600 swapFree=131071996/131071996
[pid=352009] ppid=351998 vsize=9932 memory=2884 CPUtime=1794.17 cores=4,6
/proc/352009/stat : 352009 (Hybrid-LSMabP+E) S 351998 352009 351952 0 -1 4194304 273 1648 0 0 0 0 168736 10681 20 0 1 0 63770590 10170368 721 134679101440 93972654018560 93972655097880 140726689604576 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93972657196336 93972657243524 93972667482112 140726689608682 140726689608827 140726689608827 140726689615842 0
/proc/352009/statm: 2483 721 631 264 0 134 0
[pid=352989] ppid=352009 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/352989/stat : 352989 (timeout) S 352009 352989 351952 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63950391 8867840 243 134679101440 94143356633088 94143356668104 140733535651216 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94143358765520 94143358767652 94143360647168 140733535654900 140733535655069 140733535655069 140733535662055 0
/proc/352989/statm: 2165 243 219 9 0 87 0
[pid=352990] ppid=352989 vsize=71756 memory=55252 CPUtime=22.92 cores=4,6
/proc/352990/stat : 352990 (Exact) R 352989 352989 351952 0 -1 4194304 8767 0 0 0 2289 3 0 0 20 0 1 0 63950391 73478144 13813 134679101440 4194304 7243121 140735176568528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 20725760 140735176569872 140735176570022 140735176570022 140735176577008 0
/proc/352990/statm: 17939 13813 804 745 0 17004 0
Current children cumulated CPU time: 1817.09 s
Current children cumulated vsize: 90348 KiB
Current children cumulated memory: 59108 KiB
Child status: 0
Real time (s): 1821.07
CPU time (s): 1817.17
CPU user time (s): 1710.31
CPU system time (s): 106.856
CPU usage (%): 99.7859
Max. virtual memory (cumulated for all children) (KiB): 90348
Max. memory (cumulated for all children) (KiB): 59108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.31
system time used= 106.856
maximum resident set size= 62564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 499
# summary of solver processes directly reported to runsolver:
# pid: 352009
# total CPU time (s): 1817.17
# total CPU user time (s): 1710.31
# total CPU system time (s): 106.856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.4083 second user time and 8.78978 second system time
The end
Begin job on nodeC033 at 2024-08-06 21:14:43 IDJOB=4437578 IDBENCH=148151 IDSOLVER=3071 FILE ID=nodeC033/4437578-1722971683 RUNJOBID= nodeC033-1722971683-351963 SLURM_JOB_ID= 8259072 Free space on /tmp= 890084 MiB SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437578-1722971683/watcher-4437578-1722971683 -o /tmp/evaluation-result-4437578-1722971683/solver-4437578-1722971683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722971683-351963 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437578-1722971683.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b RANDOM SEED=1634269090 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 : 3612.577 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.99 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 : 3582.279 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 : 7005.79 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 : 3647.050 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.99 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 : 3657.784 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 : 7005.79 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 : 3864.381 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.99 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 : 3654.543 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 : 7005.79 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 : 3621.843 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.99 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 : 3777.042 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 : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129412568 kB MemAvailable: 129774908 kB Buffers: 340284 kB Cached: 868136 kB SwapCached: 0 kB Active: 616396 kB Inactive: 974012 kB Active(anon): 1428 kB Inactive(anon): 418316 kB Active(file): 614968 kB Inactive(file): 555696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 84888 kB Writeback: 0 kB AnonPages: 382068 kB Mapped: 100148 kB Shmem: 37720 kB KReclaimable: 62996 kB Slab: 156552 kB SReclaimable: 62996 kB SUnreclaim: 93556 kB KernelStack: 3936 kB PageTables: 9160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 686508 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 29632 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 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: 320212 kB DirectMap2M: 9938944 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890000 MiB End job on nodeC033 at 2024-08-06 21:45:04