| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 193 | 3600.03 | 3609.71 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| 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 | 181 |
| 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 | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| 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 476 #constraints 476 0.09/0.17 c bounds - >= 0 @ 0.002923 0.09/0.17 c bounds 229 >= 0 @ 0.125856 0.09/0.17 c bounds 229 >= 1 @ 0.125944 0.09/0.17 c bounds 229 >= 2 @ 0.126016 0.09/0.17 c bounds 229 >= 3 @ 0.126081 0.09/0.17 c bounds 229 >= 4 @ 0.126148 0.09/0.17 c bounds 229 >= 5 @ 0.126213 0.09/0.17 c bounds 229 >= 6 @ 0.126287 0.09/0.17 c bounds 229 >= 7 @ 0.126358 0.09/0.17 c bounds 229 >= 8 @ 0.126432 0.09/0.17 c bounds 229 >= 9 @ 0.126505 0.09/0.17 c bounds 229 >= 10 @ 0.126585 0.09/0.17 c bounds 229 >= 11 @ 0.126666 0.09/0.17 c bounds 229 >= 12 @ 0.126752 0.09/0.17 c bounds 229 >= 13 @ 0.126834 0.09/0.17 c bounds 229 >= 14 @ 0.126917 0.09/0.17 c bounds 229 >= 15 @ 0.126998 0.09/0.17 c bounds 229 >= 16 @ 0.127083 0.09/0.17 c bounds 229 >= 17 @ 0.127164 0.09/0.17 c bounds 229 >= 18 @ 0.127251 0.09/0.17 c bounds 229 >= 19 @ 0.127332 0.09/0.17 c bounds 229 >= 20 @ 0.127417 0.09/0.17 c bounds 229 >= 21 @ 0.127501 0.09/0.17 c bounds 229 >= 22 @ 0.127593 0.09/0.17 c bounds 229 >= 23 @ 0.127684 0.09/0.17 c bounds 229 >= 24 @ 0.127783 0.09/0.17 c bounds 229 >= 25 @ 0.127878 0.09/0.17 c bounds 229 >= 26 @ 0.127978 0.09/0.17 c bounds 229 >= 27 @ 0.128076 0.09/0.17 c bounds 229 >= 28 @ 0.128179 0.09/0.17 c bounds 229 >= 29 @ 0.128282 0.09/0.17 c bounds 229 >= 30 @ 0.128386 0.09/0.17 c bounds 228 >= 30 @ 0.140504 0.09/0.17 c bounds 228 >= 31 @ 0.140615 0.09/0.17 c bounds 228 >= 32 @ 0.14072 0.09/0.17 c bounds 228 >= 33 @ 0.140835 0.09/0.17 c bounds 228 >= 34 @ 0.140949 0.09/0.17 c bounds 228 >= 35 @ 0.141094 0.09/0.17 c bounds 228 >= 36 @ 0.141423 0.09/0.17 c bounds 228 >= 37 @ 0.14154 0.09/0.17 c bounds 228 >= 38 @ 0.14165 0.09/0.17 c bounds 228 >= 39 @ 0.141716 0.09/0.17 c bounds 228 >= 40 @ 0.141716 0.09/0.17 c bounds 228 >= 41 @ 0.141716 0.09/0.17 c bounds 228 >= 42 @ 0.141716 0.09/0.17 c bounds 228 >= 43 @ 0.141716 0.09/0.17 c bounds 228 >= 44 @ 0.141716 0.09/0.17 c bounds 228 >= 45 @ 0.141716 0.09/0.17 c bounds 228 >= 46 @ 0.141716 0.09/0.17 c bounds 228 >= 47 @ 0.141717 0.09/0.17 c bounds 228 >= 48 @ 0.141717 0.09/0.17 c bounds 228 >= 49 @ 0.141717 0.09/0.17 c bounds 228 >= 50 @ 0.141717 0.09/0.17 c bounds 228 >= 51 @ 0.141717 0.09/0.17 c bounds 228 >= 52 @ 0.141717 0.09/0.17 c bounds 228 >= 53 @ 0.141717 0.09/0.17 c bounds 228 >= 54 @ 0.141717 0.09/0.17 c bounds 228 >= 55 @ 0.141779 0.09/0.17 c bounds 228 >= 56 @ 0.141897 0.09/0.17 c bounds 228 >= 57 @ 0.142012 0.09/0.17 c bounds 228 >= 58 @ 0.14213 0.09/0.17 c bounds 228 >= 59 @ 0.14225 0.09/0.17 c bounds 228 >= 60 @ 0.142377 0.09/0.17 c bounds 228 >= 61 @ 0.142505 0.09/0.17 c bounds 228 >= 62 @ 0.142599 0.09/0.17 c bounds 228 >= 63 @ 0.142599 0.09/0.17 c bounds 228 >= 64 @ 0.142599 0.09/0.17 c bounds 228 >= 65 @ 0.142599 0.09/0.17 c bounds 228 >= 66 @ 0.142599 0.09/0.17 c bounds 228 >= 67 @ 0.142648 0.09/0.17 c bounds 228 >= 68 @ 0.142717 0.09/0.17 c bounds 228 >= 69 @ 0.142717 0.09/0.17 c bounds 228 >= 70 @ 0.142717 0.09/0.17 c bounds 228 >= 71 @ 0.142717 0.09/0.17 c bounds 228 >= 72 @ 0.142717 0.09/0.17 c bounds 228 >= 73 @ 0.142717 0.09/0.17 c bounds 228 >= 74 @ 0.142717 0.09/0.17 c bounds 228 >= 75 @ 0.142717 0.09/0.17 c bounds 228 >= 76 @ 0.142717 0.09/0.17 c bounds 228 >= 77 @ 0.142717 0.09/0.17 c bounds 228 >= 78 @ 0.142717 0.09/0.17 c bounds 228 >= 79 @ 0.142717 0.09/0.17 c bounds 228 >= 80 @ 0.142717 0.09/0.17 c bounds 228 >= 81 @ 0.142717 0.09/0.17 c bounds 228 >= 82 @ 0.142717 0.09/0.17 c bounds 228 >= 83 @ 0.142717 0.09/0.17 c bounds 228 >= 84 @ 0.142717 0.09/0.17 c bounds 228 >= 85 @ 0.142717 0.09/0.17 c bounds 228 >= 86 @ 0.142717 0.09/0.17 c bounds 228 >= 87 @ 0.142717 0.09/0.17 c bounds 228 >= 88 @ 0.142717 0.09/0.17 c bounds 228 >= 89 @ 0.14273 0.09/0.17 c bounds 228 >= 90 @ 0.14287 0.09/0.17 c bounds 228 >= 91 @ 0.143034 0.09/0.17 c bounds 228 >= 92 @ 0.14319 0.09/0.17 c bounds 228 >= 93 @ 0.143359 0.09/0.17 c bounds 228 >= 94 @ 0.143517 0.09/0.17 c bounds 228 >= 95 @ 0.143677 0.09/0.17 c bounds 228 >= 96 @ 0.143717 0.09/0.17 c bounds 228 >= 97 @ 0.143717 0.09/0.17 c bounds 228 >= 98 @ 0.143717 0.09/0.17 c bounds 228 >= 99 @ 0.143717 0.09/0.17 c bounds 228 >= 100 @ 0.143717 0.09/0.17 c bounds 228 >= 101 @ 0.143717 0.09/0.17 c bounds 228 >= 102 @ 0.14388 0.09/0.17 c bounds 228 >= 103 @ 0.144048 0.09/0.17 c bounds 228 >= 104 @ 0.144227 0.09/0.17 c bounds 228 >= 105 @ 0.144395 0.09/0.17 c bounds 228 >= 106 @ 0.14456 0.09/0.17 c bounds 228 >= 107 @ 0.144739 0.09/0.17 c bounds 228 >= 108 @ 0.1449 0.09/0.17 c bounds 228 >= 109 @ 0.145082 0.09/0.17 c bounds 228 >= 110 @ 0.145269 0.09/0.17 c bounds 228 >= 111 @ 0.145433 0.09/0.17 c bounds 228 >= 112 @ 0.145618 0.09/0.17 c bounds 228 >= 113 @ 0.145794 0.09/0.17 c bounds 228 >= 114 @ 0.14597 0.09/0.17 c bounds 228 >= 115 @ 0.14615 0.09/0.17 c bounds 228 >= 116 @ 0.14632 0.09/0.17 c bounds 228 >= 117 @ 0.146503 0.09/0.17 c bounds 228 >= 118 @ 0.146681 0.09/0.17 c bounds 228 >= 119 @ 0.146711 0.09/0.17 c bounds 228 >= 120 @ 0.146711 0.09/0.17 c bounds 228 >= 121 @ 0.146711 0.09/0.17 c bounds 228 >= 122 @ 0.146711 0.09/0.17 c bounds 228 >= 123 @ 0.146711 0.09/0.17 c bounds 228 >= 124 @ 0.146713 0.09/0.17 c bounds 228 >= 125 @ 0.146713 0.09/0.17 c bounds 228 >= 126 @ 0.146713 0.09/0.17 c bounds 228 >= 127 @ 0.146713 0.09/0.17 c bounds 228 >= 128 @ 0.146713 0.09/0.17 c bounds 228 >= 129 @ 0.147002 0.09/0.17 c bounds 228 >= 130 @ 0.147245 0.09/0.17 c bounds 228 >= 131 @ 0.14753 0.09/0.17 c bounds 228 >= 132 @ 0.14771 0.09/0.17 c bounds 228 >= 133 @ 0.14771 0.09/0.17 c bounds 228 >= 134 @ 0.148483 0.59/0.64 c bounds 228 >= 135 @ 0.148872 0.59/0.64 c bounds 228 >= 136 @ 0.150468 0.59/0.64 c bounds 228 >= 137 @ 0.151318 0.59/0.64 c bounds 228 >= 138 @ 0.152217 0.59/0.64 c bounds 228 >= 139 @ 0.15934 0.59/0.64 c bounds 227 >= 139 @ 0.164243 0.59/0.64 c bounds 227 >= 140 @ 0.173988 0.59/0.64 c bounds 226 >= 140 @ 0.175325 0.59/0.64 c bounds 225 >= 140 @ 0.176447 0.59/0.64 c bounds 224 >= 140 @ 0.176692 0.59/0.64 c bounds 223 >= 140 @ 0.180641 0.59/0.64 c bounds 222 >= 140 @ 0.186909 0.59/0.64 c #Conflicts: 1000 | #Constraints: 2194 0.59/0.64 c bounds 222 >= 141 @ 0.23652 0.59/0.64 c bounds 221 >= 141 @ 0.238203 0.59/0.64 c bounds 220 >= 141 @ 0.238904 0.59/0.64 c bounds 219 >= 141 @ 0.241688 0.59/0.64 c bounds 218 >= 141 @ 0.268667 0.59/0.64 c bounds 217 >= 141 @ 0.274598 0.59/0.64 c bounds 216 >= 141 @ 0.277712 0.59/0.64 c bounds 215 >= 141 @ 0.280427 0.59/0.64 c bounds 214 >= 141 @ 0.321103 0.59/0.64 c #Conflicts: 2000 | #Constraints: 3262 0.59/0.64 c INPROCESSING 0.59/0.64 c GARBAGE COLLECT 0.59/0.64 c rational objective 141.207 1.38/1.49 c bounds 213 >= 141 @ 0.693564 1.38/1.49 c #Conflicts: 3000 | #Constraints: 3151 1.38/1.49 c bounds 212 >= 141 @ 0.986505 1.38/1.49 c #Conflicts: 4000 | #Constraints: 4152 1.38/1.49 c bounds 212 >= 142 @ 1.15061 1.38/1.49 c INPROCESSING 1.38/1.49 c GARBAGE COLLECT 1.38/1.49 c rational objective 142 2.09/2.19 c #Conflicts: 5000 | #Constraints: 3616 2.09/2.19 c bounds 212 >= 143 @ 1.85715 2.09/2.19 c bounds 211 >= 143 @ 1.8618 2.09/2.19 c #Conflicts: 6000 | #Constraints: 4653 2.09/2.19 c INPROCESSING 2.09/2.19 c GARBAGE COLLECT 2.09/2.19 c rational objective 143 2.98/3.10 c #Conflicts: 7000 | #Constraints: 3608 2.98/3.10 c bounds 210 >= 143 @ 2.35994 2.98/3.10 c bounds 209 >= 143 @ 2.38016 2.98/3.10 c #Conflicts: 8000 | #Constraints: 4610 2.98/3.10 c #Conflicts: 9000 | #Constraints: 5610 2.98/3.10 c INPROCESSING 2.98/3.10 c GARBAGE COLLECT 2.98/3.10 c rational objective 143 3.88/3.95 c bounds 208 >= 143 @ 3.03731 3.88/3.95 c #Conflicts: 10000 | #Constraints: 4370 3.88/3.95 c bounds 207 >= 143 @ 3.24162 3.88/3.95 c #Conflicts: 11000 | #Constraints: 5371 3.88/3.95 c #Conflicts: 12000 | #Constraints: 6371 3.88/3.95 c INPROCESSING 3.88/3.95 c GARBAGE COLLECT 3.88/3.95 c rational objective 143 5.18/5.23 c bounds 206 >= 143 @ 4.03121 5.18/5.23 c #Conflicts: 13000 | #Constraints: 4799 5.18/5.23 c #Conflicts: 14000 | #Constraints: 5799 5.18/5.23 c bounds 206 >= 144 @ 4.75171 5.18/5.23 c bounds 205 >= 144 @ 4.78758 5.18/5.23 c bounds 204 >= 144 @ 4.82376 5.18/5.23 c #Conflicts: 15000 | #Constraints: 6843 5.18/5.23 c INPROCESSING 5.18/5.23 c GARBAGE COLLECT 5.18/5.23 c rational objective 144 6.28/6.31 c bounds 203 >= 144 @ 5.34794 6.28/6.31 c #Conflicts: 16000 | #Constraints: 5036 6.28/6.31 c #Conflicts: 17000 | #Constraints: 6036 6.28/6.31 c #Conflicts: 18000 | #Constraints: 7036 6.28/6.31 c INPROCESSING 6.28/6.31 c GARBAGE COLLECT 6.28/6.31 c rational objective 144 7.88/7.93 c #Conflicts: 19000 | #Constraints: 5050 7.88/7.93 c #Conflicts: 20000 | #Constraints: 6050 7.88/7.93 c #Conflicts: 21000 | #Constraints: 7050 7.88/7.93 c INPROCESSING 7.88/7.93 c GARBAGE COLLECT 7.88/7.93 c rational objective 144 18.34/18.46 c bounds 202 >= 144 @ 7.70803 18.34/18.46 c #Conflicts: 22000 | #Constraints: 4929 18.34/18.46 c bounds 201 >= 144 @ 7.95212 18.34/18.46 c #Conflicts: 23000 | #Constraints: 5930 18.34/18.46 c #Conflicts: 24000 | #Constraints: 6931 18.34/18.46 c #Conflicts: 25000 | #Constraints: 7931 18.34/18.46 c #Conflicts: 26000 | #Constraints: 8931 18.34/18.46 c #Conflicts: 27000 | #Constraints: 9931 18.34/18.46 c bounds 200 >= 144 @ 10.4023 18.34/18.46 c #Conflicts: 28000 | #Constraints: 10932 18.34/18.46 c #Conflicts: 29000 | #Constraints: 11932 18.34/18.46 c #Conflicts: 30000 | #Constraints: 12932 18.34/18.46 c #Conflicts: 31000 | #Constraints: 13932 18.34/18.46 c #Conflicts: 32000 | #Constraints: 14932 18.34/18.46 c #Conflicts: 33000 | #Constraints: 15932 18.34/18.46 c INPROCESSING 18.34/18.46 c GARBAGE COLLECT 18.34/18.46 c rational objective 144 22.03/22.10 c #Conflicts: 34000 | #Constraints: 9525 22.03/22.10 c #Conflicts: 35000 | #Constraints: 10525 22.03/22.10 c #Conflicts: 36000 | #Constraints: 11525 22.03/22.10 c #Conflicts: 37000 | #Constraints: 12525 22.03/22.10 c #Conflicts: 38000 | #Constraints: 13525 22.03/22.10 c INPROCESSING 22.03/22.10 c GARBAGE COLLECT 22.03/22.10 c rational objective 144 25.12/25.29 c #Conflicts: 39000 | #Constraints: 8402 25.12/25.29 c #Conflicts: 40000 | #Constraints: 9402 25.12/25.29 c bounds 200 >= 145 @ 22.9742 25.12/25.29 c #Conflicts: 41000 | #Constraints: 10462 25.12/25.29 c #Conflicts: 42000 | #Constraints: 11462 25.12/25.29 c INPROCESSING 25.12/25.29 c GARBAGE COLLECT 25.12/25.29 c rational objective 145 27.62/27.75 c #Conflicts: 43000 | #Constraints: 7005 27.62/27.75 c #Conflicts: 44000 | #Constraints: 8005 27.62/27.75 c #Conflicts: 45000 | #Constraints: 9005 27.62/27.75 c #Conflicts: 46000 | #Constraints: 10005 27.62/27.75 c #Conflicts: 47000 | #Constraints: 11005 27.62/27.75 c #Conflicts: 48000 | #Constraints: 12005 27.62/27.75 c INPROCESSING 27.62/27.75 c GARBAGE COLLECT 27.62/27.75 c rational objective 145 42.89/43.06 c #Conflicts: 49000 | #Constraints: 7673 42.89/43.06 c #Conflicts: 50000 | #Constraints: 8673 42.89/43.06 c #Conflicts: 51000 | #Constraints: 9673 42.89/43.06 c #Conflicts: 52000 | #Constraints: 10673 42.89/43.06 c #Conflicts: 53000 | #Constraints: 11673 42.89/43.06 c #Conflicts: 54000 | #Constraints: 12673 42.89/43.06 c #Conflicts: 55000 | #Constraints: 13673 42.89/43.06 c #Conflicts: 56000 | #Constraints: 14673 42.89/43.06 c #Conflicts: 57000 | #Constraints: 15673 42.89/43.06 c #Conflicts: 58000 | #Constraints: 16673 42.89/43.06 c #Conflicts: 59000 | #Constraints: 17673 42.89/43.06 c #Conflicts: 60000 | #Constraints: 18673 42.89/43.06 c #Conflicts: 61000 | #Constraints: 19673 42.89/43.06 c #Conflicts: 62000 | #Constraints: 20673 42.89/43.06 c #Conflicts: 63000 | #Constraints: 21673 42.89/43.06 c #Conflicts: 64000 | #Constraints: 22673 42.89/43.06 c #Conflicts: 65000 | #Constraints: 23673 42.89/43.06 c INPROCESSING 42.89/43.06 c GARBAGE COLLECT 42.89/43.06 c rational objective 145 48.07/48.24 c bounds 199 >= 145 @ 42.1792 48.07/48.24 c #Conflicts: 66000 | #Constraints: 13593 48.07/48.24 c #Conflicts: 67000 | #Constraints: 14593 48.07/48.24 c #Conflicts: 68000 | #Constraints: 15593 48.07/48.24 c #Conflicts: 69000 | #Constraints: 16593 48.07/48.24 c #Conflicts: 70000 | #Constraints: 17593 48.07/48.24 c #Conflicts: 71000 | #Constraints: 18593 48.07/48.24 c INPROCESSING 48.07/48.24 c GARBAGE COLLECT 48.07/48.24 c rational objective 145 52.76/52.92 c #Conflicts: 72000 | #Constraints: 10765 52.76/52.92 c bounds 198 >= 145 @ 47.4544 52.76/52.92 c #Conflicts: 73000 | #Constraints: 11766 52.76/52.92 c #Conflicts: 74000 | #Constraints: 12766 52.76/52.92 c #Conflicts: 75000 | #Constraints: 13766 52.76/52.92 c #Conflicts: 76000 | #Constraints: 14766 52.76/52.92 c #Conflicts: 77000 | #Constraints: 15766 52.76/52.92 c bounds 197 >= 145 @ 50.5505 52.76/52.92 c #Conflicts: 78000 | #Constraints: 16767 52.76/52.92 c INPROCESSING 52.76/52.92 c GARBAGE COLLECT 52.76/52.92 c rational objective 145 99.24/99.52 c #Conflicts: 79000 | #Constraints: 10058 99.24/99.52 c #Conflicts: 80000 | #Constraints: 11058 99.24/99.52 c #Conflicts: 81000 | #Constraints: 12058 99.24/99.52 c #Conflicts: 82000 | #Constraints: 13152 99.24/99.52 c #Conflicts: 83000 | #Constraints: 14195 99.24/99.52 c #Conflicts: 84000 | #Constraints: 15203 99.24/99.52 c #Conflicts: 85000 | #Constraints: 16209 99.24/99.52 c #Conflicts: 86000 | #Constraints: 17213 99.24/99.52 c #Conflicts: 87000 | #Constraints: 18226 99.24/99.52 c #Conflicts: 88000 | #Constraints: 19232 99.24/99.52 c #Conflicts: 89000 | #Constraints: 20233 99.24/99.52 c #Conflicts: 90000 | #Constraints: 21257 99.24/99.52 c #Conflicts: 91000 | #Constraints: 22296 99.24/99.52 c #Conflicts: 92000 | #Constraints: 23307 99.24/99.52 c #Conflicts: 93000 | #Constraints: 24313 99.24/99.52 c #Conflicts: 94000 | #Constraints: 25320 99.24/99.52 c #Conflicts: 95000 | #Constraints: 26388 99.24/99.52 c #Conflicts: 96000 | #Constraints: 27395 99.24/99.52 c #Conflicts: 97000 | #Constraints: 28448 99.24/99.52 c #Conflicts: 98000 | #Constraints: 29475 99.24/99.52 c #Conflicts: 99000 | #Constraints: 30481 99.24/99.52 c INPROCESSING 99.24/99.52 c GARBAGE COLLECT 99.24/99.52 c rational objective 145 122.27/122.66 c #Conflicts: 100000 | #Constraints: 16818 122.27/122.66 c #Conflicts: 101000 | #Constraints: 17818 122.27/122.66 c #Conflicts: 102000 | #Constraints: 18818 122.27/122.66 c #Conflicts: 103000 | #Constraints: 19818 122.27/122.66 c #Conflicts: 104000 | #Constraints: 20818 122.27/122.66 c #Conflicts: 105000 | #Constraints: 21818 122.27/122.66 c #Conflicts: 106000 | #Constraints: 22818 122.27/122.66 c #Conflicts: 107000 | #Constraints: 23818 122.27/122.66 c INPROCESSING 122.27/122.66 c GARBAGE COLLECT 122.27/122.66 c rational objective 145 131.96/132.37 c #Conflicts: 108000 | #Constraints: 13611 131.96/132.37 c #Conflicts: 109000 | #Constraints: 14611 131.96/132.37 c #Conflicts: 110000 | #Constraints: 15611 131.96/132.37 c #Conflicts: 111000 | #Constraints: 16611 131.96/132.37 c #Conflicts: 112000 | #Constraints: 17611 131.96/132.37 c #Conflicts: 113000 | #Constraints: 18611 131.96/132.37 c #Conflicts: 114000 | #Constraints: 19611 131.96/132.37 c #Conflicts: 115000 | #Constraints: 20611 131.96/132.37 c INPROCESSING 131.96/132.37 c GARBAGE COLLECT 131.96/132.37 c rational objective 145 178.64/179.17 c #Conflicts: 116000 | #Constraints: 11970 178.64/179.17 c #Conflicts: 117000 | #Constraints: 12970 178.64/179.17 c #Conflicts: 118000 | #Constraints: 13970 178.64/179.17 c #Conflicts: 119000 | #Constraints: 14970 178.64/179.17 c #Conflicts: 120000 | #Constraints: 15970 178.64/179.17 c #Conflicts: 121000 | #Constraints: 16970 178.64/179.17 c #Conflicts: 122000 | #Constraints: 17970 178.64/179.17 c #Conflicts: 123000 | #Constraints: 18970 178.64/179.17 c #Conflicts: 124000 | #Constraints: 19970 178.64/179.17 c #Conflicts: 125000 | #Constraints: 20970 178.64/179.17 c #Conflicts: 126000 | #Constraints: 21970 178.64/179.17 c bounds 197 >= 146 @ 143.744 178.64/179.17 c #Conflicts: 127000 | #Constraints: 23018 178.64/179.17 c #Conflicts: 128000 | #Constraints: 24019 178.64/179.17 c #Conflicts: 129000 | #Constraints: 25019 178.64/179.17 c #Conflicts: 130000 | #Constraints: 26019 178.64/179.17 c #Conflicts: 131000 | #Constraints: 27019 178.64/179.17 c #Conflicts: 132000 | #Constraints: 28019 178.64/179.17 c #Conflicts: 133000 | #Constraints: 29019 178.64/179.17 c #Conflicts: 134000 | #Constraints: 30020 178.64/179.17 c #Conflicts: 135000 | #Constraints: 31020 178.64/179.17 c #Conflicts: 136000 | #Constraints: 32020 178.64/179.17 c #Conflicts: 137000 | #Constraints: 33020 178.64/179.17 c #Conflicts: 138000 | #Constraints: 34020 178.64/179.17 c #Conflicts: 139000 | #Constraints: 35020 178.64/179.17 c #Conflicts: 140000 | #Constraints: 36020 178.64/179.17 c INPROCESSING 178.64/179.17 c GARBAGE COLLECT 178.64/179.17 c rational objective 146 196.99/197.51 c #Conflicts: 141000 | #Constraints: 19475 196.99/197.51 c #Conflicts: 142000 | #Constraints: 20475 196.99/197.51 c #Conflicts: 143000 | #Constraints: 21475 196.99/197.51 c #Conflicts: 144000 | #Constraints: 22475 196.99/197.51 c #Conflicts: 145000 | #Constraints: 23475 196.99/197.51 c #Conflicts: 146000 | #Constraints: 24475 196.99/197.51 c #Conflicts: 147000 | #Constraints: 25475 196.99/197.51 c #Conflicts: 148000 | #Constraints: 26475 196.99/197.51 c #Conflicts: 149000 | #Constraints: 27475 196.99/197.51 c #Conflicts: 150000 | #Constraints: 28475 196.99/197.51 c INPROCESSING 196.99/197.51 c GARBAGE COLLECT 196.99/197.51 c rational objective 146 276.29/277.05 c #Conflicts: 151000 | #Constraints: 16030 276.29/277.05 c #Conflicts: 152000 | #Constraints: 17036 276.29/277.05 c #Conflicts: 153000 | #Constraints: 18036 276.29/277.05 c #Conflicts: 154000 | #Constraints: 19078 276.29/277.05 c #Conflicts: 155000 | #Constraints: 20125 276.29/277.05 c #Conflicts: 156000 | #Constraints: 21125 276.29/277.05 c #Conflicts: 157000 | #Constraints: 22125 276.29/277.05 c #Conflicts: 158000 | #Constraints: 23189 276.29/277.05 c #Conflicts: 159000 | #Constraints: 24191 276.29/277.05 c #Conflicts: 160000 | #Constraints: 25191 276.29/277.05 c #Conflicts: 161000 | #Constraints: 26191 276.29/277.05 c #Conflicts: 162000 | #Constraints: 27191 276.29/277.05 c #Conflicts: 163000 | #Constraints: 28191 276.29/277.05 c #Conflicts: 164000 | #Constraints: 29191 276.29/277.05 c #Conflicts: 165000 | #Constraints: 30191 276.29/277.05 c #Conflicts: 166000 | #Constraints: 31191 276.29/277.05 c #Conflicts: 167000 | #Constraints: 32191 276.29/277.05 c #Conflicts: 168000 | #Constraints: 33191 276.29/277.05 c #Conflicts: 169000 | #Constraints: 34191 276.29/277.05 c #Conflicts: 170000 | #Constraints: 35193 276.29/277.05 c #Conflicts: 171000 | #Constraints: 36193 276.29/277.05 c #Conflicts: 172000 | #Constraints: 37193 276.29/277.05 c #Conflicts: 173000 | #Constraints: 38193 276.29/277.05 c #Conflicts: 174000 | #Constraints: 39193 276.29/277.05 c #Conflicts: 175000 | #Constraints: 40193 276.29/277.05 c #Conflicts: 176000 | #Constraints: 41193 276.29/277.05 c #Conflicts: 177000 | #Constraints: 42193 276.29/277.05 c #Conflicts: 178000 | #Constraints: 43193 276.29/277.05 c INPROCESSING 276.29/277.05 c GARBAGE COLLECT 276.29/277.05 c rational objective 146 327.85/328.77 c #Conflicts: 179000 | #Constraints: 23049 327.85/328.77 c #Conflicts: 180000 | #Constraints: 24049 327.85/328.77 c #Conflicts: 181000 | #Constraints: 25049 327.85/328.77 c #Conflicts: 182000 | #Constraints: 26049 327.85/328.77 c #Conflicts: 183000 | #Constraints: 27049 327.85/328.77 c #Conflicts: 184000 | #Constraints: 28049 327.85/328.77 c #Conflicts: 185000 | #Constraints: 29049 327.85/328.77 c #Conflicts: 186000 | #Constraints: 30049 327.85/328.77 c #Conflicts: 187000 | #Constraints: 31049 327.85/328.77 c #Conflicts: 188000 | #Constraints: 32049 327.85/328.77 c #Conflicts: 189000 | #Constraints: 33049 327.85/328.77 c INPROCESSING 327.85/328.77 c GARBAGE COLLECT 327.85/328.77 c rational objective 146 349.90/350.81 c #Conflicts: 190000 | #Constraints: 18197 349.90/350.81 c #Conflicts: 191000 | #Constraints: 19197 349.90/350.81 c #Conflicts: 192000 | #Constraints: 20197 349.90/350.81 c #Conflicts: 193000 | #Constraints: 21197 349.90/350.81 c #Conflicts: 194000 | #Constraints: 22197 349.90/350.81 c #Conflicts: 195000 | #Constraints: 23197 349.90/350.81 c #Conflicts: 196000 | #Constraints: 24197 349.90/350.81 c #Conflicts: 197000 | #Constraints: 25197 349.90/350.81 c #Conflicts: 198000 | #Constraints: 26197 349.90/350.81 c #Conflicts: 199000 | #Constraints: 27197 349.90/350.81 c #Conflicts: 200000 | #Constraints: 28197 349.90/350.81 c INPROCESSING 349.90/350.81 c GARBAGE COLLECT 349.90/350.81 c rational objective 146 475.58/476.84 c #Conflicts: 201000 | #Constraints: 16464 475.58/476.84 c #Conflicts: 202000 | #Constraints: 17466 475.58/476.84 c #Conflicts: 203000 | #Constraints: 18466 475.58/476.84 c #Conflicts: 204000 | #Constraints: 19466 475.58/476.84 c #Conflicts: 205000 | #Constraints: 20466 475.58/476.84 c #Conflicts: 206000 | #Constraints: 21466 475.58/476.84 c #Conflicts: 207000 | #Constraints: 22466 475.58/476.84 c #Conflicts: 208000 | #Constraints: 23466 475.58/476.84 c #Conflicts: 209000 | #Constraints: 24467 475.58/476.84 c #Conflicts: 210000 | #Constraints: 25467 475.58/476.84 c #Conflicts: 211000 | #Constraints: 26467 475.58/476.84 c #Conflicts: 212000 | #Constraints: 27467 475.58/476.84 c #Conflicts: 213000 | #Constraints: 28468 475.58/476.84 c #Conflicts: 214000 | #Constraints: 29468 475.58/476.84 c #Conflicts: 215000 | #Constraints: 30468 475.58/476.84 c #Conflicts: 216000 | #Constraints: 31469 475.58/476.84 c #Conflicts: 217000 | #Constraints: 32469 475.58/476.84 c #Conflicts: 218000 | #Constraints: 33470 475.58/476.84 c #Conflicts: 219000 | #Constraints: 34470 475.58/476.84 c #Conflicts: 220000 | #Constraints: 35470 475.58/476.84 c #Conflicts: 221000 | #Constraints: 36470 475.58/476.84 c #Conflicts: 222000 | #Constraints: 37470 475.58/476.84 c #Conflicts: 223000 | #Constraints: 38470 475.58/476.84 c #Conflicts: 224000 | #Constraints: 39470 475.58/476.84 c #Conflicts: 225000 | #Constraints: 40470 475.58/476.84 c #Conflicts: 226000 | #Constraints: 41470 475.58/476.84 c #Conflicts: 227000 | #Constraints: 42470 475.58/476.84 c #Conflicts: 228000 | #Constraints: 43470 475.58/476.84 c #Conflicts: 229000 | #Constraints: 44470 475.58/476.84 c #Conflicts: 230000 | #Constraints: 45472 475.58/476.84 c #Conflicts: 231000 | #Constraints: 46473 475.58/476.84 c #Conflicts: 232000 | #Constraints: 47474 475.58/476.84 c INPROCESSING 475.58/476.84 c GARBAGE COLLECT 475.58/476.84 c #Conflicts: 233000 | #Constraints: 25137 475.58/476.84 c #Conflicts: 234000 | #Constraints: 26168 475.58/476.84 c #Conflicts: 235000 | #Constraints: 27649 475.58/476.84 c #Conflicts: 236000 | #Constraints: 28717 475.58/476.84 c #Conflicts: 237000 | #Constraints: 29722 475.58/476.84 c #Conflicts: 238000 | #Constraints: 30722 475.58/476.84 c #Conflicts: 239000 | #Constraints: 31722 475.58/476.84 c #Conflicts: 240000 | #Constraints: 32722 475.58/476.84 c #Conflicts: 241000 | #Constraints: 33734 475.58/476.84 c #Conflicts: 242000 | #Constraints: 34794 475.58/476.84 c #Conflicts: 243000 | #Constraints: 35812 475.58/476.84 c #Conflicts: 244000 | #Constraints: 36857 475.58/476.84 c #Conflicts: 245000 | #Constraints: 37859 475.58/476.84 c INPROCESSING 475.58/476.84 c GARBAGE COLLECT 475.58/476.84 c rational objective 146 598.03/599.67 c #Conflicts: 246000 | #Constraints: 20696 598.03/599.67 c #Conflicts: 247000 | #Constraints: 21846 598.03/599.67 c #Conflicts: 248000 | #Constraints: 22846 598.03/599.67 c #Conflicts: 249000 | #Constraints: 23846 598.03/599.67 c #Conflicts: 250000 | #Constraints: 24846 598.03/599.67 c #Conflicts: 251000 | #Constraints: 25846 598.03/599.67 c #Conflicts: 252000 | #Constraints: 26846 598.03/599.67 c #Conflicts: 253000 | #Constraints: 27917 598.03/599.67 c #Conflicts: 254000 | #Constraints: 28917 598.03/599.67 c bounds 196 >= 146 @ 485.628 598.03/599.67 c #Conflicts: 255000 | #Constraints: 29918 598.03/599.67 c #Conflicts: 256000 | #Constraints: 30931 598.03/599.67 c #Conflicts: 257000 | #Constraints: 31974 598.03/599.67 c #Conflicts: 258000 | #Constraints: 32974 598.03/599.67 c #Conflicts: 259000 | #Constraints: 33979 598.03/599.67 c #Conflicts: 260000 | #Constraints: 34979 598.03/599.67 c #Conflicts: 261000 | #Constraints: 35979 598.03/599.67 c #Conflicts: 262000 | #Constraints: 37091 598.03/599.67 c #Conflicts: 263000 | #Constraints: 38239 598.03/599.67 c #Conflicts: 264000 | #Constraints: 39255 598.03/599.67 c #Conflicts: 265000 | #Constraints: 40256 598.03/599.67 c #Conflicts: 266000 | #Constraints: 41256 598.03/599.67 c #Conflicts: 267000 | #Constraints: 42340 598.03/599.67 c #Conflicts: 268000 | #Constraints: 43340 598.03/599.67 c #Conflicts: 269000 | #Constraints: 44340 598.03/599.67 c #Conflicts: 270000 | #Constraints: 45392 598.03/599.67 c #Conflicts: 271000 | #Constraints: 46445 598.03/599.67 c #Conflicts: 272000 | #Constraints: 47650 598.03/599.67 c #Conflicts: 273000 | #Constraints: 48650 598.03/599.67 c #Conflicts: 274000 | #Constraints: 49655 598.03/599.67 c #Conflicts: 275000 | #Constraints: 50702 598.03/599.67 c #Conflicts: 276000 | #Constraints: 51721 598.03/599.67 c #Conflicts: 277000 | #Constraints: 52721 598.03/599.67 c #Conflicts: 278000 | #Constraints: 53721 598.03/599.67 c #Conflicts: 279000 | #Constraints: 54721 598.03/599.67 c #Conflicts: 280000 | #Constraints: 55733 598.03/599.67 c INPROCESSING 598.03/599.67 c GARBAGE COLLECT 598.03/599.67 c rational objective 146 672.46/674.29 c #Conflicts: 281000 | #Constraints: 29206 672.46/674.29 c #Conflicts: 282000 | #Constraints: 30206 672.46/674.29 c #Conflicts: 283000 | #Constraints: 31206 672.46/674.29 c #Conflicts: 284000 | #Constraints: 32206 672.46/674.29 c #Conflicts: 285000 | #Constraints: 33206 672.46/674.29 c #Conflicts: 286000 | #Constraints: 34206 672.46/674.29 c #Conflicts: 287000 | #Constraints: 35206 672.46/674.29 c #Conflicts: 288000 | #Constraints: 36206 672.46/674.29 c #Conflicts: 289000 | #Constraints: 37206 672.46/674.29 c #Conflicts: 290000 | #Constraints: 38206 672.46/674.29 c #Conflicts: 291000 | #Constraints: 39206 672.46/674.29 c #Conflicts: 292000 | #Constraints: 40206 672.46/674.29 c #Conflicts: 293000 | #Constraints: 41206 672.46/674.29 c #Conflicts: 294000 | #Constraints: 42206 672.46/674.29 c INPROCESSING 672.46/674.29 c GARBAGE COLLECT 672.46/674.29 c rational objective 146 710.67/712.50 c #Conflicts: 295000 | #Constraints: 22751 710.67/712.50 c #Conflicts: 296000 | #Constraints: 23752 710.67/712.50 c #Conflicts: 297000 | #Constraints: 24752 710.67/712.50 c #Conflicts: 298000 | #Constraints: 25752 710.67/712.50 c #Conflicts: 299000 | #Constraints: 26752 710.67/712.50 c #Conflicts: 300000 | #Constraints: 27752 710.67/712.50 c #Conflicts: 301000 | #Constraints: 28752 710.67/712.50 c #Conflicts: 302000 | #Constraints: 29752 710.67/712.50 c #Conflicts: 303000 | #Constraints: 30752 710.67/712.50 c #Conflicts: 304000 | #Constraints: 31753 710.67/712.50 c #Conflicts: 305000 | #Constraints: 32754 710.67/712.50 c #Conflicts: 306000 | #Constraints: 33754 710.67/712.50 c #Conflicts: 307000 | #Constraints: 34754 710.67/712.50 c #Conflicts: 308000 | #Constraints: 35754 710.67/712.50 c INPROCESSING 710.67/712.50 c GARBAGE COLLECT 710.67/712.50 c rational objective 146 891.24/893.60 c #Conflicts: 309000 | #Constraints: 22090 891.24/893.60 c #Conflicts: 310000 | #Constraints: 23090 891.24/893.60 c #Conflicts: 311000 | #Constraints: 24090 891.24/893.60 c #Conflicts: 312000 | #Constraints: 25090 891.24/893.60 c #Conflicts: 313000 | #Constraints: 26093 891.24/893.60 c #Conflicts: 314000 | #Constraints: 27095 891.24/893.60 c #Conflicts: 315000 | #Constraints: 28099 891.24/893.60 c #Conflicts: 316000 | #Constraints: 29101 891.24/893.60 c #Conflicts: 317000 | #Constraints: 30101 891.24/893.60 c #Conflicts: 318000 | #Constraints: 31101 891.24/893.60 c #Conflicts: 319000 | #Constraints: 32101 891.24/893.60 c #Conflicts: 320000 | #Constraints: 33101 891.24/893.60 c #Conflicts: 321000 | #Constraints: 34101 891.24/893.60 c #Conflicts: 322000 | #Constraints: 35101 891.24/893.60 c #Conflicts: 323000 | #Constraints: 36101 891.24/893.60 c #Conflicts: 324000 | #Constraints: 37101 891.24/893.60 c #Conflicts: 325000 | #Constraints: 38101 891.24/893.60 c #Conflicts: 326000 | #Constraints: 39103 891.24/893.60 c #Conflicts: 327000 | #Constraints: 40103 891.24/893.60 c #Conflicts: 328000 | #Constraints: 41103 891.24/893.60 c #Conflicts: 329000 | #Constraints: 42103 891.24/893.60 c #Conflicts: 330000 | #Constraints: 43103 891.24/893.60 c #Conflicts: 331000 | #Constraints: 44103 891.24/893.60 c #Conflicts: 332000 | #Constraints: 45103 891.24/893.60 c #Conflicts: 333000 | #Constraints: 46104 891.24/893.60 c #Conflicts: 334000 | #Constraints: 47104 891.24/893.60 c #Conflicts: 335000 | #Constraints: 48104 891.24/893.60 c #Conflicts: 336000 | #Constraints: 49104 891.24/893.60 c #Conflicts: 337000 | #Constraints: 50104 891.24/893.60 c #Conflicts: 338000 | #Constraints: 51104 891.24/893.60 c #Conflicts: 339000 | #Constraints: 52105 891.24/893.60 c #Conflicts: 340000 | #Constraints: 53105 891.24/893.60 c #Conflicts: 341000 | #Constraints: 54105 891.24/893.60 c #Conflicts: 342000 | #Constraints: 55105 891.24/893.60 c #Conflicts: 343000 | #Constraints: 56105 891.24/893.60 c #Conflicts: 344000 | #Constraints: 57105 891.24/893.60 c #Conflicts: 345000 | #Constraints: 58105 891.24/893.60 c #Conflicts: 346000 | #Constraints: 59105 891.24/893.60 c #Conflicts: 347000 | #Constraints: 60105 891.24/893.60 c #Conflicts: 348000 | #Constraints: 61105 891.24/893.60 c INPROCESSING 891.24/893.60 c GARBAGE COLLECT 891.24/893.60 c rational objective 146 939.30/941.81 c #Conflicts: 349000 | #Constraints: 32349 939.30/941.81 c #Conflicts: 350000 | #Constraints: 33357 939.30/941.81 c #Conflicts: 351000 | #Constraints: 34357 939.30/941.81 c #Conflicts: 352000 | #Constraints: 35362 939.30/941.81 c #Conflicts: 353000 | #Constraints: 36405 939.30/941.81 c #Conflicts: 354000 | #Constraints: 37439 939.30/941.81 c #Conflicts: 355000 | #Constraints: 38439 939.30/941.81 c #Conflicts: 356000 | #Constraints: 39439 939.30/941.81 c #Conflicts: 357000 | #Constraints: 40461 939.30/941.81 c #Conflicts: 358000 | #Constraints: 41503 939.30/941.81 c #Conflicts: 359000 | #Constraints: 42546 939.30/941.81 c #Conflicts: 360000 | #Constraints: 43552 939.30/941.81 c #Conflicts: 361000 | #Constraints: 44578 939.30/941.81 c #Conflicts: 362000 | #Constraints: 45578 939.30/941.81 c #Conflicts: 363000 | #Constraints: 46578 939.30/941.81 c INPROCESSING 939.30/941.81 c GARBAGE COLLECT 939.30/941.81 c rational objective 146 1267.85/1271.31 c #Conflicts: 364000 | #Constraints: 25302 1267.85/1271.31 c #Conflicts: 365000 | #Constraints: 26346 1267.85/1271.31 c #Conflicts: 366000 | #Constraints: 27444 1267.85/1271.31 c #Conflicts: 367000 | #Constraints: 28772 1267.85/1271.31 c #Conflicts: 368000 | #Constraints: 29780 1267.85/1271.31 c #Conflicts: 369000 | #Constraints: 30780 1267.85/1271.31 c #Conflicts: 370000 | #Constraints: 31780 1267.85/1271.31 c #Conflicts: 371000 | #Constraints: 32815 1267.85/1271.31 c #Conflicts: 372000 | #Constraints: 33857 1267.85/1271.31 c #Conflicts: 373000 | #Constraints: 34857 1267.85/1271.31 c #Conflicts: 374000 | #Constraints: 35857 1267.85/1271.31 c #Conflicts: 375000 | #Constraints: 36857 1267.85/1271.31 c #Conflicts: 376000 | #Constraints: 37857 1267.85/1271.31 c #Conflicts: 377000 | #Constraints: 38857 1267.85/1271.31 c #Conflicts: 378000 | #Constraints: 39857 1267.85/1271.31 c #Conflicts: 379000 | #Constraints: 40857 1267.85/1271.31 c #Conflicts: 380000 | #Constraints: 41857 1267.85/1271.31 c #Conflicts: 381000 | #Constraints: 42857 1267.85/1271.31 c #Conflicts: 382000 | #Constraints: 44031 1267.85/1271.31 c #Conflicts: 383000 | #Constraints: 45101 1267.85/1271.31 c #Conflicts: 384000 | #Constraints: 46101 1267.85/1271.31 c #Conflicts: 385000 | #Constraints: 47101 1267.85/1271.31 c #Conflicts: 386000 | #Constraints: 48101 1267.85/1271.31 c #Conflicts: 387000 | #Constraints: 49101 1267.85/1271.31 c #Conflicts: 388000 | #Constraints: 50101 1267.85/1271.31 c #Conflicts: 389000 | #Constraints: 51101 1267.85/1271.31 c #Conflicts: 390000 | #Constraints: 52101 1267.85/1271.31 c #Conflicts: 391000 | #Constraints: 53101 1267.85/1271.31 c #Conflicts: 392000 | #Constraints: 54145 1267.85/1271.31 c #Conflicts: 393000 | #Constraints: 55145 1267.85/1271.31 c #Conflicts: 394000 | #Constraints: 56145 1267.85/1271.31 c #Conflicts: 395000 | #Constraints: 57173 1267.85/1271.31 c #Conflicts: 396000 | #Constraints: 58217 1267.85/1271.31 c #Conflicts: 397000 | #Constraints: 59263 1267.85/1271.31 c #Conflicts: 398000 | #Constraints: 60263 1267.85/1271.31 c #Conflicts: 399000 | #Constraints: 61263 1267.85/1271.31 c #Conflicts: 400000 | #Constraints: 62263 1267.85/1271.31 c #Conflicts: 401000 | #Constraints: 63305 1267.85/1271.31 c #Conflicts: 402000 | #Constraints: 64419 1267.85/1271.31 c #Conflicts: 403000 | #Constraints: 65419 1267.85/1271.31 c #Conflicts: 404000 | #Constraints: 66419 1267.85/1271.31 c #Conflicts: 405000 | #Constraints: 67419 1267.85/1271.31 c #Conflicts: 406000 | #Constraints: 68419 1267.85/1271.31 c INPROCESSING 1267.85/1271.31 c GARBAGE COLLECT 1267.85/1271.31 c rational objective 146 1400.76/1404.67 c #Conflicts: 407000 | #Constraints: 35869 1400.76/1404.67 c #Conflicts: 408000 | #Constraints: 36869 1400.76/1404.67 c #Conflicts: 409000 | #Constraints: 37870 1400.76/1404.67 c #Conflicts: 410000 | #Constraints: 38870 1400.76/1404.67 c #Conflicts: 411000 | #Constraints: 39871 1400.76/1404.67 c #Conflicts: 412000 | #Constraints: 40872 1400.76/1404.67 c #Conflicts: 413000 | #Constraints: 41872 1400.76/1404.67 c #Conflicts: 414000 | #Constraints: 42872 1400.76/1404.67 c #Conflicts: 415000 | #Constraints: 43872 1400.76/1404.67 c #Conflicts: 416000 | #Constraints: 44875 1400.76/1404.67 c #Conflicts: 417000 | #Constraints: 45875 1400.76/1404.67 c #Conflicts: 418000 | #Constraints: 46875 1400.76/1404.67 c #Conflicts: 419000 | #Constraints: 47875 1400.76/1404.67 c #Conflicts: 420000 | #Constraints: 48876 1400.76/1404.67 c #Conflicts: 421000 | #Constraints: 49876 1400.76/1404.67 c #Conflicts: 422000 | #Constraints: 50876 1400.76/1404.67 c INPROCESSING 1400.76/1404.67 c GARBAGE COLLECT 1400.76/1404.67 c rational objective 146 1673.17/1677.72 c #Conflicts: 423000 | #Constraints: 27003 1673.17/1677.72 c #Conflicts: 424000 | #Constraints: 28003 1673.17/1677.72 c #Conflicts: 425000 | #Constraints: 29003 1673.17/1677.72 c #Conflicts: 426000 | #Constraints: 30003 1673.17/1677.72 c #Conflicts: 427000 | #Constraints: 31003 1673.17/1677.72 c #Conflicts: 428000 | #Constraints: 32003 1673.17/1677.72 c #Conflicts: 429000 | #Constraints: 33004 1673.17/1677.72 c #Conflicts: 430000 | #Constraints: 34004 1673.17/1677.72 c #Conflicts: 431000 | #Constraints: 35004 1673.17/1677.72 c #Conflicts: 432000 | #Constraints: 36004 1673.17/1677.72 c #Conflicts: 433000 | #Constraints: 37004 1673.17/1677.72 c #Conflicts: 434000 | #Constraints: 38004 1673.17/1677.72 c #Conflicts: 435000 | #Constraints: 39004 1673.17/1677.72 c #Conflicts: 436000 | #Constraints: 40004 1673.17/1677.72 c #Conflicts: 437000 | #Constraints: 41004 1673.17/1677.72 c #Conflicts: 438000 | #Constraints: 42004 1673.17/1677.72 c #Conflicts: 439000 | #Constraints: 43004 1673.17/1677.72 c #Conflicts: 440000 | #Constraints: 44004 1673.17/1677.72 c #Conflicts: 441000 | #Constraints: 45004 1673.17/1677.72 c #Conflicts: 442000 | #Constraints: 46004 1673.17/1677.72 c #Conflicts: 443000 | #Constraints: 47004 1673.17/1677.72 c #Conflicts: 444000 | #Constraints: 48004 1673.17/1677.72 c #Conflicts: 445000 | #Constraints: 49004 1673.17/1677.72 c #Conflicts: 446000 | #Constraints: 50004 1673.17/1677.72 c #Conflicts: 447000 | #Constraints: 51004 1673.17/1677.72 c #Conflicts: 448000 | #Constraints: 52004 1673.17/1677.72 c #Conflicts: 449000 | #Constraints: 53004 1673.17/1677.72 c #Conflicts: 450000 | #Constraints: 54004 1673.17/1677.72 c #Conflicts: 451000 | #Constraints: 55004 1673.17/1677.72 c #Conflicts: 452000 | #Constraints: 56004 1673.17/1677.72 c #Conflicts: 453000 | #Constraints: 57004 1673.17/1677.72 c #Conflicts: 454000 | #Constraints: 58004 1673.17/1677.72 c #Conflicts: 455000 | #Constraints: 59004 1673.17/1677.72 c #Conflicts: 456000 | #Constraints: 60004 1673.17/1677.72 c #Conflicts: 457000 | #Constraints: 61004 1673.17/1677.72 c #Conflicts: 458000 | #Constraints: 62004 1673.17/1677.72 c #Conflicts: 459000 | #Constraints: 63004 1673.17/1677.72 c bounds 196 >= 147 @ 1601.11 1673.17/1677.72 c #Conflicts: 460000 | #Constraints: 64062 1673.17/1677.72 c #Conflicts: 461000 | #Constraints: 65062 1673.17/1677.72 c #Conflicts: 462000 | #Constraints: 66062 1673.17/1677.72 c #Conflicts: 463000 | #Constraints: 67062 1673.17/1677.72 c #Conflicts: 464000 | #Constraints: 68062 1673.17/1677.72 c #Conflicts: 465000 | #Constraints: 69063 1673.17/1677.72 c #Conflicts: 466000 | #Constraints: 70063 1673.17/1677.72 c #Conflicts: 467000 | #Constraints: 71063 1673.17/1677.72 c #Conflicts: 468000 | #Constraints: 72063 1673.17/1677.72 c INPROCESSING 1673.17/1677.72 c GARBAGE COLLECT 1673.17/1677.72 c rational objective 147 1749.19/1753.91 c #Conflicts: 469000 | #Constraints: 37510 1749.19/1753.91 c #Conflicts: 470000 | #Constraints: 38510 1749.19/1753.91 c #Conflicts: 471000 | #Constraints: 39510 1749.19/1753.91 c #Conflicts: 472000 | #Constraints: 40510 1749.19/1753.91 c #Conflicts: 473000 | #Constraints: 41510 1749.19/1753.91 c #Conflicts: 474000 | #Constraints: 42510 1749.19/1753.91 c #Conflicts: 475000 | #Constraints: 43510 1749.19/1753.91 c #Conflicts: 476000 | #Constraints: 44510 1749.19/1753.91 c #Conflicts: 477000 | #Constraints: 45510 1749.19/1753.91 c #Conflicts: 478000 | #Constraints: 46510 1749.19/1753.91 c #Conflicts: 479000 | #Constraints: 47510 1749.19/1753.91 c #Conflicts: 480000 | #Constraints: 48511 1749.19/1753.91 c #Conflicts: 481000 | #Constraints: 49511 1749.19/1753.91 c #Conflicts: 482000 | #Constraints: 50511 1749.19/1753.91 c #Conflicts: 483000 | #Constraints: 51512 1749.19/1753.91 c #Conflicts: 484000 | #Constraints: 52514 1749.19/1753.91 c #Conflicts: 485000 | #Constraints: 53514 1749.19/1753.91 c #Conflicts: 486000 | #Constraints: 54514 1749.19/1753.91 c INPROCESSING 1749.19/1753.91 c GARBAGE COLLECT 1749.19/1753.91 c rational objective 147 2099.33/2105.00 c #Conflicts: 487000 | #Constraints: 31991 2099.33/2105.00 c #Conflicts: 488000 | #Constraints: 32991 2099.33/2105.00 c #Conflicts: 489000 | #Constraints: 33991 2099.33/2105.00 c #Conflicts: 490000 | #Constraints: 34991 2099.33/2105.00 c #Conflicts: 491000 | #Constraints: 35991 2099.33/2105.00 c #Conflicts: 492000 | #Constraints: 36993 2099.33/2105.00 c #Conflicts: 493000 | #Constraints: 37993 2099.33/2105.00 c #Conflicts: 494000 | #Constraints: 38993 2099.33/2105.00 c #Conflicts: 495000 | #Constraints: 39995 2099.33/2105.00 c #Conflicts: 496000 | #Constraints: 40995 2099.33/2105.00 c #Conflicts: 497000 | #Constraints: 41997 2099.33/2105.00 c #Conflicts: 498000 | #Constraints: 42997 2099.33/2105.00 c #Conflicts: 499000 | #Constraints: 44012 2099.33/2105.00 c #Conflicts: 500000 | #Constraints: 45012 2099.33/2105.00 c #Conflicts: 501000 | #Constraints: 46151 2099.33/2105.00 c #Conflicts: 502000 | #Constraints: 47151 2099.33/2105.00 c #Conflicts: 503000 | #Constraints: 48190 2099.33/2105.00 c #Conflicts: 504000 | #Constraints: 49239 2099.33/2105.00 c #Conflicts: 505000 | #Constraints: 50513 2099.33/2105.00 c #Conflicts: 506000 | #Constraints: 51597 2099.33/2105.00 c #Conflicts: 507000 | #Constraints: 52597 2099.33/2105.00 c #Conflicts: 508000 | #Constraints: 53685 2099.33/2105.00 c #Conflicts: 509000 | #Constraints: 54709 2099.33/2105.00 c #Conflicts: 510000 | #Constraints: 55720 2099.33/2105.00 c #Conflicts: 511000 | #Constraints: 56720 2099.33/2105.00 c #Conflicts: 512000 | #Constraints: 57780 2099.33/2105.00 c #Conflicts: 513000 | #Constraints: 59069 2099.33/2105.00 c #Conflicts: 514000 | #Constraints: 60083 2099.33/2105.00 c #Conflicts: 515000 | #Constraints: 61110 2099.33/2105.00 c #Conflicts: 516000 | #Constraints: 62196 2099.33/2105.00 c bounds 195 >= 147 @ 1849.85 2099.33/2105.00 c #Conflicts: 517000 | #Constraints: 63198 2099.33/2105.00 c #Conflicts: 518000 | #Constraints: 64198 2099.33/2105.00 c #Conflicts: 519000 | #Constraints: 65198 2099.33/2105.00 c #Conflicts: 520000 | #Constraints: 66198 2099.33/2105.00 c #Conflicts: 521000 | #Constraints: 67198 2099.33/2105.00 c #Conflicts: 522000 | #Constraints: 68198 2099.33/2105.00 c #Conflicts: 523000 | #Constraints: 69198 2099.33/2105.00 c #Conflicts: 524000 | #Constraints: 70198 2099.33/2105.00 c #Conflicts: 525000 | #Constraints: 71198 2099.33/2105.00 c #Conflicts: 526000 | #Constraints: 72198 2099.33/2105.00 c #Conflicts: 527000 | #Constraints: 73198 2099.33/2105.00 c #Conflicts: 528000 | #Constraints: 74198 2099.33/2105.00 c #Conflicts: 529000 | #Constraints: 75198 2099.33/2105.00 c #Conflicts: 530000 | #Constraints: 76198 2099.33/2105.00 c #Conflicts: 531000 | #Constraints: 77198 2099.33/2105.00 c #Conflicts: 532000 | #Constraints: 78198 2099.33/2105.00 c #Conflicts: 533000 | #Constraints: 79198 2099.33/2105.00 c #Conflicts: 534000 | #Constraints: 80198 2099.33/2105.00 c #Conflicts: 535000 | #Constraints: 81198 2099.33/2105.00 c INPROCESSING 2099.33/2105.00 c GARBAGE COLLECT 2099.33/2105.00 c rational objective 147 2160.18/2165.90 c #Conflicts: 536000 | #Constraints: 42179 2160.18/2165.90 c #Conflicts: 537000 | #Constraints: 43179 2160.18/2165.90 c #Conflicts: 538000 | #Constraints: 44209 2160.18/2165.90 c #Conflicts: 539000 | #Constraints: 45254 2160.18/2165.90 c #Conflicts: 540000 | #Constraints: 46254 2160.18/2165.90 c #Conflicts: 541000 | #Constraints: 47254 2160.18/2165.90 c #Conflicts: 542000 | #Constraints: 48254 2160.18/2165.90 c #Conflicts: 543000 | #Constraints: 49254 2160.18/2165.90 c bounds 194 >= 147 @ 2108.57 2160.18/2165.90 c #Conflicts: 544000 | #Constraints: 50255 2160.18/2165.90 c #Conflicts: 545000 | #Constraints: 51255 2160.18/2165.90 c #Conflicts: 546000 | #Constraints: 52255 2160.18/2165.90 c #Conflicts: 547000 | #Constraints: 53255 2160.18/2165.90 c #Conflicts: 548000 | #Constraints: 54256 2160.18/2165.90 c #Conflicts: 549000 | #Constraints: 55257 2160.18/2165.90 c #Conflicts: 550000 | #Constraints: 56257 2160.18/2165.90 c #Conflicts: 551000 | #Constraints: 57258 2160.18/2165.90 c #Conflicts: 552000 | #Constraints: 58259 2160.18/2165.90 c #Conflicts: 553000 | #Constraints: 59259 2160.18/2165.90 c #Conflicts: 554000 | #Constraints: 60259 2160.18/2165.90 c INPROCESSING 2160.18/2165.90 c GARBAGE COLLECT 2160.18/2165.90 c rational objective 147 2433.99/2440.45 c #Conflicts: 555000 | #Constraints: 33868 2433.99/2440.45 c #Conflicts: 556000 | #Constraints: 34921 2433.99/2440.45 c #Conflicts: 557000 | #Constraints: 35921 2433.99/2440.45 c #Conflicts: 558000 | #Constraints: 36921 2433.99/2440.45 c #Conflicts: 559000 | #Constraints: 37921 2433.99/2440.45 c #Conflicts: 560000 | #Constraints: 38985 2433.99/2440.45 c #Conflicts: 561000 | #Constraints: 40120 2433.99/2440.45 c #Conflicts: 562000 | #Constraints: 41120 2433.99/2440.45 c #Conflicts: 563000 | #Constraints: 42120 2433.99/2440.45 c #Conflicts: 564000 | #Constraints: 43120 2433.99/2440.45 c #Conflicts: 565000 | #Constraints: 44120 2433.99/2440.45 c #Conflicts: 566000 | #Constraints: 45120 2433.99/2440.45 c #Conflicts: 567000 | #Constraints: 46120 2433.99/2440.45 c #Conflicts: 568000 | #Constraints: 47120 2433.99/2440.45 c #Conflicts: 569000 | #Constraints: 48120 2433.99/2440.45 c #Conflicts: 570000 | #Constraints: 49120 2433.99/2440.45 c #Conflicts: 571000 | #Constraints: 50120 2433.99/2440.45 c #Conflicts: 572000 | #Constraints: 51120 2433.99/2440.45 c #Conflicts: 573000 | #Constraints: 52120 2433.99/2440.45 c #Conflicts: 574000 | #Constraints: 53120 2433.99/2440.45 c #Conflicts: 575000 | #Constraints: 54120 2433.99/2440.45 c #Conflicts: 576000 | #Constraints: 55120 2433.99/2440.45 c #Conflicts: 577000 | #Constraints: 56120 2433.99/2440.45 c #Conflicts: 578000 | #Constraints: 57120 2433.99/2440.45 c #Conflicts: 579000 | #Constraints: 58120 2433.99/2440.45 c #Conflicts: 580000 | #Constraints: 59162 2433.99/2440.45 c #Conflicts: 581000 | #Constraints: 60220 2433.99/2440.45 c #Conflicts: 582000 | #Constraints: 61250 2433.99/2440.45 c #Conflicts: 583000 | #Constraints: 62250 2433.99/2440.45 c #Conflicts: 584000 | #Constraints: 63282 2433.99/2440.45 c #Conflicts: 585000 | #Constraints: 64316 2433.99/2440.45 c #Conflicts: 586000 | #Constraints: 65332 2433.99/2440.45 c #Conflicts: 587000 | #Constraints: 66501 2433.99/2440.45 c #Conflicts: 588000 | #Constraints: 67631 2433.99/2440.45 c #Conflicts: 589000 | #Constraints: 68759 2433.99/2440.45 c #Conflicts: 590000 | #Constraints: 69859 2433.99/2440.45 c #Conflicts: 591000 | #Constraints: 70867 2433.99/2440.45 c #Conflicts: 592000 | #Constraints: 71875 2433.99/2440.45 c #Conflicts: 593000 | #Constraints: 73056 2433.99/2440.45 c #Conflicts: 594000 | #Constraints: 74316 2433.99/2440.45 c #Conflicts: 595000 | #Constraints: 75482 2433.99/2440.45 c #Conflicts: 596000 | #Constraints: 76628 2433.99/2440.45 c #Conflicts: 597000 | #Constraints: 77830 2433.99/2440.45 c #Conflicts: 598000 | #Constraints: 78953 2433.99/2440.45 c #Conflicts: 599000 | #Constraints: 80233 2433.99/2440.45 c #Conflicts: 600000 | #Constraints: 81405 2433.99/2440.45 c #Conflicts: 601000 | #Constraints: 82499 2433.99/2440.45 c #Conflicts: 602000 | #Constraints: 83509 2433.99/2440.45 c #Conflicts: 603000 | #Constraints: 84520 2433.99/2440.45 c #Conflicts: 604000 | #Constraints: 85648 2433.99/2440.45 c #Conflicts: 605000 | #Constraints: 86695 2433.99/2440.45 c #Conflicts: 606000 | #Constraints: 87695 2433.99/2440.45 c INPROCESSING 2433.99/2440.45 c GARBAGE COLLECT 2433.99/2440.45 c rational objective 147 2620.39/2627.36 c #Conflicts: 607000 | #Constraints: 45209 2620.39/2627.36 c #Conflicts: 608000 | #Constraints: 46210 2620.39/2627.36 c #Conflicts: 609000 | #Constraints: 47210 2620.39/2627.36 c #Conflicts: 610000 | #Constraints: 48210 2620.39/2627.36 c #Conflicts: 611000 | #Constraints: 49210 2620.39/2627.36 c #Conflicts: 612000 | #Constraints: 50210 2620.39/2627.36 c #Conflicts: 613000 | #Constraints: 51210 2620.39/2627.36 c #Conflicts: 614000 | #Constraints: 52210 2620.39/2627.36 c #Conflicts: 615000 | #Constraints: 53210 2620.39/2627.36 c #Conflicts: 616000 | #Constraints: 54210 2620.39/2627.36 c #Conflicts: 617000 | #Constraints: 55210 2620.39/2627.36 c #Conflicts: 618000 | #Constraints: 56210 2620.39/2627.36 c #Conflicts: 619000 | #Constraints: 57210 2620.39/2627.36 c #Conflicts: 620000 | #Constraints: 58210 2620.39/2627.36 c #Conflicts: 621000 | #Constraints: 59210 2620.39/2627.36 c #Conflicts: 622000 | #Constraints: 60210 2620.39/2627.36 c #Conflicts: 623000 | #Constraints: 61210 2620.39/2627.36 c #Conflicts: 624000 | #Constraints: 62210 2620.39/2627.36 c #Conflicts: 625000 | #Constraints: 63210 2620.39/2627.36 c #Conflicts: 626000 | #Constraints: 64210 2620.39/2627.36 c #Conflicts: 627000 | #Constraints: 65210 2620.39/2627.36 c INPROCESSING 2620.39/2627.36 c GARBAGE COLLECT 2620.39/2627.36 c rational objective 147 2984.71/2992.62 c #Conflicts: 628000 | #Constraints: 36507 2984.71/2992.62 c #Conflicts: 629000 | #Constraints: 37507 2984.71/2992.62 c #Conflicts: 630000 | #Constraints: 38507 2984.71/2992.62 c #Conflicts: 631000 | #Constraints: 39507 2984.71/2992.62 c #Conflicts: 632000 | #Constraints: 40507 2984.71/2992.62 c #Conflicts: 633000 | #Constraints: 41507 2984.71/2992.62 c #Conflicts: 634000 | #Constraints: 42507 2984.71/2992.62 c #Conflicts: 635000 | #Constraints: 43507 2984.71/2992.62 c #Conflicts: 636000 | #Constraints: 44507 2984.71/2992.62 c #Conflicts: 637000 | #Constraints: 45507 2984.71/2992.62 c #Conflicts: 638000 | #Constraints: 46507 2984.71/2992.62 c #Conflicts: 639000 | #Constraints: 47507 2984.71/2992.62 c #Conflicts: 640000 | #Constraints: 48507 2984.71/2992.62 c #Conflicts: 641000 | #Constraints: 49507 2984.71/2992.62 c #Conflicts: 642000 | #Constraints: 50507 2984.71/2992.62 c #Conflicts: 643000 | #Constraints: 51507 2984.71/2992.62 c #Conflicts: 644000 | #Constraints: 52507 2984.71/2992.62 c #Conflicts: 645000 | #Constraints: 53507 2984.71/2992.62 c #Conflicts: 646000 | #Constraints: 54507 2984.71/2992.62 c #Conflicts: 647000 | #Constraints: 55507 2984.71/2992.62 c #Conflicts: 648000 | #Constraints: 56507 2984.71/2992.62 c #Conflicts: 649000 | #Constraints: 57508 2984.71/2992.62 c #Conflicts: 650000 | #Constraints: 58508 2984.71/2992.62 c #Conflicts: 651000 | #Constraints: 59508 2984.71/2992.62 c #Conflicts: 652000 | #Constraints: 60508 2984.71/2992.62 c #Conflicts: 653000 | #Constraints: 61508 2984.71/2992.62 c #Conflicts: 654000 | #Constraints: 62508 2984.71/2992.62 c #Conflicts: 655000 | #Constraints: 63508 2984.71/2992.62 c #Conflicts: 656000 | #Constraints: 64508 2984.71/2992.62 c #Conflicts: 657000 | #Constraints: 65508 2984.71/2992.62 c #Conflicts: 658000 | #Constraints: 66508 2984.71/2992.62 c #Conflicts: 659000 | #Constraints: 67508 2984.71/2992.62 c #Conflicts: 660000 | #Constraints: 68508 2984.71/2992.62 c #Conflicts: 661000 | #Constraints: 69508 2984.71/2992.62 c #Conflicts: 662000 | #Constraints: 70508 2984.71/2992.62 c #Conflicts: 663000 | #Constraints: 71508 2984.71/2992.62 c #Conflicts: 664000 | #Constraints: 72508 2984.71/2992.62 c #Conflicts: 665000 | #Constraints: 73508 2984.71/2992.62 c #Conflicts: 666000 | #Constraints: 74508 2984.71/2992.62 c #Conflicts: 667000 | #Constraints: 75508 2984.71/2992.62 c #Conflicts: 668000 | #Constraints: 76508 2984.71/2992.62 c #Conflicts: 669000 | #Constraints: 77508 2984.71/2992.62 c #Conflicts: 670000 | #Constraints: 78508 2984.71/2992.62 c #Conflicts: 671000 | #Constraints: 79508 2984.71/2992.62 c #Conflicts: 672000 | #Constraints: 80508 2984.71/2992.62 c #Conflicts: 673000 | #Constraints: 81508 2984.71/2992.62 c #Conflicts: 674000 | #Constraints: 82508 2984.71/2992.62 c #Conflicts: 675000 | #Constraints: 83508 2984.71/2992.62 c #Conflicts: 676000 | #Constraints: 84508 2984.71/2992.62 c #Conflicts: 677000 | #Constraints: 85508 2984.71/2992.62 c #Conflicts: 678000 | #Constraints: 86508 2984.71/2992.62 c #Conflicts: 679000 | #Constraints: 87508 2984.71/2992.62 c #Conflicts: 680000 | #Constraints: 88508 2984.71/2992.62 c #Conflicts: 681000 | #Constraints: 89508 2984.71/2992.62 c #Conflicts: 682000 | #Constraints: 90508 2984.71/2992.62 c INPROCESSING 2984.71/2992.62 c GARBAGE COLLECT 2984.71/2992.62 c rational objective 147 3083.84/3092.05 c #Conflicts: 683000 | #Constraints: 46830 3083.84/3092.05 c #Conflicts: 684000 | #Constraints: 47831 3083.84/3092.05 c #Conflicts: 685000 | #Constraints: 48831 3083.84/3092.05 c #Conflicts: 686000 | #Constraints: 49845 3083.84/3092.05 c #Conflicts: 687000 | #Constraints: 50845 3083.84/3092.05 c #Conflicts: 688000 | #Constraints: 51845 3083.84/3092.05 c #Conflicts: 689000 | #Constraints: 52845 3083.84/3092.05 c #Conflicts: 690000 | #Constraints: 53845 3083.84/3092.05 c #Conflicts: 691000 | #Constraints: 54845 3083.84/3092.05 c #Conflicts: 692000 | #Constraints: 55874 3083.84/3092.05 c #Conflicts: 693000 | #Constraints: 56983 3083.84/3092.05 c #Conflicts: 694000 | #Constraints: 57983 3083.84/3092.05 c #Conflicts: 695000 | #Constraints: 58983 3083.84/3092.05 c #Conflicts: 696000 | #Constraints: 59983 3083.84/3092.05 c #Conflicts: 697000 | #Constraints: 60983 3083.84/3092.05 c #Conflicts: 698000 | #Constraints: 61983 3083.84/3092.05 c #Conflicts: 699000 | #Constraints: 62983 3083.84/3092.05 c #Conflicts: 700000 | #Constraints: 63983 3083.84/3092.05 c #Conflicts: 701000 | #Constraints: 64983 3083.84/3092.05 c #Conflicts: 702000 | #Constraints: 65983 3083.84/3092.05 c #Conflicts: 703000 | #Constraints: 66983 3083.84/3092.05 c #Conflicts: 704000 | #Constraints: 67983 3083.84/3092.05 c INPROCESSING 3083.84/3092.05 c GARBAGE COLLECT 3083.84/3092.05 c rational objective 147 3538.71/3548.23 c #Conflicts: 705000 | #Constraints: 41138 3538.71/3548.23 c #Conflicts: 706000 | #Constraints: 42138 3538.71/3548.23 c #Conflicts: 707000 | #Constraints: 43138 3538.71/3548.23 c #Conflicts: 708000 | #Constraints: 44138 3538.71/3548.23 c #Conflicts: 709000 | #Constraints: 45138 3538.71/3548.23 c #Conflicts: 710000 | #Constraints: 46138 3538.71/3548.23 c #Conflicts: 711000 | #Constraints: 47138 3538.71/3548.23 c #Conflicts: 712000 | #Constraints: 48138 3538.71/3548.23 c #Conflicts: 713000 | #Constraints: 49138 3538.71/3548.23 c #Conflicts: 714000 | #Constraints: 50138 3538.71/3548.23 c #Conflicts: 715000 | #Constraints: 51138 3538.71/3548.23 c #Conflicts: 716000 | #Constraints: 52138 3538.71/3548.23 c #Conflicts: 717000 | #Constraints: 53138 3538.71/3548.23 c #Conflicts: 718000 | #Constraints: 54138 3538.71/3548.23 c #Conflicts: 719000 | #Constraints: 55139 3538.71/3548.23 c #Conflicts: 720000 | #Constraints: 56144 3538.71/3548.23 c #Conflicts: 721000 | #Constraints: 57145 3538.71/3548.23 c #Conflicts: 722000 | #Constraints: 58146 3538.71/3548.23 c #Conflicts: 723000 | #Constraints: 59146 3538.71/3548.23 c #Conflicts: 724000 | #Constraints: 60146 3538.71/3548.23 c #Conflicts: 725000 | #Constraints: 61146 3538.71/3548.23 c #Conflicts: 726000 | #Constraints: 62146 3538.71/3548.23 c #Conflicts: 727000 | #Constraints: 63146 3538.71/3548.23 c #Conflicts: 728000 | #Constraints: 64146 3538.71/3548.23 c #Conflicts: 729000 | #Constraints: 65146 3538.71/3548.23 c #Conflicts: 730000 | #Constraints: 66146 3538.71/3548.23 c #Conflicts: 731000 | #Constraints: 67146 3538.71/3548.23 c #Conflicts: 732000 | #Constraints: 68146 3538.71/3548.23 c #Conflicts: 733000 | #Constraints: 69146 3538.71/3548.23 c #Conflicts: 734000 | #Constraints: 70146 3538.71/3548.23 c #Conflicts: 735000 | #Constraints: 71146 3538.71/3548.23 c #Conflicts: 736000 | #Constraints: 72146 3538.71/3548.23 c #Conflicts: 737000 | #Constraints: 73146 3538.71/3548.23 c #Conflicts: 738000 | #Constraints: 74146 3538.71/3548.23 c #Conflicts: 739000 | #Constraints: 75146 3538.71/3548.23 c #Conflicts: 740000 | #Constraints: 76146 3538.71/3548.23 c #Conflicts: 741000 | #Constraints: 77146 3538.71/3548.23 c #Conflicts: 742000 | #Constraints: 78146 3538.71/3548.23 c #Conflicts: 743000 | #Constraints: 79146 3538.71/3548.23 c bounds 193 >= 147 @ 3267.45 3538.71/3548.23 c #Conflicts: 744000 | #Constraints: 80147 3538.71/3548.23 c #Conflicts: 745000 | #Constraints: 81147 3538.71/3548.23 c #Conflicts: 746000 | #Constraints: 82147 3538.71/3548.23 c #Conflicts: 747000 | #Constraints: 83147 3538.71/3548.23 c #Conflicts: 748000 | #Constraints: 84147 3538.71/3548.23 c #Conflicts: 749000 | #Constraints: 85147 3538.71/3548.23 c #Conflicts: 750000 | #Constraints: 86148 3538.71/3548.23 c #Conflicts: 751000 | #Constraints: 87148 3538.71/3548.23 c #Conflicts: 752000 | #Constraints: 88148 3538.71/3548.23 c #Conflicts: 753000 | #Constraints: 89148 3538.71/3548.23 c #Conflicts: 754000 | #Constraints: 90148 3538.71/3548.23 c #Conflicts: 755000 | #Constraints: 91148 3538.71/3548.23 c #Conflicts: 756000 | #Constraints: 92149 3538.71/3548.23 c #Conflicts: 757000 | #Constraints: 93149 3538.71/3548.23 c #Conflicts: 758000 | #Constraints: 94149 3538.71/3548.23 c #Conflicts: 759000 | #Constraints: 95149 3538.71/3548.23 c #Conflicts: 760000 | #Constraints: 96149 3538.71/3548.23 c #Conflicts: 761000 | #Constraints: 97149 3538.71/3548.23 c #Conflicts: 762000 | #Constraints: 98149 3538.71/3548.23 c INPROCESSING 3538.71/3548.23 c GARBAGE COLLECT 3538.71/3548.23 c rational objective 147 3600.02/3609.70 c #Conflicts: 763000 | #Constraints: 50573 3600.02/3609.70 c #Conflicts: 764000 | #Constraints: 51573 3600.02/3609.70 c #Conflicts: 765000 | #Constraints: 52573 3600.02/3609.70 c #Conflicts: 766000 | #Constraints: 53614 3600.02/3609.70 c #Conflicts: 767000 | #Constraints: 54619 3600.02/3609.70 c #Conflicts: 768000 | #Constraints: 55693 3600.02/3609.70 c #Conflicts: 769000 | #Constraints: 56741 3600.02/3609.70 c #Conflicts: 770000 | #Constraints: 57750 3600.02/3609.70 c #Conflicts: 771000 | #Constraints: 58769 3600.02/3609.70 c #Conflicts: 772000 | #Constraints: 59774 3600.02/3609.70 c #Conflicts: 773000 | #Constraints: 60776 3600.02/3609.70 c #Conflicts: 774000 | #Constraints: 61779 3600.02/3609.70 c #Conflicts: 775000 | #Constraints: 62787 3600.02/3609.70 c #Conflicts: 776000 | #Constraints: 63789 3600.02/3609.70 c #Conflicts: 777000 | #Constraints: 64801 3600.02/3609.70 c #Conflicts: 778000 | #Constraints: 65802 3600.02/3609.70 c #Conflicts: 779000 | #Constraints: 66803 3600.02/3609.70 c #Conflicts: 780000 | #Constraints: 67854 3600.02/3609.70 c Program interrupted by user. 3600.02/3609.70 c cpu time 3585.13 s 3600.02/3609.70 c deterministic time 367623804284 3.68e+11 3600.02/3609.70 c optimization time 60.9396 s 3600.02/3609.70 c total solve time 3524.19 s 3600.02/3609.70 c core-guided solve time 2116.61 s 3600.02/3609.70 c propagation time 3109.25 s 3600.02/3609.70 c conflict analysis time 439.232 s 3600.02/3609.70 c propagations 110559129 3600.02/3609.70 c resolve steps 7114275 3600.02/3609.70 c decisions 6194034 3600.02/3609.70 c conflicts 780534 3600.02/3609.70 c restarts 1659 3600.02/3609.70 c inprocessing phases 41 3600.02/3609.70 c input clauses 314 3600.02/3609.70 c input cardinalities 330 3600.02/3609.70 c input general constraints 910 3600.02/3609.70 c input average constraint length 63.16 3600.02/3609.70 c input average constraint degree 24.17 3600.02/3609.70 c learned clauses 254909 3600.02/3609.70 c learned cardinalities 3489 3600.02/3609.70 c learned general constraints 530698 3600.02/3609.70 c learned average constraint length 183.34 3600.02/3609.70 c learned average constraint degree 35003328.55 3600.02/3609.70 c watched constraints 363434 3600.02/3609.70 c counting constraints 168174 3600.02/3609.70 c gcd simplifications 88157 3600.02/3609.70 c detected cardinalities 1488 3600.02/3609.70 c weakened non-implied lits 28689839 3600.02/3609.70 c weakened non-implying lits 67096 3600.02/3609.70 c original variables 476 3600.02/3609.70 c clausal propagations 12628975 3600.02/3609.70 c cardinality propagations 5847084 3600.02/3609.70 c watched propagations 17293011 3600.02/3609.70 c counting propagations 73399251 3600.02/3609.70 c watch lookups 63271556449 3600.02/3609.70 c watch backjump lookups 56529477955 3600.02/3609.70 c watch checks 226509795760 3600.02/3609.70 c propagation checks 20505348269 3600.02/3609.70 c constraint additions 572532106 3600.02/3609.70 c trail pops 117532994 3600.02/3609.70 c formula constraints 476 3600.02/3609.70 c learned constraints 780541 3600.02/3609.70 c bound constraints 184 3600.02/3609.70 c core-guided constraints 894 3600.02/3609.70 c encountered formula constraints 1209620 3600.02/3609.70 c encountered learned constraints 5571021 3600.02/3609.70 c encountered bound constraints 78 3600.02/3609.70 c encountered core-guided constraints 1112871 3600.02/3609.70 c LP total time 62.8094 s 3600.02/3609.70 c LP solve time 56.36 s 3600.02/3609.70 c LP constraints added 526 3600.02/3609.70 c LP constraints removed 47 3600.02/3609.70 c LP pivots internal 780567 3600.02/3609.70 c LP pivots root 27020 3600.02/3609.70 c LP calls 14716 3600.02/3609.70 c LP optimalities 5920 3600.02/3609.70 c LP no pivot count 218 3600.02/3609.70 c LP infeasibilities 8660 3600.02/3609.70 c LP valid Farkas constraints 8504 3600.02/3609.70 c LP learned Farkas constraints 4 3600.02/3609.70 c LP basis resets 132 3600.02/3609.70 c LP cycling count 132 3600.02/3609.70 c LP singular count 0 3600.02/3609.70 c LP no primal count 0 3600.02/3609.70 c LP no farkas count 0 3600.02/3609.70 c LP other issue count 0 3600.02/3609.70 c LP Gomory cuts 47 3600.02/3609.70 c LP learned cuts 3 3600.02/3609.70 c LP deleted cuts 47 3600.02/3609.70 c LP encountered Gomory constraints 0 3600.02/3609.70 c LP encountered Farkas constraints 1209 3600.02/3609.70 c LP encountered learned Farkas constraints 6 3600.02/3609.70 c CG auxiliary variables introduced 347 3600.02/3609.70 c CG solutions found 37 3600.02/3609.70 c CG cores constructed 147 3600.02/3609.70 c CG core cardinality constraints returned 0 3600.02/3609.70 c CG unit cores 0 3600.02/3609.70 c CG single cores 146 3600.02/3609.70 c CG blocks removed during cardinality reduction 0 3600.02/3609.70 c CG first core best 0 3600.02/3609.70 c CG decision core best 0 3600.02/3609.70 c CG core reduction tie 1 3600.02/3609.70 c CG core degree average 1.00 3600.02/3609.70 c CG core slack average 4.10 3600.02/3609.70 s SATISFIABLE 3600.02/3609.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
OK 193
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 (62494 MiB free)
memory of node 1: 64473 MiB (62016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455123-1721458552/watcher-4455123-1721458552 -o /tmp/evaluation-result-4455123-1721458552/solver-4455123-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053049 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455123-1721458552.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1053106, runsolver pid=1053094
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 3.91 4.10 4.07 7/256 1053111
/proc/meminfo: memFree=127491384/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=38444 memory=8664 CPUtime=0.09 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 625 0 0 0 9 0 0 0 20 0 1 0 198020183 39366656 2166 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 9611 2166 1751 922 0 1563 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 8664 KiB
[startup+0.206083 s]*
/proc/loadavg: 3.91 4.10 4.07 8/256 1053111
/proc/meminfo: memFree=127478764/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=39904 memory=12756 CPUtime=0.2 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 1092 0 0 0 18 2 0 0 20 0 1 0 198020183 40861696 3189 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 9976 3189 1783 922 0 1928 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 12756 KiB
[startup+0.305782 s]*
/proc/loadavg: 3.91 4.10 4.07 7/256 1053111
/proc/meminfo: memFree=127468324/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=41080 memory=14244 CPUtime=0.3 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 1383 0 0 0 26 4 0 0 20 0 1 0 198020183 42065920 3561 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 10270 3561 1861 922 0 2222 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41080 KiB
Current children cumulated memory: 14244 KiB
[startup+0.70016 s]
/proc/loadavg: 3.91 4.10 4.07 7/256 1053111
/proc/meminfo: memFree=127458684/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=43920 memory=17308 CPUtime=0.69 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 2169 0 0 0 63 6 0 0 20 0 1 0 198020183 44974080 4327 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 10980 4327 1877 922 0 2932 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43920 KiB
Current children cumulated memory: 17308 KiB
[startup+1.50016 s]
/proc/loadavg: 3.91 4.10 4.07 7/256 1053113
/proc/meminfo: memFree=127448724/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=47060 memory=21572 CPUtime=1.49 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 3316 0 0 0 139 10 0 0 20 0 1 0 198020183 48189440 5393 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 11765 5393 1877 922 0 3717 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 21572 KiB
[startup+3.10602 s]
/proc/loadavg: 3.91 4.10 4.07 7/256 1053113
/proc/meminfo: memFree=127427028/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=47632 memory=22092 CPUtime=3.09 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 3477 0 0 0 292 17 0 0 20 0 1 0 198020183 48775168 5523 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 11908 5523 1877 922 0 3860 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47632 KiB
Current children cumulated memory: 22092 KiB
[startup+6.30016 s]
/proc/loadavg: 3.92 4.10 4.07 7/256 1053113
/proc/meminfo: memFree=127403940/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=60356 memory=30416 CPUtime=6.28 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 5540 0 0 0 601 27 0 0 20 0 1 0 198020183 61804544 7604 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 15089 7604 1877 922 0 7041 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 30416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.12 4.08 7/256 1053115
/proc/meminfo: memFree=127353048/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=78176 memory=49208 CPUtime=12.65 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 8670 0 0 0 1221 44 0 0 20 0 1 0 198020183 80052224 12302 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 19544 12302 1877 922 0 11496 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 78176 KiB
Current children cumulated memory: 49208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.11 4.08 7/256 1053116
/proc/meminfo: memFree=127290644/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=79956 memory=53480 CPUtime=25.42 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 9313 0 0 0 2477 65 0 0 20 0 1 0 198020183 81874944 13370 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 19989 13370 1877 922 0 11941 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 53480 KiB
[startup+51.1062 s]
/proc/loadavg: 4.00 4.10 4.08 7/256 1053121
/proc/meminfo: memFree=127208164/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=101488 memory=64156 CPUtime=50.97 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 11477 0 0 0 4981 116 0 0 20 0 1 0 198020183 103923712 16039 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 25372 16039 1877 922 0 17324 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 101488 KiB
Current children cumulated memory: 64156 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.08 7/256 1053129
/proc/meminfo: memFree=127119568/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=187248 memory=129600 CPUtime=102.03 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 20291 0 0 0 10034 169 0 0 20 0 1 0 198020183 191741952 32400 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 46812 32400 1951 922 0 38764 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 187248 KiB
Current children cumulated memory: 129600 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 7/259 1053310
/proc/meminfo: memFree=127009112/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=189180 memory=131352 CPUtime=161.88 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 20807 0 0 0 15957 231 0 0 20 0 1 0 198020183 193720320 32838 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 47295 32838 1951 922 0 39247 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 189180 KiB
Current children cumulated memory: 131352 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.08 7/259 1053321
/proc/meminfo: memFree=126986676/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=198852 memory=138696 CPUtime=221.72 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 22632 0 0 0 21882 290 0 0 20 0 1 0 198020183 203624448 34674 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 49713 34674 1951 922 0 41665 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 198852 KiB
Current children cumulated memory: 138696 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.09 7/260 1053335
/proc/meminfo: memFree=126875740/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=231864 memory=181620 CPUtime=281.58 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 29291 0 0 0 27832 326 0 0 20 0 1 0 198020183 237428736 45405 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 57966 45405 1951 922 0 49918 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 231864 KiB
Current children cumulated memory: 181620 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/259 1053356
/proc/meminfo: memFree=126807132/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=231724 memory=181632 CPUtime=341.42 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 29312 0 0 0 33782 360 0 0 20 0 1 0 198020183 237285376 45408 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 57931 45408 1951 922 0 49883 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 231724 KiB
Current children cumulated memory: 181632 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/259 1053367
/proc/meminfo: memFree=126761700/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=231996 memory=182060 CPUtime=401.27 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 29488 0 0 0 39716 411 0 0 20 0 1 0 198020183 237563904 45515 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 57999 45515 1951 922 0 49951 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 231996 KiB
Current children cumulated memory: 182060 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/257 1053378
/proc/meminfo: memFree=126750680/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=235336 memory=184916 CPUtime=461.11 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 30209 0 0 0 45662 449 0 0 20 0 1 0 198020183 240984064 46229 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 58834 46229 1951 922 0 50786 0
################
# More data... #
################
Current children cumulated memory: 374076 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/256 1054437
/proc/meminfo: memFree=126075268/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=480468 memory=374688 CPUtime=2914.62 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 55855 0 0 0 290154 1308 0 0 20 0 1 0 198020183 491999232 93672 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120117 93672 1951 922 0 112069 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 480468 KiB
Current children cumulated memory: 374688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/254 1054447
/proc/meminfo: memFree=126068328/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=482260 memory=375724 CPUtime=2974.44 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 56251 0 0 0 296124 1320 0 0 20 0 1 0 198020183 493834240 93931 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120565 93931 1951 922 0 112517 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 482260 KiB
Current children cumulated memory: 375724 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/254 1054457
/proc/meminfo: memFree=126044992/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=482260 memory=376000 CPUtime=3034.27 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 56693 0 0 0 302080 1347 0 0 20 0 1 0 198020183 493834240 94000 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120565 94000 1951 922 0 112517 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 482260 KiB
Current children cumulated memory: 376000 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/254 1054468
/proc/meminfo: memFree=126044460/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=482588 memory=376156 CPUtime=3094.09 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 56896 0 0 0 308042 1367 0 0 20 0 1 0 198020183 494170112 94039 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120647 94039 1951 922 0 112599 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 482588 KiB
Current children cumulated memory: 376156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 7/254 1054478
/proc/meminfo: memFree=126044952/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=482588 memory=376200 CPUtime=3153.92 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 57035 0 0 0 314002 1390 0 0 20 0 1 0 198020183 494170112 94050 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120647 94050 1951 922 0 112599 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 482588 KiB
Current children cumulated memory: 376200 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/254 1054488
/proc/meminfo: memFree=126038904/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=482588 memory=376200 CPUtime=3213.75 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 57195 0 0 0 319967 1408 0 0 20 0 1 0 198020183 494170112 94050 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120647 94050 1951 922 0 112599 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 482588 KiB
Current children cumulated memory: 376200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 7/257 1054503
/proc/meminfo: memFree=126037456/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483488 memory=376716 CPUtime=3273.58 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 57491 0 0 0 325935 1423 0 0 20 0 1 0 198020183 495091712 94179 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120872 94179 1951 922 0 112824 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 483488 KiB
Current children cumulated memory: 376716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/257 1054514
/proc/meminfo: memFree=126019492/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=376948 CPUtime=3333.4 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 57704 0 0 0 331906 1434 0 0 20 0 1 0 198020183 495386624 94237 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94237 1951 922 0 112896 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 376948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/257 1054524
/proc/meminfo: memFree=126015700/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=376948 CPUtime=3393.23 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 57865 0 0 0 337879 1444 0 0 20 0 1 0 198020183 495386624 94237 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94237 1951 922 0 112896 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 376948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/258 1054536
/proc/meminfo: memFree=126012116/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=376948 CPUtime=3453.06 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 58028 0 0 0 343854 1452 0 0 20 0 1 0 198020183 495386624 94237 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94237 1951 922 0 112896 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 376948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 7/258 1054547
/proc/meminfo: memFree=126002360/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=376948 CPUtime=3512.89 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 58192 0 0 0 349829 1460 0 0 20 0 1 0 198020183 495386624 94237 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94237 1951 922 0 112896 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 376948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 7/257 1054940
/proc/meminfo: memFree=125997844/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=377076 CPUtime=3572.7 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 58632 0 0 0 355791 1479 0 0 20 0 1 0 198020183 495386624 94269 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94269 1951 922 0 112896 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 377076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.10 4.09 7/257 1054944
/proc/meminfo: memFree=125997500/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=377076 CPUtime=3600.02 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 58763 0 0 0 358513 1489 0 0 20 0 1 0 198020183 495386624 94269 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94269 1951 922 0 112896 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 377076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 1053106 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.13 s, system=14.9 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.10 4.10 4.09 7/257 1054944
/proc/meminfo: memFree=125997500/131524600 swapFree=131070704/131071996
[pid=1053106] ppid=1053094 vsize=483776 memory=377076 CPUtime=3600.02 cores=1,3
/proc/1053106/stat : 1053106 (roundingsat) R 1053094 1053106 1053037 0 -1 4194304 58763 0 0 0 358513 1489 0 0 20 0 1 0 198020183 495386624 94269 134679101440 4194304 7968373 140729582695056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 40845312 140729582703548 140729582703712 140729582703712 140729582710729 0
/proc/1053106/statm: 120944 94269 1951 922 0 112896 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 483776 KiB
Current children cumulated memory: 377076 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.03
CPU user time (s): 3585.13
CPU system time (s): 14.9
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 485156
Max. memory (cumulated for all children) (KiB): 378088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.13
system time used= 14.9
maximum resident set size= 378088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58773
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= 103
involuntary context switches= 2382
# summary of solver processes directly reported to runsolver:
# pid: 1053106
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.13
# total CPU system time (s): 14.9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64511 second user time and 19.5789 second system time
The end
Begin job on nodeC023 at 2024-07-20 08:56:05 IDJOB=4455123 IDBENCH=147545 IDSOLVER=3084 FILE ID=nodeC023/4455123-1721458552 RUNJOBID= nodeC023-1721458565-1053049 SLURM_JOB_ID= 7545704 Free space on /tmp= 890076 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.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-4455123-1721458552/watcher-4455123-1721458552 -o /tmp/evaluation-result-4455123-1721458552/solver-4455123-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053049 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455123-1721458552.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=658974107 nodeC023.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 : 3771.912 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3722.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3608.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3576.285 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3613.216 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3825.589 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3745.078 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3703.760 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127501396 kB MemAvailable: 129751144 kB Buffers: 593608 kB Cached: 2491988 kB SwapCached: 80 kB Active: 1247248 kB Inactive: 2206776 kB Active(anon): 1484 kB Inactive(anon): 412676 kB Active(file): 1245764 kB Inactive(file): 1794100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 20884 kB Writeback: 0 kB AnonPages: 368476 kB Mapped: 106524 kB Shmem: 45728 kB KReclaimable: 99412 kB Slab: 193496 kB SReclaimable: 99412 kB SUnreclaim: 94084 kB KernelStack: 3872 kB PageTables: 9448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 720608 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890064 MiB End job on nodeC023 at 2024-07-20 09:56:15