| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 195 | 3600.06 | 3612.7 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | bed0fcfa7fe1ab50726d34a7d1903e12 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 182 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 478 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 478 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 478 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 478 #constraints 478 0.09/0.18 c bounds 479 >= 0 @ 0.00271 0.09/0.18 c bounds 226 >= 0 @ 0.140866 0.09/0.18 c bounds 226 >= 1 @ 0.140953 0.09/0.18 c bounds 226 >= 2 @ 0.141013 0.09/0.18 c bounds 226 >= 3 @ 0.141074 0.09/0.18 c bounds 226 >= 4 @ 0.141133 0.09/0.18 c bounds 226 >= 5 @ 0.141195 0.09/0.18 c bounds 226 >= 6 @ 0.141259 0.09/0.18 c bounds 226 >= 7 @ 0.141327 0.09/0.18 c bounds 226 >= 8 @ 0.141394 0.09/0.18 c bounds 226 >= 9 @ 0.141466 0.09/0.18 c bounds 226 >= 10 @ 0.141539 0.09/0.18 c bounds 226 >= 11 @ 0.141611 0.09/0.18 c bounds 226 >= 12 @ 0.141687 0.09/0.18 c bounds 226 >= 13 @ 0.141763 0.09/0.18 c bounds 226 >= 14 @ 0.141842 0.09/0.18 c bounds 226 >= 15 @ 0.141882 0.09/0.18 c bounds 226 >= 16 @ 0.141882 0.09/0.18 c bounds 226 >= 17 @ 0.141882 0.09/0.18 c bounds 226 >= 18 @ 0.141882 0.09/0.18 c bounds 226 >= 19 @ 0.141882 0.09/0.18 c bounds 226 >= 20 @ 0.141882 0.09/0.18 c bounds 226 >= 21 @ 0.141882 0.09/0.18 c bounds 226 >= 22 @ 0.141882 0.09/0.18 c bounds 226 >= 23 @ 0.141882 0.09/0.18 c bounds 226 >= 24 @ 0.141882 0.09/0.18 c bounds 226 >= 25 @ 0.141882 0.09/0.18 c bounds 226 >= 26 @ 0.141925 0.09/0.18 c bounds 226 >= 27 @ 0.142028 0.09/0.18 c bounds 226 >= 28 @ 0.14213 0.09/0.18 c bounds 226 >= 29 @ 0.142251 0.09/0.18 c bounds 226 >= 30 @ 0.142355 0.09/0.18 c bounds 225 >= 30 @ 0.155316 0.09/0.18 c bounds 225 >= 31 @ 0.155445 0.09/0.18 c bounds 225 >= 32 @ 0.155564 0.09/0.18 c bounds 225 >= 33 @ 0.155724 0.09/0.18 c bounds 225 >= 34 @ 0.156075 0.09/0.18 c bounds 225 >= 35 @ 0.156227 0.09/0.18 c bounds 225 >= 36 @ 0.15635 0.09/0.18 c bounds 225 >= 37 @ 0.156471 0.09/0.18 c bounds 225 >= 38 @ 0.156599 0.09/0.18 c bounds 225 >= 39 @ 0.156725 0.09/0.18 c bounds 225 >= 40 @ 0.156875 0.09/0.18 c bounds 225 >= 41 @ 0.157016 0.09/0.18 c bounds 225 >= 42 @ 0.157165 0.09/0.18 c bounds 225 >= 43 @ 0.157292 0.09/0.18 c bounds 225 >= 44 @ 0.157425 0.09/0.18 c bounds 225 >= 45 @ 0.157567 0.09/0.18 c bounds 225 >= 46 @ 0.157708 0.09/0.18 c bounds 225 >= 47 @ 0.157846 0.09/0.18 c bounds 225 >= 48 @ 0.157846 0.09/0.18 c bounds 225 >= 49 @ 0.157846 0.09/0.18 c bounds 225 >= 50 @ 0.157846 0.09/0.18 c bounds 225 >= 51 @ 0.157846 0.09/0.18 c bounds 225 >= 52 @ 0.157846 0.09/0.18 c bounds 225 >= 53 @ 0.157846 0.09/0.18 c bounds 225 >= 54 @ 0.157861 0.09/0.18 c bounds 225 >= 55 @ 0.157996 0.09/0.18 c bounds 225 >= 56 @ 0.15814 0.09/0.18 c bounds 225 >= 57 @ 0.158279 0.09/0.18 c bounds 225 >= 58 @ 0.158414 0.09/0.18 c bounds 225 >= 59 @ 0.15856 0.09/0.18 c bounds 225 >= 60 @ 0.158705 0.09/0.18 c bounds 225 >= 61 @ 0.158835 0.09/0.18 c bounds 225 >= 62 @ 0.158981 0.09/0.18 c bounds 225 >= 63 @ 0.159132 0.09/0.18 c bounds 225 >= 64 @ 0.159278 0.09/0.18 c bounds 225 >= 65 @ 0.159422 0.09/0.18 c bounds 225 >= 66 @ 0.159579 0.09/0.18 c bounds 225 >= 67 @ 0.159736 0.09/0.18 c bounds 225 >= 68 @ 0.159892 0.09/0.18 c bounds 225 >= 69 @ 0.160057 0.09/0.18 c bounds 225 >= 70 @ 0.160219 0.09/0.18 c bounds 225 >= 71 @ 0.160389 0.09/0.18 c bounds 225 >= 72 @ 0.160543 0.09/0.18 c bounds 225 >= 73 @ 0.160698 0.09/0.18 c bounds 225 >= 74 @ 0.160874 0.09/0.18 c bounds 225 >= 75 @ 0.161049 0.09/0.18 c bounds 225 >= 76 @ 0.161224 0.09/0.18 c bounds 225 >= 77 @ 0.161374 0.09/0.18 c bounds 225 >= 78 @ 0.161524 0.09/0.18 c bounds 225 >= 79 @ 0.161672 0.09/0.18 c bounds 225 >= 80 @ 0.161823 0.09/0.18 c bounds 225 >= 81 @ 0.161838 0.09/0.18 c bounds 225 >= 82 @ 0.161838 0.09/0.18 c bounds 225 >= 83 @ 0.161838 0.09/0.18 c bounds 225 >= 84 @ 0.161838 0.09/0.18 c bounds 225 >= 85 @ 0.161838 0.09/0.18 c bounds 225 >= 86 @ 0.161838 0.09/0.18 c bounds 225 >= 87 @ 0.161838 0.09/0.18 c bounds 225 >= 88 @ 0.161838 0.09/0.18 c bounds 225 >= 89 @ 0.161838 0.09/0.18 c bounds 225 >= 90 @ 0.161838 0.09/0.18 c bounds 225 >= 91 @ 0.161838 0.09/0.18 c bounds 225 >= 92 @ 0.161838 0.09/0.18 c bounds 225 >= 93 @ 0.161838 0.09/0.18 c bounds 225 >= 94 @ 0.161838 0.09/0.18 c bounds 225 >= 95 @ 0.161838 0.09/0.18 c bounds 225 >= 96 @ 0.161838 0.09/0.18 c bounds 225 >= 97 @ 0.161838 0.09/0.18 c bounds 225 >= 98 @ 0.161838 0.09/0.18 c bounds 225 >= 99 @ 0.161921 0.09/0.18 c bounds 225 >= 100 @ 0.162095 0.09/0.18 c bounds 225 >= 101 @ 0.16226 0.09/0.18 c bounds 225 >= 102 @ 0.162422 0.09/0.18 c bounds 225 >= 103 @ 0.162586 0.09/0.18 c bounds 225 >= 104 @ 0.162759 0.09/0.18 c bounds 225 >= 105 @ 0.162951 0.09/0.18 c bounds 225 >= 106 @ 0.16316 0.09/0.18 c bounds 225 >= 107 @ 0.163336 0.09/0.18 c bounds 225 >= 108 @ 0.163513 0.09/0.18 c bounds 225 >= 109 @ 0.163684 0.09/0.18 c bounds 225 >= 110 @ 0.163859 0.09/0.18 c bounds 225 >= 111 @ 0.164038 0.09/0.18 c bounds 225 >= 112 @ 0.164207 0.09/0.18 c bounds 225 >= 113 @ 0.164373 0.09/0.18 c bounds 225 >= 114 @ 0.164557 0.09/0.18 c bounds 225 >= 115 @ 0.164725 0.09/0.18 c bounds 225 >= 116 @ 0.164832 0.09/0.18 c bounds 225 >= 117 @ 0.164832 0.09/0.18 c bounds 225 >= 118 @ 0.164832 0.09/0.18 c bounds 225 >= 119 @ 0.164832 0.09/0.18 c bounds 225 >= 120 @ 0.164832 0.09/0.18 c bounds 225 >= 121 @ 0.16488 0.09/0.18 c bounds 225 >= 122 @ 0.165091 0.09/0.18 c bounds 225 >= 123 @ 0.165311 0.09/0.18 c bounds 225 >= 124 @ 0.165519 0.09/0.18 c bounds 225 >= 125 @ 0.165735 0.09/0.18 c bounds 225 >= 126 @ 0.165828 0.09/0.18 c bounds 225 >= 127 @ 0.165828 0.09/0.18 c bounds 225 >= 128 @ 0.165828 0.09/0.18 c bounds 225 >= 129 @ 0.165828 0.09/0.18 c bounds 225 >= 130 @ 0.165951 0.09/0.18 c bounds 225 >= 131 @ 0.166201 0.09/0.18 c bounds 225 >= 132 @ 0.166466 0.09/0.18 c bounds 225 >= 133 @ 0.166826 0.09/0.18 c bounds 225 >= 134 @ 0.166947 0.59/0.67 c bounds 225 >= 135 @ 0.167304 0.59/0.67 c bounds 225 >= 136 @ 0.167807 0.59/0.67 c bounds 225 >= 137 @ 0.168831 0.59/0.67 c bounds 225 >= 138 @ 0.170517 0.59/0.67 c bounds 224 >= 138 @ 0.18778 0.59/0.67 c bounds 224 >= 139 @ 0.188559 0.59/0.67 c bounds 224 >= 140 @ 0.195595 0.59/0.67 c bounds 224 >= 141 @ 0.21073 0.59/0.67 c bounds 223 >= 141 @ 0.215455 0.59/0.67 c bounds 222 >= 141 @ 0.218405 0.59/0.67 c bounds 221 >= 141 @ 0.221646 0.59/0.67 c bounds 220 >= 141 @ 0.225442 0.59/0.67 c bounds 219 >= 141 @ 0.227488 0.59/0.67 c bounds 218 >= 141 @ 0.230687 0.59/0.67 c #Conflicts: 1000 | #Constraints: 2198 0.59/0.67 c bounds 218 >= 142 @ 0.285366 0.59/0.67 c bounds 217 >= 142 @ 0.291561 0.59/0.67 c bounds 216 >= 142 @ 0.304721 0.59/0.67 c bounds 215 >= 142 @ 0.315115 0.59/0.67 c bounds 214 >= 142 @ 0.369516 0.59/0.67 c #Conflicts: 2000 | #Constraints: 3262 0.59/0.67 c INPROCESSING 0.59/0.67 c GARBAGE COLLECT 0.59/0.67 c rational objective 142 2.48/2.50 c #Conflicts: 3000 | #Constraints: 3159 2.48/2.50 c bounds 213 >= 142 @ 1.07536 2.48/2.50 c #Conflicts: 4000 | #Constraints: 4160 2.48/2.50 c INPROCESSING 2.48/2.50 c GARBAGE COLLECT 2.48/2.50 c bounds 213 >= 143 @ 1.46781 2.48/2.50 c #Conflicts: 5000 | #Constraints: 3625 2.48/2.50 c #Conflicts: 6000 | #Constraints: 4625 2.48/2.50 c bounds 213 >= 144 @ 2.11033 2.48/2.50 c INPROCESSING 2.48/2.50 c GARBAGE COLLECT 2.48/2.50 c rational objective 144 3.48/3.50 c bounds 212 >= 144 @ 2.463 3.48/3.50 c #Conflicts: 7000 | #Constraints: 3647 3.48/3.50 c bounds 211 >= 144 @ 2.77259 3.48/3.50 c #Conflicts: 8000 | #Constraints: 4648 3.48/3.50 c #Conflicts: 9000 | #Constraints: 5648 3.48/3.50 c INPROCESSING 3.48/3.50 c GARBAGE COLLECT 3.48/3.50 c rational objective 144 4.37/4.44 c bounds 210 >= 144 @ 3.43065 4.37/4.44 c bounds 209 >= 144 @ 3.43906 4.37/4.44 c bounds 208 >= 144 @ 3.47948 4.37/4.44 c bounds 207 >= 144 @ 3.50759 4.37/4.44 c #Conflicts: 10000 | #Constraints: 4391 4.37/4.44 c bounds 206 >= 144 @ 3.65796 4.37/4.44 c bounds 205 >= 144 @ 3.68519 4.37/4.44 c #Conflicts: 11000 | #Constraints: 5393 4.37/4.44 c bounds 204 >= 144 @ 3.92629 4.37/4.44 c #Conflicts: 12000 | #Constraints: 6394 4.37/4.44 c INPROCESSING 4.37/4.44 c GARBAGE COLLECT 4.37/4.44 c rational objective 144 5.87/5.92 c #Conflicts: 13000 | #Constraints: 4803 5.87/5.92 c #Conflicts: 14000 | #Constraints: 5803 5.87/5.92 c #Conflicts: 15000 | #Constraints: 6803 5.87/5.92 c INPROCESSING 5.87/5.92 c GARBAGE COLLECT 5.87/5.92 c rational objective 144 6.98/7.02 c bounds 203 >= 144 @ 5.74815 6.98/7.02 c bounds 202 >= 144 @ 5.74926 6.98/7.02 c #Conflicts: 16000 | #Constraints: 5074 6.98/7.02 c #Conflicts: 17000 | #Constraints: 6074 6.98/7.02 c #Conflicts: 18000 | #Constraints: 7074 6.98/7.02 c INPROCESSING 6.98/7.02 c GARBAGE COLLECT 6.98/7.02 c rational objective 144 8.46/8.58 c #Conflicts: 19000 | #Constraints: 5051 8.46/8.58 c bounds 201 >= 144 @ 7.23377 8.46/8.58 c #Conflicts: 20000 | #Constraints: 6070 8.46/8.58 c #Conflicts: 21000 | #Constraints: 7070 8.46/8.58 c bounds 200 >= 144 @ 7.91279 8.46/8.58 c INPROCESSING 8.46/8.58 c GARBAGE COLLECT 8.46/8.58 c rational objective 144 10.07/10.19 c #Conflicts: 22000 | #Constraints: 4892 10.07/10.19 c #Conflicts: 23000 | #Constraints: 5892 10.07/10.19 c bounds 200 >= 145 @ 9.02921 10.07/10.19 c #Conflicts: 24000 | #Constraints: 6952 10.07/10.19 c #Conflicts: 25000 | #Constraints: 7957 10.07/10.19 c INPROCESSING 10.07/10.19 c GARBAGE COLLECT 10.07/10.19 c rational objective 145 12.35/12.48 c #Conflicts: 26000 | #Constraints: 5520 12.35/12.48 c #Conflicts: 27000 | #Constraints: 6520 12.35/12.48 c #Conflicts: 28000 | #Constraints: 7520 12.35/12.48 c #Conflicts: 29000 | #Constraints: 8520 12.35/12.48 c INPROCESSING 12.35/12.48 c GARBAGE COLLECT 12.35/12.48 c rational objective 145 29.00/29.12 c bounds 199 >= 145 @ 12.0623 29.00/29.12 c bounds 198 >= 145 @ 12.1193 29.00/29.12 c #Conflicts: 30000 | #Constraints: 5976 29.00/29.12 c #Conflicts: 31000 | #Constraints: 6976 29.00/29.12 c #Conflicts: 32000 | #Constraints: 7976 29.00/29.12 c #Conflicts: 33000 | #Constraints: 8976 29.00/29.12 c #Conflicts: 34000 | #Constraints: 9976 29.00/29.12 c #Conflicts: 35000 | #Constraints: 10976 29.00/29.12 c #Conflicts: 36000 | #Constraints: 11976 29.00/29.12 c #Conflicts: 37000 | #Constraints: 12976 29.00/29.12 c #Conflicts: 38000 | #Constraints: 13976 29.00/29.12 c #Conflicts: 39000 | #Constraints: 14976 29.00/29.12 c #Conflicts: 40000 | #Constraints: 15976 29.00/29.12 c #Conflicts: 41000 | #Constraints: 16976 29.00/29.12 c #Conflicts: 42000 | #Constraints: 17976 29.00/29.12 c INPROCESSING 29.00/29.12 c GARBAGE COLLECT 29.00/29.12 c rational objective 145 40.16/40.31 c #Conflicts: 43000 | #Constraints: 10197 40.16/40.31 c #Conflicts: 44000 | #Constraints: 11198 40.16/40.31 c #Conflicts: 45000 | #Constraints: 12198 40.16/40.31 c #Conflicts: 46000 | #Constraints: 13199 40.16/40.31 c #Conflicts: 47000 | #Constraints: 14199 40.16/40.31 c #Conflicts: 48000 | #Constraints: 15199 40.16/40.31 c INPROCESSING 40.16/40.31 c GARBAGE COLLECT 40.16/40.31 c rational objective 145 46.14/46.33 c #Conflicts: 49000 | #Constraints: 9318 46.14/46.33 c #Conflicts: 50000 | #Constraints: 10318 46.14/46.33 c #Conflicts: 51000 | #Constraints: 11318 46.14/46.33 c #Conflicts: 52000 | #Constraints: 12318 46.14/46.33 c bounds 198 >= 146 @ 43.9634 46.14/46.33 c #Conflicts: 53000 | #Constraints: 13369 46.14/46.33 c INPROCESSING 46.14/46.33 c GARBAGE COLLECT 46.14/46.33 c rational objective 146 50.32/50.57 c #Conflicts: 54000 | #Constraints: 8264 50.32/50.57 c #Conflicts: 55000 | #Constraints: 9264 50.32/50.57 c #Conflicts: 56000 | #Constraints: 10264 50.32/50.57 c #Conflicts: 57000 | #Constraints: 11264 50.32/50.57 c #Conflicts: 58000 | #Constraints: 12264 50.32/50.57 c INPROCESSING 50.32/50.57 c GARBAGE COLLECT 50.32/50.57 c rational objective 146 76.14/76.44 c #Conflicts: 59000 | #Constraints: 7495 76.14/76.44 c #Conflicts: 60000 | #Constraints: 8495 76.14/76.44 c #Conflicts: 61000 | #Constraints: 9495 76.14/76.44 c #Conflicts: 62000 | #Constraints: 10495 76.14/76.44 c #Conflicts: 63000 | #Constraints: 11495 76.14/76.44 c #Conflicts: 64000 | #Constraints: 12495 76.14/76.44 c #Conflicts: 65000 | #Constraints: 13495 76.14/76.44 c #Conflicts: 66000 | #Constraints: 14495 76.14/76.44 c #Conflicts: 67000 | #Constraints: 15495 76.14/76.44 c #Conflicts: 68000 | #Constraints: 16495 76.14/76.44 c #Conflicts: 69000 | #Constraints: 17495 76.14/76.44 c #Conflicts: 70000 | #Constraints: 18495 76.14/76.44 c #Conflicts: 71000 | #Constraints: 19495 76.14/76.44 c #Conflicts: 72000 | #Constraints: 20495 76.14/76.44 c #Conflicts: 73000 | #Constraints: 21495 76.14/76.44 c #Conflicts: 74000 | #Constraints: 22495 76.14/76.44 c #Conflicts: 75000 | #Constraints: 23495 76.14/76.44 c #Conflicts: 76000 | #Constraints: 24495 76.14/76.44 c #Conflicts: 77000 | #Constraints: 25495 76.14/76.44 c #Conflicts: 78000 | #Constraints: 26495 76.14/76.44 c INPROCESSING 76.14/76.44 c GARBAGE COLLECT 76.14/76.44 c rational objective 146 81.33/81.67 c bounds 197 >= 146 @ 74.8425 81.33/81.67 c #Conflicts: 79000 | #Constraints: 15027 81.33/81.67 c #Conflicts: 80000 | #Constraints: 16027 81.33/81.67 c #Conflicts: 81000 | #Constraints: 17027 81.33/81.67 c #Conflicts: 82000 | #Constraints: 18029 81.33/81.67 c #Conflicts: 83000 | #Constraints: 19030 81.33/81.67 c #Conflicts: 84000 | #Constraints: 20031 81.33/81.67 c INPROCESSING 81.33/81.67 c GARBAGE COLLECT 81.33/81.67 c rational objective 146 87.11/87.41 c #Conflicts: 85000 | #Constraints: 11300 87.11/87.41 c #Conflicts: 86000 | #Constraints: 12300 87.11/87.41 c #Conflicts: 87000 | #Constraints: 13305 87.11/87.41 c #Conflicts: 88000 | #Constraints: 14337 87.11/87.41 c #Conflicts: 89000 | #Constraints: 15424 87.11/87.41 c #Conflicts: 90000 | #Constraints: 16457 87.11/87.41 c #Conflicts: 91000 | #Constraints: 17468 87.11/87.41 c INPROCESSING 87.11/87.41 c GARBAGE COLLECT 87.11/87.41 c rational objective 146 123.98/124.40 c #Conflicts: 92000 | #Constraints: 10015 123.98/124.40 c #Conflicts: 93000 | #Constraints: 11017 123.98/124.40 c #Conflicts: 94000 | #Constraints: 12017 123.98/124.40 c #Conflicts: 95000 | #Constraints: 13221 123.98/124.40 c #Conflicts: 96000 | #Constraints: 14296 123.98/124.40 c #Conflicts: 97000 | #Constraints: 15421 123.98/124.40 c #Conflicts: 98000 | #Constraints: 16423 123.98/124.40 c #Conflicts: 99000 | #Constraints: 17433 123.98/124.40 c #Conflicts: 100000 | #Constraints: 18470 123.98/124.40 c #Conflicts: 101000 | #Constraints: 19475 123.98/124.40 c #Conflicts: 102000 | #Constraints: 20480 123.98/124.40 c #Conflicts: 103000 | #Constraints: 21488 123.98/124.40 c #Conflicts: 104000 | #Constraints: 22489 123.98/124.40 c #Conflicts: 105000 | #Constraints: 23505 123.98/124.40 c #Conflicts: 106000 | #Constraints: 24506 123.98/124.40 c #Conflicts: 107000 | #Constraints: 25506 123.98/124.40 c #Conflicts: 108000 | #Constraints: 26516 123.98/124.40 c #Conflicts: 109000 | #Constraints: 27516 123.98/124.40 c #Conflicts: 110000 | #Constraints: 28516 123.98/124.40 c #Conflicts: 111000 | #Constraints: 29516 123.98/124.40 c #Conflicts: 112000 | #Constraints: 30516 123.98/124.40 c #Conflicts: 113000 | #Constraints: 31569 123.98/124.40 c #Conflicts: 114000 | #Constraints: 32569 123.98/124.40 c #Conflicts: 115000 | #Constraints: 33569 123.98/124.40 c INPROCESSING 123.98/124.40 c GARBAGE COLLECT 123.98/124.40 c rational objective 146 149.70/150.27 c #Conflicts: 116000 | #Constraints: 18365 149.70/150.27 c #Conflicts: 117000 | #Constraints: 19365 149.70/150.27 c #Conflicts: 118000 | #Constraints: 20365 149.70/150.27 c #Conflicts: 119000 | #Constraints: 21365 149.70/150.27 c #Conflicts: 120000 | #Constraints: 22365 149.70/150.27 c #Conflicts: 121000 | #Constraints: 23365 149.70/150.27 c #Conflicts: 122000 | #Constraints: 24365 149.70/150.27 c #Conflicts: 123000 | #Constraints: 25365 149.70/150.27 c INPROCESSING 149.70/150.27 c GARBAGE COLLECT 149.70/150.27 c rational objective 146 162.76/163.37 c #Conflicts: 124000 | #Constraints: 14204 162.76/163.37 c #Conflicts: 125000 | #Constraints: 15204 162.76/163.37 c #Conflicts: 126000 | #Constraints: 16204 162.76/163.37 c #Conflicts: 127000 | #Constraints: 17204 162.76/163.37 c #Conflicts: 128000 | #Constraints: 18204 162.76/163.37 c bounds 197 >= 147 @ 154.91 162.76/163.37 c #Conflicts: 129000 | #Constraints: 19252 162.76/163.37 c #Conflicts: 130000 | #Constraints: 20253 162.76/163.37 c #Conflicts: 131000 | #Constraints: 21253 162.76/163.37 c #Conflicts: 132000 | #Constraints: 22253 162.76/163.37 c INPROCESSING 162.76/163.37 c GARBAGE COLLECT 162.76/163.37 c rational objective 147 219.66/220.43 c #Conflicts: 133000 | #Constraints: 12843 219.66/220.43 c #Conflicts: 134000 | #Constraints: 13843 219.66/220.43 c #Conflicts: 135000 | #Constraints: 14843 219.66/220.43 c #Conflicts: 136000 | #Constraints: 15845 219.66/220.43 c #Conflicts: 137000 | #Constraints: 16845 219.66/220.43 c #Conflicts: 138000 | #Constraints: 17845 219.66/220.43 c #Conflicts: 139000 | #Constraints: 18845 219.66/220.43 c #Conflicts: 140000 | #Constraints: 19845 219.66/220.43 c #Conflicts: 141000 | #Constraints: 20845 219.66/220.43 c #Conflicts: 142000 | #Constraints: 21845 219.66/220.43 c #Conflicts: 143000 | #Constraints: 22845 219.66/220.43 c #Conflicts: 144000 | #Constraints: 23845 219.66/220.43 c #Conflicts: 145000 | #Constraints: 24845 219.66/220.43 c #Conflicts: 146000 | #Constraints: 25845 219.66/220.43 c #Conflicts: 147000 | #Constraints: 26845 219.66/220.43 c #Conflicts: 148000 | #Constraints: 27845 219.66/220.43 c #Conflicts: 149000 | #Constraints: 28845 219.66/220.43 c #Conflicts: 150000 | #Constraints: 29845 219.66/220.43 c #Conflicts: 151000 | #Constraints: 30845 219.66/220.43 c #Conflicts: 152000 | #Constraints: 31845 219.66/220.43 c #Conflicts: 153000 | #Constraints: 32845 219.66/220.43 c #Conflicts: 154000 | #Constraints: 33845 219.66/220.43 c #Conflicts: 155000 | #Constraints: 34845 219.66/220.43 c #Conflicts: 156000 | #Constraints: 35845 219.66/220.43 c #Conflicts: 157000 | #Constraints: 36845 219.66/220.43 c #Conflicts: 158000 | #Constraints: 37845 219.66/220.43 c #Conflicts: 159000 | #Constraints: 38845 219.66/220.43 c INPROCESSING 219.66/220.43 c GARBAGE COLLECT 219.66/220.43 c rational objective 147 230.33/231.18 c #Conflicts: 160000 | #Constraints: 20927 230.33/231.18 c #Conflicts: 161000 | #Constraints: 21956 230.33/231.18 c #Conflicts: 162000 | #Constraints: 22958 230.33/231.18 c #Conflicts: 163000 | #Constraints: 23958 230.33/231.18 c #Conflicts: 164000 | #Constraints: 24958 230.33/231.18 c #Conflicts: 165000 | #Constraints: 25958 230.33/231.18 c #Conflicts: 166000 | #Constraints: 26958 230.33/231.18 c #Conflicts: 167000 | #Constraints: 27958 230.33/231.18 c #Conflicts: 168000 | #Constraints: 28958 230.33/231.18 c #Conflicts: 169000 | #Constraints: 29962 230.33/231.18 c INPROCESSING 230.33/231.18 c GARBAGE COLLECT 230.33/231.18 c rational objective 147 353.02/354.29 c #Conflicts: 170000 | #Constraints: 16490 353.02/354.29 c #Conflicts: 171000 | #Constraints: 17490 353.02/354.29 c #Conflicts: 172000 | #Constraints: 18490 353.02/354.29 c #Conflicts: 173000 | #Constraints: 19490 353.02/354.29 c #Conflicts: 174000 | #Constraints: 20589 353.02/354.29 c #Conflicts: 175000 | #Constraints: 21608 353.02/354.29 c #Conflicts: 176000 | #Constraints: 22608 353.02/354.29 c #Conflicts: 177000 | #Constraints: 23608 353.02/354.29 c #Conflicts: 178000 | #Constraints: 24650 353.02/354.29 c #Conflicts: 179000 | #Constraints: 25650 353.02/354.29 c #Conflicts: 180000 | #Constraints: 26651 353.02/354.29 c #Conflicts: 181000 | #Constraints: 27651 353.02/354.29 c #Conflicts: 182000 | #Constraints: 28651 353.02/354.29 c #Conflicts: 183000 | #Constraints: 29651 353.02/354.29 c #Conflicts: 184000 | #Constraints: 30651 353.02/354.29 c #Conflicts: 185000 | #Constraints: 31651 353.02/354.29 c #Conflicts: 186000 | #Constraints: 32651 353.02/354.29 c #Conflicts: 187000 | #Constraints: 33652 353.02/354.29 c #Conflicts: 188000 | #Constraints: 34652 353.02/354.29 c #Conflicts: 189000 | #Constraints: 35652 353.02/354.29 c #Conflicts: 190000 | #Constraints: 36653 353.02/354.29 c #Conflicts: 191000 | #Constraints: 37657 353.02/354.29 c #Conflicts: 192000 | #Constraints: 38662 353.02/354.29 c #Conflicts: 193000 | #Constraints: 39662 353.02/354.29 c #Conflicts: 194000 | #Constraints: 40662 353.02/354.29 c #Conflicts: 195000 | #Constraints: 41662 353.02/354.29 c #Conflicts: 196000 | #Constraints: 42662 353.02/354.29 c #Conflicts: 197000 | #Constraints: 43662 353.02/354.29 c #Conflicts: 198000 | #Constraints: 44662 353.02/354.29 c #Conflicts: 199000 | #Constraints: 45662 353.02/354.29 c #Conflicts: 200000 | #Constraints: 46662 353.02/354.29 c INPROCESSING 353.02/354.29 c GARBAGE COLLECT 353.02/354.29 c rational objective 147 408.74/410.13 c #Conflicts: 201000 | #Constraints: 24998 408.74/410.13 c #Conflicts: 202000 | #Constraints: 25998 408.74/410.13 c #Conflicts: 203000 | #Constraints: 26998 408.74/410.13 c #Conflicts: 204000 | #Constraints: 27998 408.74/410.13 c #Conflicts: 205000 | #Constraints: 28998 408.74/410.13 c #Conflicts: 206000 | #Constraints: 29999 408.74/410.13 c #Conflicts: 207000 | #Constraints: 30999 408.74/410.13 c #Conflicts: 208000 | #Constraints: 31999 408.74/410.13 c #Conflicts: 209000 | #Constraints: 33000 408.74/410.13 c #Conflicts: 210000 | #Constraints: 34000 408.74/410.13 c #Conflicts: 211000 | #Constraints: 35000 408.74/410.13 c INPROCESSING 408.74/410.13 c GARBAGE COLLECT 408.74/410.13 c rational objective 147 432.36/433.80 c #Conflicts: 212000 | #Constraints: 19190 432.36/433.80 c #Conflicts: 213000 | #Constraints: 20190 432.36/433.80 c #Conflicts: 214000 | #Constraints: 21190 432.36/433.80 c #Conflicts: 215000 | #Constraints: 22190 432.36/433.80 c #Conflicts: 216000 | #Constraints: 23190 432.36/433.80 c #Conflicts: 217000 | #Constraints: 24190 432.36/433.80 c #Conflicts: 218000 | #Constraints: 25190 432.36/433.80 c #Conflicts: 219000 | #Constraints: 26190 432.36/433.80 c #Conflicts: 220000 | #Constraints: 27190 432.36/433.80 c #Conflicts: 221000 | #Constraints: 28190 432.36/433.80 c #Conflicts: 222000 | #Constraints: 29190 432.36/433.80 c INPROCESSING 432.36/433.80 c GARBAGE COLLECT 432.36/433.80 c rational objective 147 537.41/539.25 c #Conflicts: 223000 | #Constraints: 16153 537.41/539.25 c #Conflicts: 224000 | #Constraints: 17153 537.41/539.25 c #Conflicts: 225000 | #Constraints: 18153 537.41/539.25 c #Conflicts: 226000 | #Constraints: 19153 537.41/539.25 c #Conflicts: 227000 | #Constraints: 20153 537.41/539.25 c #Conflicts: 228000 | #Constraints: 21153 537.41/539.25 c #Conflicts: 229000 | #Constraints: 22153 537.41/539.25 c #Conflicts: 230000 | #Constraints: 23153 537.41/539.25 c #Conflicts: 231000 | #Constraints: 24153 537.41/539.25 c #Conflicts: 232000 | #Constraints: 25153 537.41/539.25 c #Conflicts: 233000 | #Constraints: 26153 537.41/539.25 c #Conflicts: 234000 | #Constraints: 27153 537.41/539.25 c #Conflicts: 235000 | #Constraints: 28153 537.41/539.25 c #Conflicts: 236000 | #Constraints: 29153 537.41/539.25 c #Conflicts: 237000 | #Constraints: 30153 537.41/539.25 c #Conflicts: 238000 | #Constraints: 31153 537.41/539.25 c #Conflicts: 239000 | #Constraints: 32153 537.41/539.25 c #Conflicts: 240000 | #Constraints: 33153 537.41/539.25 c #Conflicts: 241000 | #Constraints: 34153 537.41/539.25 c #Conflicts: 242000 | #Constraints: 35153 537.41/539.25 c #Conflicts: 243000 | #Constraints: 36153 537.41/539.25 c #Conflicts: 244000 | #Constraints: 37153 537.41/539.25 c #Conflicts: 245000 | #Constraints: 38153 537.41/539.25 c #Conflicts: 246000 | #Constraints: 39153 537.41/539.25 c #Conflicts: 247000 | #Constraints: 40153 537.41/539.25 c #Conflicts: 248000 | #Constraints: 41153 537.41/539.25 c #Conflicts: 249000 | #Constraints: 42153 537.41/539.25 c #Conflicts: 250000 | #Constraints: 43153 537.41/539.25 c #Conflicts: 251000 | #Constraints: 44153 537.41/539.25 c #Conflicts: 252000 | #Constraints: 45153 537.41/539.25 c bounds 197 >= 148 @ 523.166 537.41/539.25 c #Conflicts: 253000 | #Constraints: 46198 537.41/539.25 c #Conflicts: 254000 | #Constraints: 47198 537.41/539.25 c #Conflicts: 255000 | #Constraints: 48198 537.41/539.25 c #Conflicts: 256000 | #Constraints: 49200 537.41/539.25 c #Conflicts: 257000 | #Constraints: 50200 537.41/539.25 c INPROCESSING 537.41/539.25 c GARBAGE COLLECT 537.41/539.25 c rational objective 148 562.23/564.19 c #Conflicts: 258000 | #Constraints: 26618 562.23/564.19 c #Conflicts: 259000 | #Constraints: 27618 562.23/564.19 c #Conflicts: 260000 | #Constraints: 28618 562.23/564.19 c #Conflicts: 261000 | #Constraints: 29618 562.23/564.19 c #Conflicts: 262000 | #Constraints: 30620 562.23/564.19 c #Conflicts: 263000 | #Constraints: 31622 562.23/564.19 c #Conflicts: 264000 | #Constraints: 32624 562.23/564.19 c #Conflicts: 265000 | #Constraints: 33626 562.23/564.19 c #Conflicts: 266000 | #Constraints: 34629 562.23/564.19 c #Conflicts: 267000 | #Constraints: 35632 562.23/564.19 c #Conflicts: 268000 | #Constraints: 36634 562.23/564.19 c #Conflicts: 269000 | #Constraints: 37634 562.23/564.19 c #Conflicts: 270000 | #Constraints: 38635 562.23/564.19 c INPROCESSING 562.23/564.19 c GARBAGE COLLECT 562.23/564.19 c rational objective 148 595.90/597.97 c #Conflicts: 271000 | #Constraints: 21047 595.90/597.97 c #Conflicts: 272000 | #Constraints: 22047 595.90/597.97 c #Conflicts: 273000 | #Constraints: 23048 595.90/597.97 c #Conflicts: 274000 | #Constraints: 24052 595.90/597.97 c #Conflicts: 275000 | #Constraints: 25052 595.90/597.97 c #Conflicts: 276000 | #Constraints: 26052 595.90/597.97 c bounds 196 >= 148 @ 566.583 595.90/597.97 c #Conflicts: 277000 | #Constraints: 27054 595.90/597.97 c #Conflicts: 278000 | #Constraints: 28054 595.90/597.97 c #Conflicts: 279000 | #Constraints: 29054 595.90/597.97 c #Conflicts: 280000 | #Constraints: 30054 595.90/597.97 c #Conflicts: 281000 | #Constraints: 31054 595.90/597.97 c #Conflicts: 282000 | #Constraints: 32054 595.90/597.97 c INPROCESSING 595.90/597.97 c GARBAGE COLLECT 595.90/597.97 c rational objective 148 712.90/715.34 c #Conflicts: 283000 | #Constraints: 18199 712.90/715.34 c #Conflicts: 284000 | #Constraints: 19199 712.90/715.34 c #Conflicts: 285000 | #Constraints: 20199 712.90/715.34 c #Conflicts: 286000 | #Constraints: 21199 712.90/715.34 c #Conflicts: 287000 | #Constraints: 22199 712.90/715.34 c #Conflicts: 288000 | #Constraints: 23218 712.90/715.34 c #Conflicts: 289000 | #Constraints: 24218 712.90/715.34 c #Conflicts: 290000 | #Constraints: 25218 712.90/715.34 c #Conflicts: 291000 | #Constraints: 26218 712.90/715.34 c #Conflicts: 292000 | #Constraints: 27219 712.90/715.34 c #Conflicts: 293000 | #Constraints: 28219 712.90/715.34 c #Conflicts: 294000 | #Constraints: 29219 712.90/715.34 c #Conflicts: 295000 | #Constraints: 30219 712.90/715.34 c #Conflicts: 296000 | #Constraints: 31219 712.90/715.34 c #Conflicts: 297000 | #Constraints: 32219 712.90/715.34 c #Conflicts: 298000 | #Constraints: 33219 712.90/715.34 c #Conflicts: 299000 | #Constraints: 34221 712.90/715.34 c #Conflicts: 300000 | #Constraints: 35221 712.90/715.34 c #Conflicts: 301000 | #Constraints: 36221 712.90/715.34 c #Conflicts: 302000 | #Constraints: 37221 712.90/715.34 c #Conflicts: 303000 | #Constraints: 38221 712.90/715.34 c #Conflicts: 304000 | #Constraints: 39221 712.90/715.34 c #Conflicts: 305000 | #Constraints: 40222 712.90/715.34 c #Conflicts: 306000 | #Constraints: 41222 712.90/715.34 c #Conflicts: 307000 | #Constraints: 42222 712.90/715.34 c #Conflicts: 308000 | #Constraints: 43222 712.90/715.34 c #Conflicts: 309000 | #Constraints: 44222 712.90/715.34 c #Conflicts: 310000 | #Constraints: 45223 712.90/715.34 c #Conflicts: 311000 | #Constraints: 46223 712.90/715.34 c #Conflicts: 312000 | #Constraints: 47223 712.90/715.34 c #Conflicts: 313000 | #Constraints: 48223 712.90/715.34 c #Conflicts: 314000 | #Constraints: 49223 712.90/715.34 c #Conflicts: 315000 | #Constraints: 50223 712.90/715.34 c #Conflicts: 316000 | #Constraints: 51223 712.90/715.34 c #Conflicts: 317000 | #Constraints: 52224 712.90/715.34 c #Conflicts: 318000 | #Constraints: 53224 712.90/715.34 c #Conflicts: 319000 | #Constraints: 54224 712.90/715.34 c #Conflicts: 320000 | #Constraints: 55226 712.90/715.34 c #Conflicts: 321000 | #Constraints: 56226 712.90/715.34 c INPROCESSING 712.90/715.34 c GARBAGE COLLECT 712.90/715.34 c rational objective 148 809.26/812.06 c #Conflicts: 322000 | #Constraints: 29401 809.26/812.06 c #Conflicts: 323000 | #Constraints: 30401 809.26/812.06 c #Conflicts: 324000 | #Constraints: 31401 809.26/812.06 c #Conflicts: 325000 | #Constraints: 32401 809.26/812.06 c #Conflicts: 326000 | #Constraints: 33401 809.26/812.06 c #Conflicts: 327000 | #Constraints: 34401 809.26/812.06 c #Conflicts: 328000 | #Constraints: 35401 809.26/812.06 c #Conflicts: 329000 | #Constraints: 36401 809.26/812.06 c #Conflicts: 330000 | #Constraints: 37401 809.26/812.06 c #Conflicts: 331000 | #Constraints: 38401 809.26/812.06 c #Conflicts: 332000 | #Constraints: 39401 809.26/812.06 c #Conflicts: 333000 | #Constraints: 40401 809.26/812.06 c #Conflicts: 334000 | #Constraints: 41401 809.26/812.06 c #Conflicts: 335000 | #Constraints: 42401 809.26/812.06 c #Conflicts: 336000 | #Constraints: 43401 809.26/812.06 c INPROCESSING 809.26/812.06 c GARBAGE COLLECT 809.26/812.06 c rational objective 148 844.25/847.15 c #Conflicts: 337000 | #Constraints: 23522 844.25/847.15 c #Conflicts: 338000 | #Constraints: 24522 844.25/847.15 c #Conflicts: 339000 | #Constraints: 25522 844.25/847.15 c #Conflicts: 340000 | #Constraints: 26522 844.25/847.15 c #Conflicts: 341000 | #Constraints: 27522 844.25/847.15 c #Conflicts: 342000 | #Constraints: 28522 844.25/847.15 c #Conflicts: 343000 | #Constraints: 29522 844.25/847.15 c #Conflicts: 344000 | #Constraints: 30522 844.25/847.15 c #Conflicts: 345000 | #Constraints: 31522 844.25/847.15 c #Conflicts: 346000 | #Constraints: 32522 844.25/847.15 c #Conflicts: 347000 | #Constraints: 33522 844.25/847.15 c #Conflicts: 348000 | #Constraints: 34522 844.25/847.15 c #Conflicts: 349000 | #Constraints: 35522 844.25/847.15 c #Conflicts: 350000 | #Constraints: 36523 844.25/847.15 c INPROCESSING 844.25/847.15 c GARBAGE COLLECT 844.25/847.15 c rational objective 148 1010.71/1014.17 c #Conflicts: 351000 | #Constraints: 21345 1010.71/1014.17 c #Conflicts: 352000 | #Constraints: 22345 1010.71/1014.17 c #Conflicts: 353000 | #Constraints: 23345 1010.71/1014.17 c #Conflicts: 354000 | #Constraints: 24345 1010.71/1014.17 c #Conflicts: 355000 | #Constraints: 25345 1010.71/1014.17 c #Conflicts: 356000 | #Constraints: 26345 1010.71/1014.17 c #Conflicts: 357000 | #Constraints: 27345 1010.71/1014.17 c #Conflicts: 358000 | #Constraints: 28345 1010.71/1014.17 c #Conflicts: 359000 | #Constraints: 29345 1010.71/1014.17 c #Conflicts: 360000 | #Constraints: 30345 1010.71/1014.17 c #Conflicts: 361000 | #Constraints: 31345 1010.71/1014.17 c #Conflicts: 362000 | #Constraints: 32345 1010.71/1014.17 c #Conflicts: 363000 | #Constraints: 33345 1010.71/1014.17 c #Conflicts: 364000 | #Constraints: 34345 1010.71/1014.17 c #Conflicts: 365000 | #Constraints: 35345 1010.71/1014.17 c #Conflicts: 366000 | #Constraints: 36345 1010.71/1014.17 c #Conflicts: 367000 | #Constraints: 37345 1010.71/1014.17 c #Conflicts: 368000 | #Constraints: 38345 1010.71/1014.17 c #Conflicts: 369000 | #Constraints: 39345 1010.71/1014.17 c #Conflicts: 370000 | #Constraints: 40345 1010.71/1014.17 c #Conflicts: 371000 | #Constraints: 41345 1010.71/1014.17 c #Conflicts: 372000 | #Constraints: 42345 1010.71/1014.17 c #Conflicts: 373000 | #Constraints: 43345 1010.71/1014.17 c #Conflicts: 374000 | #Constraints: 44345 1010.71/1014.17 c #Conflicts: 375000 | #Constraints: 45345 1010.71/1014.17 c #Conflicts: 376000 | #Constraints: 46346 1010.71/1014.17 c #Conflicts: 377000 | #Constraints: 47346 1010.71/1014.17 c #Conflicts: 378000 | #Constraints: 48346 1010.71/1014.17 c #Conflicts: 379000 | #Constraints: 49347 1010.71/1014.17 c #Conflicts: 380000 | #Constraints: 50347 1010.71/1014.17 c #Conflicts: 381000 | #Constraints: 51347 1010.71/1014.17 c #Conflicts: 382000 | #Constraints: 52347 1010.71/1014.17 c #Conflicts: 383000 | #Constraints: 53347 1010.71/1014.17 c #Conflicts: 384000 | #Constraints: 54347 1010.71/1014.17 c #Conflicts: 385000 | #Constraints: 55347 1010.71/1014.17 c #Conflicts: 386000 | #Constraints: 56347 1010.71/1014.17 c #Conflicts: 387000 | #Constraints: 57347 1010.71/1014.17 c #Conflicts: 388000 | #Constraints: 58347 1010.71/1014.17 c #Conflicts: 389000 | #Constraints: 59347 1010.71/1014.17 c #Conflicts: 390000 | #Constraints: 60347 1010.71/1014.17 c #Conflicts: 391000 | #Constraints: 61347 1010.71/1014.17 c #Conflicts: 392000 | #Constraints: 62347 1010.71/1014.17 c #Conflicts: 393000 | #Constraints: 63347 1010.71/1014.17 c INPROCESSING 1010.71/1014.17 c GARBAGE COLLECT 1010.71/1014.17 c rational objective 148 1054.76/1058.32 c #Conflicts: 394000 | #Constraints: 33180 1054.76/1058.32 c #Conflicts: 395000 | #Constraints: 34180 1054.76/1058.32 c #Conflicts: 396000 | #Constraints: 35181 1054.76/1058.32 c #Conflicts: 397000 | #Constraints: 36191 1054.76/1058.32 c #Conflicts: 398000 | #Constraints: 37245 1054.76/1058.32 c #Conflicts: 399000 | #Constraints: 38245 1054.76/1058.32 c #Conflicts: 400000 | #Constraints: 39266 1054.76/1058.32 c #Conflicts: 401000 | #Constraints: 40330 1054.76/1058.32 c #Conflicts: 402000 | #Constraints: 41330 1054.76/1058.32 c #Conflicts: 403000 | #Constraints: 42330 1054.76/1058.32 c #Conflicts: 404000 | #Constraints: 43330 1054.76/1058.32 c #Conflicts: 405000 | #Constraints: 44330 1054.76/1058.32 c #Conflicts: 406000 | #Constraints: 45332 1054.76/1058.32 c #Conflicts: 407000 | #Constraints: 46371 1054.76/1058.32 c #Conflicts: 408000 | #Constraints: 47377 1054.76/1058.32 c #Conflicts: 409000 | #Constraints: 48394 1054.76/1058.32 c INPROCESSING 1054.76/1058.32 c GARBAGE COLLECT 1054.76/1058.32 c rational objective 148 1261.79/1266.01 c #Conflicts: 410000 | #Constraints: 25831 1261.79/1266.01 c #Conflicts: 411000 | #Constraints: 26841 1261.79/1266.01 c #Conflicts: 412000 | #Constraints: 27850 1261.79/1266.01 c #Conflicts: 413000 | #Constraints: 28850 1261.79/1266.01 c #Conflicts: 414000 | #Constraints: 29850 1261.79/1266.01 c #Conflicts: 415000 | #Constraints: 30850 1261.79/1266.01 c #Conflicts: 416000 | #Constraints: 31850 1261.79/1266.01 c #Conflicts: 417000 | #Constraints: 32850 1261.79/1266.01 c #Conflicts: 418000 | #Constraints: 33873 1261.79/1266.01 c #Conflicts: 419000 | #Constraints: 34879 1261.79/1266.01 c #Conflicts: 420000 | #Constraints: 35955 1261.79/1266.01 c #Conflicts: 421000 | #Constraints: 36986 1261.79/1266.01 c #Conflicts: 422000 | #Constraints: 37986 1261.79/1266.01 c #Conflicts: 423000 | #Constraints: 39031 1261.79/1266.01 c #Conflicts: 424000 | #Constraints: 40031 1261.79/1266.01 c #Conflicts: 425000 | #Constraints: 41032 1261.79/1266.01 c #Conflicts: 426000 | #Constraints: 42523 1261.79/1266.01 c #Conflicts: 427000 | #Constraints: 44389 1261.79/1266.01 c #Conflicts: 428000 | #Constraints: 46227 1261.79/1266.01 c #Conflicts: 429000 | #Constraints: 48077 1261.79/1266.01 c #Conflicts: 430000 | #Constraints: 49896 1261.79/1266.01 c #Conflicts: 431000 | #Constraints: 51691 1261.79/1266.01 c #Conflicts: 432000 | #Constraints: 52778 1261.79/1266.01 c #Conflicts: 433000 | #Constraints: 53783 1261.79/1266.01 c #Conflicts: 434000 | #Constraints: 54796 1261.79/1266.01 c #Conflicts: 435000 | #Constraints: 55796 1261.79/1266.01 c #Conflicts: 436000 | #Constraints: 56803 1261.79/1266.01 c #Conflicts: 437000 | #Constraints: 57826 1261.79/1266.01 c #Conflicts: 438000 | #Constraints: 58826 1261.79/1266.01 c #Conflicts: 439000 | #Constraints: 59826 1261.79/1266.01 c #Conflicts: 440000 | #Constraints: 60826 1261.79/1266.01 c #Conflicts: 441000 | #Constraints: 61842 1261.79/1266.01 c #Conflicts: 442000 | #Constraints: 62842 1261.79/1266.01 c #Conflicts: 443000 | #Constraints: 63842 1261.79/1266.01 c #Conflicts: 444000 | #Constraints: 64842 1261.79/1266.01 c #Conflicts: 445000 | #Constraints: 65856 1261.79/1266.01 c #Conflicts: 446000 | #Constraints: 67108 1261.79/1266.01 c #Conflicts: 447000 | #Constraints: 68108 1261.79/1266.01 c #Conflicts: 448000 | #Constraints: 69108 1261.79/1266.01 c #Conflicts: 449000 | #Constraints: 70122 1261.79/1266.01 c #Conflicts: 450000 | #Constraints: 71199 1261.79/1266.01 c #Conflicts: 451000 | #Constraints: 72199 1261.79/1266.01 c #Conflicts: 452000 | #Constraints: 73200 1261.79/1266.01 c #Conflicts: 453000 | #Constraints: 74205 1261.79/1266.01 c #Conflicts: 454000 | #Constraints: 75265 1261.79/1266.01 c #Conflicts: 455000 | #Constraints: 76265 1261.79/1266.01 c INPROCESSING 1261.79/1266.01 c GARBAGE COLLECT 1261.79/1266.01 c rational objective 148 1370.33/1374.91 c #Conflicts: 456000 | #Constraints: 39576 1370.33/1374.91 c #Conflicts: 457000 | #Constraints: 40576 1370.33/1374.91 c #Conflicts: 458000 | #Constraints: 41576 1370.33/1374.91 c #Conflicts: 459000 | #Constraints: 42576 1370.33/1374.91 c #Conflicts: 460000 | #Constraints: 43576 1370.33/1374.91 c #Conflicts: 461000 | #Constraints: 44577 1370.33/1374.91 c #Conflicts: 462000 | #Constraints: 45577 1370.33/1374.91 c #Conflicts: 463000 | #Constraints: 46578 1370.33/1374.91 c #Conflicts: 464000 | #Constraints: 47578 1370.33/1374.91 c #Conflicts: 465000 | #Constraints: 48578 1370.33/1374.91 c #Conflicts: 466000 | #Constraints: 49579 1370.33/1374.91 c #Conflicts: 467000 | #Constraints: 50579 1370.33/1374.91 c #Conflicts: 468000 | #Constraints: 51579 1370.33/1374.91 c #Conflicts: 469000 | #Constraints: 52579 1370.33/1374.91 c #Conflicts: 470000 | #Constraints: 53579 1370.33/1374.91 c #Conflicts: 471000 | #Constraints: 54579 1370.33/1374.91 c #Conflicts: 472000 | #Constraints: 55580 1370.33/1374.91 c INPROCESSING 1370.33/1374.91 c GARBAGE COLLECT 1370.33/1374.91 c rational objective 148 1429.14/1433.96 c #Conflicts: 473000 | #Constraints: 29358 1429.14/1433.96 c #Conflicts: 474000 | #Constraints: 30358 1429.14/1433.96 c #Conflicts: 475000 | #Constraints: 31358 1429.14/1433.96 c #Conflicts: 476000 | #Constraints: 32358 1429.14/1433.96 c #Conflicts: 477000 | #Constraints: 33358 1429.14/1433.96 c #Conflicts: 478000 | #Constraints: 34358 1429.14/1433.96 c #Conflicts: 479000 | #Constraints: 35359 1429.14/1433.96 c #Conflicts: 480000 | #Constraints: 36359 1429.14/1433.96 c #Conflicts: 481000 | #Constraints: 37359 1429.14/1433.96 c #Conflicts: 482000 | #Constraints: 38359 1429.14/1433.96 c #Conflicts: 483000 | #Constraints: 39359 1429.14/1433.96 c #Conflicts: 484000 | #Constraints: 40359 1429.14/1433.96 c #Conflicts: 485000 | #Constraints: 41359 1429.14/1433.96 c #Conflicts: 486000 | #Constraints: 42359 1429.14/1433.96 c #Conflicts: 487000 | #Constraints: 43359 1429.14/1433.96 c #Conflicts: 488000 | #Constraints: 44359 1429.14/1433.96 c #Conflicts: 489000 | #Constraints: 45359 1429.14/1433.96 c INPROCESSING 1429.14/1433.96 c GARBAGE COLLECT 1429.14/1433.96 c rational objective 148 1706.50/1712.21 c #Conflicts: 490000 | #Constraints: 27654 1706.50/1712.21 c #Conflicts: 491000 | #Constraints: 28654 1706.50/1712.21 c #Conflicts: 492000 | #Constraints: 29654 1706.50/1712.21 c #Conflicts: 493000 | #Constraints: 30654 1706.50/1712.21 c #Conflicts: 494000 | #Constraints: 31655 1706.50/1712.21 c #Conflicts: 495000 | #Constraints: 32655 1706.50/1712.21 c #Conflicts: 496000 | #Constraints: 33655 1706.50/1712.21 c #Conflicts: 497000 | #Constraints: 34656 1706.50/1712.21 c #Conflicts: 498000 | #Constraints: 35657 1706.50/1712.21 c #Conflicts: 499000 | #Constraints: 36659 1706.50/1712.21 c #Conflicts: 500000 | #Constraints: 37659 1706.50/1712.21 c #Conflicts: 501000 | #Constraints: 38660 1706.50/1712.21 c #Conflicts: 502000 | #Constraints: 39660 1706.50/1712.21 c #Conflicts: 503000 | #Constraints: 40660 1706.50/1712.21 c #Conflicts: 504000 | #Constraints: 41660 1706.50/1712.21 c #Conflicts: 505000 | #Constraints: 42660 1706.50/1712.21 c #Conflicts: 506000 | #Constraints: 43660 1706.50/1712.21 c #Conflicts: 507000 | #Constraints: 44660 1706.50/1712.21 c #Conflicts: 508000 | #Constraints: 45660 1706.50/1712.21 c #Conflicts: 509000 | #Constraints: 46660 1706.50/1712.21 c #Conflicts: 510000 | #Constraints: 47660 1706.50/1712.21 c #Conflicts: 511000 | #Constraints: 48664 1706.50/1712.21 c #Conflicts: 512000 | #Constraints: 49665 1706.50/1712.21 c #Conflicts: 513000 | #Constraints: 50665 1706.50/1712.21 c #Conflicts: 514000 | #Constraints: 51665 1706.50/1712.21 c #Conflicts: 515000 | #Constraints: 52665 1706.50/1712.21 c #Conflicts: 516000 | #Constraints: 53665 1706.50/1712.21 c #Conflicts: 517000 | #Constraints: 54665 1706.50/1712.21 c #Conflicts: 518000 | #Constraints: 55665 1706.50/1712.21 c #Conflicts: 519000 | #Constraints: 56666 1706.50/1712.21 c #Conflicts: 520000 | #Constraints: 57666 1706.50/1712.21 c #Conflicts: 521000 | #Constraints: 58666 1706.50/1712.21 c #Conflicts: 522000 | #Constraints: 59666 1706.50/1712.21 c #Conflicts: 523000 | #Constraints: 60666 1706.50/1712.21 c #Conflicts: 524000 | #Constraints: 61666 1706.50/1712.21 c #Conflicts: 525000 | #Constraints: 62666 1706.50/1712.21 c #Conflicts: 526000 | #Constraints: 63666 1706.50/1712.21 c #Conflicts: 527000 | #Constraints: 64666 1706.50/1712.21 c #Conflicts: 528000 | #Constraints: 65666 1706.50/1712.21 c #Conflicts: 529000 | #Constraints: 66666 1706.50/1712.21 c #Conflicts: 530000 | #Constraints: 67667 1706.50/1712.21 c #Conflicts: 531000 | #Constraints: 68667 1706.50/1712.21 c #Conflicts: 532000 | #Constraints: 69667 1706.50/1712.21 c #Conflicts: 533000 | #Constraints: 70667 1706.50/1712.21 c #Conflicts: 534000 | #Constraints: 71667 1706.50/1712.21 c #Conflicts: 535000 | #Constraints: 72667 1706.50/1712.21 c #Conflicts: 536000 | #Constraints: 73667 1706.50/1712.21 c #Conflicts: 537000 | #Constraints: 74667 1706.50/1712.21 c #Conflicts: 538000 | #Constraints: 75667 1706.50/1712.21 c #Conflicts: 539000 | #Constraints: 76667 1706.50/1712.21 c #Conflicts: 540000 | #Constraints: 77667 1706.50/1712.21 c INPROCESSING 1706.50/1712.21 c GARBAGE COLLECT 1706.50/1712.21 c rational objective 148 1758.12/1764.05 c #Conflicts: 541000 | #Constraints: 40571 1758.12/1764.05 c #Conflicts: 542000 | #Constraints: 41597 1758.12/1764.05 c #Conflicts: 543000 | #Constraints: 42598 1758.12/1764.05 c #Conflicts: 544000 | #Constraints: 43655 1758.12/1764.05 c #Conflicts: 545000 | #Constraints: 44690 1758.12/1764.05 c #Conflicts: 546000 | #Constraints: 45690 1758.12/1764.05 c #Conflicts: 547000 | #Constraints: 46829 1758.12/1764.05 c #Conflicts: 548000 | #Constraints: 48111 1758.12/1764.05 c #Conflicts: 549000 | #Constraints: 49132 1758.12/1764.05 c #Conflicts: 550000 | #Constraints: 50303 1758.12/1764.05 c #Conflicts: 551000 | #Constraints: 51303 1758.12/1764.05 c #Conflicts: 552000 | #Constraints: 52303 1758.12/1764.05 c #Conflicts: 553000 | #Constraints: 53317 1758.12/1764.05 c #Conflicts: 554000 | #Constraints: 54366 1758.12/1764.05 c #Conflicts: 555000 | #Constraints: 55410 1758.12/1764.05 c #Conflicts: 556000 | #Constraints: 56479 1758.12/1764.05 c #Conflicts: 557000 | #Constraints: 57547 1758.12/1764.05 c #Conflicts: 558000 | #Constraints: 58614 1758.12/1764.05 c INPROCESSING 1758.12/1764.05 c GARBAGE COLLECT 1758.12/1764.05 c rational objective 148 2170.89/2178.27 c #Conflicts: 559000 | #Constraints: 30845 2170.89/2178.27 c #Conflicts: 560000 | #Constraints: 31845 2170.89/2178.27 c #Conflicts: 561000 | #Constraints: 32914 2170.89/2178.27 c #Conflicts: 562000 | #Constraints: 34020 2170.89/2178.27 c #Conflicts: 563000 | #Constraints: 35023 2170.89/2178.27 c #Conflicts: 564000 | #Constraints: 36024 2170.89/2178.27 c #Conflicts: 565000 | #Constraints: 37127 2170.89/2178.27 c #Conflicts: 566000 | #Constraints: 38127 2170.89/2178.27 c #Conflicts: 567000 | #Constraints: 39127 2170.89/2178.27 c #Conflicts: 568000 | #Constraints: 40127 2170.89/2178.27 c #Conflicts: 569000 | #Constraints: 41127 2170.89/2178.27 c #Conflicts: 570000 | #Constraints: 42127 2170.89/2178.27 c #Conflicts: 571000 | #Constraints: 43127 2170.89/2178.27 c #Conflicts: 572000 | #Constraints: 44127 2170.89/2178.27 c #Conflicts: 573000 | #Constraints: 45127 2170.89/2178.27 c #Conflicts: 574000 | #Constraints: 46128 2170.89/2178.27 c #Conflicts: 575000 | #Constraints: 47128 2170.89/2178.27 c #Conflicts: 576000 | #Constraints: 48201 2170.89/2178.27 c #Conflicts: 577000 | #Constraints: 49214 2170.89/2178.27 c #Conflicts: 578000 | #Constraints: 50214 2170.89/2178.28 c #Conflicts: 579000 | #Constraints: 51214 2170.89/2178.28 c #Conflicts: 580000 | #Constraints: 52214 2170.89/2178.28 c #Conflicts: 581000 | #Constraints: 53214 2170.89/2178.28 c #Conflicts: 582000 | #Constraints: 54214 2170.89/2178.28 c #Conflicts: 583000 | #Constraints: 55214 2170.89/2178.28 c #Conflicts: 584000 | #Constraints: 56214 2170.89/2178.28 c #Conflicts: 585000 | #Constraints: 57214 2170.89/2178.28 c #Conflicts: 586000 | #Constraints: 58214 2170.89/2178.28 c #Conflicts: 587000 | #Constraints: 59215 2170.89/2178.28 c #Conflicts: 588000 | #Constraints: 60217 2170.89/2178.28 c #Conflicts: 589000 | #Constraints: 61266 2170.89/2178.28 c #Conflicts: 590000 | #Constraints: 62266 2170.89/2178.28 c #Conflicts: 591000 | #Constraints: 63266 2170.89/2178.28 c #Conflicts: 592000 | #Constraints: 64266 2170.89/2178.28 c #Conflicts: 593000 | #Constraints: 65266 2170.89/2178.28 c #Conflicts: 594000 | #Constraints: 66273 2170.89/2178.28 c #Conflicts: 595000 | #Constraints: 67273 2170.89/2178.28 c bounds 195 >= 148 @ 1913.27 2170.89/2178.28 c #Conflicts: 596000 | #Constraints: 68274 2170.89/2178.28 c #Conflicts: 597000 | #Constraints: 69274 2170.89/2178.28 c #Conflicts: 598000 | #Constraints: 70274 2170.89/2178.28 c #Conflicts: 599000 | #Constraints: 71274 2170.89/2178.28 c #Conflicts: 600000 | #Constraints: 72274 2170.89/2178.28 c #Conflicts: 601000 | #Constraints: 73274 2170.89/2178.28 c #Conflicts: 602000 | #Constraints: 74274 2170.89/2178.28 c #Conflicts: 603000 | #Constraints: 75274 2170.89/2178.28 c #Conflicts: 604000 | #Constraints: 76274 2170.89/2178.28 c #Conflicts: 605000 | #Constraints: 77274 2170.89/2178.28 c #Conflicts: 606000 | #Constraints: 78274 2170.89/2178.28 c #Conflicts: 607000 | #Constraints: 79274 2170.89/2178.28 c #Conflicts: 608000 | #Constraints: 80274 2170.89/2178.28 c #Conflicts: 609000 | #Constraints: 81274 2170.89/2178.28 c #Conflicts: 610000 | #Constraints: 82274 2170.89/2178.28 c #Conflicts: 611000 | #Constraints: 83274 2170.89/2178.28 c #Conflicts: 612000 | #Constraints: 84274 2170.89/2178.28 c INPROCESSING 2170.89/2178.28 c GARBAGE COLLECT 2170.89/2178.28 c rational objective 148 2234.07/2241.68 c #Conflicts: 613000 | #Constraints: 43808 2234.07/2241.68 c #Conflicts: 614000 | #Constraints: 44809 2234.07/2241.68 c #Conflicts: 615000 | #Constraints: 45809 2234.07/2241.68 c #Conflicts: 616000 | #Constraints: 46855 2234.07/2241.68 c #Conflicts: 617000 | #Constraints: 47929 2234.07/2241.68 c #Conflicts: 618000 | #Constraints: 48960 2234.07/2241.68 c #Conflicts: 619000 | #Constraints: 50043 2234.07/2241.68 c #Conflicts: 620000 | #Constraints: 51081 2234.07/2241.68 c #Conflicts: 621000 | #Constraints: 52081 2234.07/2241.68 c #Conflicts: 622000 | #Constraints: 53081 2234.07/2241.68 c #Conflicts: 623000 | #Constraints: 54115 2234.07/2241.68 c #Conflicts: 624000 | #Constraints: 55477 2234.07/2241.68 c #Conflicts: 625000 | #Constraints: 56477 2234.07/2241.68 c #Conflicts: 626000 | #Constraints: 57483 2234.07/2241.68 c #Conflicts: 627000 | #Constraints: 58680 2234.07/2241.68 c #Conflicts: 628000 | #Constraints: 59939 2234.07/2241.68 c #Conflicts: 629000 | #Constraints: 60946 2234.07/2241.68 c #Conflicts: 630000 | #Constraints: 62013 2234.07/2241.68 c #Conflicts: 631000 | #Constraints: 63013 2234.07/2241.68 c #Conflicts: 632000 | #Constraints: 64038 2234.07/2241.68 c INPROCESSING 2234.07/2241.68 c GARBAGE COLLECT 2234.07/2241.68 c rational objective 148 2567.50/2576.24 c #Conflicts: 633000 | #Constraints: 33752 2567.50/2576.24 c #Conflicts: 634000 | #Constraints: 34752 2567.50/2576.24 c #Conflicts: 635000 | #Constraints: 35786 2567.50/2576.24 c #Conflicts: 636000 | #Constraints: 36828 2567.50/2576.24 c #Conflicts: 637000 | #Constraints: 37877 2567.50/2576.24 c #Conflicts: 638000 | #Constraints: 38877 2567.50/2576.24 c #Conflicts: 639000 | #Constraints: 39878 2567.50/2576.24 c #Conflicts: 640000 | #Constraints: 40878 2567.50/2576.24 c #Conflicts: 641000 | #Constraints: 41879 2567.50/2576.24 c #Conflicts: 642000 | #Constraints: 42879 2567.50/2576.24 c #Conflicts: 643000 | #Constraints: 43879 2567.50/2576.24 c #Conflicts: 644000 | #Constraints: 45209 2567.50/2576.24 c #Conflicts: 645000 | #Constraints: 46228 2567.50/2576.24 c #Conflicts: 646000 | #Constraints: 47251 2567.50/2576.24 c #Conflicts: 647000 | #Constraints: 48328 2567.50/2576.24 c #Conflicts: 648000 | #Constraints: 49364 2567.50/2576.24 c #Conflicts: 649000 | #Constraints: 50368 2567.50/2576.24 c #Conflicts: 650000 | #Constraints: 51369 2567.50/2576.24 c #Conflicts: 651000 | #Constraints: 52370 2567.50/2576.24 c #Conflicts: 652000 | #Constraints: 53414 2567.50/2576.24 c #Conflicts: 653000 | #Constraints: 54460 2567.50/2576.24 c #Conflicts: 654000 | #Constraints: 55584 2567.50/2576.24 c #Conflicts: 655000 | #Constraints: 56593 2567.50/2576.24 c #Conflicts: 656000 | #Constraints: 57609 2567.50/2576.24 c #Conflicts: 657000 | #Constraints: 58615 2567.50/2576.24 c #Conflicts: 658000 | #Constraints: 59675 2567.50/2576.24 c #Conflicts: 659000 | #Constraints: 60711 2567.50/2576.24 c #Conflicts: 660000 | #Constraints: 61896 2567.50/2576.24 c #Conflicts: 661000 | #Constraints: 63223 2567.50/2576.24 c #Conflicts: 662000 | #Constraints: 64374 2567.50/2576.24 c #Conflicts: 663000 | #Constraints: 65398 2567.50/2576.24 c #Conflicts: 664000 | #Constraints: 66452 2567.50/2576.24 c #Conflicts: 665000 | #Constraints: 67873 2567.50/2576.24 c #Conflicts: 666000 | #Constraints: 68946 2567.50/2576.24 c #Conflicts: 667000 | #Constraints: 69967 2567.50/2576.24 c #Conflicts: 668000 | #Constraints: 70993 2567.50/2576.24 c #Conflicts: 669000 | #Constraints: 72102 2567.50/2576.24 c #Conflicts: 670000 | #Constraints: 73150 2567.50/2576.24 c #Conflicts: 671000 | #Constraints: 74181 2567.50/2576.24 c #Conflicts: 672000 | #Constraints: 75191 2567.50/2576.24 c #Conflicts: 673000 | #Constraints: 76197 2567.50/2576.24 c #Conflicts: 674000 | #Constraints: 77197 2567.50/2576.24 c #Conflicts: 675000 | #Constraints: 78197 2567.50/2576.24 c #Conflicts: 676000 | #Constraints: 79197 2567.50/2576.24 c #Conflicts: 677000 | #Constraints: 80197 2567.50/2576.24 c #Conflicts: 678000 | #Constraints: 81197 2567.50/2576.24 c #Conflicts: 679000 | #Constraints: 82197 2567.50/2576.24 c #Conflicts: 680000 | #Constraints: 83203 2567.50/2576.24 c #Conflicts: 681000 | #Constraints: 84203 2567.50/2576.24 c #Conflicts: 682000 | #Constraints: 85203 2567.50/2576.24 c #Conflicts: 683000 | #Constraints: 86203 2567.50/2576.24 c #Conflicts: 684000 | #Constraints: 87205 2567.50/2576.24 c #Conflicts: 685000 | #Constraints: 88281 2567.50/2576.24 c #Conflicts: 686000 | #Constraints: 89282 2567.50/2576.24 c #Conflicts: 687000 | #Constraints: 90283 2567.50/2576.24 c #Conflicts: 688000 | #Constraints: 91551 2567.50/2576.24 c INPROCESSING 2567.50/2576.24 c GARBAGE COLLECT 2567.50/2576.24 c rational objective 148 2805.48/2815.16 c #Conflicts: 689000 | #Constraints: 47114 2805.48/2815.16 c #Conflicts: 690000 | #Constraints: 48115 2805.48/2815.16 c #Conflicts: 691000 | #Constraints: 49115 2805.48/2815.16 c #Conflicts: 692000 | #Constraints: 50116 2805.48/2815.16 c #Conflicts: 693000 | #Constraints: 51116 2805.48/2815.16 c #Conflicts: 694000 | #Constraints: 52116 2805.48/2815.16 c #Conflicts: 695000 | #Constraints: 53117 2805.48/2815.16 c #Conflicts: 696000 | #Constraints: 54117 2805.48/2815.16 c #Conflicts: 697000 | #Constraints: 55117 2805.48/2815.16 c #Conflicts: 698000 | #Constraints: 56117 2805.48/2815.16 c #Conflicts: 699000 | #Constraints: 57117 2805.48/2815.16 c #Conflicts: 700000 | #Constraints: 58117 2805.48/2815.16 c #Conflicts: 701000 | #Constraints: 59119 2805.48/2815.16 c #Conflicts: 702000 | #Constraints: 60119 2805.48/2815.16 c #Conflicts: 703000 | #Constraints: 61119 2805.48/2815.16 c #Conflicts: 704000 | #Constraints: 62120 2805.48/2815.16 c #Conflicts: 705000 | #Constraints: 63120 2805.48/2815.16 c #Conflicts: 706000 | #Constraints: 64120 2805.48/2815.16 c #Conflicts: 707000 | #Constraints: 65120 2805.48/2815.16 c #Conflicts: 708000 | #Constraints: 66120 2805.48/2815.16 c #Conflicts: 709000 | #Constraints: 67120 2805.48/2815.16 c INPROCESSING 2805.48/2815.16 c GARBAGE COLLECT 2805.48/2815.16 c rational objective 148 3351.16/3362.95 c #Conflicts: 710000 | #Constraints: 34984 3351.16/3362.95 c #Conflicts: 711000 | #Constraints: 35984 3351.16/3362.95 c #Conflicts: 712000 | #Constraints: 36984 3351.16/3362.95 c #Conflicts: 713000 | #Constraints: 37984 3351.16/3362.95 c #Conflicts: 714000 | #Constraints: 38984 3351.16/3362.95 c #Conflicts: 715000 | #Constraints: 39984 3351.16/3362.95 c #Conflicts: 716000 | #Constraints: 40984 3351.16/3362.95 c #Conflicts: 717000 | #Constraints: 41984 3351.16/3362.95 c #Conflicts: 718000 | #Constraints: 42984 3351.16/3362.95 c #Conflicts: 719000 | #Constraints: 43984 3351.16/3362.95 c #Conflicts: 720000 | #Constraints: 44984 3351.16/3362.95 c #Conflicts: 721000 | #Constraints: 45984 3351.16/3362.95 c #Conflicts: 722000 | #Constraints: 46984 3351.16/3362.95 c #Conflicts: 723000 | #Constraints: 47984 3351.16/3362.95 c #Conflicts: 724000 | #Constraints: 48984 3351.16/3362.95 c #Conflicts: 725000 | #Constraints: 49984 3351.16/3362.95 c #Conflicts: 726000 | #Constraints: 50984 3351.16/3362.95 c #Conflicts: 727000 | #Constraints: 51984 3351.16/3362.95 c #Conflicts: 728000 | #Constraints: 52984 3351.16/3362.95 c #Conflicts: 729000 | #Constraints: 53984 3351.16/3362.95 c #Conflicts: 730000 | #Constraints: 54984 3351.16/3362.95 c #Conflicts: 731000 | #Constraints: 55984 3351.16/3362.95 c #Conflicts: 732000 | #Constraints: 56984 3351.16/3362.95 c #Conflicts: 733000 | #Constraints: 57984 3351.16/3362.95 c #Conflicts: 734000 | #Constraints: 58984 3351.16/3362.95 c #Conflicts: 735000 | #Constraints: 59984 3351.16/3362.95 c #Conflicts: 736000 | #Constraints: 60984 3351.16/3362.95 c #Conflicts: 737000 | #Constraints: 61984 3351.16/3362.95 c #Conflicts: 738000 | #Constraints: 62984 3351.16/3362.95 c #Conflicts: 739000 | #Constraints: 63984 3351.16/3362.95 c #Conflicts: 740000 | #Constraints: 64984 3351.16/3362.95 c #Conflicts: 741000 | #Constraints: 65985 3351.16/3362.95 c #Conflicts: 742000 | #Constraints: 66985 3351.16/3362.95 c #Conflicts: 743000 | #Constraints: 67985 3351.16/3362.95 c #Conflicts: 744000 | #Constraints: 68986 3351.16/3362.95 c #Conflicts: 745000 | #Constraints: 69986 3351.16/3362.95 c #Conflicts: 746000 | #Constraints: 70986 3351.16/3362.95 c #Conflicts: 747000 | #Constraints: 71988 3351.16/3362.95 c #Conflicts: 748000 | #Constraints: 72988 3351.16/3362.95 c #Conflicts: 749000 | #Constraints: 73988 3351.16/3362.95 c #Conflicts: 750000 | #Constraints: 74988 3351.16/3362.95 c #Conflicts: 751000 | #Constraints: 75988 3351.16/3362.95 c #Conflicts: 752000 | #Constraints: 76988 3351.16/3362.95 c #Conflicts: 753000 | #Constraints: 77988 3351.16/3362.95 c #Conflicts: 754000 | #Constraints: 78988 3351.16/3362.95 c #Conflicts: 755000 | #Constraints: 79988 3351.16/3362.95 c #Conflicts: 756000 | #Constraints: 80988 3351.16/3362.95 c #Conflicts: 757000 | #Constraints: 81989 3351.16/3362.95 c #Conflicts: 758000 | #Constraints: 82989 3351.16/3362.95 c #Conflicts: 759000 | #Constraints: 83989 3351.16/3362.95 c #Conflicts: 760000 | #Constraints: 84989 3351.16/3362.95 c #Conflicts: 761000 | #Constraints: 85989 3351.16/3362.95 c #Conflicts: 762000 | #Constraints: 86989 3351.16/3362.95 c #Conflicts: 763000 | #Constraints: 87989 3351.16/3362.95 c #Conflicts: 764000 | #Constraints: 88989 3351.16/3362.95 c #Conflicts: 765000 | #Constraints: 89989 3351.16/3362.95 c #Conflicts: 766000 | #Constraints: 90989 3351.16/3362.95 c #Conflicts: 767000 | #Constraints: 91989 3351.16/3362.95 c #Conflicts: 768000 | #Constraints: 92989 3351.16/3362.95 c #Conflicts: 769000 | #Constraints: 93989 3351.16/3362.95 c INPROCESSING 3351.16/3362.95 c GARBAGE COLLECT 3351.16/3362.95 c rational objective 148 3452.97/3465.18 c #Conflicts: 770000 | #Constraints: 48468 3452.97/3465.18 c #Conflicts: 771000 | #Constraints: 49468 3452.97/3465.18 c #Conflicts: 772000 | #Constraints: 50468 3452.97/3465.18 c #Conflicts: 773000 | #Constraints: 51468 3452.97/3465.18 c #Conflicts: 774000 | #Constraints: 52468 3452.97/3465.18 c #Conflicts: 775000 | #Constraints: 53468 3452.97/3465.18 c #Conflicts: 776000 | #Constraints: 54518 3452.97/3465.18 c #Conflicts: 777000 | #Constraints: 55518 3452.97/3465.18 c #Conflicts: 778000 | #Constraints: 56521 3452.97/3465.18 c #Conflicts: 779000 | #Constraints: 57593 3452.97/3465.18 c #Conflicts: 780000 | #Constraints: 58632 3452.97/3465.18 c #Conflicts: 781000 | #Constraints: 60064 3452.97/3465.18 c #Conflicts: 782000 | #Constraints: 61067 3452.97/3465.18 c #Conflicts: 783000 | #Constraints: 62067 3452.97/3465.18 c #Conflicts: 784000 | #Constraints: 63067 3452.97/3465.18 c #Conflicts: 785000 | #Constraints: 64113 3452.97/3465.18 c #Conflicts: 786000 | #Constraints: 65114 3452.97/3465.18 c #Conflicts: 787000 | #Constraints: 66114 3452.97/3465.18 c #Conflicts: 788000 | #Constraints: 67114 3452.97/3465.18 c #Conflicts: 789000 | #Constraints: 68162 3452.97/3465.18 c #Conflicts: 790000 | #Constraints: 69329 3452.97/3465.18 c #Conflicts: 791000 | #Constraints: 70329 3452.97/3465.18 c #Conflicts: 792000 | #Constraints: 71330 3452.97/3465.18 c INPROCESSING 3452.97/3465.18 c GARBAGE COLLECT 3452.97/3465.18 c rational objective 148 3600.04/3612.70 c 3600.04/3612.70 s SATISFIABLE 3600.04/3612.70 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 3600.04/3612.70 c #Conflicts: 793000 | #Constraints: 38193 3600.04/3612.70 c #Conflicts: 794000 | #Constraints: 39193 3600.04/3612.70 c #Conflicts: 795000 | #Constraints: 40194 3600.04/3612.70 c #Conflicts: 796000 | #Constraints: 41195 3600.04/3612.70 c #Conflicts: 797000 | #Constraints: 42195 3600.04/3612.70 c #Conflicts: 798000 | #Constraints: 43196 3600.04/3612.70 c #Conflicts: 799000 | #Constraints: 44236 3600.04/3612.70 c #Conflicts: 800000 | #Constraints: 45240 3600.04/3612.70 c #Conflicts: 801000 | #Constraints: 46267 3600.04/3612.70 c #Conflicts: 802000 | #Constraints: 47292 3600.04/3612.70 c #Conflicts: 803000 | #Constraints: 48292 3600.04/3612.70 c #Conflicts: 804000 | #Constraints: 49292 3600.04/3612.70 c #Conflicts: 805000 | #Constraints: 50292 3600.04/3612.70 c #Conflicts: 806000 | #Constraints: 51295 3600.04/3612.70 c #Conflicts: 807000 | #Constraints: 52344 3600.04/3612.70 c #Conflicts: 808000 | #Constraints: 53344 3600.04/3612.70 c #Conflicts: 809000 | #Constraints: 54344 3600.04/3612.70 c #Conflicts: 810000 | #Constraints: 55374 3600.04/3612.70 c #Conflicts: 811000 | #Constraints: 56383 3600.04/3612.70 c #Conflicts: 812000 | #Constraints: 57390 3600.04/3612.70 c #Conflicts: 813000 | #Constraints: 58391 3600.04/3612.70 c #Conflicts: 814000 | #Constraints: 59391 3600.04/3612.70 c #Conflicts: 815000 | #Constraints: 60394 3600.04/3612.70 c #Conflicts: 816000 | #Constraints: 61477 3600.04/3612.70 c #Conflicts: 817000 | #Constraints: 62542 3600.04/3612.70 c #Conflicts: 818000 | #Constraints: 63591 3600.04/3612.70 c #Conflicts: 819000 | #Constraints: 64596 3600.04/3612.70 c #Conflicts: 820000 | #Constraints: 65655 3600.04/3612.70 c #Conflicts: 821000 | #Constraints: 66676 3600.04/3612.70 c #Conflicts: 822000 | #Constraints: 67681 3600.04/3612.70 c #Conflicts: 823000 | #Constraints: 68700 3600.04/3612.70 c #Conflicts: 824000 | #Constraints: 69744 3600.04/3612.70 c #Conflicts: 825000 | #Constraints: 70747 3600.04/3612.70 c #Conflicts: 826000 | #Constraints: 71778 3600.04/3612.70 c #Conflicts: 827000 | #Constraints: 72780
OK 195
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63106 MiB free)
memory of node 1: 64473 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429410-1721048391/watcher-4429410-1721048391 -o /tmp/evaluation-result-4429410-1721048391/solver-4429410-1721048391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721048404-802538 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429410-1721048391.opb
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=802600, runsolver pid=802593
[startup+0.100695 s]*
/proc/loadavg: 3.86 4.06 4.08 6/260 802602
/proc/meminfo: memFree=129662820/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=38680 memory=8772 CPUtime=0.09 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 681 0 0 0 9 0 0 0 20 0 1 0 157005820 39608320 2193 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 9670 2193 1737 922 0 1622 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38680 KiB
Current children cumulated memory: 8772 KiB
[startup+0.205156 s]*
/proc/loadavg: 3.86 4.06 4.08 5/260 802602
/proc/meminfo: memFree=129647020/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=40572 memory=13556 CPUtime=0.2 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 1378 0 0 0 18 2 0 0 20 0 1 0 157005820 41545728 3389 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 10143 3389 1769 922 0 2095 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13556 KiB
[startup+0.305377 s]*
/proc/loadavg: 3.86 4.06 4.08 6/260 802602
/proc/meminfo: memFree=129628624/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=41364 memory=14348 CPUtime=0.3 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 1581 0 0 0 26 4 0 0 20 0 1 0 157005820 42356736 3587 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 10341 3587 1769 922 0 2293 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41364 KiB
Current children cumulated memory: 14348 KiB
[startup+0.700158 s]
/proc/loadavg: 3.86 4.06 4.08 6/260 802602
/proc/meminfo: memFree=129610356/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=43616 memory=17012 CPUtime=0.69 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 2172 0 0 0 64 5 0 0 20 0 1 0 157005820 44662784 4253 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 10904 4253 1846 922 0 2856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43616 KiB
Current children cumulated memory: 17012 KiB
[startup+1.50017 s]
/proc/loadavg: 3.87 4.06 4.08 6/260 802604
/proc/meminfo: memFree=129576780/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=51008 memory=23348 CPUtime=1.49 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 3797 0 0 0 140 9 0 0 20 0 1 0 157005820 52232192 5837 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 12752 5837 1846 922 0 4704 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51008 KiB
Current children cumulated memory: 23348 KiB
[startup+3.10594 s]
/proc/loadavg: 3.87 4.06 4.08 6/260 802604
/proc/meminfo: memFree=129548084/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=52060 memory=24048 CPUtime=3.09 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 4046 0 0 0 293 16 0 0 20 0 1 0 157005820 53309440 6012 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 13015 6012 1846 922 0 4967 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52060 KiB
Current children cumulated memory: 24048 KiB
[startup+6.30015 s]
/proc/loadavg: 3.88 4.06 4.08 6/260 802604
/proc/meminfo: memFree=129503828/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=61376 memory=32896 CPUtime=6.27 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 5765 0 0 0 600 27 0 0 20 0 1 0 157005820 62849024 8224 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 15344 8224 1846 922 0 7296 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61376 KiB
Current children cumulated memory: 32896 KiB
[startup+12.7002 s]
/proc/loadavg: 3.89 4.06 4.08 7/260 802605
/proc/meminfo: memFree=129482740/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=65392 memory=37392 CPUtime=12.65 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 6890 0 0 0 1214 51 0 0 20 0 1 0 157005820 66961408 9348 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 16348 9348 1931 922 0 8300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65392 KiB
Current children cumulated memory: 37392 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.07 4.09 6/260 802607
/proc/meminfo: memFree=129398428/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=134008 memory=89716 CPUtime=25.41 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 14876 0 0 0 2465 76 0 0 20 0 1 0 157005820 137224192 22429 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 33502 22429 1931 922 0 25454 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 134008 KiB
Current children cumulated memory: 89716 KiB
[startup+51.1061 s]
/proc/loadavg: 3.99 4.06 4.08 6/260 802611
/proc/meminfo: memFree=129161260/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=137716 memory=95160 CPUtime=50.94 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 15763 0 0 0 4979 115 0 0 20 0 1 0 157005820 141021184 23790 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 34429 23790 1931 922 0 26381 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 137716 KiB
Current children cumulated memory: 95160 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.06 4.09 6/260 802631
/proc/meminfo: memFree=129027492/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=147216 memory=101996 CPUtime=101.96 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 17442 0 0 0 10008 188 0 0 20 0 1 0 157005820 150749184 25499 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 36804 25499 1931 922 0 28756 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 147216 KiB
Current children cumulated memory: 101996 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.09 6/260 802642
/proc/meminfo: memFree=128913752/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=200404 memory=135780 CPUtime=161.76 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 22367 0 0 0 15931 245 0 0 20 0 1 0 157005820 205213696 33945 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 50101 33945 1931 922 0 42053 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 200404 KiB
Current children cumulated memory: 135780 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.09 6/260 802653
/proc/meminfo: memFree=128860756/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=201308 memory=137364 CPUtime=221.56 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 22749 0 0 0 21855 301 0 0 20 0 1 0 157005820 206139392 34341 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 50327 34341 1931 922 0 42279 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 201308 KiB
Current children cumulated memory: 137364 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.08 4.09 6/258 802663
/proc/meminfo: memFree=128721452/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=210748 memory=144484 CPUtime=281.36 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 24521 0 0 0 27780 356 0 0 20 0 1 0 157005820 215805952 36121 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 52687 36121 1931 922 0 44639 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 210748 KiB
Current children cumulated memory: 144484 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.06 4.08 6/254 802675
/proc/meminfo: memFree=128557352/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=234580 memory=188744 CPUtime=341.16 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 29500 0 0 0 33733 383 0 0 20 0 1 0 157005820 240209920 47186 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 58645 47186 1931 922 0 50597 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 234580 KiB
Current children cumulated memory: 188744 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.06 4.08 7/254 802685
/proc/meminfo: memFree=128528360/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=288684 memory=196068 CPUtime=400.96 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 30834 0 0 0 39692 404 0 0 20 0 1 0 157005820 295612416 49017 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 72171 49017 1931 922 0 64123 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 288684 KiB
Current children cumulated memory: 196068 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.08 4.09 6/254 802695
/proc/meminfo: memFree=128486032/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=288684 memory=196332 CPUtime=460.76 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 30855 0 0 0 45619 457 0 0 20 0 1 0 157005820 295612416 49083 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 72171 49083 1931 922 0 64123 0
################
# More data... #
################
Current children cumulated memory: 361484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/254 803868
/proc/meminfo: memFree=127658996/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=472996 memory=361484 CPUtime=2912.26 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 53038 0 0 0 289836 1390 0 0 20 0 1 0 157005820 484347904 90371 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 118249 90371 1931 922 0 110201 0
Current children cumulated CPU time: 2912.26 s
Current children cumulated vsize: 472996 KiB
Current children cumulated memory: 361484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/255 803879
/proc/meminfo: memFree=127657264/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=472996 memory=361484 CPUtime=2972.03 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 53224 0 0 0 295795 1408 0 0 20 0 1 0 157005820 484347904 90371 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 118249 90371 1931 922 0 110201 0
Current children cumulated CPU time: 2972.03 s
Current children cumulated vsize: 472996 KiB
Current children cumulated memory: 361484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/258 803896
/proc/meminfo: memFree=127656464/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=472996 memory=361484 CPUtime=3031.81 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 53410 0 0 0 301755 1426 0 0 20 0 1 0 157005820 484347904 90371 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 118249 90371 1931 922 0 110201 0
Current children cumulated CPU time: 3031.81 s
Current children cumulated vsize: 472996 KiB
Current children cumulated memory: 361484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/258 803906
/proc/meminfo: memFree=127656120/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=472996 memory=361484 CPUtime=3091.57 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 53596 0 0 0 307716 1441 0 0 20 0 1 0 157005820 484347904 90371 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 118249 90371 1931 922 0 110201 0
Current children cumulated CPU time: 3091.57 s
Current children cumulated vsize: 472996 KiB
Current children cumulated memory: 361484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/258 803916
/proc/meminfo: memFree=127655636/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=472996 memory=361484 CPUtime=3151.34 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 53782 0 0 0 313677 1457 0 0 20 0 1 0 157005820 484347904 90371 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 118249 90371 1931 922 0 110201 0
Current children cumulated CPU time: 3151.34 s
Current children cumulated vsize: 472996 KiB
Current children cumulated memory: 361484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/258 803927
/proc/meminfo: memFree=127640836/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=473356 memory=361496 CPUtime=3211.11 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 54002 0 0 0 319642 1469 0 0 20 0 1 0 157005820 484716544 90374 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 118339 90374 1931 922 0 110291 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 473356 KiB
Current children cumulated memory: 361496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 803938
/proc/meminfo: memFree=127632128/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=477844 memory=364184 CPUtime=3270.87 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 54850 0 0 0 325606 1481 0 0 20 0 1 0 157005820 489312256 91046 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 119461 91046 1931 922 0 111413 0
Current children cumulated CPU time: 3270.87 s
Current children cumulated vsize: 477844 KiB
Current children cumulated memory: 364184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/256 804332
/proc/meminfo: memFree=127622796/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=482452 memory=366608 CPUtime=3330.64 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 55655 0 0 0 331569 1495 0 0 20 0 1 0 157005820 494030848 91652 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 120613 91652 1931 922 0 112565 0
Current children cumulated CPU time: 3330.64 s
Current children cumulated vsize: 482452 KiB
Current children cumulated memory: 366608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/257 804343
/proc/meminfo: memFree=127604260/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=485524 memory=377624 CPUtime=3390.41 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 56560 0 0 0 337525 1516 0 0 20 0 1 0 157005820 497176576 94406 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 121381 94406 1931 922 0 113333 0
Current children cumulated CPU time: 3390.41 s
Current children cumulated vsize: 485524 KiB
Current children cumulated memory: 377624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.11 4.10 6/257 804354
/proc/meminfo: memFree=127575504/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=485896 memory=384884 CPUtime=3450.17 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 56855 0 0 0 343475 1542 0 0 20 0 1 0 157005820 497557504 96221 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 121474 96221 1931 922 0 113426 0
Current children cumulated CPU time: 3450.17 s
Current children cumulated vsize: 485896 KiB
Current children cumulated memory: 384884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/259 804534
/proc/meminfo: memFree=127551416/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=486224 memory=385284 CPUtime=3509.96 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 57082 0 0 0 349427 1569 0 0 20 0 1 0 157005820 497893376 96321 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 121556 96321 1931 922 0 113508 0
Current children cumulated CPU time: 3509.96 s
Current children cumulated vsize: 486224 KiB
Current children cumulated memory: 385284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/259 804544
/proc/meminfo: memFree=127546336/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=486224 memory=385284 CPUtime=3569.75 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 57245 0 0 0 355386 1589 0 0 20 0 1 0 157005820 497893376 96321 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 121556 96321 1931 922 0 113508 0
Current children cumulated CPU time: 3569.75 s
Current children cumulated vsize: 486224 KiB
Current children cumulated memory: 385284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 804689
/proc/meminfo: memFree=127998212/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=486224 memory=385308 CPUtime=3600.04 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 57285 0 0 0 358407 1597 0 0 20 0 1 0 157005820 497893376 96327 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 121556 96327 1931 922 0 113508 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 486224 KiB
Current children cumulated memory: 385308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.7 s]
# the end of solver process 802600 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3584.08 s, system=15.9779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 804689
/proc/meminfo: memFree=127998212/131524600 swapFree=131071996/131071996
[pid=802600] ppid=802593 vsize=486224 memory=385308 CPUtime=3600.04 cores=0,2
/proc/802600/stat : 802600 (roundingsat) R 802593 802600 802527 0 -1 4194304 57285 0 0 0 358407 1597 0 0 20 0 1 0 157005820 497893376 96327 134679101440 4194304 7968869 140729245144624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 22274048 140729245152190 140729245152354 140729245152354 140729245159369 0
/proc/802600/statm: 121556 96327 1931 922 0 113508 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 486224 KiB
Current children cumulated memory: 385308 KiB
Child status: 1
Real time (s): 3612.7
CPU time (s): 3600.06
CPU user time (s): 3584.08
CPU system time (s): 15.9779
CPU usage (%): 99.65
Max. virtual memory (cumulated for all children) (KiB): 486888
Max. memory (cumulated for all children) (KiB): 385308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.08
system time used= 15.9779
maximum resident set size= 385308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 25350
# summary of solver processes directly reported to runsolver:
# pid: 802600
# total CPU time (s): 3600.06
# total CPU user time (s): 3584.08
# total CPU system time (s): 15.9779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04916 second user time and 18.3283 second system time
The end
Begin job on nodeC027 at 2024-07-15 15:00:04 IDJOB=4429410 IDBENCH=147538 IDSOLVER=3051 FILE ID=nodeC027/4429410-1721048391 RUNJOBID= nodeC027-1721048404-802538 SLURM_JOB_ID= 7505462 Free space on /tmp= 890072 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429410-1721048391/watcher-4429410-1721048391 -o /tmp/evaluation-result-4429410-1721048391/solver-4429410-1721048391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721048404-802538 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429410-1721048391.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=917947408 nodeC027.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 : 3502.756 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 : 7000.36 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 : 3633.463 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.29 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 : 3549.360 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 : 7000.36 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 : 3678.074 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.29 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 : 3487.286 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 : 7000.36 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 : 3621.798 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.29 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 : 3544.910 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 : 7000.36 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 : 3677.833 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129681064 kB MemAvailable: 129775520 kB Buffers: 358884 kB Cached: 580276 kB SwapCached: 0 kB Active: 563036 kB Inactive: 709248 kB Active(anon): 1476 kB Inactive(anon): 369388 kB Active(file): 561560 kB Inactive(file): 339860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21156 kB Writeback: 0 kB AnonPages: 330992 kB Mapped: 109200 kB Shmem: 37720 kB KReclaimable: 65720 kB Slab: 167340 kB SReclaimable: 65720 kB SUnreclaim: 101620 kB KernelStack: 4296 kB PageTables: 10208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 657612 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59680 kB HardwareCorrupted: 0 kB AnonHugePages: 202752 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: 182996 kB DirectMap2M: 11124736 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 889652 MiB End job on nodeC027 at 2024-07-15 16:00:17