| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.11 | 3613.95 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| 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 | 186 |
| 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 | 479 |
| Total number of constraints | 479 |
| 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 | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| 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 | 479 |
| 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 | 479 |
| 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.02 c #variables 479 #constraints 479 0.51/0.56 c bounds - >= 0 @ 0.0097 0.51/0.56 c bounds 235 >= 0 @ 0.392227 0.51/0.56 c bounds 235 >= 1 @ 0.392414 0.51/0.56 c bounds 235 >= 2 @ 0.392888 0.51/0.56 c bounds 235 >= 3 @ 0.392991 0.51/0.56 c bounds 235 >= 4 @ 0.392991 0.51/0.56 c bounds 235 >= 5 @ 0.393344 0.51/0.56 c bounds 235 >= 6 @ 0.393788 0.51/0.56 c bounds 235 >= 7 @ 0.394286 0.51/0.56 c bounds 235 >= 8 @ 0.394832 0.51/0.56 c bounds 235 >= 9 @ 0.395378 0.51/0.56 c bounds 235 >= 10 @ 0.395923 0.51/0.56 c bounds 235 >= 11 @ 0.396104 0.51/0.56 c bounds 235 >= 12 @ 0.396104 0.51/0.56 c bounds 235 >= 13 @ 0.396612 0.51/0.56 c bounds 235 >= 14 @ 0.397189 0.51/0.56 c bounds 235 >= 15 @ 0.397785 0.51/0.56 c bounds 235 >= 16 @ 0.398378 0.51/0.56 c bounds 235 >= 17 @ 0.39903 0.51/0.56 c bounds 235 >= 18 @ 0.399186 0.51/0.56 c bounds 235 >= 19 @ 0.399326 0.51/0.56 c bounds 235 >= 20 @ 0.39993 0.51/0.56 c bounds 235 >= 21 @ 0.40062 0.51/0.56 c bounds 235 >= 22 @ 0.401268 0.51/0.56 c bounds 235 >= 23 @ 0.40192 0.51/0.56 c bounds 235 >= 24 @ 0.402585 0.51/0.56 c bounds 235 >= 25 @ 0.403256 0.51/0.56 c bounds 235 >= 26 @ 0.403915 0.51/0.56 c bounds 234 >= 26 @ 0.444441 0.51/0.56 c bounds 234 >= 27 @ 0.445161 0.51/0.56 c bounds 234 >= 28 @ 0.445861 0.51/0.56 c bounds 234 >= 29 @ 0.445944 0.51/0.56 c bounds 234 >= 30 @ 0.446319 0.51/0.56 c bounds 234 >= 31 @ 0.447032 0.51/0.56 c bounds 234 >= 32 @ 0.447832 0.51/0.56 c bounds 234 >= 33 @ 0.447931 0.51/0.56 c bounds 234 >= 34 @ 0.447931 0.51/0.56 c bounds 234 >= 35 @ 0.447931 0.51/0.56 c bounds 234 >= 36 @ 0.448301 0.51/0.56 c bounds 234 >= 37 @ 0.44903 0.51/0.56 c bounds 234 >= 38 @ 0.44977 0.51/0.56 c bounds 234 >= 39 @ 0.449914 0.51/0.56 c bounds 234 >= 40 @ 0.450305 0.51/0.56 c bounds 234 >= 41 @ 0.451067 0.51/0.56 c bounds 234 >= 42 @ 0.451816 0.51/0.56 c bounds 234 >= 43 @ 0.451901 0.51/0.56 c bounds 234 >= 44 @ 0.452334 0.51/0.56 c bounds 234 >= 45 @ 0.453057 0.51/0.56 c bounds 234 >= 46 @ 0.45377 0.51/0.56 c bounds 234 >= 47 @ 0.453885 0.51/0.56 c bounds 234 >= 48 @ 0.454255 0.51/0.56 c bounds 234 >= 49 @ 0.454981 0.51/0.56 c bounds 234 >= 50 @ 0.455697 0.51/0.56 c bounds 234 >= 51 @ 0.455874 0.51/0.56 c bounds 234 >= 52 @ 0.456262 0.51/0.56 c bounds 234 >= 53 @ 0.456975 0.51/0.56 c bounds 234 >= 54 @ 0.457733 0.51/0.56 c bounds 234 >= 55 @ 0.457859 0.51/0.56 c bounds 234 >= 56 @ 0.458249 0.51/0.56 c bounds 234 >= 57 @ 0.459 0.51/0.56 c bounds 234 >= 58 @ 0.459744 0.51/0.56 c bounds 234 >= 59 @ 0.459845 0.51/0.56 c bounds 234 >= 60 @ 0.459845 0.51/0.56 c bounds 234 >= 61 @ 0.460065 0.51/0.56 c bounds 234 >= 62 @ 0.460835 0.51/0.56 c bounds 234 >= 63 @ 0.461601 0.51/0.56 c bounds 234 >= 64 @ 0.462383 0.51/0.56 c bounds 234 >= 65 @ 0.463198 0.51/0.56 c bounds 234 >= 66 @ 0.463967 0.51/0.56 c bounds 234 >= 67 @ 0.464721 0.51/0.56 c bounds 234 >= 68 @ 0.465487 0.51/0.56 c bounds 234 >= 69 @ 0.465808 0.51/0.56 c bounds 234 >= 70 @ 0.466132 0.51/0.56 c bounds 234 >= 71 @ 0.46688 0.51/0.56 c bounds 234 >= 72 @ 0.467644 0.51/0.56 c bounds 234 >= 73 @ 0.468429 0.51/0.56 c bounds 234 >= 74 @ 0.469231 0.51/0.56 c bounds 234 >= 75 @ 0.470034 0.51/0.56 c bounds 234 >= 76 @ 0.470832 0.51/0.56 c bounds 234 >= 77 @ 0.471637 0.51/0.56 c bounds 234 >= 78 @ 0.471772 0.51/0.56 c bounds 234 >= 79 @ 0.471772 0.51/0.56 c bounds 234 >= 80 @ 0.472089 0.51/0.56 c bounds 234 >= 81 @ 0.472859 0.51/0.56 c bounds 234 >= 82 @ 0.473612 0.51/0.56 c bounds 234 >= 83 @ 0.473758 0.51/0.56 c bounds 234 >= 84 @ 0.474146 0.51/0.56 c bounds 234 >= 85 @ 0.474904 0.51/0.56 c bounds 234 >= 86 @ 0.475655 0.51/0.56 c bounds 234 >= 87 @ 0.475744 0.51/0.56 c bounds 234 >= 88 @ 0.476148 0.51/0.56 c bounds 234 >= 89 @ 0.476912 0.51/0.56 c bounds 234 >= 90 @ 0.477663 0.51/0.56 c bounds 234 >= 91 @ 0.47773 0.51/0.56 c bounds 234 >= 92 @ 0.478183 0.51/0.56 c bounds 234 >= 93 @ 0.478948 0.51/0.56 c bounds 234 >= 94 @ 0.47969 0.51/0.56 c bounds 234 >= 95 @ 0.479719 0.51/0.56 c bounds 234 >= 96 @ 0.479719 0.51/0.56 c bounds 234 >= 97 @ 0.480028 0.51/0.56 c bounds 234 >= 98 @ 0.480702 0.51/0.56 c bounds 234 >= 99 @ 0.480702 0.51/0.56 c bounds 234 >= 100 @ 0.480705 0.51/0.56 c bounds 234 >= 101 @ 0.481137 0.51/0.56 c bounds 234 >= 102 @ 0.481858 0.51/0.56 c bounds 234 >= 103 @ 0.482627 0.51/0.56 c bounds 234 >= 104 @ 0.48339 0.51/0.56 c bounds 234 >= 105 @ 0.483685 0.51/0.56 c bounds 234 >= 106 @ 0.484015 0.51/0.56 c bounds 234 >= 107 @ 0.484771 0.51/0.56 c bounds 234 >= 108 @ 0.485542 0.51/0.56 c bounds 234 >= 109 @ 0.485673 0.51/0.56 c bounds 234 >= 110 @ 0.486138 0.51/0.56 c bounds 234 >= 111 @ 0.486591 0.51/0.56 c bounds 234 >= 112 @ 0.486865 0.51/0.56 c bounds 234 >= 113 @ 0.487557 0.51/0.56 c bounds 234 >= 114 @ 0.487654 0.51/0.56 c bounds 234 >= 115 @ 0.487656 0.51/0.56 c bounds 234 >= 116 @ 0.487986 0.51/0.56 c bounds 234 >= 117 @ 0.488719 0.51/0.56 c bounds 234 >= 118 @ 0.48949 0.51/0.56 c bounds 234 >= 119 @ 0.489645 0.51/0.56 c bounds 234 >= 120 @ 0.490085 0.51/0.56 c bounds 234 >= 121 @ 0.490831 0.51/0.56 c bounds 234 >= 122 @ 0.491606 0.51/0.56 c bounds 234 >= 123 @ 0.491634 0.51/0.56 c bounds 234 >= 124 @ 0.492181 0.51/0.56 c bounds 234 >= 125 @ 0.492942 0.51/0.56 c bounds 234 >= 126 @ 0.493697 0.51/0.56 c bounds 234 >= 127 @ 0.494491 0.51/0.56 c bounds 234 >= 128 @ 0.495327 0.51/0.56 c bounds 234 >= 129 @ 0.495611 0.51/0.56 c bounds 234 >= 130 @ 0.496006 0.51/0.56 c bounds 234 >= 131 @ 0.496879 0.51/0.56 c bounds 234 >= 132 @ 0.497746 0.51/0.56 c bounds 234 >= 133 @ 0.498569 0.51/0.56 c bounds 234 >= 134 @ 0.498573 1.28/1.31 c bounds 234 >= 135 @ 0.49956 1.28/1.31 c bounds 234 >= 136 @ 0.499584 1.28/1.31 c bounds 234 >= 137 @ 0.499584 1.28/1.31 c bounds 234 >= 138 @ 0.499584 1.28/1.31 c bounds 234 >= 139 @ 0.500528 1.28/1.31 c bounds 234 >= 140 @ 0.50073 1.28/1.31 c bounds 234 >= 141 @ 0.501693 1.28/1.31 c bounds 234 >= 142 @ 0.502855 1.28/1.31 c bounds 234 >= 143 @ 0.503875 1.28/1.31 c bounds 234 >= 144 @ 0.505066 1.28/1.31 c bounds 234 >= 145 @ 0.50658 1.28/1.31 c bounds 234 >= 146 @ 0.508795 1.28/1.31 c bounds 234 >= 147 @ 0.512915 1.28/1.31 c bounds 234 >= 148 @ 0.520692 1.28/1.31 c bounds 234 >= 149 @ 0.533648 1.28/1.31 c bounds 233 >= 149 @ 0.546654 1.28/1.31 c bounds 233 >= 150 @ 0.60618 1.28/1.31 c bounds 232 >= 150 @ 0.609812 1.28/1.31 c bounds 231 >= 150 @ 0.611257 1.28/1.31 c bounds 230 >= 150 @ 0.617275 1.28/1.31 c bounds 229 >= 150 @ 0.623073 1.28/1.31 c bounds 228 >= 150 @ 0.654818 1.28/1.31 c bounds 227 >= 150 @ 0.666933 1.28/1.31 c bounds 226 >= 150 @ 0.675811 1.28/1.31 c bounds 225 >= 150 @ 0.761957 1.28/1.31 c #Conflicts: 1000 | #Constraints: 2237 1.28/1.31 c bounds 225 >= 151 @ 0.95715 1.28/1.31 c bounds 224 >= 151 @ 0.964526 1.28/1.31 c bounds 223 >= 151 @ 0.973638 1.28/1.31 c bounds 222 >= 151 @ 0.989261 1.28/1.31 c bounds 221 >= 151 @ 1.00519 1.28/1.31 c bounds 220 >= 151 @ 1.02061 1.28/1.31 c #Conflicts: 2000 | #Constraints: 3296 1.28/1.31 c INPROCESSING 1.28/1.31 c GARBAGE COLLECT 1.28/1.31 c rational objective 151 2.09/2.17 c bounds 219 >= 151 @ 1.16332 2.09/2.17 c bounds 218 >= 151 @ 1.16755 2.09/2.17 c bounds 217 >= 151 @ 1.1715 2.09/2.17 c bounds 216 >= 151 @ 1.18731 2.09/2.17 c bounds 215 >= 151 @ 1.27639 2.09/2.17 c #Conflicts: 3000 | #Constraints: 3142 2.09/2.17 c bounds 215 >= 152 @ 1.59392 2.09/2.17 c bounds 214 >= 152 @ 1.60494 2.09/2.17 c bounds 213 >= 152 @ 1.71154 2.09/2.17 c #Conflicts: 4000 | #Constraints: 4180 2.09/2.17 c INPROCESSING 2.09/2.17 c GARBAGE COLLECT 2.09/2.17 c rational objective 152 3.09/3.18 c bounds 212 >= 152 @ 1.99851 3.09/3.18 c #Conflicts: 5000 | #Constraints: 3587 3.09/3.18 c #Conflicts: 6000 | #Constraints: 4587 3.09/3.18 c bounds 212 >= 153 @ 2.6538 3.09/3.18 c bounds 211 >= 153 @ 2.66137 3.09/3.18 c bounds 210 >= 153 @ 2.66546 3.09/3.18 c INPROCESSING 3.09/3.18 c GARBAGE COLLECT 3.09/3.18 c rational objective 153 3.87/3.98 c #Conflicts: 7000 | #Constraints: 3649 3.87/3.98 c #Conflicts: 8000 | #Constraints: 4649 3.87/3.98 c #Conflicts: 9000 | #Constraints: 5649 3.87/3.98 c INPROCESSING 3.87/3.98 c GARBAGE COLLECT 3.87/3.98 c rational objective 153 5.16/5.23 c #Conflicts: 10000 | #Constraints: 4343 5.16/5.23 c #Conflicts: 11000 | #Constraints: 5343 5.16/5.23 c #Conflicts: 12000 | #Constraints: 6343 5.16/5.23 c INPROCESSING 5.16/5.23 c GARBAGE COLLECT 5.16/5.23 c rational objective 153 6.08/6.12 c bounds 209 >= 153 @ 4.89993 6.08/6.12 c bounds 208 >= 153 @ 4.92638 6.08/6.12 c bounds 207 >= 153 @ 5.06977 6.08/6.12 c #Conflicts: 13000 | #Constraints: 4853 6.08/6.12 c bounds 206 >= 153 @ 5.18021 6.08/6.12 c #Conflicts: 14000 | #Constraints: 5854 6.08/6.12 c #Conflicts: 15000 | #Constraints: 6854 6.08/6.12 c INPROCESSING 6.08/6.12 c GARBAGE COLLECT 6.08/6.12 c rational objective 153 7.56/7.62 c #Conflicts: 16000 | #Constraints: 5052 7.56/7.62 c #Conflicts: 17000 | #Constraints: 6052 7.56/7.62 c #Conflicts: 18000 | #Constraints: 7052 7.56/7.62 c INPROCESSING 7.56/7.62 c GARBAGE COLLECT 7.56/7.62 c rational objective 153 9.65/9.76 c #Conflicts: 19000 | #Constraints: 5057 9.65/9.76 c #Conflicts: 20000 | #Constraints: 6057 9.65/9.76 c #Conflicts: 21000 | #Constraints: 7057 9.65/9.76 c INPROCESSING 9.65/9.76 c GARBAGE COLLECT 9.65/9.76 c rational objective 153 18.94/19.02 c #Conflicts: 22000 | #Constraints: 4923 18.94/19.02 c bounds 205 >= 153 @ 9.34935 18.94/19.02 c bounds 204 >= 153 @ 9.41079 18.94/19.02 c #Conflicts: 23000 | #Constraints: 5925 18.94/19.02 c #Conflicts: 24000 | #Constraints: 6925 18.94/19.02 c #Conflicts: 25000 | #Constraints: 7925 18.94/19.02 c #Conflicts: 26000 | #Constraints: 8925 18.94/19.02 c #Conflicts: 27000 | #Constraints: 9925 18.94/19.02 c bounds 203 >= 153 @ 11.4494 18.94/19.02 c #Conflicts: 28000 | #Constraints: 10926 18.94/19.02 c #Conflicts: 29000 | #Constraints: 11926 18.94/19.02 c #Conflicts: 30000 | #Constraints: 12926 18.94/19.02 c bounds 203 >= 154 @ 16.1484 18.94/19.02 c #Conflicts: 31000 | #Constraints: 13974 18.94/19.02 c #Conflicts: 32000 | #Constraints: 14974 18.94/19.02 c #Conflicts: 33000 | #Constraints: 15974 18.94/19.02 c INPROCESSING 18.94/19.02 c GARBAGE COLLECT 18.94/19.02 c rational objective 154 21.93/22.02 c #Conflicts: 34000 | #Constraints: 9499 21.93/22.02 c #Conflicts: 35000 | #Constraints: 10499 21.93/22.02 c #Conflicts: 36000 | #Constraints: 11499 21.93/22.02 c #Conflicts: 37000 | #Constraints: 12499 21.93/22.02 c #Conflicts: 38000 | #Constraints: 13499 21.93/22.02 c INPROCESSING 21.93/22.02 c GARBAGE COLLECT 21.93/22.02 c rational objective 154 26.03/26.12 c #Conflicts: 39000 | #Constraints: 8414 26.03/26.12 c #Conflicts: 40000 | #Constraints: 9414 26.03/26.12 c #Conflicts: 41000 | #Constraints: 10414 26.03/26.12 c #Conflicts: 42000 | #Constraints: 11414 26.03/26.12 c INPROCESSING 26.03/26.12 c GARBAGE COLLECT 26.03/26.12 c rational objective 154 28.30/28.43 c bounds 202 >= 154 @ 25.1199 28.30/28.43 c #Conflicts: 43000 | #Constraints: 6945 28.30/28.43 c #Conflicts: 44000 | #Constraints: 7945 28.30/28.43 c #Conflicts: 45000 | #Constraints: 8945 28.30/28.43 c #Conflicts: 46000 | #Constraints: 9945 28.30/28.43 c #Conflicts: 47000 | #Constraints: 10945 28.30/28.43 c #Conflicts: 48000 | #Constraints: 11945 28.30/28.43 c INPROCESSING 28.30/28.43 c GARBAGE COLLECT 28.30/28.43 c rational objective 154 32.79/32.92 c #Conflicts: 49000 | #Constraints: 7627 32.79/32.92 c #Conflicts: 50000 | #Constraints: 8627 32.79/32.92 c #Conflicts: 51000 | #Constraints: 9627 32.79/32.92 c #Conflicts: 52000 | #Constraints: 10627 32.79/32.92 c #Conflicts: 53000 | #Constraints: 11627 32.79/32.92 c INPROCESSING 32.79/32.92 c GARBAGE COLLECT 32.79/32.92 c rational objective 154 52.04/52.21 c #Conflicts: 54000 | #Constraints: 7386 52.04/52.21 c bounds 201 >= 154 @ 32.226 52.04/52.21 c #Conflicts: 55000 | #Constraints: 8387 52.04/52.21 c #Conflicts: 56000 | #Constraints: 9387 52.04/52.21 c #Conflicts: 57000 | #Constraints: 10387 52.04/52.21 c #Conflicts: 58000 | #Constraints: 11387 52.04/52.21 c #Conflicts: 59000 | #Constraints: 12387 52.04/52.21 c #Conflicts: 60000 | #Constraints: 13387 52.04/52.21 c #Conflicts: 61000 | #Constraints: 14387 52.04/52.21 c #Conflicts: 62000 | #Constraints: 15387 52.04/52.21 c #Conflicts: 63000 | #Constraints: 16387 52.04/52.21 c #Conflicts: 64000 | #Constraints: 17387 52.04/52.21 c #Conflicts: 65000 | #Constraints: 18387 52.04/52.21 c #Conflicts: 66000 | #Constraints: 19387 52.04/52.21 c #Conflicts: 67000 | #Constraints: 20387 52.04/52.21 c #Conflicts: 68000 | #Constraints: 21387 52.04/52.21 c #Conflicts: 69000 | #Constraints: 22387 52.04/52.21 c #Conflicts: 70000 | #Constraints: 23387 52.04/52.21 c #Conflicts: 71000 | #Constraints: 24387 52.04/52.21 c INPROCESSING 52.04/52.21 c GARBAGE COLLECT 52.04/52.21 c rational objective 154 70.59/70.81 c #Conflicts: 72000 | #Constraints: 13657 70.59/70.81 c #Conflicts: 73000 | #Constraints: 14657 70.59/70.81 c #Conflicts: 74000 | #Constraints: 15657 70.59/70.81 c #Conflicts: 75000 | #Constraints: 16657 70.59/70.81 c #Conflicts: 76000 | #Constraints: 17657 70.59/70.81 c #Conflicts: 77000 | #Constraints: 18657 70.59/70.81 c #Conflicts: 78000 | #Constraints: 19657 70.59/70.81 c INPROCESSING 70.59/70.81 c GARBAGE COLLECT 70.59/70.81 c rational objective 154 80.96/81.24 c #Conflicts: 79000 | #Constraints: 11567 80.96/81.24 c #Conflicts: 80000 | #Constraints: 12567 80.96/81.24 c #Conflicts: 81000 | #Constraints: 13567 80.96/81.24 c #Conflicts: 82000 | #Constraints: 14567 80.96/81.24 c #Conflicts: 83000 | #Constraints: 15567 80.96/81.24 c #Conflicts: 84000 | #Constraints: 16567 80.96/81.24 c INPROCESSING 80.96/81.24 c GARBAGE COLLECT 80.96/81.24 c rational objective 154 126.53/127.00 c #Conflicts: 85000 | #Constraints: 9619 126.53/127.00 c #Conflicts: 86000 | #Constraints: 10619 126.53/127.00 c #Conflicts: 87000 | #Constraints: 11619 126.53/127.00 c #Conflicts: 88000 | #Constraints: 12619 126.53/127.00 c #Conflicts: 89000 | #Constraints: 13619 126.53/127.00 c #Conflicts: 90000 | #Constraints: 14619 126.53/127.00 c #Conflicts: 91000 | #Constraints: 15619 126.53/127.00 c #Conflicts: 92000 | #Constraints: 16619 126.53/127.00 c #Conflicts: 93000 | #Constraints: 17619 126.53/127.00 c #Conflicts: 94000 | #Constraints: 18619 126.53/127.00 c #Conflicts: 95000 | #Constraints: 19619 126.53/127.00 c #Conflicts: 96000 | #Constraints: 20619 126.53/127.00 c #Conflicts: 97000 | #Constraints: 21619 126.53/127.00 c #Conflicts: 98000 | #Constraints: 22619 126.53/127.00 c #Conflicts: 99000 | #Constraints: 23619 126.53/127.00 c #Conflicts: 100000 | #Constraints: 24619 126.53/127.00 c #Conflicts: 101000 | #Constraints: 25619 126.53/127.00 c #Conflicts: 102000 | #Constraints: 26619 126.53/127.00 c #Conflicts: 103000 | #Constraints: 27619 126.53/127.00 c #Conflicts: 104000 | #Constraints: 28619 126.53/127.00 c #Conflicts: 105000 | #Constraints: 29619 126.53/127.00 c #Conflicts: 106000 | #Constraints: 30619 126.53/127.00 c bounds 200 >= 154 @ 117.712 126.53/127.00 c #Conflicts: 107000 | #Constraints: 31620 126.53/127.00 c INPROCESSING 126.53/127.00 c GARBAGE COLLECT 126.53/127.00 c rational objective 154 157.67/158.15 c #Conflicts: 108000 | #Constraints: 17495 157.67/158.15 c #Conflicts: 109000 | #Constraints: 18495 157.67/158.15 c #Conflicts: 110000 | #Constraints: 19495 157.67/158.15 c #Conflicts: 111000 | #Constraints: 20495 157.67/158.15 c #Conflicts: 112000 | #Constraints: 21495 157.67/158.15 c #Conflicts: 113000 | #Constraints: 22495 157.67/158.15 c #Conflicts: 114000 | #Constraints: 23495 157.67/158.15 c bounds 200 >= 155 @ 152.598 157.67/158.15 c #Conflicts: 115000 | #Constraints: 24543 157.67/158.15 c INPROCESSING 157.67/158.15 c GARBAGE COLLECT 157.67/158.15 c rational objective 155 171.42/171.92 c #Conflicts: 116000 | #Constraints: 13925 171.42/171.92 c #Conflicts: 117000 | #Constraints: 14925 171.42/171.92 c #Conflicts: 118000 | #Constraints: 15925 171.42/171.92 c #Conflicts: 119000 | #Constraints: 16925 171.42/171.92 c #Conflicts: 120000 | #Constraints: 17925 171.42/171.92 c #Conflicts: 121000 | #Constraints: 18925 171.42/171.92 c #Conflicts: 122000 | #Constraints: 19925 171.42/171.92 c #Conflicts: 123000 | #Constraints: 20925 171.42/171.92 c INPROCESSING 171.42/171.92 c GARBAGE COLLECT 171.42/171.92 c rational objective 155 243.93/244.60 c #Conflicts: 124000 | #Constraints: 11985 243.93/244.60 c #Conflicts: 125000 | #Constraints: 12985 243.93/244.60 c #Conflicts: 126000 | #Constraints: 13985 243.93/244.60 c #Conflicts: 127000 | #Constraints: 14985 243.93/244.60 c #Conflicts: 128000 | #Constraints: 15985 243.93/244.60 c #Conflicts: 129000 | #Constraints: 16985 243.93/244.60 c #Conflicts: 130000 | #Constraints: 17985 243.93/244.60 c #Conflicts: 131000 | #Constraints: 18985 243.93/244.60 c #Conflicts: 132000 | #Constraints: 19985 243.93/244.60 c #Conflicts: 133000 | #Constraints: 20985 243.93/244.60 c #Conflicts: 134000 | #Constraints: 21985 243.93/244.60 c #Conflicts: 135000 | #Constraints: 22985 243.93/244.60 c #Conflicts: 136000 | #Constraints: 23985 243.93/244.60 c #Conflicts: 137000 | #Constraints: 24985 243.93/244.60 c #Conflicts: 138000 | #Constraints: 25985 243.93/244.60 c #Conflicts: 139000 | #Constraints: 26985 243.93/244.60 c #Conflicts: 140000 | #Constraints: 27985 243.93/244.60 c #Conflicts: 141000 | #Constraints: 28985 243.93/244.60 c #Conflicts: 142000 | #Constraints: 29985 243.93/244.60 c #Conflicts: 143000 | #Constraints: 30985 243.93/244.60 c #Conflicts: 144000 | #Constraints: 31985 243.93/244.60 c #Conflicts: 145000 | #Constraints: 32985 243.93/244.60 c #Conflicts: 146000 | #Constraints: 33985 243.93/244.60 c #Conflicts: 147000 | #Constraints: 34985 243.93/244.60 c #Conflicts: 148000 | #Constraints: 35985 243.93/244.60 c #Conflicts: 149000 | #Constraints: 36985 243.93/244.60 c #Conflicts: 150000 | #Constraints: 37985 243.93/244.60 c INPROCESSING 243.93/244.60 c GARBAGE COLLECT 243.93/244.60 c rational objective 155 257.19/257.94 c #Conflicts: 151000 | #Constraints: 20762 257.19/257.94 c #Conflicts: 152000 | #Constraints: 21762 257.19/257.94 c #Conflicts: 153000 | #Constraints: 22762 257.19/257.94 c #Conflicts: 154000 | #Constraints: 23762 257.19/257.94 c #Conflicts: 155000 | #Constraints: 24762 257.19/257.94 c #Conflicts: 156000 | #Constraints: 25762 257.19/257.94 c #Conflicts: 157000 | #Constraints: 26762 257.19/257.94 c #Conflicts: 158000 | #Constraints: 27762 257.19/257.94 c #Conflicts: 159000 | #Constraints: 28762 257.19/257.94 c INPROCESSING 257.19/257.94 c GARBAGE COLLECT 257.19/257.94 c rational objective 155 325.98/326.98 c #Conflicts: 160000 | #Constraints: 15770 325.98/326.98 c #Conflicts: 161000 | #Constraints: 16770 325.98/326.98 c #Conflicts: 162000 | #Constraints: 17770 325.98/326.98 c #Conflicts: 163000 | #Constraints: 18770 325.98/326.98 c #Conflicts: 164000 | #Constraints: 19770 325.98/326.98 c #Conflicts: 165000 | #Constraints: 20770 325.98/326.98 c #Conflicts: 166000 | #Constraints: 21770 325.98/326.98 c #Conflicts: 167000 | #Constraints: 22770 325.98/326.98 c #Conflicts: 168000 | #Constraints: 23770 325.98/326.98 c #Conflicts: 169000 | #Constraints: 24770 325.98/326.98 c #Conflicts: 170000 | #Constraints: 25770 325.98/326.98 c #Conflicts: 171000 | #Constraints: 26770 325.98/326.98 c #Conflicts: 172000 | #Constraints: 27770 325.98/326.98 c #Conflicts: 173000 | #Constraints: 28770 325.98/326.98 c #Conflicts: 174000 | #Constraints: 29770 325.98/326.98 c #Conflicts: 175000 | #Constraints: 30770 325.98/326.98 c #Conflicts: 176000 | #Constraints: 31770 325.98/326.98 c #Conflicts: 177000 | #Constraints: 32770 325.98/326.98 c #Conflicts: 178000 | #Constraints: 33770 325.98/326.98 c #Conflicts: 179000 | #Constraints: 34770 325.98/326.98 c #Conflicts: 180000 | #Constraints: 35770 325.98/326.98 c #Conflicts: 181000 | #Constraints: 36770 325.98/326.98 c #Conflicts: 182000 | #Constraints: 37770 325.98/326.98 c #Conflicts: 183000 | #Constraints: 38770 325.98/326.98 c #Conflicts: 184000 | #Constraints: 39770 325.98/326.98 c #Conflicts: 185000 | #Constraints: 40770 325.98/326.98 c #Conflicts: 186000 | #Constraints: 41770 325.98/326.98 c #Conflicts: 187000 | #Constraints: 42770 325.98/326.98 c #Conflicts: 188000 | #Constraints: 43770 325.98/326.98 c #Conflicts: 189000 | #Constraints: 44770 325.98/326.98 c INPROCESSING 325.98/326.98 c GARBAGE COLLECT 325.98/326.98 c rational objective 155 379.81/380.95 c #Conflicts: 190000 | #Constraints: 23980 379.81/380.95 c #Conflicts: 191000 | #Constraints: 24980 379.81/380.95 c #Conflicts: 192000 | #Constraints: 25980 379.81/380.95 c #Conflicts: 193000 | #Constraints: 26980 379.81/380.95 c #Conflicts: 194000 | #Constraints: 27980 379.81/380.95 c #Conflicts: 195000 | #Constraints: 28980 379.81/380.95 c #Conflicts: 196000 | #Constraints: 29980 379.81/380.95 c #Conflicts: 197000 | #Constraints: 30980 379.81/380.95 c #Conflicts: 198000 | #Constraints: 31980 379.81/380.95 c #Conflicts: 199000 | #Constraints: 32980 379.81/380.95 c #Conflicts: 200000 | #Constraints: 33980 379.81/380.95 c INPROCESSING 379.81/380.95 c GARBAGE COLLECT 379.81/380.95 c rational objective 155 392.48/393.69 c #Conflicts: 201000 | #Constraints: 18714 392.48/393.69 c #Conflicts: 202000 | #Constraints: 19714 392.48/393.69 c bounds 199 >= 155 @ 376.56 392.48/393.69 c #Conflicts: 203000 | #Constraints: 20715 392.48/393.69 c #Conflicts: 204000 | #Constraints: 21715 392.48/393.69 c #Conflicts: 205000 | #Constraints: 22715 392.48/393.69 c #Conflicts: 206000 | #Constraints: 23715 392.48/393.69 c #Conflicts: 207000 | #Constraints: 24715 392.48/393.69 c #Conflicts: 208000 | #Constraints: 25715 392.48/393.69 c #Conflicts: 209000 | #Constraints: 26715 392.48/393.69 c #Conflicts: 210000 | #Constraints: 27715 392.48/393.69 c #Conflicts: 211000 | #Constraints: 28715 392.48/393.69 c INPROCESSING 392.48/393.69 c GARBAGE COLLECT 392.48/393.69 c rational objective 155 468.38/469.73 c #Conflicts: 212000 | #Constraints: 15939 468.38/469.73 c #Conflicts: 213000 | #Constraints: 16939 468.38/469.73 c #Conflicts: 214000 | #Constraints: 17939 468.38/469.73 c #Conflicts: 215000 | #Constraints: 18939 468.38/469.73 c #Conflicts: 216000 | #Constraints: 19939 468.38/469.73 c #Conflicts: 217000 | #Constraints: 20939 468.38/469.73 c #Conflicts: 218000 | #Constraints: 21939 468.38/469.73 c #Conflicts: 219000 | #Constraints: 22939 468.38/469.73 c #Conflicts: 220000 | #Constraints: 23939 468.38/469.73 c #Conflicts: 221000 | #Constraints: 24939 468.38/469.73 c #Conflicts: 222000 | #Constraints: 25939 468.38/469.73 c #Conflicts: 223000 | #Constraints: 26939 468.38/469.73 c #Conflicts: 224000 | #Constraints: 27939 468.38/469.73 c #Conflicts: 225000 | #Constraints: 28939 468.38/469.73 c #Conflicts: 226000 | #Constraints: 29939 468.38/469.73 c #Conflicts: 227000 | #Constraints: 30939 468.38/469.73 c #Conflicts: 228000 | #Constraints: 31939 468.38/469.73 c #Conflicts: 229000 | #Constraints: 32939 468.38/469.73 c #Conflicts: 230000 | #Constraints: 33939 468.38/469.73 c #Conflicts: 231000 | #Constraints: 34939 468.38/469.73 c #Conflicts: 232000 | #Constraints: 35939 468.38/469.73 c #Conflicts: 233000 | #Constraints: 36939 468.38/469.73 c #Conflicts: 234000 | #Constraints: 37939 468.38/469.73 c #Conflicts: 235000 | #Constraints: 38939 468.38/469.73 c #Conflicts: 236000 | #Constraints: 39939 468.38/469.73 c #Conflicts: 237000 | #Constraints: 40939 468.38/469.73 c #Conflicts: 238000 | #Constraints: 41939 468.38/469.73 c #Conflicts: 239000 | #Constraints: 42939 468.38/469.73 c #Conflicts: 240000 | #Constraints: 43939 468.38/469.73 c #Conflicts: 241000 | #Constraints: 44939 468.38/469.73 c #Conflicts: 242000 | #Constraints: 45939 468.38/469.73 c #Conflicts: 243000 | #Constraints: 46939 468.38/469.73 c #Conflicts: 244000 | #Constraints: 47939 468.38/469.73 c #Conflicts: 245000 | #Constraints: 48939 468.38/469.73 c INPROCESSING 468.38/469.73 c GARBAGE COLLECT 468.38/469.73 c rational objective 155 533.02/534.59 c #Conflicts: 246000 | #Constraints: 26161 533.02/534.59 c #Conflicts: 247000 | #Constraints: 27161 533.02/534.59 c #Conflicts: 248000 | #Constraints: 28161 533.02/534.59 c #Conflicts: 249000 | #Constraints: 29161 533.02/534.59 c #Conflicts: 250000 | #Constraints: 30161 533.02/534.59 c #Conflicts: 251000 | #Constraints: 31161 533.02/534.59 c #Conflicts: 252000 | #Constraints: 32161 533.02/534.59 c #Conflicts: 253000 | #Constraints: 33161 533.02/534.59 c #Conflicts: 254000 | #Constraints: 34161 533.02/534.59 c #Conflicts: 255000 | #Constraints: 35161 533.02/534.59 c #Conflicts: 256000 | #Constraints: 36161 533.02/534.59 c #Conflicts: 257000 | #Constraints: 37161 533.02/534.59 c INPROCESSING 533.02/534.59 c GARBAGE COLLECT 533.02/534.59 c rational objective 155 568.23/569.90 c #Conflicts: 258000 | #Constraints: 20135 568.23/569.90 c #Conflicts: 259000 | #Constraints: 21135 568.23/569.90 c #Conflicts: 260000 | #Constraints: 22135 568.23/569.90 c #Conflicts: 261000 | #Constraints: 23135 568.23/569.90 c #Conflicts: 262000 | #Constraints: 24135 568.23/569.90 c #Conflicts: 263000 | #Constraints: 25135 568.23/569.90 c #Conflicts: 264000 | #Constraints: 26135 568.23/569.90 c #Conflicts: 265000 | #Constraints: 27135 568.23/569.90 c #Conflicts: 266000 | #Constraints: 28135 568.23/569.90 c #Conflicts: 267000 | #Constraints: 29135 568.23/569.90 c #Conflicts: 268000 | #Constraints: 30135 568.23/569.90 c #Conflicts: 269000 | #Constraints: 31135 568.23/569.90 c #Conflicts: 270000 | #Constraints: 32135 568.23/569.90 c INPROCESSING 568.23/569.90 c GARBAGE COLLECT 568.23/569.90 c rational objective 155 737.31/739.39 c #Conflicts: 271000 | #Constraints: 18095 737.31/739.39 c #Conflicts: 272000 | #Constraints: 19095 737.31/739.39 c #Conflicts: 273000 | #Constraints: 20095 737.31/739.39 c #Conflicts: 274000 | #Constraints: 21095 737.31/739.39 c #Conflicts: 275000 | #Constraints: 22095 737.31/739.39 c #Conflicts: 276000 | #Constraints: 23095 737.31/739.39 c #Conflicts: 277000 | #Constraints: 24095 737.31/739.39 c #Conflicts: 278000 | #Constraints: 25095 737.31/739.39 c #Conflicts: 279000 | #Constraints: 26095 737.31/739.39 c #Conflicts: 280000 | #Constraints: 27095 737.31/739.39 c #Conflicts: 281000 | #Constraints: 28095 737.31/739.39 c #Conflicts: 282000 | #Constraints: 29095 737.31/739.39 c #Conflicts: 283000 | #Constraints: 30095 737.31/739.39 c #Conflicts: 284000 | #Constraints: 31095 737.31/739.39 c #Conflicts: 285000 | #Constraints: 32095 737.31/739.39 c #Conflicts: 286000 | #Constraints: 33095 737.31/739.39 c #Conflicts: 287000 | #Constraints: 34095 737.31/739.39 c #Conflicts: 288000 | #Constraints: 35095 737.31/739.39 c #Conflicts: 289000 | #Constraints: 36095 737.31/739.39 c #Conflicts: 290000 | #Constraints: 37095 737.31/739.39 c #Conflicts: 291000 | #Constraints: 38095 737.31/739.39 c #Conflicts: 292000 | #Constraints: 39095 737.31/739.39 c #Conflicts: 293000 | #Constraints: 40095 737.31/739.39 c #Conflicts: 294000 | #Constraints: 41095 737.31/739.39 c #Conflicts: 295000 | #Constraints: 42095 737.31/739.39 c #Conflicts: 296000 | #Constraints: 43095 737.31/739.39 c #Conflicts: 297000 | #Constraints: 44095 737.31/739.39 c #Conflicts: 298000 | #Constraints: 45095 737.31/739.39 c #Conflicts: 299000 | #Constraints: 46095 737.31/739.39 c #Conflicts: 300000 | #Constraints: 47095 737.31/739.39 c #Conflicts: 301000 | #Constraints: 48095 737.31/739.39 c #Conflicts: 302000 | #Constraints: 49095 737.31/739.39 c #Conflicts: 303000 | #Constraints: 50095 737.31/739.39 c #Conflicts: 304000 | #Constraints: 51095 737.31/739.39 c #Conflicts: 305000 | #Constraints: 52095 737.31/739.39 c #Conflicts: 306000 | #Constraints: 53095 737.31/739.39 c #Conflicts: 307000 | #Constraints: 54095 737.31/739.39 c #Conflicts: 308000 | #Constraints: 55095 737.31/739.39 c INPROCESSING 737.31/739.39 c GARBAGE COLLECT 737.31/739.39 c rational objective 155 767.63/769.78 c #Conflicts: 309000 | #Constraints: 29342 767.63/769.78 c #Conflicts: 310000 | #Constraints: 30342 767.63/769.78 c #Conflicts: 311000 | #Constraints: 31342 767.63/769.78 c #Conflicts: 312000 | #Constraints: 32342 767.63/769.78 c #Conflicts: 313000 | #Constraints: 33342 767.63/769.78 c #Conflicts: 314000 | #Constraints: 34342 767.63/769.78 c #Conflicts: 315000 | #Constraints: 35342 767.63/769.78 c #Conflicts: 316000 | #Constraints: 36342 767.63/769.78 c #Conflicts: 317000 | #Constraints: 37342 767.63/769.78 c #Conflicts: 318000 | #Constraints: 38342 767.63/769.78 c #Conflicts: 319000 | #Constraints: 39342 767.63/769.78 c #Conflicts: 320000 | #Constraints: 40342 767.63/769.78 c #Conflicts: 321000 | #Constraints: 41342 767.63/769.78 c INPROCESSING 767.63/769.78 c GARBAGE COLLECT 767.63/769.78 c rational objective 155 920.50/923.06 c #Conflicts: 322000 | #Constraints: 21911 920.50/923.06 c #Conflicts: 323000 | #Constraints: 22911 920.50/923.06 c #Conflicts: 324000 | #Constraints: 23911 920.50/923.06 c #Conflicts: 325000 | #Constraints: 24911 920.50/923.06 c #Conflicts: 326000 | #Constraints: 25911 920.50/923.06 c #Conflicts: 327000 | #Constraints: 26911 920.50/923.06 c #Conflicts: 328000 | #Constraints: 27911 920.50/923.06 c #Conflicts: 329000 | #Constraints: 28911 920.50/923.06 c #Conflicts: 330000 | #Constraints: 29911 920.50/923.06 c #Conflicts: 331000 | #Constraints: 30911 920.50/923.06 c #Conflicts: 332000 | #Constraints: 31911 920.50/923.06 c #Conflicts: 333000 | #Constraints: 32911 920.50/923.06 c #Conflicts: 334000 | #Constraints: 33911 920.50/923.06 c #Conflicts: 335000 | #Constraints: 34911 920.50/923.06 c #Conflicts: 336000 | #Constraints: 35911 920.50/923.06 c #Conflicts: 337000 | #Constraints: 36911 920.50/923.06 c #Conflicts: 338000 | #Constraints: 37911 920.50/923.06 c #Conflicts: 339000 | #Constraints: 38911 920.50/923.06 c #Conflicts: 340000 | #Constraints: 39911 920.50/923.06 c #Conflicts: 341000 | #Constraints: 40911 920.50/923.06 c #Conflicts: 342000 | #Constraints: 41911 920.50/923.06 c #Conflicts: 343000 | #Constraints: 42911 920.50/923.06 c #Conflicts: 344000 | #Constraints: 43911 920.50/923.06 c #Conflicts: 345000 | #Constraints: 44911 920.50/923.06 c #Conflicts: 346000 | #Constraints: 45911 920.50/923.06 c #Conflicts: 347000 | #Constraints: 46911 920.50/923.06 c #Conflicts: 348000 | #Constraints: 47911 920.50/923.06 c #Conflicts: 349000 | #Constraints: 48911 920.50/923.06 c #Conflicts: 350000 | #Constraints: 49911 920.50/923.06 c #Conflicts: 351000 | #Constraints: 50911 920.50/923.06 c #Conflicts: 352000 | #Constraints: 51911 920.50/923.06 c #Conflicts: 353000 | #Constraints: 52911 920.50/923.06 c #Conflicts: 354000 | #Constraints: 53911 920.50/923.06 c #Conflicts: 355000 | #Constraints: 54911 920.50/923.06 c #Conflicts: 356000 | #Constraints: 55911 920.50/923.06 c #Conflicts: 357000 | #Constraints: 56911 920.50/923.06 c #Conflicts: 358000 | #Constraints: 57911 920.50/923.06 c #Conflicts: 359000 | #Constraints: 58911 920.50/923.06 c #Conflicts: 360000 | #Constraints: 59911 920.50/923.06 c #Conflicts: 361000 | #Constraints: 60911 920.50/923.06 c #Conflicts: 362000 | #Constraints: 61911 920.50/923.06 c #Conflicts: 363000 | #Constraints: 62911 920.50/923.06 c INPROCESSING 920.50/923.06 c GARBAGE COLLECT 920.50/923.06 c rational objective 155 1039.14/1042.07 c #Conflicts: 364000 | #Constraints: 33150 1039.14/1042.07 c #Conflicts: 365000 | #Constraints: 34150 1039.14/1042.07 c #Conflicts: 366000 | #Constraints: 35150 1039.14/1042.07 c #Conflicts: 367000 | #Constraints: 36150 1039.14/1042.07 c #Conflicts: 368000 | #Constraints: 37150 1039.14/1042.07 c #Conflicts: 369000 | #Constraints: 38150 1039.14/1042.07 c #Conflicts: 370000 | #Constraints: 39150 1039.14/1042.07 c #Conflicts: 371000 | #Constraints: 40150 1039.14/1042.07 c #Conflicts: 372000 | #Constraints: 41150 1039.14/1042.07 c #Conflicts: 373000 | #Constraints: 42150 1039.14/1042.07 c #Conflicts: 374000 | #Constraints: 43150 1039.14/1042.07 c #Conflicts: 375000 | #Constraints: 44150 1039.14/1042.07 c #Conflicts: 376000 | #Constraints: 45150 1039.14/1042.07 c #Conflicts: 377000 | #Constraints: 46150 1039.14/1042.07 c #Conflicts: 378000 | #Constraints: 47150 1039.14/1042.07 c INPROCESSING 1039.14/1042.07 c GARBAGE COLLECT 1039.14/1042.07 c rational objective 155 1071.22/1074.20 c #Conflicts: 379000 | #Constraints: 25248 1071.22/1074.20 c #Conflicts: 380000 | #Constraints: 26248 1071.22/1074.20 c #Conflicts: 381000 | #Constraints: 27248 1071.22/1074.20 c #Conflicts: 382000 | #Constraints: 28248 1071.22/1074.20 c #Conflicts: 383000 | #Constraints: 29248 1071.22/1074.20 c #Conflicts: 384000 | #Constraints: 30248 1071.22/1074.20 c #Conflicts: 385000 | #Constraints: 31248 1071.22/1074.20 c #Conflicts: 386000 | #Constraints: 32248 1071.22/1074.20 c #Conflicts: 387000 | #Constraints: 33248 1071.22/1074.20 c #Conflicts: 388000 | #Constraints: 34248 1071.22/1074.20 c #Conflicts: 389000 | #Constraints: 35248 1071.22/1074.20 c #Conflicts: 390000 | #Constraints: 36248 1071.22/1074.20 c #Conflicts: 391000 | #Constraints: 37248 1071.22/1074.20 c #Conflicts: 392000 | #Constraints: 38248 1071.22/1074.20 c #Conflicts: 393000 | #Constraints: 39248 1071.22/1074.20 c INPROCESSING 1071.22/1074.20 c GARBAGE COLLECT 1071.22/1074.20 c rational objective 155 1337.97/1341.78 c #Conflicts: 394000 | #Constraints: 22861 1337.97/1341.78 c #Conflicts: 395000 | #Constraints: 23861 1337.97/1341.78 c #Conflicts: 396000 | #Constraints: 24861 1337.97/1341.78 c #Conflicts: 397000 | #Constraints: 25861 1337.97/1341.78 c #Conflicts: 398000 | #Constraints: 26861 1337.97/1341.78 c #Conflicts: 399000 | #Constraints: 27861 1337.97/1341.78 c #Conflicts: 400000 | #Constraints: 28861 1337.97/1341.78 c #Conflicts: 401000 | #Constraints: 29861 1337.97/1341.78 c #Conflicts: 402000 | #Constraints: 30861 1337.97/1341.78 c #Conflicts: 403000 | #Constraints: 31861 1337.97/1341.78 c #Conflicts: 404000 | #Constraints: 32861 1337.97/1341.78 c #Conflicts: 405000 | #Constraints: 33861 1337.97/1341.78 c #Conflicts: 406000 | #Constraints: 34861 1337.97/1341.78 c #Conflicts: 407000 | #Constraints: 35861 1337.97/1341.78 c #Conflicts: 408000 | #Constraints: 36861 1337.97/1341.78 c #Conflicts: 409000 | #Constraints: 37861 1337.97/1341.78 c #Conflicts: 410000 | #Constraints: 38861 1337.97/1341.78 c #Conflicts: 411000 | #Constraints: 39861 1337.97/1341.78 c #Conflicts: 412000 | #Constraints: 40861 1337.97/1341.78 c #Conflicts: 413000 | #Constraints: 41861 1337.97/1341.78 c #Conflicts: 414000 | #Constraints: 42861 1337.97/1341.78 c #Conflicts: 415000 | #Constraints: 43861 1337.97/1341.78 c #Conflicts: 416000 | #Constraints: 44861 1337.97/1341.78 c #Conflicts: 417000 | #Constraints: 45861 1337.97/1341.78 c #Conflicts: 418000 | #Constraints: 46861 1337.97/1341.78 c #Conflicts: 419000 | #Constraints: 47861 1337.97/1341.78 c #Conflicts: 420000 | #Constraints: 48861 1337.97/1341.78 c #Conflicts: 421000 | #Constraints: 49861 1337.97/1341.78 c #Conflicts: 422000 | #Constraints: 50861 1337.97/1341.78 c #Conflicts: 423000 | #Constraints: 51861 1337.97/1341.78 c #Conflicts: 424000 | #Constraints: 52861 1337.97/1341.78 c #Conflicts: 425000 | #Constraints: 53861 1337.97/1341.78 c #Conflicts: 426000 | #Constraints: 54861 1337.97/1341.78 c #Conflicts: 427000 | #Constraints: 55861 1337.97/1341.78 c #Conflicts: 428000 | #Constraints: 56861 1337.97/1341.78 c #Conflicts: 429000 | #Constraints: 57861 1337.97/1341.78 c #Conflicts: 430000 | #Constraints: 58861 1337.97/1341.78 c #Conflicts: 431000 | #Constraints: 59861 1337.97/1341.78 c #Conflicts: 432000 | #Constraints: 60861 1337.97/1341.78 c #Conflicts: 433000 | #Constraints: 61861 1337.97/1341.78 c #Conflicts: 434000 | #Constraints: 62861 1337.97/1341.78 c bounds 199 >= 156 @ 1317.77 1337.97/1341.78 c #Conflicts: 435000 | #Constraints: 63915 1337.97/1341.78 c #Conflicts: 436000 | #Constraints: 64915 1337.97/1341.78 c #Conflicts: 437000 | #Constraints: 65915 1337.97/1341.78 c #Conflicts: 438000 | #Constraints: 66915 1337.97/1341.78 c INPROCESSING 1337.97/1341.78 c GARBAGE COLLECT 1337.97/1341.78 c rational objective 156 1379.47/1383.38 c #Conflicts: 439000 | #Constraints: 34730 1379.47/1383.38 c #Conflicts: 440000 | #Constraints: 35730 1379.47/1383.38 c #Conflicts: 441000 | #Constraints: 36730 1379.47/1383.38 c #Conflicts: 442000 | #Constraints: 37730 1379.47/1383.38 c #Conflicts: 443000 | #Constraints: 38730 1379.47/1383.38 c #Conflicts: 444000 | #Constraints: 39730 1379.47/1383.38 c #Conflicts: 445000 | #Constraints: 40730 1379.47/1383.38 c #Conflicts: 446000 | #Constraints: 41730 1379.47/1383.38 c #Conflicts: 447000 | #Constraints: 42730 1379.47/1383.38 c #Conflicts: 448000 | #Constraints: 43730 1379.47/1383.38 c #Conflicts: 449000 | #Constraints: 44730 1379.47/1383.38 c #Conflicts: 450000 | #Constraints: 45730 1379.47/1383.38 c #Conflicts: 451000 | #Constraints: 46730 1379.47/1383.38 c #Conflicts: 452000 | #Constraints: 47730 1379.47/1383.38 c #Conflicts: 453000 | #Constraints: 48730 1379.47/1383.38 c #Conflicts: 454000 | #Constraints: 49730 1379.47/1383.38 c #Conflicts: 455000 | #Constraints: 50730 1379.47/1383.38 c INPROCESSING 1379.47/1383.38 c GARBAGE COLLECT 1379.47/1383.38 c rational objective 156 1592.55/1596.92 c #Conflicts: 456000 | #Constraints: 26782 1592.55/1596.92 c #Conflicts: 457000 | #Constraints: 27782 1592.55/1596.92 c #Conflicts: 458000 | #Constraints: 28782 1592.55/1596.92 c #Conflicts: 459000 | #Constraints: 29782 1592.55/1596.92 c #Conflicts: 460000 | #Constraints: 30782 1592.55/1596.92 c #Conflicts: 461000 | #Constraints: 31783 1592.55/1596.92 c #Conflicts: 462000 | #Constraints: 32783 1592.55/1596.92 c #Conflicts: 463000 | #Constraints: 33783 1592.55/1596.92 c #Conflicts: 464000 | #Constraints: 34783 1592.55/1596.92 c #Conflicts: 465000 | #Constraints: 35783 1592.55/1596.92 c #Conflicts: 466000 | #Constraints: 36783 1592.55/1596.92 c #Conflicts: 467000 | #Constraints: 37783 1592.55/1596.92 c #Conflicts: 468000 | #Constraints: 38783 1592.55/1596.92 c #Conflicts: 469000 | #Constraints: 39783 1592.55/1596.92 c #Conflicts: 470000 | #Constraints: 40783 1592.55/1596.92 c #Conflicts: 471000 | #Constraints: 41783 1592.55/1596.92 c #Conflicts: 472000 | #Constraints: 42783 1592.55/1596.92 c #Conflicts: 473000 | #Constraints: 43783 1592.55/1596.92 c #Conflicts: 474000 | #Constraints: 44783 1592.55/1596.92 c #Conflicts: 475000 | #Constraints: 45783 1592.55/1596.92 c #Conflicts: 476000 | #Constraints: 46783 1592.55/1596.92 c #Conflicts: 477000 | #Constraints: 47783 1592.55/1596.92 c #Conflicts: 478000 | #Constraints: 48783 1592.55/1596.92 c #Conflicts: 479000 | #Constraints: 49783 1592.55/1596.92 c #Conflicts: 480000 | #Constraints: 50783 1592.55/1596.92 c #Conflicts: 481000 | #Constraints: 51783 1592.55/1596.92 c #Conflicts: 482000 | #Constraints: 52783 1592.55/1596.92 c #Conflicts: 483000 | #Constraints: 53783 1592.55/1596.92 c #Conflicts: 484000 | #Constraints: 54783 1592.55/1596.92 c bounds 198 >= 156 @ 1466.36 1592.55/1596.92 c #Conflicts: 485000 | #Constraints: 55784 1592.55/1596.92 c #Conflicts: 486000 | #Constraints: 56784 1592.55/1596.92 c #Conflicts: 487000 | #Constraints: 57784 1592.55/1596.92 c #Conflicts: 488000 | #Constraints: 58784 1592.55/1596.92 c #Conflicts: 489000 | #Constraints: 59784 1592.55/1596.92 c #Conflicts: 490000 | #Constraints: 60784 1592.55/1596.92 c #Conflicts: 491000 | #Constraints: 61784 1592.55/1596.92 c #Conflicts: 492000 | #Constraints: 62784 1592.55/1596.92 c #Conflicts: 493000 | #Constraints: 63784 1592.55/1596.92 c #Conflicts: 494000 | #Constraints: 64784 1592.55/1596.92 c #Conflicts: 495000 | #Constraints: 65784 1592.55/1596.92 c #Conflicts: 496000 | #Constraints: 66784 1592.55/1596.92 c #Conflicts: 497000 | #Constraints: 67784 1592.55/1596.92 c #Conflicts: 498000 | #Constraints: 68784 1592.55/1596.92 c #Conflicts: 499000 | #Constraints: 69784 1592.55/1596.92 c #Conflicts: 500000 | #Constraints: 70784 1592.55/1596.92 c #Conflicts: 501000 | #Constraints: 71784 1592.55/1596.92 c #Conflicts: 502000 | #Constraints: 72784 1592.55/1596.92 c #Conflicts: 503000 | #Constraints: 73784 1592.55/1596.92 c #Conflicts: 504000 | #Constraints: 74784 1592.55/1596.92 c INPROCESSING 1592.55/1596.92 c GARBAGE COLLECT 1592.55/1596.92 c rational objective 156 1760.94/1765.72 c #Conflicts: 505000 | #Constraints: 39112 1760.94/1765.72 c #Conflicts: 506000 | #Constraints: 40112 1760.94/1765.72 c #Conflicts: 507000 | #Constraints: 41112 1760.94/1765.72 c #Conflicts: 508000 | #Constraints: 42112 1760.94/1765.72 c #Conflicts: 509000 | #Constraints: 43112 1760.94/1765.72 c #Conflicts: 510000 | #Constraints: 44112 1760.94/1765.72 c #Conflicts: 511000 | #Constraints: 45112 1760.94/1765.72 c #Conflicts: 512000 | #Constraints: 46112 1760.94/1765.72 c #Conflicts: 513000 | #Constraints: 47112 1760.94/1765.72 c #Conflicts: 514000 | #Constraints: 48112 1760.94/1765.72 c #Conflicts: 515000 | #Constraints: 49112 1760.94/1765.72 c #Conflicts: 516000 | #Constraints: 50112 1760.94/1765.72 c #Conflicts: 517000 | #Constraints: 51112 1760.94/1765.72 c #Conflicts: 518000 | #Constraints: 52112 1760.94/1765.72 c #Conflicts: 519000 | #Constraints: 53112 1760.94/1765.72 c #Conflicts: 520000 | #Constraints: 54112 1760.94/1765.72 c #Conflicts: 521000 | #Constraints: 55112 1760.94/1765.72 c #Conflicts: 522000 | #Constraints: 56112 1760.94/1765.72 c INPROCESSING 1760.94/1765.72 c GARBAGE COLLECT 1760.94/1765.72 c rational objective 156 2234.39/2240.32 c #Conflicts: 523000 | #Constraints: 29863 2234.39/2240.32 c #Conflicts: 524000 | #Constraints: 30863 2234.39/2240.32 c #Conflicts: 525000 | #Constraints: 31863 2234.39/2240.32 c #Conflicts: 526000 | #Constraints: 32863 2234.39/2240.32 c #Conflicts: 527000 | #Constraints: 33863 2234.39/2240.32 c #Conflicts: 528000 | #Constraints: 34863 2234.39/2240.32 c #Conflicts: 529000 | #Constraints: 35863 2234.39/2240.32 c #Conflicts: 530000 | #Constraints: 36863 2234.39/2240.32 c #Conflicts: 531000 | #Constraints: 37863 2234.39/2240.32 c #Conflicts: 532000 | #Constraints: 38863 2234.39/2240.32 c #Conflicts: 533000 | #Constraints: 39863 2234.39/2240.32 c #Conflicts: 534000 | #Constraints: 40863 2234.39/2240.32 c #Conflicts: 535000 | #Constraints: 41863 2234.39/2240.32 c #Conflicts: 536000 | #Constraints: 42863 2234.39/2240.32 c #Conflicts: 537000 | #Constraints: 43863 2234.39/2240.32 c #Conflicts: 538000 | #Constraints: 44863 2234.39/2240.32 c #Conflicts: 539000 | #Constraints: 45863 2234.39/2240.32 c #Conflicts: 540000 | #Constraints: 46863 2234.39/2240.32 c #Conflicts: 541000 | #Constraints: 47863 2234.39/2240.32 c #Conflicts: 542000 | #Constraints: 48863 2234.39/2240.32 c #Conflicts: 543000 | #Constraints: 49863 2234.39/2240.32 c #Conflicts: 544000 | #Constraints: 50863 2234.39/2240.32 c #Conflicts: 545000 | #Constraints: 51863 2234.39/2240.32 c #Conflicts: 546000 | #Constraints: 52863 2234.39/2240.32 c #Conflicts: 547000 | #Constraints: 53863 2234.39/2240.32 c #Conflicts: 548000 | #Constraints: 54863 2234.39/2240.32 c #Conflicts: 549000 | #Constraints: 55863 2234.39/2240.32 c #Conflicts: 550000 | #Constraints: 56863 2234.39/2240.32 c #Conflicts: 551000 | #Constraints: 57863 2234.39/2240.32 c #Conflicts: 552000 | #Constraints: 58863 2234.39/2240.32 c #Conflicts: 553000 | #Constraints: 59863 2234.39/2240.32 c #Conflicts: 554000 | #Constraints: 60863 2234.39/2240.32 c #Conflicts: 555000 | #Constraints: 61863 2234.39/2240.32 c #Conflicts: 556000 | #Constraints: 62863 2234.39/2240.32 c #Conflicts: 557000 | #Constraints: 63863 2234.39/2240.32 c #Conflicts: 558000 | #Constraints: 64863 2234.39/2240.32 c #Conflicts: 559000 | #Constraints: 65863 2234.39/2240.32 c #Conflicts: 560000 | #Constraints: 66864 2234.39/2240.32 c #Conflicts: 561000 | #Constraints: 67864 2234.39/2240.32 c #Conflicts: 562000 | #Constraints: 68864 2234.39/2240.32 c #Conflicts: 563000 | #Constraints: 69864 2234.39/2240.32 c #Conflicts: 564000 | #Constraints: 70864 2234.39/2240.32 c #Conflicts: 565000 | #Constraints: 71864 2234.39/2240.32 c #Conflicts: 566000 | #Constraints: 72864 2234.39/2240.32 c #Conflicts: 567000 | #Constraints: 73864 2234.39/2240.32 c #Conflicts: 568000 | #Constraints: 74864 2234.39/2240.32 c #Conflicts: 569000 | #Constraints: 75864 2234.39/2240.32 c #Conflicts: 570000 | #Constraints: 76864 2234.39/2240.32 c #Conflicts: 571000 | #Constraints: 77864 2234.39/2240.32 c #Conflicts: 572000 | #Constraints: 78864 2234.39/2240.32 c #Conflicts: 573000 | #Constraints: 79864 2234.39/2240.32 c INPROCESSING 2234.39/2240.32 c GARBAGE COLLECT 2234.39/2240.32 c rational objective 156 2454.87/2461.39 c #Conflicts: 574000 | #Constraints: 41397 2454.87/2461.39 c #Conflicts: 575000 | #Constraints: 42397 2454.87/2461.39 c #Conflicts: 576000 | #Constraints: 43397 2454.87/2461.39 c #Conflicts: 577000 | #Constraints: 44397 2454.87/2461.39 c #Conflicts: 578000 | #Constraints: 45397 2454.87/2461.39 c #Conflicts: 579000 | #Constraints: 46397 2454.87/2461.39 c #Conflicts: 580000 | #Constraints: 47397 2454.87/2461.39 c #Conflicts: 581000 | #Constraints: 48397 2454.87/2461.39 c #Conflicts: 582000 | #Constraints: 49397 2454.87/2461.39 c #Conflicts: 583000 | #Constraints: 50397 2454.87/2461.39 c #Conflicts: 584000 | #Constraints: 51397 2454.87/2461.39 c #Conflicts: 585000 | #Constraints: 52397 2454.87/2461.39 c #Conflicts: 586000 | #Constraints: 53397 2454.87/2461.39 c #Conflicts: 587000 | #Constraints: 54397 2454.87/2461.39 c #Conflicts: 588000 | #Constraints: 55397 2454.87/2461.39 c #Conflicts: 589000 | #Constraints: 56397 2454.87/2461.39 c #Conflicts: 590000 | #Constraints: 57397 2454.87/2461.39 c #Conflicts: 591000 | #Constraints: 58397 2454.87/2461.39 c #Conflicts: 592000 | #Constraints: 59397 2454.87/2461.39 c INPROCESSING 2454.87/2461.39 c GARBAGE COLLECT 2454.87/2461.39 c rational objective 156 2854.93/2862.42 c #Conflicts: 593000 | #Constraints: 31109 2854.93/2862.42 c #Conflicts: 594000 | #Constraints: 32109 2854.93/2862.42 c #Conflicts: 595000 | #Constraints: 33109 2854.93/2862.42 c #Conflicts: 596000 | #Constraints: 34109 2854.93/2862.42 c #Conflicts: 597000 | #Constraints: 35109 2854.93/2862.42 c #Conflicts: 598000 | #Constraints: 36109 2854.93/2862.42 c #Conflicts: 599000 | #Constraints: 37109 2854.93/2862.42 c #Conflicts: 600000 | #Constraints: 38109 2854.93/2862.42 c #Conflicts: 601000 | #Constraints: 39109 2854.93/2862.42 c #Conflicts: 602000 | #Constraints: 40109 2854.93/2862.42 c #Conflicts: 603000 | #Constraints: 41109 2854.93/2862.42 c #Conflicts: 604000 | #Constraints: 42109 2854.93/2862.42 c #Conflicts: 605000 | #Constraints: 43109 2854.93/2862.42 c #Conflicts: 606000 | #Constraints: 44109 2854.93/2862.42 c #Conflicts: 607000 | #Constraints: 45109 2854.93/2862.42 c #Conflicts: 608000 | #Constraints: 46109 2854.93/2862.42 c #Conflicts: 609000 | #Constraints: 47109 2854.93/2862.42 c #Conflicts: 610000 | #Constraints: 48109 2854.93/2862.42 c #Conflicts: 611000 | #Constraints: 49109 2854.93/2862.42 c #Conflicts: 612000 | #Constraints: 50109 2854.93/2862.42 c #Conflicts: 613000 | #Constraints: 51109 2854.93/2862.42 c #Conflicts: 614000 | #Constraints: 52109 2854.93/2862.42 c #Conflicts: 615000 | #Constraints: 53109 2854.93/2862.42 c #Conflicts: 616000 | #Constraints: 54109 2854.93/2862.42 c #Conflicts: 617000 | #Constraints: 55109 2854.93/2862.42 c #Conflicts: 618000 | #Constraints: 56109 2854.93/2862.42 c #Conflicts: 619000 | #Constraints: 57109 2854.93/2862.42 c #Conflicts: 620000 | #Constraints: 58109 2854.93/2862.42 c #Conflicts: 621000 | #Constraints: 59109 2854.93/2862.42 c #Conflicts: 622000 | #Constraints: 60109 2854.93/2862.42 c #Conflicts: 623000 | #Constraints: 61109 2854.93/2862.42 c #Conflicts: 624000 | #Constraints: 62109 2854.93/2862.42 c #Conflicts: 625000 | #Constraints: 63109 2854.93/2862.42 c #Conflicts: 626000 | #Constraints: 64109 2854.93/2862.42 c #Conflicts: 627000 | #Constraints: 65109 2854.93/2862.42 c #Conflicts: 628000 | #Constraints: 66109 2854.93/2862.42 c #Conflicts: 629000 | #Constraints: 67109 2854.93/2862.42 c #Conflicts: 630000 | #Constraints: 68109 2854.93/2862.42 c #Conflicts: 631000 | #Constraints: 69109 2854.93/2862.42 c #Conflicts: 632000 | #Constraints: 70109 2854.93/2862.42 c #Conflicts: 633000 | #Constraints: 71109 2854.93/2862.42 c #Conflicts: 634000 | #Constraints: 72109 2854.93/2862.42 c #Conflicts: 635000 | #Constraints: 73109 2854.93/2862.42 c #Conflicts: 636000 | #Constraints: 74109 2854.93/2862.42 c #Conflicts: 637000 | #Constraints: 75109 2854.93/2862.42 c #Conflicts: 638000 | #Constraints: 76109 2854.93/2862.42 c #Conflicts: 639000 | #Constraints: 77109 2854.93/2862.42 c #Conflicts: 640000 | #Constraints: 78109 2854.93/2862.42 c #Conflicts: 641000 | #Constraints: 79109 2854.93/2862.42 c #Conflicts: 642000 | #Constraints: 80109 2854.93/2862.42 c #Conflicts: 643000 | #Constraints: 81109 2854.93/2862.42 c #Conflicts: 644000 | #Constraints: 82109 2854.93/2862.42 c #Conflicts: 645000 | #Constraints: 83109 2854.93/2862.42 c #Conflicts: 646000 | #Constraints: 84109 2854.93/2862.42 c #Conflicts: 647000 | #Constraints: 85109 2854.93/2862.42 c INPROCESSING 2854.93/2862.42 c GARBAGE COLLECT 2854.93/2862.42 c rational objective 156 3006.80/3014.78 c #Conflicts: 648000 | #Constraints: 44177 3006.80/3014.78 c #Conflicts: 649000 | #Constraints: 45177 3006.80/3014.78 c #Conflicts: 650000 | #Constraints: 46177 3006.80/3014.78 c #Conflicts: 651000 | #Constraints: 47177 3006.80/3014.78 c #Conflicts: 652000 | #Constraints: 48177 3006.80/3014.78 c #Conflicts: 653000 | #Constraints: 49177 3006.80/3014.78 c #Conflicts: 654000 | #Constraints: 50177 3006.80/3014.78 c #Conflicts: 655000 | #Constraints: 51177 3006.80/3014.78 c #Conflicts: 656000 | #Constraints: 52177 3006.80/3014.78 c #Conflicts: 657000 | #Constraints: 53177 3006.80/3014.78 c #Conflicts: 658000 | #Constraints: 54177 3006.80/3014.78 c #Conflicts: 659000 | #Constraints: 55177 3006.80/3014.78 c #Conflicts: 660000 | #Constraints: 56177 3006.80/3014.78 c #Conflicts: 661000 | #Constraints: 57177 3006.80/3014.78 c #Conflicts: 662000 | #Constraints: 58177 3006.80/3014.78 c #Conflicts: 663000 | #Constraints: 59177 3006.80/3014.78 c #Conflicts: 664000 | #Constraints: 60177 3006.80/3014.78 c #Conflicts: 665000 | #Constraints: 61177 3006.80/3014.78 c #Conflicts: 666000 | #Constraints: 62177 3006.80/3014.78 c #Conflicts: 667000 | #Constraints: 63177 3006.80/3014.78 c #Conflicts: 668000 | #Constraints: 64177 3006.80/3014.78 c INPROCESSING 3006.80/3014.78 c GARBAGE COLLECT 3006.80/3014.78 c rational objective 156 3411.27/3420.35 c #Conflicts: 669000 | #Constraints: 37562 3411.27/3420.35 c #Conflicts: 670000 | #Constraints: 38562 3411.27/3420.35 c #Conflicts: 671000 | #Constraints: 39562 3411.27/3420.35 c #Conflicts: 672000 | #Constraints: 40562 3411.27/3420.35 c #Conflicts: 673000 | #Constraints: 41562 3411.27/3420.35 c #Conflicts: 674000 | #Constraints: 42562 3411.27/3420.35 c #Conflicts: 675000 | #Constraints: 43562 3411.27/3420.35 c #Conflicts: 676000 | #Constraints: 44562 3411.27/3420.35 c #Conflicts: 677000 | #Constraints: 45562 3411.27/3420.35 c #Conflicts: 678000 | #Constraints: 46562 3411.27/3420.35 c #Conflicts: 679000 | #Constraints: 47562 3411.27/3420.35 c #Conflicts: 680000 | #Constraints: 48562 3411.27/3420.35 c #Conflicts: 681000 | #Constraints: 49562 3411.27/3420.35 c #Conflicts: 682000 | #Constraints: 50562 3411.27/3420.35 c #Conflicts: 683000 | #Constraints: 51562 3411.27/3420.35 c #Conflicts: 684000 | #Constraints: 52562 3411.27/3420.35 c #Conflicts: 685000 | #Constraints: 53562 3411.27/3420.35 c #Conflicts: 686000 | #Constraints: 54562 3411.27/3420.35 c #Conflicts: 687000 | #Constraints: 55562 3411.27/3420.35 c #Conflicts: 688000 | #Constraints: 56562 3411.27/3420.35 c #Conflicts: 689000 | #Constraints: 57562 3411.27/3420.35 c #Conflicts: 690000 | #Constraints: 58562 3411.27/3420.35 c #Conflicts: 691000 | #Constraints: 59562 3411.27/3420.35 c #Conflicts: 692000 | #Constraints: 60562 3411.27/3420.35 c #Conflicts: 693000 | #Constraints: 61562 3411.27/3420.35 c #Conflicts: 694000 | #Constraints: 62562 3411.27/3420.35 c #Conflicts: 695000 | #Constraints: 63562 3411.27/3420.35 c #Conflicts: 696000 | #Constraints: 64562 3411.27/3420.35 c #Conflicts: 697000 | #Constraints: 65562 3411.27/3420.35 c #Conflicts: 698000 | #Constraints: 66562 3411.27/3420.35 c #Conflicts: 699000 | #Constraints: 67562 3411.27/3420.35 c #Conflicts: 700000 | #Constraints: 68562 3411.27/3420.35 c #Conflicts: 701000 | #Constraints: 69562 3411.27/3420.35 c #Conflicts: 702000 | #Constraints: 70562 3411.27/3420.35 c #Conflicts: 703000 | #Constraints: 71562 3411.27/3420.35 c #Conflicts: 704000 | #Constraints: 72562 3411.27/3420.35 c #Conflicts: 705000 | #Constraints: 73562 3411.27/3420.35 c #Conflicts: 706000 | #Constraints: 74562 3411.27/3420.35 c #Conflicts: 707000 | #Constraints: 75562 3411.27/3420.35 c #Conflicts: 708000 | #Constraints: 76562 3411.27/3420.35 c #Conflicts: 709000 | #Constraints: 77562 3411.27/3420.35 c #Conflicts: 710000 | #Constraints: 78562 3411.27/3420.35 c #Conflicts: 711000 | #Constraints: 79562 3411.27/3420.35 c #Conflicts: 712000 | #Constraints: 80562 3411.27/3420.35 c #Conflicts: 713000 | #Constraints: 81562 3411.27/3420.35 c #Conflicts: 714000 | #Constraints: 82562 3411.27/3420.35 c #Conflicts: 715000 | #Constraints: 83562 3411.27/3420.35 c #Conflicts: 716000 | #Constraints: 84562 3411.27/3420.35 c #Conflicts: 717000 | #Constraints: 85562 3411.27/3420.35 c #Conflicts: 718000 | #Constraints: 86562 3411.27/3420.35 c #Conflicts: 719000 | #Constraints: 87562 3411.27/3420.35 c #Conflicts: 720000 | #Constraints: 88562 3411.27/3420.35 c #Conflicts: 721000 | #Constraints: 89562 3411.27/3420.35 c #Conflicts: 722000 | #Constraints: 90562 3411.27/3420.35 c #Conflicts: 723000 | #Constraints: 91562 3411.27/3420.35 c #Conflicts: 724000 | #Constraints: 92562 3411.27/3420.35 c #Conflicts: 725000 | #Constraints: 93562 3411.27/3420.35 c INPROCESSING 3411.27/3420.35 c GARBAGE COLLECT 3411.27/3420.35 c rational objective 156 3600.08/3609.60 c #Conflicts: 726000 | #Constraints: 48158 3600.08/3609.60 c #Conflicts: 727000 | #Constraints: 49158 3600.08/3609.60 c #Conflicts: 728000 | #Constraints: 50158 3600.08/3609.60 c #Conflicts: 729000 | #Constraints: 51158 3600.08/3609.60 c #Conflicts: 730000 | #Constraints: 52158 3600.08/3609.60 c #Conflicts: 731000 | #Constraints: 53158 3600.08/3609.60 c #Conflicts: 732000 | #Constraints: 54158 3600.08/3609.60 c #Conflicts: 733000 | #Constraints: 55158 3600.08/3609.60 c #Conflicts: 734000 | #Constraints: 56158 3600.08/3609.60 c #Conflicts: 735000 | #Constraints: 57158 3600.08/3609.60 c #Conflicts: 736000 | #Constraints: 58158 3600.08/3609.60 c #Conflicts: 737000 | #Constraints: 59158 3600.08/3609.60 c #Conflicts: 738000 | #Constraints: 60158 3600.08/3609.60 c #Conflicts: 739000 | #Constraints: 61158 3600.08/3609.60 c #Conflicts: 740000 | #Constraints: 62158 3600.08/3609.60 c #Conflicts: 741000 | #Constraints: 63158 3600.08/3609.60 c Program interrupted by user. 3600.08/3609.60 c cpu time 3581.67 s 3600.08/3609.60 c deterministic time 351101043529 3.51e+11 3600.08/3609.60 c optimization time 188.321 s 3600.08/3609.60 c total solve time 3393.34 s 3600.08/3609.60 c core-guided solve time 1801.2 s 3600.08/3609.60 c propagation time 3093.07 s 3600.08/3609.60 c conflict analysis time 455.93 s 3600.08/3609.60 c propagations 103963780 3600.08/3609.60 c resolve steps 6365128 3600.08/3609.60 c decisions 5764321 3600.08/3609.60 c conflicts 741715 3600.08/3609.60 c restarts 1533 3600.08/3609.60 c inprocessing phases 41 3600.08/3609.60 c input clauses 308 3600.08/3609.60 c input cardinalities 349 3600.08/3609.60 c input general constraints 886 3600.08/3609.60 c input average constraint length 66.86 3600.08/3609.60 c input average constraint degree 25.32 3600.08/3609.60 c learned clauses 254207 3600.08/3609.60 c learned cardinalities 5332 3600.08/3609.60 c learned general constraints 482197 3600.08/3609.60 c learned average constraint length 195.78 3600.08/3609.60 c learned average constraint degree 5030107.00 3600.08/3609.60 c watched constraints 316642 3600.08/3609.60 c counting constraints 166441 3600.08/3609.60 c gcd simplifications 98196 3600.08/3609.60 c detected cardinalities 2484 3600.08/3609.60 c weakened non-implied lits 32769870 3600.08/3609.60 c weakened non-implying lits 66119 3600.08/3609.60 c original variables 479 3600.08/3609.60 c clausal propagations 10799765 3600.08/3609.60 c cardinality propagations 7160478 3600.08/3609.60 c watched propagations 14060732 3600.08/3609.60 c counting propagations 70317350 3600.08/3609.60 c watch lookups 61021771981 3600.08/3609.60 c watch backjump lookups 54797466495 3600.08/3609.60 c watch checks 215701135119 3600.08/3609.60 c propagation checks 18784737605 3600.08/3609.60 c constraint additions 574979548 3600.08/3609.60 c trail pops 110469406 3600.08/3609.60 c formula constraints 479 3600.08/3609.60 c learned constraints 741730 3600.08/3609.60 c bound constraints 194 3600.08/3609.60 c core-guided constraints 870 3600.08/3609.60 c encountered formula constraints 1226110 3600.08/3609.60 c encountered learned constraints 5020747 3600.08/3609.60 c encountered bound constraints 76 3600.08/3609.60 c encountered core-guided constraints 859897 3600.08/3609.60 c LP total time 40.415 s 3600.08/3609.60 c LP solve time 39.42 s 3600.08/3609.60 c LP constraints added 479 3600.08/3609.60 c LP constraints removed 0 3600.08/3609.60 c LP pivots internal 742061 3600.08/3609.60 c LP pivots root 13212 3600.08/3609.60 c LP calls 14119 3600.08/3609.60 c LP optimalities 14113 3600.08/3609.60 c LP no pivot count 990 3600.08/3609.60 c LP infeasibilities 3 3600.08/3609.60 c LP valid Farkas constraints 3 3600.08/3609.60 c LP learned Farkas constraints 3 3600.08/3609.60 c LP basis resets 0 3600.08/3609.60 c LP cycling count 0 3600.08/3609.60 c LP singular count 0 3600.08/3609.60 c LP no primal count 0 3600.08/3609.60 c LP no farkas count 0 3600.08/3609.60 c LP other issue count 0 3600.08/3609.60 c LP Gomory cuts 0 3600.08/3609.60 c LP learned cuts 0 3600.08/3609.60 c LP deleted cuts 0 3600.08/3609.60 c LP encountered Gomory constraints 0 3600.08/3609.60 c LP encountered Farkas constraints 3 3600.08/3609.61 c LP encountered learned Farkas constraints 7 3600.08/3609.61 c CG auxiliary variables introduced 342 3600.08/3609.61 c CG solutions found 38 3600.08/3609.61 c CG cores constructed 156 3600.08/3609.61 c CG core cardinality constraints returned 0 3600.08/3609.61 c CG unit cores 0 3600.08/3609.61 c CG single cores 155 3600.08/3609.61 c CG blocks removed during cardinality reduction 0 3600.08/3609.61 c CG first core best 0 3600.08/3609.61 c CG decision core best 0 3600.08/3609.61 c CG core reduction tie 1 3600.08/3609.61 c CG core degree average 1.00 3600.08/3609.61 c CG core slack average 3.74 3600.08/3609.61 s SATISFIABLE 3600.08/3609.61 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 -x3
ERROR: no interpretation found !
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: 64096 MiB (61845 MiB free)
memory of node 1: 64473 MiB (61151 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460172-1722064838/watcher-4460172-1722064838 -o /tmp/evaluation-result-4460172-1722064838/solver-4460172-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301307 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460172-1722064838 --lp-cut-gomory=0 HOME/instance-4460172-1722064838.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=301369, runsolver pid=301366
[startup+0.105724 s]*
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125941460/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=38708 memory=8404 CPUtime=0.1 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 592 0 0 0 10 0 0 0 20 0 1 0 42473671 39636992 2101 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 9677 2101 1723 992 0 1535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38708 KiB
Current children cumulated memory: 8404 KiB
[startup+0.213146 s]*
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125940940/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=38924 memory=8732 CPUtime=0.2 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 639 0 0 0 20 0 0 0 20 0 1 0 42473671 39858176 2183 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 9731 2183 1723 992 0 1589 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 8732 KiB
[startup+0.312774 s]*
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125940476/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=39044 memory=8788 CPUtime=0.31 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 684 0 0 0 30 1 0 0 20 0 1 0 42473671 39981056 2197 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 9761 2197 1723 992 0 1619 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 8788 KiB
[startup+0.700265 s]
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125930608/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=40444 memory=10812 CPUtime=0.68 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 1203 0 0 0 60 8 0 0 20 0 1 0 42473671 41414656 2703 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 10111 2703 1771 992 0 1969 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 10812 KiB
[startup+1.50028 s]
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125903988/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=44120 memory=17316 CPUtime=1.47 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 2251 0 0 0 132 15 0 0 20 0 1 0 42473671 45178880 4329 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 11030 4329 1834 992 0 2888 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 17316 KiB
[startup+3.11224 s]
/proc/loadavg: 0.07 0.09 0.09 5/245 301372
/proc/meminfo: memFree=125852576/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=45480 memory=19084 CPUtime=3.09 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 2691 0 0 0 284 25 0 0 20 0 1 0 42473671 46571520 4771 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 11370 4771 1834 992 0 3228 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45480 KiB
Current children cumulated memory: 19084 KiB
[startup+6.30027 s]
/proc/loadavg: 0.39 0.15 0.11 5/248 301375
/proc/meminfo: memFree=125759720/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=57900 memory=27500 CPUtime=6.26 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 4809 0 0 0 586 40 0 0 20 0 1 0 42473671 59289600 6875 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 14475 6875 1834 992 0 6333 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57900 KiB
Current children cumulated memory: 27500 KiB
[startup+12.7003 s]
/proc/loadavg: 0.76 0.23 0.14 5/248 301376
/proc/meminfo: memFree=125579552/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=76824 memory=46300 CPUtime=12.64 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 8005 0 0 0 1204 60 0 0 20 0 1 0 42473671 78667776 11575 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 19206 11575 1834 992 0 11064 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 76824 KiB
Current children cumulated memory: 46300 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.42 0.20 5/248 301378
/proc/meminfo: memFree=125342260/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=96184 memory=60544 CPUtime=25.42 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 10061 0 0 0 2450 92 0 0 20 0 1 0 42473671 98492416 15136 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 24046 15136 1834 992 0 15904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96184 KiB
Current children cumulated memory: 60544 KiB
[startup+51.1134 s]
/proc/loadavg: 2.34 0.71 0.30 5/248 301382
/proc/meminfo: memFree=125013368/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=141248 memory=98180 CPUtime=50.95 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 15903 0 0 0 4951 144 0 0 20 0 1 0 42473671 144637952 24545 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 35312 24545 1834 992 0 27170 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 141248 KiB
Current children cumulated memory: 98180 KiB
[startup+102.3 s]
/proc/loadavg: 3.32 1.23 0.50 5/248 301392
/proc/meminfo: memFree=124598840/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=148576 memory=106028 CPUtime=102 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 17464 0 0 0 9989 211 0 0 20 0 1 0 42473671 152141824 26507 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 37144 26507 1834 992 0 29002 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 148576 KiB
Current children cumulated memory: 106028 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.75 0.73 5/248 301402
/proc/meminfo: memFree=124161636/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=194908 memory=132448 CPUtime=161.85 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 21549 0 0 0 15921 264 0 0 20 0 1 0 42473671 199585792 33112 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 48727 33112 1834 992 0 40585 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 194908 KiB
Current children cumulated memory: 132448 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.18 0.94 5/248 301413
/proc/meminfo: memFree=123836144/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=196260 memory=133212 CPUtime=221.69 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 21773 0 0 0 21827 342 0 0 20 0 1 0 42473671 200970240 33303 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 49065 33303 1834 992 0 40923 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 196260 KiB
Current children cumulated memory: 133212 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.54 1.15 5/248 301423
/proc/meminfo: memFree=123484476/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=204116 memory=138136 CPUtime=281.52 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 23083 0 0 0 27741 411 0 0 20 0 1 0 42473671 209014784 34534 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 51029 34534 1834 992 0 42887 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 204116 KiB
Current children cumulated memory: 138136 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 2.81 1.33 5/245 301815
/proc/meminfo: memFree=123170772/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=222536 memory=167740 CPUtime=341.33 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 27053 0 0 0 33680 453 0 0 20 0 1 0 42473671 227876864 41935 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 55634 41935 1834 992 0 47492 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 167740 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.08 1.51 5/245 301826
/proc/meminfo: memFree=122923584/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=222700 memory=176520 CPUtime=401.15 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 27146 0 0 0 39611 504 0 0 20 0 1 0 42473671 228044800 44130 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 55675 44130 1834 992 0 47533 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 222700 KiB
Current children cumulated memory: 176520 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.26 1.68 5/245 301836
/proc/meminfo: memFree=122667680/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=228900 memory=190820 CPUtime=460.99 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 28211 0 0 0 45547 552 0 0 20 0 1 0 42473671 234393600 47705 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 57225 47705 1834 992 0 49083 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.01 5/246 303110
/proc/meminfo: memFree=116435312/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=499008 memory=404384 CPUtime=3094.16 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 59403 0 0 0 307713 1703 0 0 20 0 1 0 42473671 510984192 101096 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 124752 101096 1850 992 0 116610 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 404384 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.02 5/244 303120
/proc/meminfo: memFree=116326892/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=499940 memory=404872 CPUtime=3153.99 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 59725 0 0 0 313672 1727 0 0 20 0 1 0 42473671 511938560 101218 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 124985 101218 1850 992 0 116843 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 404872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.03 5/245 303131
/proc/meminfo: memFree=116222260/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=503808 memory=407096 CPUtime=3213.82 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 60463 0 0 0 319637 1745 0 0 20 0 1 0 42473671 515899392 101774 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 125952 101774 1850 992 0 117810 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 503808 KiB
Current children cumulated memory: 407096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.04 5/245 303143
/proc/meminfo: memFree=116114384/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=504320 memory=407724 CPUtime=3273.66 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 60781 0 0 0 325606 1760 0 0 20 0 1 0 42473671 516423680 101931 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 126080 101931 1850 992 0 117938 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 504320 KiB
Current children cumulated memory: 407724 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/244 303153
/proc/meminfo: memFree=116006312/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=507676 memory=409588 CPUtime=3333.49 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 61566 0 0 0 331575 1774 0 0 20 0 1 0 42473671 519860224 102397 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 126919 102397 1850 992 0 118777 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 507676 KiB
Current children cumulated memory: 409588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.04 5/244 303163
/proc/meminfo: memFree=115873304/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=515760 memory=414240 CPUtime=3393.32 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 63066 0 0 0 337543 1789 0 0 20 0 1 0 42473671 528138240 103560 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 128940 103560 1850 992 0 120798 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 515760 KiB
Current children cumulated memory: 414240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.04 5/244 303173
/proc/meminfo: memFree=115762588/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=417000 CPUtime=3453.16 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 63858 0 0 0 343511 1805 0 0 20 0 1 0 42473671 532135936 104250 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 104250 1850 992 0 121774 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 417000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/243 303185
/proc/meminfo: memFree=115655548/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428328 CPUtime=3513 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 64019 0 0 0 349480 1820 0 0 20 0 1 0 42473671 532135936 107082 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107082 1850 992 0 121774 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 428328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/243 303195
/proc/meminfo: memFree=115565752/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428328 CPUtime=3572.86 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 64179 0 0 0 355448 1838 0 0 20 0 1 0 42473671 532135936 107082 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107082 1850 992 0 121774 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 428328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.04 4.10 4.04 5/245 303203
/proc/meminfo: memFree=115528156/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428328 CPUtime=3600.08 cores=4,6
/proc/301369/stat : 301369 (roundingsat) R 301366 301369 301296 0 -1 4194304 64211 0 0 0 358165 1843 0 0 20 0 1 0 42473671 532135936 107082 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107082 1850 992 0 121774 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 428328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.04 4.10 4.04 2/247 303206
/proc/meminfo: memFree=115522192/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428600 CPUtime=3600.1 cores=4,6
/proc/301369/stat : 301369 (roundingsat) D 301366 301369 301296 0 -1 4194304 64220 0 0 0 358167 1843 0 0 20 0 1 0 42473671 532135936 107150 134679101440 4194304 8254357 140733376246208 0 0 256 0 0 25182210 0 0 0 17 4 0 0 39 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107150 1918 992 0 121774 0
??? kill 301369 sig 9
??? end of watcher thread
[startup+3613.95 s]
# the end of solver process 301369 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.67 s, system=18.4403 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.04 4.10 4.04 3/247 303205
/proc/meminfo: memFree=115526332/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428600 CPUtime=3600.1 cores=4,6
/proc/301369/stat : 301369 (roundingsat) D 301366 301369 301296 0 -1 4194304 64220 0 0 0 358167 1843 0 0 20 0 1 0 42473671 532135936 107150 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 39 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107150 1918 992 0 121774 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 428600 KiB
[startup+3611.2 s]
/proc/loadavg: 4.04 4.10 4.04 2/247 303205
/proc/meminfo: memFree=115522304/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428600 CPUtime=3600.1 cores=4,6
/proc/301369/stat : 301369 (roundingsat) D 301366 301369 301296 0 -1 4194304 64220 0 0 0 358167 1843 0 0 20 0 1 0 42473671 532135936 107150 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 39 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107150 1918 992 0 121774 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 428600 KiB
[startup+3611.6 s]
/proc/loadavg: 4.04 4.10 4.04 2/247 303205
/proc/meminfo: memFree=115522304/131655788 swapFree=131058856/131071996
[pid=301369] ppid=301366 vsize=519664 memory=428600 CPUtime=3600.1 cores=4,6
/proc/301369/stat : 301369 (roundingsat) D 301366 301369 301296 0 -1 4194304 64220 0 0 0 358167 1843 0 0 20 0 1 0 42473671 532135936 107150 134679101440 4194304 8254357 140733376246208 0 0 0 0 0 25182210 0 0 0 17 4 0 0 39 0 0 9037040 9046032 25276416 140733376250715 140733376250977 140733376250977 140733376257993 0
/proc/301369/statm: 129916 107150 1918 992 0 121774 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 428600 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.95
CPU time (s): 3600.11
CPU user time (s): 3581.67
CPU system time (s): 18.4403
CPU usage (%): 99.617
Max. virtual memory (cumulated for all children) (KiB): 519664
Max. memory (cumulated for all children) (KiB): 428600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.67
system time used= 18.4403
maximum resident set size= 428848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4092088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190
involuntary context switches= 4824
# summary of solver processes directly reported to runsolver:
# pid: 301369
# total CPU time (s): 3600.11
# total CPU user time (s): 3581.67
# total CPU system time (s): 18.4403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9219 second user time and 36.8378 second system time
The end
Begin job on nodeC009 at 2024-07-27 09:20:38 IDJOB=4460172 IDBENCH=147541 IDSOLVER=3086 FILE ID=nodeC009/4460172-1722064838 RUNJOBID= nodeC009-1722064837-301307 SLURM_JOB_ID= 8248111 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460172-1722064838/watcher-4460172-1722064838 -o /tmp/evaluation-result-4460172-1722064838/solver-4460172-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301307 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460172-1722064838 --lp-cut-gomory=0 HOME/instance-4460172-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=1957297555 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.274 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.268 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.281 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125951620 kB MemAvailable: 129855204 kB Buffers: 381732 kB Cached: 4268484 kB SwapCached: 4924 kB Active: 1916368 kB Inactive: 3063520 kB Active(anon): 1512 kB Inactive(anon): 381652 kB Active(file): 1914856 kB Inactive(file): 2681868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22520 kB Writeback: 0 kB AnonPages: 323984 kB Mapped: 92312 kB Shmem: 53492 kB KReclaimable: 294120 kB Slab: 406344 kB SReclaimable: 294120 kB SUnreclaim: 112224 kB KernelStack: 3664 kB PageTables: 9720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 798396 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723760 MiB End job on nodeC009 at 2024-07-27 10:20:52