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 | 24890 | 1796.65 | 1799.97 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb |
| MD5SUM | fcd18fcc34c15065587272921fbfa877 |
| 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 | 24890 |
| Best CPU time to get the best result obtained on this benchmark | 0.017497 |
| 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 | 644 |
| Total number of constraints | 1034 |
| Number of constraints which are clauses | 1034 |
| 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 | 31 |
| Number of terms in the objective function | 353 |
| Biggest coefficient in the objective function | 2034 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 561307 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 2034 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 561307 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1796.57/1799.96 o 114054 1796.57/1799.96 o 95568 1796.57/1799.96 o 93905 1796.57/1799.96 o 93861 1796.57/1799.96 o 92431 1796.57/1799.96 o 92367 1796.57/1799.96 o 92135 1796.57/1799.96 o 90917 1796.57/1799.96 o 90714 1796.57/1799.96 o 90482 1796.57/1799.96 o 90404 1796.57/1799.96 o 89052 1796.57/1799.96 o 88956 1796.57/1799.96 o 88840 1796.57/1799.96 o 88693 1796.57/1799.96 o 88655 1796.57/1799.96 o 87257 1796.57/1799.96 o 86163 1796.57/1799.96 o 85931 1796.57/1799.96 o 85815 1796.57/1799.96 o 85806 1796.57/1799.96 o 85797 1796.57/1799.96 o 85675 1796.57/1799.96 o 85670 1796.57/1799.96 o 85612 1796.57/1799.96 o 85548 1796.57/1799.96 o 85432 1796.57/1799.96 o 85194 1796.57/1799.96 o 84588 1796.57/1799.96 o 84414 1796.57/1799.96 o 84376 1796.57/1799.96 o 84356 1796.57/1799.96 o 84318 1796.57/1799.96 o 84202 1796.57/1799.96 o 84086 1796.57/1799.96 o 84057 1796.57/1799.96 o 83999 1796.57/1799.96 o 83993 1796.57/1799.96 o 83915 1796.57/1799.96 o 83877 1796.57/1799.96 o 83761 1796.57/1799.96 o 83752 1796.57/1799.96 o 83680 1796.57/1799.96 o 83602 1796.57/1799.96 o 83564 1796.57/1799.96 o 83448 1796.57/1799.96 o 83439 1796.57/1799.96 o 83430 1796.57/1799.96 o 82046 1796.57/1799.96 o 81930 1796.57/1799.96 o 81872 1796.57/1799.96 o 81834 1796.57/1799.96 o 80961 1796.57/1799.96 o 80851 1796.57/1799.96 o 80846 1796.57/1799.96 o 80788 1796.57/1799.96 o 80750 1796.57/1799.96 o 80724 1796.57/1799.96 o 80686 1796.57/1799.96 o 80677 1796.57/1799.96 o 80668 1796.57/1799.96 o 80608 1796.57/1799.96 o 80570 1796.57/1799.96 o 80561 1796.57/1799.96 o 80552 1796.57/1799.96 o 80262 1796.57/1799.96 o 80224 1796.57/1799.96 o 80180 1796.57/1799.96 o 80093 1796.57/1799.96 o 79809 1796.57/1799.96 o 79771 1796.57/1799.96 o 79688 1796.57/1799.96 o 79682 1796.57/1799.96 o 79650 1796.57/1799.96 o 79624 1796.57/1799.96 o 79586 1796.57/1799.96 o 79490 1796.57/1799.96 o 79481 1796.57/1799.96 o 79443 1796.57/1799.96 o 79391 1796.57/1799.96 o 79269 1796.57/1799.96 o 79210 1796.57/1799.96 o 79172 1796.57/1799.96 o 79163 1796.57/1799.96 o 79154 1796.57/1799.96 o 79096 1796.57/1799.96 o 79058 1796.57/1799.96 o 79052 1796.57/1799.96 o 79020 1796.57/1799.96 o 78994 1796.57/1799.96 o 78956 1796.57/1799.96 o 78840 1796.57/1799.96 o 78319 1796.57/1799.96 o 78313 1796.57/1799.96 o 78235 1796.57/1799.96 o 78197 1796.57/1799.96 o 78191 1796.57/1799.96 o 78159 1796.57/1799.96 o 78133 1796.57/1799.96 o 78095 1796.57/1799.96 o 78077 1796.57/1799.96 o 78051 1796.57/1799.96 o 77839 1796.57/1799.96 o 77662 1796.57/1799.96 o 77494 1796.57/1799.96 o 77456 1796.57/1799.96 o 77438 1796.57/1799.96 o 77253 1796.57/1799.96 o 77195 1796.57/1799.96 o 77077 1796.57/1799.96 o 76909 1796.57/1799.96 o 76871 1796.57/1799.96 o 76813 1796.57/1799.96 o 76807 1796.57/1799.96 o 76787 1796.57/1799.96 o 76755 1796.57/1799.96 o 76729 1796.57/1799.96 o 76691 1796.57/1799.96 o 76665 1796.57/1799.96 o 76511 1796.57/1799.96 o 76337 1796.57/1799.96 o 76328 1796.57/1799.96 o 76319 1796.57/1799.96 o 76203 1796.57/1799.96 o 76183 1796.57/1799.96 o 76009 1796.57/1799.96 o 76003 1796.57/1799.96 o 75971 1796.57/1799.96 o 75945 1796.57/1799.96 o 75907 1796.57/1799.96 o 75782 1796.57/1799.96 o 75550 1796.57/1799.96 o 75524 1796.57/1799.96 o 75498 1796.57/1799.96 o 75460 1796.57/1799.96 o 75254 1796.57/1799.96 o 75138 1796.57/1799.96 o 75129 1796.57/1799.96 o 75091 1796.57/1799.96 o 74917 1796.57/1799.96 o 74778 1796.57/1799.96 o 74752 1796.57/1799.96 o 74482 1796.57/1799.96 o 74448 1796.57/1799.96 o 74442 1796.57/1799.96 o 74422 1796.57/1799.96 o 74390 1796.57/1799.96 o 74364 1796.57/1799.96 o 74326 1796.57/1799.96 o 74317 1796.57/1799.96 o 74308 1796.57/1799.96 o 74250 1796.57/1799.96 o 72632 1796.57/1799.96 o 70987 1796.57/1799.96 o 70932 1796.57/1799.96 o 70912 1796.57/1799.96 o 70906 1796.57/1799.96 o 70874 1796.57/1799.96 o 70848 1796.57/1799.96 o 70810 1796.57/1799.96 o 70746 1796.57/1799.96 o 69432 1796.57/1799.96 o 69316 1796.57/1799.96 o 69009 1796.57/1799.96 o 68893 1796.57/1799.96 o 68873 1796.57/1799.96 o 68867 1796.57/1799.96 o 68835 1796.57/1799.96 o 68809 1796.57/1799.96 o 68771 1796.57/1799.96 o 68655 1796.57/1799.96 o 68470 1796.57/1799.96 o 68412 1796.57/1799.96 o 68394 1796.57/1799.96 o 68330 1796.57/1799.96 o 68156 1796.57/1799.96 o 68092 1796.57/1799.96 o 67860 1796.57/1799.96 o 67838 1796.57/1799.96 o 67800 1796.57/1799.96 o 67762 1796.57/1799.96 o 67646 1796.57/1799.96 o 67628 1796.57/1799.96 o 67622 1796.57/1799.96 o 66442 1796.57/1799.96 o 66436 1796.57/1799.96 o 66404 1796.57/1799.96 o 66378 1796.57/1799.96 o 66340 1796.57/1799.96 o 66206 1796.57/1799.96 o 65974 1796.57/1799.96 o 65965 1796.57/1799.96 o 65907 1796.57/1799.96 o 65791 1796.57/1799.96 o 65614 1796.57/1799.96 o 65446 1796.57/1799.96 o 65408 1796.57/1799.96 o 65249 1796.57/1799.96 o 65095 1796.57/1799.96 o 65086 1796.57/1799.96 o 64924 1796.57/1799.96 o 64886 1796.57/1799.96 o 64712 1796.57/1799.96 o 63450 1796.57/1799.96 o 63445 1796.57/1799.96 o 63407 1796.57/1799.96 o 63398 1796.57/1799.96 o 63264 1796.57/1799.96 o 63032 1796.57/1799.96 o 61718 1796.57/1799.96 o 61700 1796.57/1799.96 o 61691 1796.57/1799.96 o 61464 1796.57/1799.96 o 61290 1796.57/1799.96 o 60002 1796.57/1799.96 o 59907 1796.57/1799.96 o 59733 1796.57/1799.96 o 59731 1796.57/1799.96 o 59693 1796.57/1799.96 o 59675 1796.57/1799.96 o 58277 1796.57/1799.96 o 58259 1796.57/1799.96 o 58143 1796.57/1799.96 o 58134 1796.57/1799.96 o 56846 1796.57/1799.96 o 56777 1796.57/1799.96 o 55114 1796.57/1799.96 o 54268 1796.57/1799.96 o 54192 1796.57/1799.96 o 54186 1796.57/1799.96 o 54108 1796.57/1799.96 o 54082 1796.57/1799.96 o 54012 1796.57/1799.96 o 54006 1796.57/1799.96 o 53928 1796.57/1799.96 o 53882 1796.57/1799.96 o 53844 1796.57/1799.96 o 53828 1796.57/1799.96 o 53770 1796.57/1799.96 o 53744 1796.57/1799.96 o 53706 1796.57/1799.96 o 53474 1796.57/1799.96 o 53436 1796.57/1799.96 o 53262 1796.57/1799.96 o 53085 1796.57/1799.96 o 52917 1796.57/1799.96 o 52879 1796.57/1799.96 o 52870 1796.57/1799.96 o 52861 1796.57/1799.96 o 52768 1796.57/1799.96 o 52678 1796.57/1799.96 o 52658 1796.57/1799.96 o 52626 1796.57/1799.96 o 52600 1796.57/1799.96 o 52562 1796.57/1799.96 o 52530 1796.57/1799.96 o 51590 1796.57/1799.96 o 51344 1796.57/1799.96 o 51312 1796.57/1799.96 o 51286 1796.57/1799.96 o 51248 1796.57/1799.96 o 51008 1796.57/1799.96 o 50233 1796.57/1799.96 o 50056 1796.57/1799.96 o 49888 1796.57/1799.96 o 49850 1796.57/1799.96 o 49844 1796.57/1799.96 o 49812 1796.57/1799.96 o 49786 1796.57/1799.96 o 49748 1796.57/1799.96 o 49730 1796.57/1799.96 o 49474 1796.57/1799.96 o 49468 1796.57/1799.96 o 49390 1796.57/1799.96 o 47772 1796.57/1799.96 o 47764 1796.57/1799.96 o 47755 1796.57/1799.96 o 47746 1796.57/1799.96 o 47476 1796.57/1799.96 o 47467 1796.57/1799.96 o 47458 1796.57/1799.96 o 47452 1796.57/1799.96 o 47336 1796.57/1799.96 o 46490 1796.57/1799.96 o 46397 1796.57/1799.96 o 46234 1796.57/1799.96 o 46228 1796.57/1799.96 o 46150 1796.57/1799.96 o 44482 1796.57/1799.96 o 44407 1796.57/1799.96 o 44401 1796.57/1799.96 o 44323 1796.57/1799.96 o 44285 1796.57/1799.96 o 44279 1796.57/1799.96 o 44111 1796.57/1799.96 o 44073 1796.57/1799.96 o 44053 1796.57/1799.96 o 44027 1796.57/1799.96 o 43911 1796.57/1799.96 o 43873 1796.57/1799.96 o 43795 1796.57/1799.96 o 43786 1796.57/1799.96 o 43777 1796.57/1799.96 o 43765 1796.57/1799.96 o 43568 1796.57/1799.96 o 43452 1796.57/1799.96 o 43220 1796.57/1799.96 o 42838 1796.57/1799.96 o 42771 1796.57/1799.96 o 42673 1796.57/1799.96 o 42539 1796.57/1799.96 o 42519 1796.57/1799.96 o 42487 1796.57/1799.96 o 42461 1796.57/1799.96 o 42208 1796.57/1799.96 o 40714 1796.57/1799.96 o 39452 1796.57/1799.96 o 39449 1796.57/1799.96 o 39388 1796.57/1799.96 o 39382 1796.57/1799.96 o 39350 1796.57/1799.96 o 39324 1796.57/1799.96 o 39304 1796.57/1799.96 o 39278 1796.57/1799.96 o 39240 1796.57/1799.96 o 39144 1796.57/1799.96 o 39132 1796.57/1799.96 o 39106 1796.57/1799.96 o 38757 1796.57/1799.96 o 38737 1796.57/1799.96 o 38731 1796.57/1799.96 o 38699 1796.57/1799.96 o 38673 1796.57/1799.96 o 38641 1796.57/1799.96 o 38621 1796.57/1799.96 o 38615 1796.57/1799.96 o 38583 1796.57/1799.96 o 38557 1796.57/1799.96 o 38314 1796.57/1799.96 o 38250 1796.57/1799.96 o 38232 1796.57/1799.96 o 38047 1796.57/1799.96 o 37989 1796.57/1799.96 o 37951 1796.57/1799.96 o 37948 1796.57/1799.96 o 37922 1796.57/1799.96 o 37884 1796.57/1799.96 o 37652 1796.57/1799.96 o 36713 1796.57/1799.96 o 36544 1796.57/1799.96 o 36466 1796.57/1799.96 o 36451 1796.57/1799.96 o 36373 1796.57/1799.96 o 36127 1796.57/1799.96 o 36113 1796.57/1799.96 o 36101 1796.57/1799.96 o 36075 1796.57/1799.96 o 35985 1796.57/1799.96 o 35979 1796.57/1799.96 o 35947 1796.57/1799.96 o 35921 1796.57/1799.96 o 35901 1796.57/1799.96 o 35869 1796.57/1799.96 o 35843 1796.57/1799.96 o 35727 1796.57/1799.96 o 35689 1796.57/1799.96 o 35669 1796.57/1799.96 o 35631 1796.57/1799.96 o 35605 1796.57/1799.96 o 35573 1796.57/1799.96 o 35535 1796.57/1799.96 o 35477 1796.57/1799.96 o 35419 1796.57/1799.96 o 35387 1796.57/1799.96 o 35361 1796.57/1799.96 o 35187 1796.57/1799.96 o 35167 1796.57/1799.96 o 35155 1796.57/1799.96 o 35129 1796.57/1799.96 o 35109 1796.57/1799.96 o 35051 1796.57/1799.96 o 35033 1796.57/1799.96 o 35021 1796.57/1799.96 o 34995 1796.57/1799.96 o 34981 1796.57/1799.96 o 34975 1796.57/1799.96 o 34943 1796.57/1799.96 o 34917 1796.57/1799.96 o 34575 1796.57/1799.96 o 34569 1796.57/1799.96 o 34537 1796.57/1799.96 o 34511 1796.57/1799.96 o 34456 1796.57/1799.96 o 34128 1796.57/1799.96 o 33969 1796.57/1799.96 o 33815 1796.57/1799.96 o 33806 1796.57/1799.96 o 33681 1796.57/1799.96 o 33606 1796.57/1799.96 o 33588 1796.57/1799.96 o 33562 1796.57/1799.96 o 33518 1796.57/1799.96 o 33480 1796.57/1799.96 o 33267 1796.57/1799.96 o 33098 1796.57/1799.96 o 33020 1796.57/1799.96 o 32817 1796.57/1799.96 o 32785 1796.57/1799.96 o 32759 1796.57/1799.96 o 32469 1796.57/1799.96 o 32431 1796.57/1799.96 o 32373 1796.57/1799.96 o 32257 1796.57/1799.96 o 32248 1796.57/1799.96 o 31038 1796.57/1799.96 o 31009 1796.57/1799.96 o 30983 1796.57/1799.96 o 30960 1796.57/1799.96 o 30954 1796.57/1799.96 o 30896 1796.57/1799.96 o 30887 1796.57/1799.96 o 30881 1796.57/1799.96 o 30803 1796.57/1799.96 o 30765 1796.57/1799.96 o 30759 1796.57/1799.96 o 30739 1796.57/1799.96 o 30719 1796.57/1799.96 o 30707 1796.57/1799.96 o 30681 1796.57/1799.96 o 30553 1796.57/1799.96 o 30498 1796.57/1799.96 o 30208 1796.57/1799.96 o 30170 1796.57/1799.96 o 30083 1796.57/1799.96 o 30045 1796.57/1799.96 o 30025 1796.57/1799.96 o 29987 1796.57/1799.96 o 29973 1796.57/1799.96 o 29935 1796.57/1799.96 o 29909 1796.57/1799.96 o 29823 1796.57/1799.96 o 29785 1796.57/1799.96 o 29765 1796.57/1799.96 o 29727 1796.57/1799.96 o 29616 1796.57/1799.96 o 29584 1796.57/1799.96 o 29558 1796.57/1799.96 o 29538 1796.57/1799.96 o 29506 1796.57/1799.96 o 29480 1796.57/1799.96 o 29471 1796.57/1799.96 o 29436 1796.57/1799.96 o 29410 1796.57/1799.96 o 29395 1796.57/1799.96 o 29363 1796.57/1799.96 o 29337 1796.57/1799.96 o 29317 1796.57/1799.96 o 29247 1796.57/1799.96 o 29227 1796.57/1799.96 o 29221 1796.57/1799.96 o 29189 1796.57/1799.96 o 29163 1796.57/1799.96 o 29151 1796.57/1799.96 o 29125 1796.57/1799.96 o 28867 1796.57/1799.96 o 28861 1796.57/1799.96 o 28829 1796.57/1799.96 o 28803 1796.57/1799.96 o 28792 1796.57/1799.96 o 28760 1796.57/1799.96 o 28734 1796.57/1799.96 o 28725 1796.57/1799.96 o 28682 1796.57/1799.96 o 28656 1796.57/1799.96 o 28618 1796.57/1799.96 o 28296 1796.57/1799.96 o 28287 1796.57/1799.96 o 28276 1796.57/1799.96 o 28148 1796.57/1799.96 o 28104 1796.57/1799.96 o 28095 1796.57/1799.96 o 28083 1796.57/1799.96 o 28002 1796.57/1799.96 o 27973 1796.57/1799.96 o 27964 1796.57/1799.96 o 27607 1796.57/1799.96 o 27602 1796.57/1799.96 o 27564 1796.57/1799.96 o 27506 1796.57/1799.96 o 27352 1796.57/1799.96 o 27346 1796.57/1799.96 o 27314 1796.57/1799.96 o 27288 1796.57/1799.96 o 26966 1796.57/1799.96 o 26957 1796.57/1799.96 o 26948 1796.57/1799.96 o 26855 1796.57/1799.96 o 26826 1796.57/1799.96 o 26817 1796.57/1799.96 o 26460 1796.57/1799.96 o 26452 1796.57/1799.96 o 26426 1796.57/1799.96 o 26388 1796.57/1799.96 o 26379 1796.57/1799.96 o 26022 1796.57/1799.96 o 24890 1796.57/1799.96 o 24890 1796.57/1799.96 s SATISFIABLE 1796.57/1799.96 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
OK 24890
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58425 MiB free)
memory of node 1: 64510 MiB (63653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437577-1722971803/watcher-4437577-1722971803 -o /tmp/evaluation-result-4437577-1722971803/solver-4437577-1722971803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722971803-346495 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437577-1722971803.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=346540, runsolver pid=346533
[startup+0.100665 s]*
/proc/loadavg: 3.01 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124984432/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=0.08 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 8 0 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+0.205661 s]*
/proc/loadavg: 3.01 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124982100/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=0.19 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 18 1 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+0.304429 s]*
/proc/loadavg: 3.01 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124981276/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=0.29 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 27 2 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+0.700191 s]
/proc/loadavg: 3.01 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124980424/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=0.68 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 63 5 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+1.5002 s]
/proc/loadavg: 3.01 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124980372/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=1.47 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 137 10 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+3.10438 s]
/proc/loadavg: 3.09 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124978328/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=3.08 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 286 22 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+6.30018 s]
/proc/loadavg: 3.09 4.05 4.16 5/263 346569
/proc/meminfo: memFree=124978320/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=6.27 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 579 48 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+12.7002 s]
/proc/loadavg: 3.31 4.07 4.16 5/263 346571
/proc/meminfo: memFree=124978032/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=12.66 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 1167 99 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+25.5002 s]
/proc/loadavg: 3.41 4.06 4.16 5/263 346572
/proc/meminfo: memFree=124977708/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=25.43 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 2340 203 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+51.1044 s]
/proc/loadavg: 3.68 4.07 4.16 5/263 346577
/proc/meminfo: memFree=124977172/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=50.99 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 4685 414 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 4.07 4.16 5/262 346586
/proc/meminfo: memFree=124976248/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
################
# More data... #
################
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=1659.23 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 152341 13582 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 1659.23 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+1722.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 347500
/proc/meminfo: memFree=124962712/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=1719.12 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 157834 14078 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 1719.12 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+1782.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 347510
/proc/meminfo: memFree=124962696/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=1779 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 163326 14574 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 1779 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+1799.97 s]
# the end of solver process 346540 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1649.61 s, system=147.037 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.14 4.10 4.09 5/263 347512
/proc/meminfo: memFree=124962624/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=1788.7 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 164218 14652 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 1788.7 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+1795.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 347512
/proc/meminfo: memFree=124962644/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 63778630 10170368 683 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 683 607 264 0 134 0
[pid=346547] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/346547/stat : 346547 (timeout) S 346540 346547 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63778631 8867840 244 134679101440 93848077266944 93848077301960 140734788416080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93848079399376 93848079401508 93848107601920 140734788424739 140734788424861 140734788424861 140734788431847 0
/proc/346547/statm: 2165 244 219 9 0 87 0
[pid=346548] ppid=346547 vsize=20248 memory=8324 CPUtime=1791.88 cores=4,6
/proc/346548/stat : 346548 (LS-MabP) R 346547 346547 346484 0 -1 4194304 561 0 0 0 164510 14678 0 0 20 0 1 0 63778631 20733952 2081 134679101440 4194304 15467897 140725257290432 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35086336 140725257298999 140725257299108 140725257299108 140725257306094 0
/proc/346548/statm: 5062 2081 1169 2753 0 1715 0
Current children cumulated CPU time: 1791.88 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 12032 KiB
[startup+1798.4 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 347513
/proc/meminfo: memFree=124962548/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2788 CPUtime=1794.69 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 269 799 0 0 0 0 164767 14702 20 0 1 0 63778630 10170368 697 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 697 607 264 0 134 0
Current children cumulated CPU time: 1794.69 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2788 KiB
[startup+1799.2 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 347521
/proc/meminfo: memFree=124884712/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2788 CPUtime=1794.69 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 269 799 0 0 0 0 164767 14702 20 0 1 0 63778630 10170368 697 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 697 607 264 0 134 0
[pid=347514] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/347514/stat : 347514 (timeout) S 346540 347514 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 244 134679101440 94492619132928 94492619167944 140728295577632 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94492621265360 94492621267492 94492641255424 140728295580660 140728295580829 140728295580829 140728295587815 0
/proc/347514/statm: 2165 244 220 9 0 87 0
[pid=347515] ppid=347514 vsize=34992 memory=19364 CPUtime=1.18 cores=4,6
/proc/347515/stat : 347515 (Exact) R 347514 347514 346484 0 -1 4194304 2629 0 0 0 118 0 0 0 20 0 1 0 63958431 35831808 4841 134679101440 4194304 7243121 140734345197856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14503936 140734345204752 140734345204902 140734345204902 140734345211888 0
/proc/347515/statm: 8748 4841 788 745 0 7813 0
Current children cumulated CPU time: 1795.87 s
Current children cumulated vsize: 53584 KiB
Current children cumulated memory: 23128 KiB
[startup+1799.6 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 347521
/proc/meminfo: memFree=124884712/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2788 CPUtime=1794.69 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 269 799 0 0 0 0 164767 14702 20 0 1 0 63778630 10170368 697 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 697 607 264 0 134 0
[pid=347514] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/347514/stat : 347514 (timeout) S 346540 347514 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 244 134679101440 94492619132928 94492619167944 140728295577632 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94492621265360 94492621267492 94492641255424 140728295580660 140728295580829 140728295580829 140728295587815 0
/proc/347514/statm: 2165 244 220 9 0 87 0
[pid=347515] ppid=347514 vsize=35312 memory=22200 CPUtime=1.58 cores=4,6
/proc/347515/stat : 347515 (Exact) R 347514 347514 346484 0 -1 4194304 2813 0 0 0 158 0 0 0 20 0 1 0 63958431 36159488 5550 134679101440 4194304 7243121 140734345197856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14503936 140734345204752 140734345204902 140734345204902 140734345211888 0
/proc/347515/statm: 8828 5550 788 745 0 7893 0
Current children cumulated CPU time: 1796.27 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 25964 KiB
[startup+1799.8 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 347521
/proc/meminfo: memFree=124884712/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2788 CPUtime=1794.69 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 269 799 0 0 0 0 164767 14702 20 0 1 0 63778630 10170368 697 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 697 607 264 0 134 0
[pid=347514] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/347514/stat : 347514 (timeout) S 346540 347514 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 244 134679101440 94492619132928 94492619167944 140728295577632 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94492621265360 94492621267492 94492641255424 140728295580660 140728295580829 140728295580829 140728295587815 0
/proc/347514/statm: 2165 244 220 9 0 87 0
[pid=347515] ppid=347514 vsize=35856 memory=22464 CPUtime=1.78 cores=4,6
/proc/347515/stat : 347515 (Exact) R 347514 347514 346484 0 -1 4194304 2910 0 0 0 178 0 0 0 20 0 1 0 63958431 36716544 5616 134679101440 4194304 7243121 140734345197856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14503936 140734345204752 140734345204902 140734345204902 140734345211888 0
/proc/347515/statm: 8964 5616 788 745 0 8029 0
Current children cumulated CPU time: 1796.47 s
Current children cumulated vsize: 54448 KiB
Current children cumulated memory: 26228 KiB
[startup+1799.9 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 347521
/proc/meminfo: memFree=124884712/131524600 swapFree=131071216/131071996
[pid=346540] ppid=346533 vsize=9932 memory=2788 CPUtime=1794.69 cores=4,6
/proc/346540/stat : 346540 (Hybrid-LSMabP+E) S 346533 346540 346484 0 -1 4194304 269 799 0 0 0 0 164767 14702 20 0 1 0 63778630 10170368 697 134679101440 94667633127424 94667634206744 140727522108256 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94667636305200 94667636352388 94667638714368 140727522112490 140727522112635 140727522112635 140727522119650 0
/proc/346540/statm: 2483 697 607 264 0 134 0
[pid=347514] ppid=346540 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/347514/stat : 347514 (timeout) S 346540 347514 346484 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63958431 8867840 244 134679101440 94492619132928 94492619167944 140728295577632 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94492621265360 94492621267492 94492641255424 140728295580660 140728295580829 140728295580829 140728295587815 0
/proc/347514/statm: 2165 244 220 9 0 87 0
[pid=347515] ppid=347514 vsize=36240 memory=22728 CPUtime=1.88 cores=4,6
/proc/347515/stat : 347515 (Exact) R 347514 347514 346484 0 -1 4194304 2978 0 0 0 188 0 0 0 20 0 1 0 63958431 37109760 5682 134679101440 4194304 7243121 140734345197856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14503936 140734345204752 140734345204902 140734345204902 140734345211888 0
/proc/347515/statm: 9060 5682 788 745 0 8125 0
Current children cumulated CPU time: 1796.57 s
Current children cumulated vsize: 54832 KiB
Current children cumulated memory: 26492 KiB
Child status: 0
Real time (s): 1799.97
CPU time (s): 1796.65
CPU user time (s): 1649.61
CPU system time (s): 147.037
CPU usage (%): 99.8153
Max. virtual memory (cumulated for all children) (KiB): 54832
Max. memory (cumulated for all children) (KiB): 26492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1649.61
system time used= 147.037
maximum resident set size= 23256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 1423
# summary of solver processes directly reported to runsolver:
# pid: 346540
# total CPU time (s): 1796.65
# total CPU user time (s): 1649.61
# total CPU system time (s): 147.037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38515 second user time and 6.08772 second system time
The end
Begin job on nodeC021 at 2024-08-06 21:16:43 IDJOB=4437577 IDBENCH=148152 IDSOLVER=3071 FILE ID=nodeC021/4437577-1722971803 RUNJOBID= nodeC021-1722971803-346495 SLURM_JOB_ID= 8259074 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-fir02_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-4437577-1722971803/watcher-4437577-1722971803 -o /tmp/evaluation-result-4437577-1722971803/solver-4437577-1722971803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722971803-346495 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437577-1722971803.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fcd18fcc34c15065587272921fbfa877 RANDOM SEED=579335312 nodeC021.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 : 3637.090 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.80 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 : 3611.309 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 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 : 3547.021 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.80 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 : 3629.114 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 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 : 3607.159 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.80 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 : 3625.859 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 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 : 3611.607 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.80 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 : 3593.508 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125011096 kB MemAvailable: 129760436 kB Buffers: 353252 kB Cached: 5238748 kB SwapCached: 56 kB Active: 608160 kB Inactive: 5374508 kB Active(anon): 1420 kB Inactive(anon): 426892 kB Active(file): 606740 kB Inactive(file): 4947616 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 83028 kB Writeback: 0 kB AnonPages: 388704 kB Mapped: 98780 kB Shmem: 37592 kB KReclaimable: 69260 kB Slab: 162592 kB SReclaimable: 69260 kB SUnreclaim: 93332 kB KernelStack: 3828 kB PageTables: 9456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 777200 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28320 kB HardwareCorrupted: 0 kB AnonHugePages: 264192 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: 293588 kB DirectMap2M: 18354176 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890000 MiB End job on nodeC021 at 2024-08-06 21:46:43