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 | 47342 | 1829.82 | 1834.12 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb |
| MD5SUM | cc2b167b604094044d9d141ee486a126 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 47342 |
| Best CPU time to get the best result obtained on this benchmark | 0.022153 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1152 |
| Total number of constraints | 1774 |
| Number of constraints which are clauses | 1774 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 39 |
| Number of terms in the objective function | 661 |
| Biggest coefficient in the objective function | 2133 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1049330 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2133 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1049330 |
| Number of bits of the biggest sum of numbers | 21 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1829.71/1834.10 o 188849 1829.71/1834.10 o 163298 1829.71/1834.10 o 163118 1829.71/1834.10 o 163104 1829.71/1834.10 o 163060 1829.71/1834.10 o 162944 1829.71/1834.10 o 162744 1829.71/1834.10 o 162075 1829.71/1834.10 o 161869 1829.71/1834.10 o 161825 1829.71/1834.10 o 161709 1829.71/1834.10 o 161578 1829.71/1834.10 o 161416 1829.71/1834.10 o 161404 1829.71/1834.10 o 161378 1829.71/1834.10 o 161282 1829.71/1834.10 o 161214 1829.71/1834.10 o 161202 1829.71/1834.10 o 161158 1829.71/1834.10 o 161100 1829.71/1834.10 o 160848 1829.71/1834.10 o 160802 1829.71/1834.10 o 160790 1829.71/1834.10 o 160726 1829.71/1834.10 o 160712 1829.71/1834.10 o 159360 1829.71/1834.10 o 159148 1829.71/1834.10 o 159143 1829.71/1834.10 o 159131 1829.71/1834.10 o 159073 1829.71/1834.10 o 159015 1829.71/1834.10 o 158835 1829.71/1834.10 o 158826 1829.71/1834.10 o 158521 1829.71/1834.10 o 158463 1829.71/1834.10 o 158171 1829.71/1834.10 o 156845 1829.71/1834.10 o 156836 1829.71/1834.10 o 156827 1829.71/1834.10 o 156822 1829.71/1834.10 o 156810 1829.71/1834.10 o 156738 1829.71/1834.10 o 156564 1829.71/1834.10 o 156527 1829.71/1834.10 o 156515 1829.71/1834.10 o 156509 1829.71/1834.10 o 156463 1829.71/1834.10 o 156451 1829.71/1834.10 o 156405 1829.71/1834.10 o 156393 1829.71/1834.10 o 156335 1829.71/1834.10 o 156315 1829.71/1834.10 o 156303 1829.71/1834.10 o 156291 1829.71/1834.10 o 156106 1829.71/1834.10 o 156048 1829.71/1834.10 o 155984 1829.71/1834.10 o 155781 1829.71/1834.10 o 155723 1829.71/1834.10 o 155714 1829.71/1834.10 o 155705 1829.71/1834.10 o 155659 1829.71/1834.10 o 155462 1829.71/1834.10 o 155457 1829.71/1834.10 o 155413 1829.71/1834.10 o 155355 1829.71/1834.10 o 155346 1829.71/1834.10 o 155302 1829.71/1834.10 o 155284 1829.71/1834.10 o 155276 1829.71/1834.10 o 155238 1829.71/1834.10 o 155226 1829.71/1834.10 o 155218 1829.71/1834.10 o 155102 1829.71/1834.10 o 153788 1829.71/1834.10 o 153704 1829.71/1834.10 o 153550 1829.71/1834.10 o 153548 1829.71/1834.10 o 153536 1829.71/1834.10 o 153502 1829.71/1834.10 o 153490 1829.71/1834.10 o 153447 1829.71/1834.10 o 153415 1829.71/1834.10 o 153351 1829.71/1834.10 o 153293 1829.71/1834.10 o 153268 1829.71/1834.10 o 153256 1829.71/1834.10 o 153244 1829.71/1834.10 o 153186 1829.71/1834.10 o 153177 1829.71/1834.10 o 153151 1829.71/1834.10 o 153142 1829.71/1834.10 o 153133 1829.71/1834.10 o 153115 1829.71/1834.10 o 153113 1829.71/1834.10 o 153104 1829.71/1834.10 o 152930 1829.71/1834.10 o 152913 1829.71/1834.10 o 152908 1829.71/1834.10 o 152899 1829.71/1834.10 o 152887 1829.71/1834.10 o 152869 1829.71/1834.10 o 152660 1829.71/1834.10 o 152486 1829.71/1834.10 o 152442 1829.71/1834.10 o 152326 1829.71/1834.10 o 152297 1829.71/1834.10 o 152239 1829.71/1834.10 o 152236 1829.71/1834.10 o 152227 1829.71/1834.10 o 152218 1829.71/1834.10 o 152210 1829.71/1834.10 o 152030 1829.71/1834.10 o 152018 1829.71/1834.10 o 151960 1829.71/1834.10 o 151757 1829.71/1834.10 o 151699 1829.71/1834.10 o 151653 1829.71/1834.10 o 151456 1829.71/1834.10 o 151412 1829.71/1834.10 o 151394 1829.71/1834.10 o 151377 1829.71/1834.10 o 151305 1829.71/1834.10 o 151131 1829.71/1834.10 o 151015 1829.71/1834.10 o 151004 1829.71/1834.10 o 150946 1829.71/1834.10 o 150902 1829.71/1834.10 o 150893 1829.71/1834.10 o 150875 1829.71/1834.10 o 150858 1829.71/1834.10 o 150684 1829.71/1834.10 o 150677 1829.71/1834.10 o 150619 1829.71/1834.10 o 150547 1829.71/1834.10 o 150431 1829.71/1834.10 o 150379 1829.71/1834.10 o 150367 1829.71/1834.10 o 150289 1829.71/1834.10 o 150245 1829.71/1834.10 o 150219 1829.71/1834.10 o 150181 1829.71/1834.10 o 150123 1829.71/1834.10 o 150097 1829.71/1834.10 o 150059 1829.71/1834.10 o 149943 1829.71/1834.10 o 149934 1829.71/1834.10 o 149896 1829.71/1834.10 o 149722 1829.71/1834.10 o 149606 1829.71/1834.10 o 149598 1829.71/1834.10 o 149352 1829.71/1834.10 o 149254 1829.71/1834.10 o 149210 1829.71/1834.10 o 149094 1829.71/1834.10 o 149072 1829.71/1834.10 o 149060 1829.71/1834.10 o 149008 1829.71/1834.10 o 148996 1829.71/1834.10 o 148987 1829.71/1834.10 o 148978 1829.71/1834.10 o 148844 1829.71/1834.10 o 148612 1829.71/1834.10 o 148610 1829.71/1834.10 o 148598 1829.71/1834.10 o 148586 1829.71/1834.10 o 148458 1829.71/1834.10 o 148440 1829.71/1834.10 o 148394 1829.71/1834.10 o 148197 1829.71/1834.10 o 147991 1829.71/1834.10 o 147875 1829.71/1834.10 o 147690 1829.71/1834.10 o 147632 1829.71/1834.10 o 147576 1829.71/1834.10 o 147568 1829.71/1834.10 o 147496 1829.71/1834.10 o 147322 1829.71/1834.10 o 147264 1829.71/1834.10 o 147226 1829.71/1834.10 o 147110 1829.71/1834.10 o 147109 1829.71/1834.10 o 147097 1829.71/1834.10 o 147085 1829.71/1834.10 o 147029 1829.71/1834.10 o 147020 1829.71/1834.10 o 147011 1829.71/1834.10 o 147002 1829.71/1834.10 o 146994 1829.71/1834.10 o 146923 1829.71/1834.10 o 146801 1829.71/1834.10 o 146721 1829.71/1834.10 o 146663 1829.71/1834.10 o 146608 1829.71/1834.10 o 146522 1829.71/1834.10 o 146434 1829.71/1834.10 o 146376 1829.71/1834.10 o 146348 1829.71/1834.10 o 146290 1829.71/1834.10 o 146218 1829.71/1834.10 o 146166 1829.71/1834.10 o 146154 1829.71/1834.10 o 146108 1829.71/1834.10 o 146096 1829.71/1834.10 o 146050 1829.71/1834.10 o 146038 1829.71/1834.10 o 146020 1829.71/1834.10 o 146008 1829.71/1834.10 o 145992 1829.71/1834.10 o 145980 1829.71/1834.10 o 145934 1829.71/1834.10 o 145922 1829.71/1834.10 o 145898 1829.71/1834.10 o 145840 1829.71/1834.10 o 145725 1829.71/1834.10 o 145667 1829.71/1834.10 o 145609 1829.71/1834.10 o 145597 1829.71/1834.10 o 145588 1829.71/1834.10 o 145554 1829.71/1834.10 o 145542 1829.71/1834.10 o 145409 1829.71/1834.10 o 145345 1829.71/1834.10 o 145342 1829.71/1834.10 o 145226 1829.71/1834.10 o 145217 1829.71/1834.10 o 145095 1829.71/1834.10 o 145077 1829.71/1834.10 o 145031 1829.71/1834.10 o 144834 1829.71/1834.10 o 144806 1829.71/1834.10 o 144794 1829.71/1834.10 o 144748 1829.71/1834.10 o 144736 1829.71/1834.10 o 144727 1829.71/1834.10 o 144718 1829.71/1834.10 o 144672 1829.71/1834.10 o 144660 1829.71/1834.10 o 144591 1829.71/1834.10 o 144579 1829.71/1834.10 o 144530 1829.71/1834.10 o 144521 1829.71/1834.10 o 144475 1829.71/1834.10 o 144443 1829.71/1834.10 o 144423 1829.71/1834.10 o 144379 1829.71/1834.10 o 144321 1829.71/1834.10 o 144078 1829.71/1834.10 o 144032 1829.71/1834.10 o 144020 1829.71/1834.10 o 143994 1829.71/1834.10 o 143956 1829.71/1834.10 o 143898 1829.71/1834.10 o 143840 1829.71/1834.10 o 143838 1829.71/1834.10 o 143800 1829.71/1834.10 o 143684 1829.71/1834.10 o 143675 1829.71/1834.10 o 143666 1829.71/1834.10 o 143661 1829.71/1834.10 o 143652 1829.71/1834.10 o 143594 1829.71/1834.10 o 143582 1829.71/1834.10 o 143486 1829.71/1834.10 o 143280 1829.71/1834.10 o 143164 1829.71/1834.10 o 143158 1829.71/1834.10 o 143100 1829.71/1834.10 o 143042 1829.71/1834.10 o 143034 1829.71/1834.10 o 142962 1829.71/1834.10 o 142788 1829.71/1834.10 o 141230 1829.71/1834.10 o 141219 1829.71/1834.10 o 141161 1829.71/1834.10 o 141117 1829.71/1834.10 o 141108 1829.71/1834.10 o 141103 1829.71/1834.10 o 141077 1829.71/1834.10 o 141039 1829.71/1834.10 o 140923 1829.71/1834.10 o 140865 1829.71/1834.10 o 140847 1829.71/1834.10 o 140842 1829.71/1834.10 o 140784 1829.71/1834.10 o 140775 1829.71/1834.10 o 140717 1829.71/1834.10 o 140699 1829.71/1834.10 o 140525 1829.71/1834.10 o 140522 1829.71/1834.10 o 140513 1829.71/1834.10 o 140385 1829.71/1834.10 o 140377 1829.71/1834.10 o 140366 1829.71/1834.10 o 140354 1829.71/1834.10 o 140296 1829.71/1834.10 o 140278 1829.71/1834.10 o 140269 1829.71/1834.10 o 140261 1829.71/1834.10 o 140256 1829.71/1834.10 o 140244 1829.71/1834.10 o 140064 1829.71/1834.10 o 140055 1829.71/1834.10 o 140046 1829.71/1834.10 o 139930 1829.71/1834.10 o 139925 1829.71/1834.10 o 139913 1829.71/1834.10 o 139855 1829.71/1834.10 o 139739 1829.71/1834.10 o 139675 1829.71/1834.10 o 139657 1829.71/1834.10 o 139472 1829.71/1834.10 o 139414 1829.71/1834.10 o 139368 1829.71/1834.10 o 139171 1829.71/1834.10 o 139137 1829.71/1834.10 o 139125 1829.71/1834.10 o 138951 1829.71/1834.10 o 138942 1829.71/1834.10 o 138933 1829.71/1834.10 o 138927 1829.71/1834.10 o 138811 1829.71/1834.10 o 138718 1829.71/1834.10 o 138506 1829.71/1834.10 o 138448 1829.71/1834.10 o 138392 1829.71/1834.10 o 138384 1829.71/1834.10 o 138268 1829.71/1834.10 o 136870 1829.71/1834.10 o 136844 1829.71/1834.10 o 136786 1829.71/1834.10 o 136768 1829.71/1834.10 o 136522 1829.71/1834.10 o 136516 1829.71/1834.10 o 136458 1829.71/1834.10 o 136414 1829.71/1834.10 o 136406 1829.71/1834.10 o 134823 1829.71/1834.10 o 133205 1829.71/1834.10 o 133147 1829.71/1834.10 o 133112 1829.71/1834.10 o 133040 1829.71/1834.10 o 132924 1829.71/1834.10 o 132860 1829.71/1834.10 o 131242 1829.71/1834.10 o 131228 1829.71/1834.10 o 131216 1829.71/1834.10 o 131100 1829.71/1834.10 o 131042 1829.71/1834.10 o 130986 1829.71/1834.10 o 130978 1829.71/1834.10 o 130804 1829.71/1834.10 o 130642 1829.71/1834.10 o 130546 1829.71/1834.10 o 130430 1829.71/1834.10 o 130332 1829.71/1834.10 o 130288 1829.71/1834.10 o 130172 1829.71/1834.10 o 130166 1829.71/1834.10 o 130154 1829.71/1834.10 o 130096 1829.71/1834.10 o 130038 1829.71/1834.10 o 130033 1829.71/1834.10 o 129975 1829.71/1834.10 o 129859 1829.71/1834.10 o 129850 1829.71/1834.10 o 129841 1829.71/1834.10 o 129769 1829.71/1834.10 o 129653 1829.71/1834.10 o 129601 1829.71/1834.10 o 129589 1829.71/1834.10 o 129583 1829.71/1834.10 o 129525 1829.71/1834.10 o 129340 1829.71/1834.10 o 129282 1829.71/1834.10 o 129039 1829.71/1834.10 o 129001 1829.71/1834.10 o 128827 1829.71/1834.10 o 128699 1829.71/1834.10 o 128493 1829.71/1834.10 o 128377 1829.71/1834.10 o 128299 1829.71/1834.10 o 128255 1829.71/1834.10 o 128199 1829.71/1834.10 o 128191 1829.71/1834.10 o 128182 1829.71/1834.10 o 128110 1829.71/1834.10 o 127936 1829.71/1834.10 o 127664 1829.71/1834.10 o 127632 1829.71/1834.10 o 127536 1829.71/1834.10 o 127420 1829.71/1834.10 o 127412 1829.71/1834.10 o 127247 1829.71/1834.10 o 127221 1829.71/1834.10 o 127125 1829.71/1834.10 o 127116 1829.71/1834.10 o 127070 1829.71/1834.10 o 126873 1829.71/1834.10 o 126864 1829.71/1834.10 o 126852 1829.71/1834.10 o 126835 1829.71/1834.10 o 126817 1829.71/1834.10 o 126805 1829.71/1834.10 o 126753 1829.71/1834.10 o 126741 1829.71/1834.10 o 126625 1829.71/1834.10 o 126567 1829.71/1834.10 o 126451 1829.71/1834.10 o 126442 1829.71/1834.10 o 126434 1829.71/1834.10 o 126393 1829.71/1834.10 o 126384 1829.71/1834.10 o 126376 1829.71/1834.10 o 126318 1829.71/1834.10 o 126144 1829.71/1834.10 o 126086 1829.71/1834.10 o 126074 1829.71/1834.10 o 126046 1829.71/1834.10 o 126034 1829.71/1834.10 o 126016 1829.71/1834.10 o 125900 1829.71/1834.10 o 125784 1829.71/1834.10 o 124226 1829.71/1834.10 o 124201 1829.71/1834.10 o 124143 1829.71/1834.10 o 124137 1829.71/1834.10 o 124091 1829.71/1834.10 o 124079 1829.71/1834.10 o 124067 1829.71/1834.10 o 124051 1829.71/1834.10 o 123949 1829.71/1834.10 o 123891 1829.71/1834.10 o 123845 1829.71/1834.10 o 123833 1829.71/1834.10 o 123824 1829.71/1834.10 o 123816 1829.71/1834.10 o 123759 1829.71/1834.10 o 123753 1829.71/1834.10 o 123695 1829.71/1834.10 o 123686 1829.71/1834.10 o 123677 1829.71/1834.10 o 123671 1829.71/1834.10 o 123668 1829.71/1834.10 o 123659 1829.71/1834.10 o 123650 1829.71/1834.10 o 123642 1829.71/1834.10 o 123623 1829.71/1834.10 o 123614 1829.71/1834.10 o 123602 1829.71/1834.10 o 123544 1829.71/1834.10 o 123526 1829.71/1834.10 o 123352 1829.71/1834.10 o 123294 1829.71/1834.10 o 123022 1829.71/1834.10 o 122732 1829.71/1834.10 o 121302 1829.71/1834.10 o 121293 1829.71/1834.10 o 121291 1829.71/1834.10 o 121285 1829.71/1834.10 o 121273 1829.71/1834.10 o 121159 1829.71/1834.10 o 121147 1829.71/1834.10 o 121135 1829.71/1834.10 o 121126 1829.71/1834.10 o 121117 1829.71/1834.10 o 120984 1829.71/1834.10 o 120944 1829.71/1834.10 o 120932 1829.71/1834.10 o 120920 1829.71/1834.10 o 120912 1829.71/1834.10 o 120755 1829.71/1834.10 o 120746 1829.71/1834.10 o 120738 1829.71/1834.10 o 120700 1829.71/1834.10 o 120688 1829.71/1834.10 o 120680 1829.71/1834.10 o 120622 1829.71/1834.10 o 120564 1829.71/1834.10 o 120448 1829.71/1834.10 o 120158 1829.71/1834.10 o 119926 1829.71/1834.10 o 119923 1829.71/1834.10 o 119914 1829.71/1834.10 o 119887 1829.71/1834.10 o 119771 1829.71/1834.10 o 119762 1829.71/1834.10 o 119722 1829.71/1834.10 o 119704 1829.71/1834.10 o 119676 1829.71/1834.10 o 119658 1829.71/1834.10 o 119646 1829.71/1834.10 o 119638 1829.71/1834.10 o 119630 1829.71/1834.10 o 119595 1829.71/1834.10 o 119537 1829.71/1834.10 o 119528 1829.71/1834.10 o 119520 1829.71/1834.10 o 119482 1829.71/1834.10 o 119464 1829.71/1834.10 o 119447 1829.71/1834.10 o 119435 1829.71/1834.10 o 119423 1829.71/1834.10 o 119414 1829.71/1834.10 o 119406 1829.71/1834.10 o 119383 1829.71/1834.10 o 119374 1829.71/1834.10 o 119325 1829.71/1834.10 o 119316 1829.71/1834.10 o 119308 1829.71/1834.10 o 119307 1829.71/1834.10 o 119298 1829.71/1834.10 o 119290 1829.71/1834.10 o 119232 1829.71/1834.10 o 119218 1829.71/1834.10 o 119200 1829.71/1834.10 o 119188 1829.71/1834.10 o 119176 1829.71/1834.10 o 119132 1829.71/1834.10 o 119076 1829.71/1834.10 o 118960 1829.71/1834.10 o 118951 1829.71/1834.10 o 118942 1829.71/1834.10 o 118934 1829.71/1834.10 o 118760 1829.71/1834.10 o 118758 1829.71/1834.10 o 118746 1829.71/1834.10 o 118737 1829.71/1834.10 o 118720 1829.71/1834.10 o 118702 1829.71/1834.10 o 118464 1829.71/1834.10 o 117202 1829.71/1834.10 o 116970 1829.71/1834.10 o 115630 1829.71/1834.10 o 115546 1829.71/1834.10 o 115474 1829.71/1834.10 o 113724 1829.71/1834.10 o 113722 1829.71/1834.10 o 113710 1829.71/1834.10 o 113687 1829.71/1834.10 o 113615 1829.71/1834.10 o 113603 1829.71/1834.10 o 113594 1829.71/1834.10 o 113505 1829.71/1834.10 o 113453 1829.71/1834.10 o 113441 1829.71/1834.10 o 113381 1829.71/1834.10 o 113369 1829.71/1834.10 o 113363 1829.71/1834.10 o 113351 1829.71/1834.10 o 113340 1829.71/1834.10 o 113244 1829.71/1834.10 o 113235 1829.71/1834.10 o 113195 1829.71/1834.10 o 113177 1829.71/1834.10 o 113151 1829.71/1834.10 o 113133 1829.71/1834.10 o 113075 1829.71/1834.10 o 113019 1829.71/1834.10 o 113010 1829.71/1834.10 o 113002 1829.71/1834.10 o 112930 1829.71/1834.10 o 112756 1829.71/1834.10 o 112736 1829.71/1834.10 o 112692 1829.71/1834.10 o 112576 1829.71/1834.10 o 112542 1829.71/1834.10 o 112533 1829.71/1834.10 o 112477 1829.71/1834.10 o 112468 1829.71/1834.10 o 112460 1829.71/1834.10 o 112396 1829.71/1834.10 o 112106 1829.71/1834.10 o 111770 1829.71/1834.10 o 111766 1829.71/1834.10 o 111708 1829.71/1834.10 o 111702 1829.71/1834.10 o 111690 1829.71/1834.10 o 110359 1829.71/1834.10 o 110324 1829.71/1834.10 o 110194 1829.71/1834.10 o 110130 1829.71/1834.10 o 110072 1829.71/1834.10 o 110012 1829.71/1834.10 o 109974 1829.71/1834.10 o 109956 1829.71/1834.10 o 109929 1829.71/1834.10 o 109840 1829.71/1834.10 o 109808 1829.71/1834.10 o 109744 1829.71/1834.10 o 109686 1829.71/1834.10 o 109678 1829.71/1834.10 o 109670 1829.71/1834.10 o 109614 1829.71/1834.10 o 109606 1829.71/1834.10 o 109490 1829.71/1834.10 o 109432 1829.71/1834.10 o 109258 1829.71/1834.10 o 109084 1829.71/1834.10 o 109080 1829.71/1834.10 o 109072 1829.71/1834.10 o 108834 1829.71/1834.10 o 108762 1829.71/1834.10 o 108728 1829.71/1834.10 o 108716 1829.71/1834.10 o 108530 1829.71/1834.10 o 108492 1829.71/1834.10 o 108474 1829.71/1834.10 o 108460 1829.71/1834.10 o 106902 1829.71/1834.10 o 106866 1829.71/1834.10 o 106854 1829.71/1834.10 o 106842 1829.71/1834.10 o 106802 1829.71/1834.10 o 106790 1829.71/1834.10 o 106750 1829.71/1834.10 o 106738 1829.71/1834.10 o 106726 1829.71/1834.10 o 106718 1829.71/1834.10 o 106663 1829.71/1834.10 o 106651 1829.71/1834.10 o 106611 1829.71/1834.10 o 106599 1829.71/1834.10 o 106587 1829.71/1834.10 o 106550 1829.71/1834.10 o 106538 1829.71/1834.10 o 106504 1829.71/1834.10 o 106492 1829.71/1834.10 o 106480 1829.71/1834.10 o 106434 1829.71/1834.10 o 106422 1829.71/1834.10 o 106416 1829.71/1834.10 o 106300 1829.71/1834.10 o 106190 1829.71/1834.10 o 106178 1829.71/1834.10 o 106120 1829.71/1834.10 o 105914 1829.71/1834.10 o 105798 1829.71/1834.10 o 105740 1829.71/1834.10 o 105702 1829.71/1834.10 o 105684 1829.71/1834.10 o 105676 1829.71/1834.10 o 105570 1829.71/1834.10 o 105552 1829.71/1834.10 o 105474 1829.71/1834.10 o 105430 1829.71/1834.10 o 105270 1829.71/1834.10 o 105186 1829.71/1834.10 o 105174 1829.71/1834.10 o 105162 1829.71/1834.10 o 105154 1829.71/1834.10 o 104882 1829.71/1834.10 o 104872 1829.71/1834.10 o 103676 1829.71/1834.10 o 103638 1829.71/1834.10 o 103506 1829.71/1834.10 o 103368 1829.71/1834.10 o 103328 1829.71/1834.10 o 103258 1829.71/1834.10 o 103172 1829.71/1834.10 o 103154 1829.71/1834.10 o 103140 1829.71/1834.10 o 103022 1829.71/1834.10 o 102988 1829.71/1834.10 o 102974 1829.71/1834.10 o 102836 1829.71/1834.10 o 102719 1829.71/1834.10 o 102705 1829.71/1834.10 o 102621 1829.71/1834.10 o 102607 1829.71/1834.10 o 102549 1829.71/1834.10 o 102543 1829.71/1834.10 o 102529 1829.71/1834.10 o 102309 1829.71/1834.10 o 102297 1829.71/1834.10 o 102291 1829.71/1834.10 o 102289 1829.71/1834.10 o 102277 1829.71/1834.10 o 102239 1829.71/1834.10 o 102181 1829.71/1834.10 o 102120 1829.71/1834.10 o 102106 1829.71/1834.10 o 102094 1829.71/1834.10 o 102044 1829.71/1834.10 o 102030 1829.71/1834.10 o 101972 1829.71/1834.10 o 101096 1829.71/1834.10 o 100760 1829.71/1834.10 o 100520 1829.71/1834.10 o 100508 1829.71/1834.10 o 100482 1829.71/1834.10 o 100438 1829.71/1834.10 o 100424 1829.71/1834.10 o 100400 1829.71/1834.10 o 100386 1829.71/1834.10 o 100354 1829.71/1834.10 o 100340 1829.71/1834.10 o 100328 1829.71/1834.10 o 100319 1829.71/1834.10 o 100192 1829.71/1834.10 o 100134 1829.71/1834.10 o 100088 1829.71/1834.10 o 100076 1829.71/1834.10 o 99223 1829.71/1834.10 o 99188 1829.71/1834.10 o 99058 1829.71/1834.10 o 98994 1829.71/1834.10 o 98936 1829.71/1834.10 o 98892 1829.71/1834.10 o 98878 1829.71/1834.10 o 98846 1829.71/1834.10 o 98832 1829.71/1834.10 o 98820 1829.71/1834.10 o 98811 1829.71/1834.10 o 98794 1829.71/1834.10 o 98780 1829.71/1834.10 o 98768 1829.71/1834.10 o 98744 1829.71/1834.10 o 98730 1829.71/1834.10 o 98692 1829.71/1834.10 o 98678 1829.71/1834.10 o 98640 1829.71/1834.10 o 98628 1829.71/1834.10 o 98626 1829.71/1834.10 o 98614 1829.71/1834.10 o 98606 1829.71/1834.10 o 98568 1829.71/1834.10 o 98452 1829.71/1834.10 o 98406 1829.71/1834.10 o 98394 1829.71/1834.10 o 98385 1829.71/1834.10 o 98376 1829.71/1834.10 o 98274 1829.71/1834.10 o 98260 1829.71/1834.10 o 98210 1829.71/1834.10 o 98196 1829.71/1834.10 o 98150 1829.71/1834.10 o 98092 1829.71/1834.10 o 98080 1829.71/1834.10 o 98074 1829.71/1834.10 o 98022 1829.71/1834.10 o 97970 1829.71/1834.10 o 97958 1829.71/1834.10 o 97804 1829.71/1834.10 o 97792 1829.71/1834.10 o 97722 1829.71/1834.10 o 97708 1829.71/1834.10 o 97482 1829.71/1834.10 o 97470 1829.71/1834.10 o 97468 1829.71/1834.10 o 97456 1829.71/1834.10 o 97421 1829.71/1834.10 o 97253 1829.71/1834.10 o 97239 1829.71/1834.10 o 97195 1829.71/1834.10 o 97181 1829.71/1834.10 o 97169 1829.71/1834.10 o 97117 1829.71/1834.10 o 97111 1829.71/1834.10 o 97065 1829.71/1834.10 o 97053 1829.71/1834.10 o 97021 1829.71/1834.10 o 97009 1829.71/1834.10 o 97007 1829.71/1834.10 o 96995 1829.71/1834.10 o 96953 1829.71/1834.10 o 96941 1829.71/1834.10 o 96929 1829.71/1834.10 o 96915 1829.71/1834.10 o 96877 1829.71/1834.10 o 96761 1829.71/1834.10 o 96752 1829.71/1834.10 o 96750 1829.71/1834.10 o 96576 1829.71/1834.10 o 96526 1829.71/1834.10 o 96512 1829.71/1834.10 o 96462 1829.71/1834.10 o 96448 1829.71/1834.10 o 96430 1829.71/1834.10 o 96418 1829.71/1834.10 o 96404 1829.71/1834.10 o 96398 1829.71/1834.10 o 96386 1829.71/1834.10 o 96230 1829.71/1834.10 o 96210 1829.71/1834.10 o 96042 1829.71/1834.10 o 95978 1829.71/1834.10 o 95846 1829.71/1834.10 o 95832 1829.71/1834.10 o 95826 1829.71/1834.10 o 95812 1829.71/1834.10 o 95658 1829.71/1834.10 o 95644 1829.71/1834.10 o 95594 1829.71/1834.10 o 95580 1829.71/1834.10 o 95522 1829.71/1834.10 o 95490 1829.71/1834.10 o 95481 1829.71/1834.10 o 95464 1829.71/1834.10 o 95456 1829.71/1834.10 o 95447 1829.71/1834.10 o 95438 1829.71/1834.10 o 95362 1829.71/1834.10 o 95348 1829.71/1834.10 o 95296 1829.71/1834.10 o 95284 1829.71/1834.10 o 95278 1829.71/1834.10 o 95276 1829.71/1834.10 o 95264 1829.71/1834.10 o 95236 1829.71/1834.10 o 95224 1829.71/1834.10 o 95215 1829.71/1834.10 o 95206 1829.71/1834.10 o 95180 1829.71/1834.10 o 95166 1829.71/1834.10 o 95108 1829.71/1834.10 o 95102 1829.71/1834.10 o 95090 1829.71/1834.10 o 95084 1829.71/1834.10 o 95070 1829.71/1834.10 o 95058 1829.71/1834.10 o 94974 1829.71/1834.10 o 94962 1829.71/1834.10 o 94956 1829.71/1834.10 o 94858 1829.71/1834.10 o 94854 1829.71/1834.10 o 94840 1829.71/1834.10 o 94838 1829.71/1834.10 o 94826 1829.71/1834.10 o 94822 1829.71/1834.10 o 94808 1829.71/1834.10 o 94780 1829.71/1834.10 o 94768 1829.71/1834.10 o 94764 1829.71/1834.10 o 94762 1829.71/1834.10 o 94750 1829.71/1834.10 o 94702 1829.71/1834.10 o 94690 1829.71/1834.10 o 94681 1829.71/1834.10 o 94585 1829.71/1834.10 o 94571 1829.71/1834.10 o 94533 1829.71/1834.10 o 94521 1829.71/1834.10 o 94519 1829.71/1834.10 o 94507 1829.71/1834.10 o 94496 1829.71/1834.10 o 94400 1829.71/1834.10 o 94391 1829.71/1834.10 o 94347 1829.71/1834.10 o 94312 1829.71/1834.10 o 94298 1829.71/1834.10 o 94289 1829.71/1834.10 o 94285 1829.71/1834.10 o 94280 1829.71/1834.10 o 94271 1829.71/1834.10 o 94094 1829.71/1834.10 o 94076 1829.71/1834.10 o 94064 1829.71/1834.10 o 93760 1829.71/1834.10 o 93746 1829.71/1834.10 o 93740 1829.71/1834.10 o 93728 1829.71/1834.10 o 93592 1829.71/1834.10 o 93438 1829.71/1834.10 o 93436 1829.71/1834.10 o 93424 1829.71/1834.10 o 93415 1829.71/1834.10 o 93392 1829.71/1834.10 o 93380 1829.71/1834.10 o 93371 1829.71/1834.10 o 93369 1829.71/1834.10 o 93366 1829.71/1834.10 o 93357 1829.71/1834.10 o 93299 1829.71/1834.10 o 93274 1829.71/1834.10 o 93216 1829.71/1834.10 o 93204 1829.71/1834.10 o 93195 1829.71/1834.10 o 93190 1829.71/1834.10 o 93181 1829.71/1834.10 o 93146 1829.71/1834.10 o 93137 1829.71/1834.10 o 93088 1829.71/1834.10 o 93079 1829.71/1834.10 o 93030 1829.71/1834.10 o 93021 1829.71/1834.10 o 92978 1829.71/1834.10 o 92969 1829.71/1834.10 o 92963 1829.71/1834.10 o 92914 1829.71/1834.10 o 92905 1829.71/1834.10 o 92882 1829.71/1834.10 o 92873 1829.71/1834.10 o 92870 1829.71/1834.10 o 92861 1829.71/1834.10 o 92859 1829.71/1834.10 o 92850 1829.71/1834.10 o 92813 1829.71/1834.10 o 92801 1829.71/1834.10 o 92792 1829.71/1834.10 o 92746 1829.71/1834.10 o 92734 1829.71/1834.10 o 92636 1829.71/1834.10 o 92618 1829.71/1834.10 o 92605 1829.71/1834.10 o 92599 1829.71/1834.10 o 92587 1829.71/1834.10 o 92390 1829.71/1834.10 o 92384 1829.71/1834.10 o 92372 1829.71/1834.10 o 90840 1829.71/1834.10 o 90826 1829.71/1834.10 o 90788 1829.71/1834.10 o 90614 1829.71/1834.10 o 90556 1829.71/1834.10 o 90544 1829.71/1834.10 o 90480 1829.71/1834.10 o 90462 1829.71/1834.10 o 90277 1829.71/1834.10 o 90219 1829.71/1834.10 o 90201 1829.71/1834.10 o 90167 1829.71/1834.10 o 90155 1829.71/1834.10 o 89958 1829.71/1834.10 o 89830 1829.71/1834.10 o 89714 1829.71/1834.10 o 89670 1829.71/1834.10 o 89612 1829.71/1834.10 o 89540 1829.71/1834.10 o 89366 1829.71/1834.10 o 89350 1829.71/1834.10 o 89292 1829.71/1834.10 o 89164 1829.71/1834.10 o 89155 1829.71/1834.10 o 89039 1829.71/1834.10 o 89001 1829.71/1834.10 o 88983 1829.71/1834.10 o 88975 1829.71/1834.10 o 88963 1829.71/1834.10 o 88835 1829.71/1834.10 o 88661 1829.71/1834.10 o 88551 1829.71/1834.10 o 88487 1829.71/1834.10 o 88371 1829.71/1834.10 o 88156 1829.71/1834.10 o 88040 1829.71/1834.10 o 88035 1829.71/1834.10 o 88026 1829.71/1834.10 o 87996 1829.71/1834.10 o 87984 1829.71/1834.10 o 87975 1829.71/1834.10 o 87966 1829.71/1834.10 o 87928 1829.71/1834.10 o 87910 1829.71/1834.10 o 87904 1829.71/1834.10 o 87846 1829.71/1834.10 o 87730 1829.71/1834.10 o 86468 1829.71/1834.10 o 85128 1829.71/1834.10 o 85123 1829.71/1834.10 o 85065 1829.71/1834.10 o 85047 1829.71/1834.10 o 84838 1829.71/1834.10 o 84664 1829.71/1834.10 o 84631 1829.71/1834.10 o 84573 1829.71/1834.10 o 84495 1829.71/1834.10 o 84451 1829.71/1834.10 o 84448 1829.71/1834.10 o 84245 1829.71/1834.10 o 84213 1829.71/1834.10 o 84167 1829.71/1834.10 o 84135 1829.71/1834.10 o 84115 1829.71/1834.10 o 84013 1829.71/1834.10 o 83975 1829.71/1834.10 o 83957 1829.71/1834.10 o 83841 1829.71/1834.10 o 83626 1829.71/1834.10 o 83510 1829.71/1834.10 o 83412 1829.71/1834.10 o 83278 1829.71/1834.10 o 83261 1829.71/1834.10 o 83249 1829.71/1834.10 o 83040 1829.71/1834.10 o 82866 1829.71/1834.10 o 82681 1829.71/1834.10 o 82623 1829.71/1834.10 o 82507 1829.71/1834.10 o 82461 1829.71/1834.10 o 82264 1829.71/1834.10 o 82090 1829.71/1834.10 o 81962 1829.71/1834.10 o 81906 1829.71/1834.10 o 81732 1829.71/1834.10 o 81399 1829.71/1834.10 o 81387 1829.71/1834.10 o 81381 1829.71/1834.10 o 81265 1829.71/1834.10 o 81149 1829.71/1834.10 o 80981 1829.71/1834.10 o 80653 1829.71/1834.10 o 80647 1829.71/1834.10 o 80497 1829.71/1834.10 o 80463 1829.71/1834.10 o 80437 1829.71/1834.10 o 80379 1829.71/1834.10 o 80341 1829.71/1834.10 o 80323 1829.71/1834.10 o 80207 1829.71/1834.10 o 80193 1829.71/1834.10 o 80181 1829.71/1834.10 o 80065 1829.71/1834.10 o 79827 1829.71/1834.10 o 79786 1829.71/1834.10 o 79748 1829.71/1834.10 o 79730 1829.71/1834.10 o 79533 1829.71/1834.10 o 79507 1829.71/1834.10 o 79469 1829.71/1834.10 o 79353 1829.71/1834.10 o 79309 1829.71/1834.10 o 79306 1829.71/1834.10 o 79103 1829.71/1834.10 o 79071 1829.71/1834.10 o 79025 1829.71/1834.10 o 78993 1829.71/1834.10 o 78929 1829.71/1834.10 o 78871 1829.71/1834.10 o 78799 1829.71/1834.10 o 78625 1829.71/1834.10 o 78613 1829.71/1834.10 o 78497 1829.71/1834.10 o 78381 1829.71/1834.10 o 78329 1829.71/1834.10 o 78207 1829.71/1834.10 o 78173 1829.71/1834.10 o 77935 1829.71/1834.10 o 77930 1829.71/1834.10 o 77918 1829.71/1834.10 o 77860 1829.71/1834.10 o 77842 1829.71/1834.10 o 77796 1829.71/1834.10 o 77599 1829.71/1834.10 o 76409 1829.71/1834.10 o 76392 1829.71/1834.10 o 76387 1829.71/1834.10 o 76381 1829.71/1834.10 o 76369 1829.71/1834.10 o 76349 1829.71/1834.10 o 76331 1829.71/1834.10 o 76329 1829.71/1834.10 o 76317 1829.71/1834.10 o 76305 1829.71/1834.10 o 76277 1829.71/1834.10 o 76259 1829.71/1834.10 o 76225 1829.71/1834.10 o 76213 1829.71/1834.10 o 76207 1829.71/1834.10 o 76195 1829.71/1834.10 o 76171 1829.71/1834.10 o 76113 1829.71/1834.10 o 76041 1829.71/1834.10 o 75867 1829.71/1834.10 o 75751 1829.71/1834.10 o 75699 1829.71/1834.10 o 75609 1829.71/1834.10 o 75595 1829.71/1834.10 o 75531 1829.71/1834.10 o 75377 1829.71/1834.10 o 75261 1829.71/1834.10 o 75252 1829.71/1834.10 o 75127 1829.71/1834.10 o 74791 1829.71/1834.10 o 74785 1829.71/1834.10 o 74783 1829.71/1834.10 o 74737 1829.71/1834.10 o 74725 1829.71/1834.10 o 74713 1829.71/1834.10 o 74667 1829.71/1834.10 o 74655 1829.71/1834.10 o 74653 1829.71/1834.10 o 74641 1829.71/1834.10 o 74539 1829.71/1834.10 o 74234 1829.71/1834.10 o 74176 1829.71/1834.10 o 74078 1829.71/1834.10 o 74034 1829.71/1834.10 o 73918 1829.71/1834.10 o 73892 1829.71/1834.10 o 73854 1829.71/1834.10 o 73564 1829.71/1834.10 o 73331 1829.71/1834.10 o 73325 1829.71/1834.10 o 73175 1829.71/1834.10 o 73153 1829.71/1834.10 o 73037 1829.71/1834.10 o 72759 1829.71/1834.10 o 71279 1829.71/1834.10 o 71273 1829.71/1834.10 o 71261 1829.71/1834.10 o 71215 1829.71/1834.10 o 71203 1829.71/1834.10 o 71194 1829.71/1834.10 o 71162 1829.71/1834.10 o 71150 1829.71/1834.10 o 71144 1829.71/1834.10 o 71132 1829.71/1834.10 o 71123 1829.71/1834.10 o 71071 1829.71/1834.10 o 71013 1829.71/1834.10 o 71001 1829.71/1834.10 o 70993 1829.71/1834.10 o 70981 1829.71/1834.10 o 70813 1829.71/1834.10 o 70761 1829.71/1834.10 o 70749 1829.71/1834.10 o 70739 1829.71/1834.10 o 70707 1829.71/1834.10 o 70695 1829.71/1834.10 o 70689 1829.71/1834.10 o 70677 1829.71/1834.10 o 70652 1829.71/1834.10 o 70640 1829.71/1834.10 o 70594 1829.71/1834.10 o 70582 1829.71/1834.10 o 70533 1829.71/1834.10 o 70527 1829.71/1834.10 o 70515 1829.71/1834.10 o 70501 1829.71/1834.10 o 70487 1829.71/1834.10 o 70475 1829.71/1834.10 o 70457 1829.71/1834.10 o 70443 1829.71/1834.10 o 70423 1829.71/1834.10 o 70411 1829.71/1834.10 o 70399 1829.71/1834.10 o 70371 1829.71/1834.10 o 70359 1829.71/1834.10 o 70341 1829.71/1834.10 o 70327 1829.71/1834.10 o 70315 1829.71/1834.10 o 70277 1829.71/1834.10 o 70249 1829.71/1834.10 o 70235 1829.71/1834.10 o 70223 1829.71/1834.10 o 70217 1829.71/1834.10 o 70205 1829.71/1834.10 o 70179 1829.71/1834.10 o 70167 1829.71/1834.10 o 69897 1829.71/1834.10 o 69883 1829.71/1834.10 o 69871 1829.71/1834.10 o 69859 1829.71/1834.10 o 69685 1829.71/1834.10 o 69679 1829.71/1834.10 o 69633 1829.71/1834.10 o 69555 1829.71/1834.10 o 69549 1829.71/1834.10 o 69529 1829.71/1834.10 o 69485 1829.71/1834.10 o 69369 1829.71/1834.10 o 68275 1829.71/1834.10 o 68223 1829.71/1834.10 o 68139 1829.71/1834.10 o 68122 1829.71/1834.10 o 68110 1829.71/1834.10 o 68073 1829.71/1834.10 o 68055 1829.71/1834.10 o 68009 1829.71/1834.10 o 67997 1829.71/1834.10 o 67985 1829.71/1834.10 o 67913 1829.71/1834.10 o 66677 1829.71/1834.10 o 66661 1829.71/1834.10 o 66649 1829.71/1834.10 o 66631 1829.71/1834.10 o 66579 1829.71/1834.10 o 66567 1829.71/1834.10 o 64914 1829.71/1834.10 o 64907 1829.71/1834.10 o 64855 1829.71/1834.10 o 64843 1829.71/1834.10 o 63555 1829.71/1834.10 o 63511 1829.71/1834.10 o 63395 1829.71/1834.10 o 63323 1829.71/1834.10 o 62087 1829.71/1834.10 o 62081 1829.71/1834.10 o 62069 1829.71/1834.10 o 62061 1829.71/1834.10 o 62049 1829.71/1834.10 o 62011 1829.71/1834.10 o 61959 1829.71/1834.10 o 61947 1829.71/1834.10 o 61942 1829.71/1834.10 o 61930 1829.71/1834.10 o 61927 1829.71/1834.10 o 61913 1829.71/1834.10 o 61901 1829.71/1834.10 o 61889 1829.71/1834.10 o 61821 1829.71/1834.10 o 61809 1829.71/1834.10 o 61771 1829.71/1834.10 o 61765 1829.71/1834.10 o 61753 1829.71/1834.10 o 61727 1829.71/1834.10 o 61715 1829.71/1834.10 o 61657 1829.71/1834.10 o 61655 1829.71/1834.10 o 61629 1829.71/1834.10 o 61611 1829.71/1834.10 o 61599 1829.71/1834.10 o 61596 1829.71/1834.10 o 61586 1829.71/1834.10 o 61502 1829.71/1834.10 o 61490 1829.71/1834.10 o 61478 1829.71/1834.10 o 61472 1829.71/1834.10 o 61460 1829.71/1834.10 o 61440 1829.71/1834.10 o 61428 1829.71/1834.10 o 61344 1829.71/1834.10 o 60007 1829.71/1834.10 o 59998 1829.71/1834.10 o 59983 1829.71/1834.10 o 59858 1829.71/1834.10 o 59850 1829.71/1834.10 o 59734 1829.71/1834.10 o 59464 1829.71/1834.10 o 59412 1829.71/1834.10 o 59302 1829.71/1834.10 o 59292 1829.71/1834.10 o 59280 1829.71/1834.10 o 59268 1829.71/1834.10 o 59266 1829.71/1834.10 o 59254 1829.71/1834.10 o 59248 1829.71/1834.10 o 59222 1829.71/1834.10 o 59210 1829.71/1834.10 o 59207 1829.71/1834.10 o 59205 1829.71/1834.10 o 59161 1829.71/1834.10 o 59045 1829.71/1834.10 o 59033 1829.71/1834.10 o 58995 1829.71/1834.10 o 58987 1829.71/1834.10 o 58935 1829.71/1834.10 o 58923 1829.71/1834.10 o 58869 1829.71/1834.10 o 58857 1829.71/1834.10 o 58761 1829.71/1834.10 o 58749 1829.71/1834.10 o 58744 1829.71/1834.10 o 58698 1829.71/1834.10 o 58686 1829.71/1834.10 o 58666 1829.71/1834.10 o 58654 1829.71/1834.10 o 58642 1829.71/1834.10 o 58640 1829.71/1834.10 o 58628 1829.71/1834.10 o 58608 1829.71/1834.10 o 58596 1829.71/1834.10 o 58584 1829.71/1834.10 o 58549 1829.71/1834.10 o 58497 1829.71/1834.10 o 58485 1829.71/1834.10 o 58433 1829.71/1834.10 o 58421 1829.71/1834.10 o 58419 1829.71/1834.10 o 58393 1829.71/1834.10 o 58335 1829.71/1834.10 o 58323 1829.71/1834.10 o 58314 1829.71/1834.10 o 58308 1829.71/1834.10 o 58271 1829.71/1834.10 o 58259 1829.71/1834.10 o 58250 1829.71/1834.10 o 58249 1829.71/1834.10 o 58237 1829.71/1834.10 o 58225 1829.71/1834.10 o 58216 1829.71/1834.10 o 58178 1829.71/1834.10 o 58157 1829.71/1834.10 o 58154 1829.71/1834.10 o 58145 1829.71/1834.10 o 58130 1829.71/1834.10 o 58125 1829.71/1834.10 o 58090 1829.71/1834.10 o 58081 1829.71/1834.10 o 58067 1829.71/1834.10 o 58032 1829.71/1834.10 o 58023 1829.71/1834.10 o 58021 1829.71/1834.10 o 58009 1829.71/1834.10 o 58004 1829.71/1834.10 o 57995 1829.71/1834.10 o 57992 1829.71/1834.10 o 57983 1829.71/1834.10 o 57980 1829.71/1834.10 o 57971 1829.71/1834.10 o 57958 1829.71/1834.10 o 57949 1829.71/1834.10 o 57946 1829.71/1834.10 o 57937 1829.71/1834.10 o 57934 1829.71/1834.10 o 57925 1829.71/1834.10 o 57908 1829.71/1834.10 o 57899 1829.71/1834.10 o 57896 1829.71/1834.10 o 57887 1829.71/1834.10 o 56677 1829.71/1834.10 o 56669 1829.71/1834.10 o 56657 1829.71/1834.10 o 56648 1829.71/1834.10 o 56646 1829.71/1834.10 o 56643 1829.71/1834.10 o 56634 1829.71/1834.10 o 56611 1829.71/1834.10 o 56599 1829.71/1834.10 o 56590 1829.71/1834.10 o 56533 1829.71/1834.10 o 56521 1829.71/1834.10 o 56509 1829.71/1834.10 o 56501 1829.71/1834.10 o 56489 1829.71/1834.10 o 56480 1829.71/1834.10 o 56448 1829.71/1834.10 o 56332 1829.71/1834.10 o 56320 1829.71/1834.10 o 56304 1829.71/1834.10 o 56292 1829.71/1834.10 o 56283 1829.71/1834.10 o 56275 1829.71/1834.10 o 56263 1829.71/1834.10 o 56211 1829.71/1834.10 o 56199 1829.71/1834.10 o 56167 1829.71/1834.10 o 56158 1829.71/1834.10 o 56132 1829.71/1834.10 o 56120 1829.71/1834.10 o 56016 1829.71/1834.10 o 56004 1829.71/1834.10 o 55938 1829.71/1834.10 o 55886 1829.71/1834.10 o 55874 1829.71/1834.10 o 55868 1829.71/1834.10 o 55822 1829.71/1834.10 o 55810 1829.71/1834.10 o 55706 1829.71/1834.10 o 55694 1829.71/1834.10 o 55683 1829.71/1834.10 o 55671 1829.71/1834.10 o 55659 1829.71/1834.10 o 55650 1829.71/1834.10 o 55641 1829.71/1834.10 o 55629 1829.71/1834.10 o 55603 1829.71/1834.10 o 55591 1829.71/1834.10 o 55531 1829.71/1834.10 o 55519 1829.71/1834.10 o 55479 1829.71/1834.10 o 55467 1829.71/1834.10 o 55455 1829.71/1834.10 o 55429 1829.71/1834.10 o 55417 1829.71/1834.10 o 55410 1829.71/1834.10 o 55398 1829.71/1834.10 o 55389 1829.71/1834.10 o 55377 1829.71/1834.10 o 55319 1829.71/1834.10 o 55261 1829.71/1834.10 o 55256 1829.71/1834.10 o 55218 1829.71/1834.10 o 55209 1829.71/1834.10 o 55181 1829.71/1834.10 o 55169 1829.71/1834.10 o 55163 1829.71/1834.10 o 55146 1829.71/1834.10 o 55134 1829.71/1834.10 o 55125 1829.71/1834.10 o 55119 1829.71/1834.10 o 55110 1829.71/1834.10 o 53926 1829.71/1834.10 o 52768 1829.71/1834.10 o 51183 1829.71/1834.10 o 50051 1829.71/1834.10 o 50041 1829.71/1834.10 o 50029 1829.71/1834.10 o 50020 1829.71/1834.10 o 49814 1829.71/1834.10 o 49782 1829.71/1834.10 o 49582 1829.71/1834.10 o 49544 1829.71/1834.10 o 49506 1829.71/1834.10 o 49236 1829.71/1834.10 o 48945 1829.71/1834.10 o 48944 1829.71/1834.10 o 48932 1829.71/1834.10 o 48888 1829.71/1834.10 o 48772 1829.71/1834.10 o 48758 1829.71/1834.10 o 48720 1829.71/1834.10 o 48645 1829.71/1834.10 o 48642 1829.71/1834.10 o 48630 1829.71/1834.10 o 48619 1829.71/1834.10 o 48611 1829.71/1834.10 o 48599 1829.71/1834.10 o 48587 1829.71/1834.10 o 48437 1829.71/1834.10 o 48405 1829.71/1834.10 o 48393 1829.71/1834.10 o 48381 1829.71/1834.10 o 48373 1829.71/1834.10 o 48333 1829.71/1834.10 o 48321 1829.71/1834.10 o 48309 1829.71/1834.10 o 48277 1829.71/1834.10 o 48265 1829.71/1834.10 o 48233 1829.71/1834.10 o 48175 1829.71/1834.10 o 48153 1829.71/1834.10 o 48121 1829.71/1834.10 o 48057 1829.71/1834.10 o 47999 1829.71/1834.10 o 47947 1829.71/1834.10 o 47935 1829.71/1834.10 o 47923 1829.71/1834.10 o 47891 1829.71/1834.10 o 47885 1829.71/1834.10 o 47839 1829.71/1834.10 o 47827 1829.71/1834.10 o 47801 1829.71/1834.10 o 47789 1829.71/1834.10 o 47787 1829.71/1834.10 o 47775 1829.71/1834.10 o 47769 1829.71/1834.10 o 47711 1829.71/1834.10 o 47685 1829.71/1834.10 o 47673 1829.71/1834.10 o 47618 1829.71/1834.10 o 47554 1829.71/1834.10 o 47528 1829.71/1834.10 o 47516 1829.71/1834.10 o 47508 1829.71/1834.10 o 47488 1829.71/1834.10 o 47448 1829.71/1834.10 o 47436 1829.71/1834.10 o 47424 1829.71/1834.10 o 47392 1829.71/1834.10 o 47380 1829.71/1834.10 o 47342 1829.71/1834.10 s SATISFIABLE 1829.71/1834.10 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152
OK 47342
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62870 MiB free)
memory of node 1: 64510 MiB (63448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437177-1722971201/watcher-4437177-1722971201 -o /tmp/evaluation-result-4437177-1722971201/solver-4437177-1722971201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722971201-336734 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437177-1722971201.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=336806, runsolver pid=336801
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.89 1.09 1.78 8/248 336810
/proc/meminfo: memFree=129340624/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=20488 memory=8148 CPUtime=0.1 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 540 0 0 0 10 0 0 0 20 0 1 0 63490838 20979712 2037 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 5122 2037 1105 2753 0 1775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 11960 KiB
[startup+0.213299 s]*
/proc/loadavg: 0.89 1.09 1.78 7/248 336810
/proc/meminfo: memFree=129334416/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=20488 memory=8148 CPUtime=0.21 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 540 0 0 0 21 0 0 0 20 0 1 0 63490838 20979712 2037 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 5122 2037 1105 2753 0 1775 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 11960 KiB
[startup+0.31298 s]*
/proc/loadavg: 0.89 1.09 1.78 8/248 336812
/proc/meminfo: memFree=129312952/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=33700 memory=26728 CPUtime=0.31 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3634 0 0 0 30 1 0 0 20 0 1 0 63490838 34508800 6682 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 8425 6682 2785 2753 0 5078 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52292 KiB
Current children cumulated memory: 30540 KiB
[startup+0.700417 s]
/proc/loadavg: 0.89 1.09 1.78 7/248 336812
/proc/meminfo: memFree=129319360/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=0.68 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 64 4 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+1.50042 s]
/proc/loadavg: 0.89 1.09 1.78 5/248 336812
/proc/meminfo: memFree=129319280/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=1.47 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 137 10 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+3.11208 s]
/proc/loadavg: 0.89 1.09 1.78 5/248 336812
/proc/meminfo: memFree=129319396/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=3.08 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 282 26 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+6.30043 s]
/proc/loadavg: 1.14 1.14 1.80 5/248 336812
/proc/meminfo: memFree=129319548/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=6.27 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 575 52 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+12.7004 s]
/proc/loadavg: 1.37 1.18 1.81 5/248 336813
/proc/meminfo: memFree=129319392/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=12.65 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 1151 114 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.32 1.84 5/248 336815
/proc/meminfo: memFree=129319264/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=25.42 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 2308 234 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+51.1121 s]
/proc/loadavg: 2.73 1.56 1.91 5/248 336820
/proc/meminfo: memFree=129318544/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21064 CPUtime=50.97 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3752 0 0 0 4625 472 0 0 20 0 1 0 63490838 27512832 5266 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5266 2801 2753 0 3370 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24876 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.95 2.03 5/248 336828
/proc/meminfo: memFree=129318012/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
################
# More data... #
################
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21176 CPUtime=1778.15 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3790 0 0 0 161511 16304 0 0 20 0 1 0 63490838 27512832 5294 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5294 2801 2753 0 3370 0
Current children cumulated CPU time: 1778.15 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24988 KiB
[startup+1834.12 s]
# the end of solver process 336806 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1665.25 s, system=164.571 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 5/246 337743
/proc/meminfo: memFree=129307848/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2784 CPUtime=0 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 241 99 0 0 0 0 0 0 20 0 1 0 63490837 10170368 696 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 696 620 264 0 134 0
[pid=336809] ppid=336806 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336809/stat : 336809 (timeout) S 336806 336809 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63490838 8867840 257 134679101440 94758994857984 94758994893000 140722657949792 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94758996990416 94758996992548 94759014854656 140722657956909 140722657957025 140722657957025 140722657964007 0
/proc/336809/statm: 2165 257 233 9 0 87 0
[pid=336810] ppid=336809 vsize=26868 memory=21176 CPUtime=1787.84 cores=0,2
/proc/336810/stat : 336810 (LS-MabSP) R 336809 336809 336724 0 -1 4194304 3790 0 0 0 162392 16392 0 0 20 0 1 0 63490838 27512832 5294 134679101440 4194304 15467897 140729586512784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34738176 140729586517056 140729586517159 140729586517159 140729586524141 0
/proc/336810/statm: 6717 5294 2801 2753 0 3370 0
Current children cumulated CPU time: 1787.84 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 24988 KiB
[startup+1817.6 s]
/proc/loadavg: 4.11 4.11 3.83 7/247 337932
/proc/meminfo: memFree=129027104/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=118688 memory=94488 CPUtime=19.51 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14499 0 0 0 1947 4 0 0 20 0 1 0 63670639 121536512 23622 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29672 23622 748 737 0 28760 0
Current children cumulated CPU time: 1813.35 s
Current children cumulated vsize: 137280 KiB
Current children cumulated memory: 98304 KiB
[startup+1824 s]*
/proc/loadavg: 4.09 4.11 3.83 6/247 337934
/proc/meminfo: memFree=129026308/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=119200 memory=95216 CPUtime=25.9 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14651 0 0 0 2586 4 0 0 20 0 1 0 63670639 122060800 23804 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29800 23804 748 737 0 28888 0
Current children cumulated CPU time: 1819.74 s
Current children cumulated vsize: 137792 KiB
Current children cumulated memory: 99032 KiB
[startup+1830.4 s]
/proc/loadavg: 4.09 4.11 3.84 6/247 337934
/proc/meminfo: memFree=129026280/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=119200 memory=95216 CPUtime=32.27 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14699 0 0 0 3222 5 0 0 20 0 1 0 63670639 122060800 23804 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29800 23804 748 737 0 28888 0
Current children cumulated CPU time: 1826.11 s
Current children cumulated vsize: 137792 KiB
Current children cumulated memory: 99032 KiB
[startup+1832 s]*
/proc/loadavg: 4.09 4.11 3.84 6/247 337935
/proc/meminfo: memFree=129026064/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=119200 memory=95216 CPUtime=33.87 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14699 0 0 0 3382 5 0 0 20 0 1 0 63670639 122060800 23804 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29800 23804 748 737 0 28888 0
Current children cumulated CPU time: 1827.71 s
Current children cumulated vsize: 137792 KiB
Current children cumulated memory: 99032 KiB
[startup+1832.8 s]
/proc/loadavg: 4.09 4.11 3.84 6/247 337935
/proc/meminfo: memFree=129026064/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=119200 memory=95216 CPUtime=34.66 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14699 0 0 0 3461 5 0 0 20 0 1 0 63670639 122060800 23804 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29800 23804 748 737 0 28888 0
Current children cumulated CPU time: 1828.5 s
Current children cumulated vsize: 137792 KiB
Current children cumulated memory: 99032 KiB
[startup+1833.6 s]
/proc/loadavg: 4.09 4.11 3.84 6/247 337935
/proc/meminfo: memFree=129026080/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=119200 memory=95216 CPUtime=35.46 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14699 0 0 0 3541 5 0 0 20 0 1 0 63670639 122060800 23804 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29800 23804 748 737 0 28888 0
Current children cumulated CPU time: 1829.3 s
Current children cumulated vsize: 137792 KiB
Current children cumulated memory: 99032 KiB
[startup+1834 s]*
/proc/loadavg: 4.16 4.12 3.84 6/247 337935
/proc/meminfo: memFree=129026016/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2840 CPUtime=1793.84 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 272 4010 0 0 0 0 162934 16450 20 0 1 0 63490837 10170368 710 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 710 620 264 0 134 0
[pid=337750] ppid=336806 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337750/stat : 337750 (timeout) S 336806 337750 336724 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63670639 8867840 244 134679101440 93984568512512 93984568547528 140725108872640 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93984570644944 93984570647076 93984592801792 140725108880376 140725108880545 140725108880545 140725108887527 0
/proc/337750/statm: 2165 244 220 9 0 87 0
[pid=337751] ppid=337750 vsize=119200 memory=95216 CPUtime=35.87 cores=0,2
/proc/337751/stat : 337751 (Exact) R 337750 337750 336724 0 -1 4194304 14699 0 0 0 3582 5 0 0 20 0 1 0 63670639 122060800 23804 134679101440 4194304 7210733 140721890356080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 42549248 140721890358292 140721890358442 140721890358442 140721890365424 0
/proc/337751/statm: 29800 23804 748 737 0 28888 0
Current children cumulated CPU time: 1829.71 s
Current children cumulated vsize: 137792 KiB
Current children cumulated memory: 99032 KiB
[startup+1834.11 s]
/proc/loadavg: 4.16 4.12 3.84 6/247 337935
/proc/meminfo: memFree=129026016/131655788 swapFree=131071472/131071996
[pid=336806] ppid=336801 vsize=9932 memory=2844 CPUtime=1829.8 cores=0,2
/proc/336806/stat : 336806 (Hybrid-LSMabSP+) S 336801 336806 336724 0 -1 4194304 398 19622 0 0 0 0 166524 16456 20 0 1 0 63490837 10170368 711 134679101440 94347500204032 94347501283352 140734837700160 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94347503381808 94347503428996 94347518590976 140734837703660 140734837703806 140734837703806 140734837710817 0
/proc/336806/statm: 2483 711 620 264 0 134 0
Current children cumulated CPU time: 1829.8 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2844 KiB
Child status: 0
Real time (s): 1834.12
CPU time (s): 1829.82
CPU user time (s): 1665.25
CPU system time (s): 164.571
CPU usage (%): 99.7659
Max. virtual memory (cumulated for all children) (KiB): 145844
Max. memory (cumulated for all children) (KiB): 99032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1665.25
system time used= 164.571
maximum resident set size= 99252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 12788
# summary of solver processes directly reported to runsolver:
# pid: 336806
# total CPU time (s): 1829.82
# total CPU user time (s): 1665.25
# total CPU system time (s): 164.571
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34314 second user time and 17.1057 second system time
The end
Begin job on nodeC008 at 2024-08-06 21:06:41 IDJOB=4437177 IDBENCH=148153 IDSOLVER=3070 FILE ID=nodeC008/4437177-1722971201 RUNJOBID= nodeC008-1722971201-336734 SLURM_JOB_ID= 8259062 Free space on /tmp= 723736 MiB SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_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-4437177-1722971201/watcher-4437177-1722971201 -o /tmp/evaluation-result-4437177-1722971201/solver-4437177-1722971201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722971201-336734 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437177-1722971201.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cc2b167b604094044d9d141ee486a126 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.581 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 : 1197.371 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 : 1197.364 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 : 1197.368 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 : 1197.391 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 : 1197.364 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 : 1197.365 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 : 1197.378 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: 129361488 kB MemAvailable: 130051816 kB Buffers: 342720 kB Cached: 1197944 kB SwapCached: 72 kB Active: 629536 kB Inactive: 1197040 kB Active(anon): 1368 kB Inactive(anon): 322676 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: 286512 kB Mapped: 99204 kB Shmem: 37488 kB KReclaimable: 55652 kB Slab: 141416 kB SReclaimable: 55652 kB SUnreclaim: 85764 kB KernelStack: 3524 kB PageTables: 9740 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:37:16