| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 190 | 3600.02 | 3609.42 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| 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 | 176 |
| 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 | 465 |
| Total number of constraints | 465 |
| 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 | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| 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 | 465 |
| 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 | 465 |
| 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 465 #constraints 465 0.18/0.22 c bounds - >= 0 @ 0.003683 0.18/0.22 c bounds 229 >= 0 @ 0.134946 0.18/0.22 c bounds 229 >= 1 @ 0.135199 0.18/0.22 c bounds 229 >= 2 @ 0.135379 0.18/0.22 c bounds 229 >= 3 @ 0.135555 0.18/0.22 c bounds 229 >= 4 @ 0.135722 0.18/0.22 c bounds 229 >= 5 @ 0.135896 0.18/0.22 c bounds 229 >= 6 @ 0.13607 0.18/0.22 c bounds 229 >= 7 @ 0.136256 0.18/0.22 c bounds 229 >= 8 @ 0.136286 0.18/0.22 c bounds 229 >= 9 @ 0.136286 0.18/0.22 c bounds 229 >= 10 @ 0.136286 0.18/0.22 c bounds 229 >= 11 @ 0.136286 0.18/0.22 c bounds 229 >= 12 @ 0.136286 0.18/0.22 c bounds 229 >= 13 @ 0.136451 0.18/0.22 c bounds 229 >= 14 @ 0.136669 0.18/0.22 c bounds 229 >= 15 @ 0.136868 0.18/0.22 c bounds 229 >= 16 @ 0.13706 0.18/0.22 c bounds 229 >= 17 @ 0.137253 0.18/0.22 c bounds 229 >= 18 @ 0.137283 0.18/0.22 c bounds 229 >= 19 @ 0.137283 0.18/0.22 c bounds 229 >= 20 @ 0.137283 0.18/0.22 c bounds 229 >= 21 @ 0.137283 0.18/0.22 c bounds 229 >= 22 @ 0.137283 0.18/0.22 c bounds 229 >= 23 @ 0.137497 0.18/0.22 c bounds 229 >= 24 @ 0.137707 0.18/0.22 c bounds 229 >= 25 @ 0.137926 0.18/0.22 c bounds 229 >= 26 @ 0.138128 0.18/0.22 c bounds 228 >= 26 @ 0.159968 0.18/0.22 c bounds 228 >= 27 @ 0.160224 0.18/0.22 c bounds 228 >= 28 @ 0.160475 0.18/0.22 c bounds 228 >= 29 @ 0.160722 0.18/0.22 c bounds 228 >= 30 @ 0.160958 0.18/0.22 c bounds 228 >= 31 @ 0.161189 0.18/0.22 c bounds 228 >= 32 @ 0.16145 0.18/0.22 c bounds 228 >= 33 @ 0.1617 0.18/0.22 c bounds 228 >= 34 @ 0.16194 0.18/0.22 c bounds 228 >= 35 @ 0.162178 0.18/0.22 c bounds 228 >= 36 @ 0.162218 0.18/0.22 c bounds 228 >= 37 @ 0.162218 0.18/0.22 c bounds 228 >= 38 @ 0.162218 0.18/0.22 c bounds 228 >= 39 @ 0.162218 0.18/0.22 c bounds 228 >= 40 @ 0.162218 0.18/0.22 c bounds 228 >= 41 @ 0.162218 0.18/0.22 c bounds 228 >= 42 @ 0.162218 0.18/0.22 c bounds 228 >= 43 @ 0.162324 0.18/0.22 c bounds 228 >= 44 @ 0.162583 0.18/0.22 c bounds 228 >= 45 @ 0.162812 0.18/0.22 c bounds 228 >= 46 @ 0.163079 0.18/0.22 c bounds 228 >= 47 @ 0.163664 0.18/0.22 c bounds 228 >= 48 @ 0.163918 0.18/0.22 c bounds 228 >= 49 @ 0.164176 0.18/0.22 c bounds 228 >= 50 @ 0.164207 0.18/0.22 c bounds 228 >= 51 @ 0.164207 0.18/0.22 c bounds 228 >= 52 @ 0.164207 0.18/0.22 c bounds 228 >= 53 @ 0.164356 0.18/0.22 c bounds 228 >= 54 @ 0.164617 0.18/0.22 c bounds 228 >= 55 @ 0.164858 0.18/0.22 c bounds 228 >= 56 @ 0.165112 0.18/0.22 c bounds 228 >= 57 @ 0.165202 0.18/0.22 c bounds 228 >= 58 @ 0.165202 0.18/0.22 c bounds 228 >= 59 @ 0.165202 0.18/0.22 c bounds 228 >= 60 @ 0.165294 0.18/0.22 c bounds 228 >= 61 @ 0.165546 0.18/0.22 c bounds 228 >= 62 @ 0.165799 0.18/0.22 c bounds 228 >= 63 @ 0.166045 0.18/0.22 c bounds 228 >= 64 @ 0.166306 0.18/0.22 c bounds 228 >= 65 @ 0.166577 0.18/0.22 c bounds 228 >= 66 @ 0.166843 0.18/0.22 c bounds 228 >= 67 @ 0.167122 0.18/0.22 c bounds 228 >= 68 @ 0.167396 0.18/0.22 c bounds 228 >= 69 @ 0.167669 0.18/0.22 c bounds 228 >= 70 @ 0.167948 0.18/0.22 c bounds 228 >= 71 @ 0.168218 0.18/0.22 c bounds 228 >= 72 @ 0.168493 0.18/0.22 c bounds 228 >= 73 @ 0.168757 0.18/0.22 c bounds 228 >= 74 @ 0.169046 0.18/0.22 c bounds 228 >= 75 @ 0.169349 0.18/0.22 c bounds 228 >= 76 @ 0.169642 0.18/0.22 c bounds 228 >= 77 @ 0.169912 0.18/0.22 c bounds 228 >= 78 @ 0.170189 0.18/0.22 c bounds 228 >= 79 @ 0.1705 0.18/0.22 c bounds 228 >= 80 @ 0.170776 0.18/0.22 c bounds 228 >= 81 @ 0.171053 0.18/0.22 c bounds 228 >= 82 @ 0.171364 0.18/0.22 c bounds 228 >= 83 @ 0.171659 0.18/0.22 c bounds 228 >= 84 @ 0.171943 0.18/0.22 c bounds 228 >= 85 @ 0.17224 0.18/0.22 c bounds 228 >= 86 @ 0.172552 0.18/0.22 c bounds 228 >= 87 @ 0.172836 0.18/0.22 c bounds 228 >= 88 @ 0.173126 0.18/0.22 c bounds 228 >= 89 @ 0.173406 0.18/0.22 c bounds 228 >= 90 @ 0.173684 0.18/0.22 c bounds 228 >= 91 @ 0.17399 0.18/0.22 c bounds 228 >= 92 @ 0.174266 0.18/0.22 c bounds 228 >= 93 @ 0.174545 0.18/0.22 c bounds 228 >= 94 @ 0.174842 0.18/0.22 c bounds 228 >= 95 @ 0.175136 0.18/0.22 c bounds 228 >= 96 @ 0.175175 0.18/0.22 c bounds 228 >= 97 @ 0.175175 0.18/0.22 c bounds 228 >= 98 @ 0.175175 0.18/0.22 c bounds 228 >= 99 @ 0.175321 0.18/0.22 c bounds 228 >= 100 @ 0.175594 0.18/0.22 c bounds 228 >= 101 @ 0.175878 0.18/0.22 c bounds 228 >= 102 @ 0.176204 0.18/0.22 c bounds 228 >= 103 @ 0.17649 0.18/0.22 c bounds 228 >= 104 @ 0.176775 0.18/0.22 c bounds 228 >= 105 @ 0.17707 0.18/0.22 c bounds 228 >= 106 @ 0.177169 0.18/0.22 c bounds 228 >= 107 @ 0.177169 0.18/0.22 c bounds 228 >= 108 @ 0.177169 0.18/0.22 c bounds 228 >= 109 @ 0.17733 0.18/0.22 c bounds 228 >= 110 @ 0.177643 0.18/0.22 c bounds 228 >= 111 @ 0.177922 0.18/0.22 c bounds 228 >= 112 @ 0.178247 0.18/0.22 c bounds 228 >= 113 @ 0.17856 0.18/0.22 c bounds 228 >= 114 @ 0.178846 0.18/0.22 c bounds 228 >= 115 @ 0.179133 0.18/0.22 c bounds 228 >= 116 @ 0.179465 0.18/0.22 c bounds 228 >= 117 @ 0.179754 0.18/0.22 c bounds 228 >= 118 @ 0.180082 0.18/0.22 c bounds 228 >= 119 @ 0.180409 0.18/0.22 c bounds 228 >= 120 @ 0.180715 0.18/0.22 c bounds 228 >= 121 @ 0.180986 0.18/0.22 c bounds 228 >= 122 @ 0.181281 0.18/0.22 c bounds 228 >= 123 @ 0.18158 0.18/0.22 c bounds 228 >= 124 @ 0.181863 0.18/0.22 c bounds 228 >= 125 @ 0.182256 0.18/0.22 c bounds 228 >= 126 @ 0.182678 0.18/0.22 c bounds 228 >= 127 @ 0.18302 0.18/0.22 c bounds 228 >= 128 @ 0.183152 0.18/0.22 c bounds 228 >= 129 @ 0.183152 0.18/0.22 c bounds 228 >= 130 @ 0.183331 0.18/0.22 c bounds 228 >= 131 @ 0.183784 0.18/0.22 c bounds 228 >= 132 @ 0.184235 0.18/0.22 c bounds 228 >= 133 @ 0.184967 0.18/0.22 c bounds 228 >= 134 @ 0.185764 0.48/0.53 c bounds 228 >= 135 @ 0.186953 0.48/0.53 c bounds 228 >= 136 @ 0.18711 0.48/0.53 c bounds 228 >= 137 @ 0.187835 0.48/0.53 c bounds 228 >= 138 @ 0.190973 0.48/0.53 c bounds 228 >= 139 @ 0.19408 0.48/0.53 c bounds 227 >= 139 @ 0.202631 0.48/0.53 c bounds 227 >= 140 @ 0.211381 0.48/0.53 c bounds 227 >= 141 @ 0.246152 0.48/0.53 c bounds 226 >= 141 @ 0.248538 0.48/0.53 c bounds 225 >= 141 @ 0.253104 0.48/0.53 c bounds 224 >= 141 @ 0.25616 0.48/0.53 c #Conflicts: 1000 | #Constraints: 2238 0.48/0.53 c bounds 223 >= 141 @ 0.267963 0.48/0.53 c bounds 222 >= 141 @ 0.277682 0.48/0.53 c bounds 221 >= 141 @ 0.279759 0.48/0.53 c bounds 220 >= 141 @ 0.281839 0.48/0.53 c bounds 219 >= 141 @ 0.284207 0.48/0.53 c bounds 218 >= 141 @ 0.286192 0.48/0.53 c bounds 217 >= 141 @ 0.287499 0.48/0.53 c bounds 216 >= 141 @ 0.289651 0.48/0.53 c bounds 215 >= 141 @ 0.290497 0.48/0.53 c bounds 215 >= 142 @ 0.390039 0.48/0.53 c #Conflicts: 2000 | #Constraints: 3283 0.48/0.53 c INPROCESSING 0.48/0.53 c GARBAGE COLLECT 0.48/0.53 c rational objective 142 1.07/1.14 c bounds 214 >= 142 @ 0.520865 1.07/1.14 c #Conflicts: 3000 | #Constraints: 3144 1.07/1.14 c bounds 213 >= 142 @ 0.80883 1.07/1.14 c #Conflicts: 4000 | #Constraints: 4145 1.07/1.14 c INPROCESSING 1.07/1.14 c GARBAGE COLLECT 1.07/1.14 c rational objective 142 1.66/1.78 c #Conflicts: 5000 | #Constraints: 3581 1.66/1.78 c #Conflicts: 6000 | #Constraints: 4581 1.66/1.78 c bounds 213 >= 143 @ 1.4764 1.66/1.78 c bounds 212 >= 143 @ 1.47869 1.66/1.78 c bounds 211 >= 143 @ 1.48027 1.66/1.78 c bounds 210 >= 143 @ 1.4921 1.66/1.78 c bounds 209 >= 143 @ 1.53131 1.66/1.78 c bounds 208 >= 143 @ 1.55204 1.66/1.78 c bounds 207 >= 143 @ 1.57196 1.66/1.78 c bounds 206 >= 143 @ 1.57766 1.66/1.78 c INPROCESSING 1.66/1.78 c GARBAGE COLLECT 1.66/1.78 c rational objective 143 2.56/2.63 c bounds 205 >= 143 @ 1.6447 2.56/2.63 c #Conflicts: 7000 | #Constraints: 3621 2.56/2.63 c bounds 204 >= 143 @ 1.78115 2.56/2.63 c #Conflicts: 8000 | #Constraints: 4622 2.56/2.63 c bounds 203 >= 143 @ 2.03241 2.56/2.63 c #Conflicts: 9000 | #Constraints: 5623 2.56/2.63 c INPROCESSING 2.56/2.63 c GARBAGE COLLECT 2.56/2.63 c rational objective 143 3.86/3.91 c #Conflicts: 10000 | #Constraints: 4355 3.86/3.91 c bounds 202 >= 143 @ 2.8043 3.86/3.91 c #Conflicts: 11000 | #Constraints: 5356 3.86/3.91 c #Conflicts: 12000 | #Constraints: 6356 3.86/3.91 c INPROCESSING 3.86/3.91 c GARBAGE COLLECT 3.86/3.91 c rational objective 143 7.95/8.04 c bounds 201 >= 143 @ 3.68423 7.95/8.04 c #Conflicts: 13000 | #Constraints: 4844 7.95/8.04 c #Conflicts: 14000 | #Constraints: 5844 7.95/8.04 c #Conflicts: 15000 | #Constraints: 6844 7.95/8.04 c #Conflicts: 16000 | #Constraints: 7844 7.95/8.04 c #Conflicts: 17000 | #Constraints: 8844 7.95/8.04 c #Conflicts: 18000 | #Constraints: 9844 7.95/8.04 c #Conflicts: 19000 | #Constraints: 10844 7.95/8.04 c #Conflicts: 20000 | #Constraints: 11844 7.95/8.04 c bounds 200 >= 143 @ 7.3297 7.95/8.04 c INPROCESSING 7.95/8.04 c GARBAGE COLLECT 7.95/8.04 c rational objective 143 11.33/11.47 c #Conflicts: 21000 | #Constraints: 7375 11.33/11.47 c #Conflicts: 22000 | #Constraints: 8375 11.33/11.47 c #Conflicts: 23000 | #Constraints: 9375 11.33/11.47 c #Conflicts: 24000 | #Constraints: 10375 11.33/11.47 c bounds 200 >= 144 @ 10.6895 11.33/11.47 c INPROCESSING 11.33/11.47 c GARBAGE COLLECT 11.33/11.47 c rational objective 144 13.93/14.06 c #Conflicts: 25000 | #Constraints: 6624 13.93/14.06 c #Conflicts: 26000 | #Constraints: 7624 13.93/14.06 c #Conflicts: 27000 | #Constraints: 8624 13.93/14.06 c #Conflicts: 28000 | #Constraints: 9624 13.93/14.06 c INPROCESSING 13.93/14.06 c GARBAGE COLLECT 13.93/14.06 c rational objective 144 15.73/15.81 c #Conflicts: 29000 | #Constraints: 6097 15.73/15.81 c #Conflicts: 30000 | #Constraints: 7097 15.73/15.81 c bounds 199 >= 144 @ 13.9396 15.73/15.81 c bounds 198 >= 144 @ 14.0337 15.73/15.81 c #Conflicts: 31000 | #Constraints: 8099 15.73/15.81 c #Conflicts: 32000 | #Constraints: 9099 15.73/15.81 c #Conflicts: 33000 | #Constraints: 10099 15.73/15.81 c INPROCESSING 15.73/15.81 c GARBAGE COLLECT 15.73/15.81 c rational objective 144 27.19/27.35 c #Conflicts: 34000 | #Constraints: 6528 27.19/27.35 c #Conflicts: 35000 | #Constraints: 7528 27.19/27.35 c #Conflicts: 36000 | #Constraints: 8528 27.19/27.35 c #Conflicts: 37000 | #Constraints: 9528 27.19/27.35 c #Conflicts: 38000 | #Constraints: 10528 27.19/27.35 c #Conflicts: 39000 | #Constraints: 11528 27.19/27.35 c #Conflicts: 40000 | #Constraints: 12528 27.19/27.35 c #Conflicts: 41000 | #Constraints: 13528 27.19/27.35 c #Conflicts: 42000 | #Constraints: 14528 27.19/27.35 c #Conflicts: 43000 | #Constraints: 15528 27.19/27.35 c #Conflicts: 44000 | #Constraints: 16528 27.19/27.35 c #Conflicts: 45000 | #Constraints: 17528 27.19/27.35 c #Conflicts: 46000 | #Constraints: 18528 27.19/27.35 c #Conflicts: 47000 | #Constraints: 19528 27.19/27.35 c INPROCESSING 27.19/27.35 c GARBAGE COLLECT 27.19/27.35 c rational objective 144 37.47/37.61 c #Conflicts: 48000 | #Constraints: 11395 37.47/37.61 c #Conflicts: 49000 | #Constraints: 12395 37.47/37.61 c #Conflicts: 50000 | #Constraints: 13395 37.47/37.61 c #Conflicts: 51000 | #Constraints: 14395 37.47/37.61 c #Conflicts: 52000 | #Constraints: 15395 37.47/37.61 c INPROCESSING 37.47/37.61 c GARBAGE COLLECT 37.47/37.61 c rational objective 144 43.36/43.54 c #Conflicts: 53000 | #Constraints: 9001 43.36/43.54 c #Conflicts: 54000 | #Constraints: 10001 43.36/43.54 c #Conflicts: 55000 | #Constraints: 11001 43.36/43.54 c #Conflicts: 56000 | #Constraints: 12001 43.36/43.54 c #Conflicts: 57000 | #Constraints: 13001 43.36/43.54 c #Conflicts: 58000 | #Constraints: 14001 43.36/43.54 c INPROCESSING 43.36/43.54 c GARBAGE COLLECT 43.36/43.54 c rational objective 144 49.04/49.25 c #Conflicts: 59000 | #Constraints: 8308 49.04/49.25 c #Conflicts: 60000 | #Constraints: 9308 49.04/49.25 c #Conflicts: 61000 | #Constraints: 10308 49.04/49.25 c #Conflicts: 62000 | #Constraints: 11308 49.04/49.25 c #Conflicts: 63000 | #Constraints: 12308 49.04/49.25 c #Conflicts: 64000 | #Constraints: 13308 49.04/49.25 c #Conflicts: 65000 | #Constraints: 14308 49.04/49.25 c INPROCESSING 49.04/49.25 c GARBAGE COLLECT 49.04/49.25 c rational objective 144 82.26/82.58 c bounds 197 >= 144 @ 48.1966 82.26/82.58 c #Conflicts: 66000 | #Constraints: 8855 82.26/82.58 c #Conflicts: 67000 | #Constraints: 9855 82.26/82.58 c #Conflicts: 68000 | #Constraints: 10855 82.26/82.58 c #Conflicts: 69000 | #Constraints: 11855 82.26/82.58 c bounds 196 >= 144 @ 50.1794 82.26/82.58 c #Conflicts: 70000 | #Constraints: 12856 82.26/82.58 c #Conflicts: 71000 | #Constraints: 13856 82.26/82.58 c bounds 195 >= 144 @ 51.7739 82.26/82.58 c #Conflicts: 72000 | #Constraints: 14857 82.26/82.58 c bounds 194 >= 144 @ 52.5983 82.26/82.58 c #Conflicts: 73000 | #Constraints: 15858 82.26/82.58 c #Conflicts: 74000 | #Constraints: 16858 82.26/82.58 c #Conflicts: 75000 | #Constraints: 17858 82.26/82.58 c #Conflicts: 76000 | #Constraints: 18858 82.26/82.58 c #Conflicts: 77000 | #Constraints: 19858 82.26/82.58 c #Conflicts: 78000 | #Constraints: 20858 82.26/82.58 c #Conflicts: 79000 | #Constraints: 21858 82.26/82.58 c #Conflicts: 80000 | #Constraints: 22858 82.26/82.58 c #Conflicts: 81000 | #Constraints: 23858 82.26/82.58 c #Conflicts: 82000 | #Constraints: 24858 82.26/82.58 c #Conflicts: 83000 | #Constraints: 25858 82.26/82.58 c #Conflicts: 84000 | #Constraints: 26858 82.26/82.58 c INPROCESSING 82.26/82.58 c GARBAGE COLLECT 82.26/82.58 c rational objective 144 87.65/87.95 c bounds 193 >= 144 @ 81.0155 87.65/87.95 c #Conflicts: 85000 | #Constraints: 15142 87.65/87.95 c #Conflicts: 86000 | #Constraints: 16142 87.65/87.95 c #Conflicts: 87000 | #Constraints: 17142 87.65/87.95 c #Conflicts: 88000 | #Constraints: 18142 87.65/87.95 c #Conflicts: 89000 | #Constraints: 19142 87.65/87.95 c #Conflicts: 90000 | #Constraints: 20142 87.65/87.95 c #Conflicts: 91000 | #Constraints: 21142 87.65/87.95 c INPROCESSING 87.65/87.95 c GARBAGE COLLECT 87.65/87.95 c rational objective 144 94.42/94.72 c #Conflicts: 92000 | #Constraints: 11953 94.42/94.72 c bounds 192 >= 144 @ 86.3852 94.42/94.72 c #Conflicts: 93000 | #Constraints: 12954 94.42/94.72 c #Conflicts: 94000 | #Constraints: 13954 94.42/94.72 c #Conflicts: 95000 | #Constraints: 14954 94.42/94.72 c #Conflicts: 96000 | #Constraints: 15954 94.42/94.72 c #Conflicts: 97000 | #Constraints: 16954 94.42/94.72 c #Conflicts: 98000 | #Constraints: 17954 94.42/94.72 c #Conflicts: 99000 | #Constraints: 18954 94.42/94.72 c INPROCESSING 94.42/94.72 c GARBAGE COLLECT 94.42/94.72 c rational objective 144 100.31/100.67 c #Conflicts: 100000 | #Constraints: 11013 100.31/100.67 c #Conflicts: 101000 | #Constraints: 12013 100.31/100.67 c #Conflicts: 102000 | #Constraints: 13013 100.31/100.67 c #Conflicts: 103000 | #Constraints: 14013 100.31/100.67 c #Conflicts: 104000 | #Constraints: 15013 100.31/100.67 c #Conflicts: 105000 | #Constraints: 16013 100.31/100.67 c bounds 191 >= 144 @ 97.0731 100.31/100.67 c #Conflicts: 106000 | #Constraints: 17014 100.31/100.67 c #Conflicts: 107000 | #Constraints: 18014 100.31/100.67 c INPROCESSING 100.31/100.67 c GARBAGE COLLECT 100.31/100.67 c rational objective 144 107.50/107.82 c #Conflicts: 108000 | #Constraints: 10591 107.50/107.82 c #Conflicts: 109000 | #Constraints: 11591 107.50/107.82 c #Conflicts: 110000 | #Constraints: 12591 107.50/107.82 c #Conflicts: 111000 | #Constraints: 13591 107.50/107.82 c #Conflicts: 112000 | #Constraints: 14591 107.50/107.82 c #Conflicts: 113000 | #Constraints: 15591 107.50/107.82 c #Conflicts: 114000 | #Constraints: 16591 107.50/107.82 c #Conflicts: 115000 | #Constraints: 17591 107.50/107.82 c INPROCESSING 107.50/107.82 c GARBAGE COLLECT 107.50/107.82 c rational objective 144 117.57/117.91 c #Conflicts: 116000 | #Constraints: 10327 117.57/117.91 c #Conflicts: 117000 | #Constraints: 11327 117.57/117.91 c #Conflicts: 118000 | #Constraints: 12327 117.57/117.91 c #Conflicts: 119000 | #Constraints: 13327 117.57/117.91 c #Conflicts: 120000 | #Constraints: 14327 117.57/117.91 c #Conflicts: 121000 | #Constraints: 15327 117.57/117.91 c #Conflicts: 122000 | #Constraints: 16327 117.57/117.91 c #Conflicts: 123000 | #Constraints: 17327 117.57/117.91 c INPROCESSING 117.57/117.91 c GARBAGE COLLECT 117.57/117.91 c rational objective 144 192.29/192.86 c #Conflicts: 124000 | #Constraints: 10105 192.29/192.86 c #Conflicts: 125000 | #Constraints: 11105 192.29/192.86 c #Conflicts: 126000 | #Constraints: 12105 192.29/192.86 c #Conflicts: 127000 | #Constraints: 13105 192.29/192.86 c #Conflicts: 128000 | #Constraints: 14105 192.29/192.86 c #Conflicts: 129000 | #Constraints: 15105 192.29/192.86 c #Conflicts: 130000 | #Constraints: 16105 192.29/192.86 c #Conflicts: 131000 | #Constraints: 17105 192.29/192.86 c #Conflicts: 132000 | #Constraints: 18105 192.29/192.86 c #Conflicts: 133000 | #Constraints: 19105 192.29/192.86 c #Conflicts: 134000 | #Constraints: 20105 192.29/192.86 c #Conflicts: 135000 | #Constraints: 21105 192.29/192.86 c #Conflicts: 136000 | #Constraints: 22105 192.29/192.86 c #Conflicts: 137000 | #Constraints: 23105 192.29/192.86 c #Conflicts: 138000 | #Constraints: 24105 192.29/192.86 c #Conflicts: 139000 | #Constraints: 25105 192.29/192.86 c bounds 190 >= 144 @ 135.345 192.29/192.86 c #Conflicts: 140000 | #Constraints: 26106 192.29/192.86 c bounds 190 >= 145 @ 136.952 192.29/192.86 c #Conflicts: 141000 | #Constraints: 27169 192.29/192.86 c #Conflicts: 142000 | #Constraints: 28169 192.29/192.86 c #Conflicts: 143000 | #Constraints: 29169 192.29/192.86 c #Conflicts: 144000 | #Constraints: 30169 192.29/192.86 c #Conflicts: 145000 | #Constraints: 31169 192.29/192.86 c #Conflicts: 146000 | #Constraints: 32169 192.29/192.86 c #Conflicts: 147000 | #Constraints: 33169 192.29/192.86 c #Conflicts: 148000 | #Constraints: 34169 192.29/192.86 c #Conflicts: 149000 | #Constraints: 35169 192.29/192.86 c #Conflicts: 150000 | #Constraints: 36169 192.29/192.86 c INPROCESSING 192.29/192.86 c GARBAGE COLLECT 192.29/192.86 c rational objective 145 202.65/203.24 c #Conflicts: 151000 | #Constraints: 19821 202.65/203.24 c #Conflicts: 152000 | #Constraints: 20821 202.65/203.24 c #Conflicts: 153000 | #Constraints: 21821 202.65/203.24 c #Conflicts: 154000 | #Constraints: 22821 202.65/203.24 c #Conflicts: 155000 | #Constraints: 23821 202.65/203.24 c #Conflicts: 156000 | #Constraints: 24821 202.65/203.24 c #Conflicts: 157000 | #Constraints: 25821 202.65/203.24 c #Conflicts: 158000 | #Constraints: 26821 202.65/203.24 c #Conflicts: 159000 | #Constraints: 27821 202.65/203.24 c INPROCESSING 202.65/203.24 c GARBAGE COLLECT 202.65/203.24 c rational objective 145 215.23/215.80 c #Conflicts: 160000 | #Constraints: 15283 215.23/215.80 c #Conflicts: 161000 | #Constraints: 16283 215.23/215.80 c #Conflicts: 162000 | #Constraints: 17283 215.23/215.80 c #Conflicts: 163000 | #Constraints: 18283 215.23/215.80 c #Conflicts: 164000 | #Constraints: 19283 215.23/215.80 c #Conflicts: 165000 | #Constraints: 20283 215.23/215.80 c #Conflicts: 166000 | #Constraints: 21283 215.23/215.80 c #Conflicts: 167000 | #Constraints: 22283 215.23/215.80 c #Conflicts: 168000 | #Constraints: 23283 215.23/215.80 c #Conflicts: 169000 | #Constraints: 24283 215.23/215.80 c INPROCESSING 215.23/215.80 c GARBAGE COLLECT 215.23/215.80 c rational objective 145 231.79/232.44 c #Conflicts: 170000 | #Constraints: 13620 231.79/232.44 c #Conflicts: 171000 | #Constraints: 14620 231.79/232.44 c #Conflicts: 172000 | #Constraints: 15620 231.79/232.44 c #Conflicts: 173000 | #Constraints: 16620 231.79/232.44 c #Conflicts: 174000 | #Constraints: 17620 231.79/232.44 c #Conflicts: 175000 | #Constraints: 18620 231.79/232.44 c #Conflicts: 176000 | #Constraints: 19620 231.79/232.44 c #Conflicts: 177000 | #Constraints: 20620 231.79/232.44 c #Conflicts: 178000 | #Constraints: 21620 231.79/232.44 c #Conflicts: 179000 | #Constraints: 22620 231.79/232.44 c INPROCESSING 231.79/232.44 c GARBAGE COLLECT 231.79/232.44 c rational objective 145 324.84/325.74 c #Conflicts: 180000 | #Constraints: 12864 324.84/325.74 c #Conflicts: 181000 | #Constraints: 13864 324.84/325.74 c #Conflicts: 182000 | #Constraints: 14864 324.84/325.74 c #Conflicts: 183000 | #Constraints: 15864 324.84/325.74 c #Conflicts: 184000 | #Constraints: 16864 324.84/325.74 c #Conflicts: 185000 | #Constraints: 17864 324.84/325.74 c #Conflicts: 186000 | #Constraints: 18864 324.84/325.74 c #Conflicts: 187000 | #Constraints: 19864 324.84/325.74 c #Conflicts: 188000 | #Constraints: 20864 324.84/325.74 c #Conflicts: 189000 | #Constraints: 21864 324.84/325.74 c #Conflicts: 190000 | #Constraints: 22864 324.84/325.74 c #Conflicts: 191000 | #Constraints: 23864 324.84/325.74 c #Conflicts: 192000 | #Constraints: 24864 324.84/325.74 c #Conflicts: 193000 | #Constraints: 25864 324.84/325.74 c #Conflicts: 194000 | #Constraints: 26864 324.84/325.74 c #Conflicts: 195000 | #Constraints: 27864 324.84/325.74 c #Conflicts: 196000 | #Constraints: 28864 324.84/325.74 c #Conflicts: 197000 | #Constraints: 29864 324.84/325.74 c #Conflicts: 198000 | #Constraints: 30864 324.84/325.74 c #Conflicts: 199000 | #Constraints: 31864 324.84/325.74 c #Conflicts: 200000 | #Constraints: 32864 324.84/325.74 c #Conflicts: 201000 | #Constraints: 33864 324.84/325.74 c #Conflicts: 202000 | #Constraints: 34864 324.84/325.74 c #Conflicts: 203000 | #Constraints: 35864 324.84/325.74 c #Conflicts: 204000 | #Constraints: 36864 324.84/325.74 c #Conflicts: 205000 | #Constraints: 37864 324.84/325.74 c #Conflicts: 206000 | #Constraints: 38864 324.84/325.74 c #Conflicts: 207000 | #Constraints: 39864 324.84/325.74 c #Conflicts: 208000 | #Constraints: 40864 324.84/325.74 c #Conflicts: 209000 | #Constraints: 41864 324.84/325.74 c #Conflicts: 210000 | #Constraints: 42864 324.84/325.74 c #Conflicts: 211000 | #Constraints: 43864 324.84/325.74 c INPROCESSING 324.84/325.74 c GARBAGE COLLECT 324.84/325.74 c rational objective 145 390.48/391.52 c #Conflicts: 212000 | #Constraints: 23518 390.48/391.52 c #Conflicts: 213000 | #Constraints: 24518 390.48/391.52 c #Conflicts: 214000 | #Constraints: 25518 390.48/391.52 c #Conflicts: 215000 | #Constraints: 26518 390.48/391.52 c #Conflicts: 216000 | #Constraints: 27518 390.48/391.52 c #Conflicts: 217000 | #Constraints: 28518 390.48/391.52 c #Conflicts: 218000 | #Constraints: 29518 390.48/391.52 c #Conflicts: 219000 | #Constraints: 30518 390.48/391.52 c #Conflicts: 220000 | #Constraints: 31518 390.48/391.52 c #Conflicts: 221000 | #Constraints: 32518 390.48/391.52 c #Conflicts: 222000 | #Constraints: 33518 390.48/391.52 c INPROCESSING 390.48/391.52 c GARBAGE COLLECT 390.48/391.52 c rational objective 145 421.40/422.51 c #Conflicts: 223000 | #Constraints: 18246 421.40/422.51 c #Conflicts: 224000 | #Constraints: 19246 421.40/422.51 c #Conflicts: 225000 | #Constraints: 20246 421.40/422.51 c #Conflicts: 226000 | #Constraints: 21246 421.40/422.51 c #Conflicts: 227000 | #Constraints: 22246 421.40/422.51 c #Conflicts: 228000 | #Constraints: 23246 421.40/422.51 c #Conflicts: 229000 | #Constraints: 24246 421.40/422.51 c #Conflicts: 230000 | #Constraints: 25246 421.40/422.51 c #Conflicts: 231000 | #Constraints: 26246 421.40/422.51 c #Conflicts: 232000 | #Constraints: 27246 421.40/422.51 c #Conflicts: 233000 | #Constraints: 28246 421.40/422.51 c #Conflicts: 234000 | #Constraints: 29246 421.40/422.51 c INPROCESSING 421.40/422.51 c GARBAGE COLLECT 421.40/422.51 c rational objective 145 571.72/573.21 c #Conflicts: 235000 | #Constraints: 16365 571.72/573.21 c #Conflicts: 236000 | #Constraints: 17365 571.72/573.21 c #Conflicts: 237000 | #Constraints: 18365 571.72/573.21 c #Conflicts: 238000 | #Constraints: 19365 571.72/573.21 c #Conflicts: 239000 | #Constraints: 20365 571.72/573.21 c #Conflicts: 240000 | #Constraints: 21365 571.72/573.21 c #Conflicts: 241000 | #Constraints: 22365 571.72/573.21 c #Conflicts: 242000 | #Constraints: 23365 571.72/573.21 c #Conflicts: 243000 | #Constraints: 24365 571.72/573.21 c #Conflicts: 244000 | #Constraints: 25365 571.72/573.21 c #Conflicts: 245000 | #Constraints: 26365 571.72/573.21 c #Conflicts: 246000 | #Constraints: 27365 571.72/573.21 c #Conflicts: 247000 | #Constraints: 28365 571.72/573.21 c #Conflicts: 248000 | #Constraints: 29365 571.72/573.21 c #Conflicts: 249000 | #Constraints: 30365 571.72/573.21 c #Conflicts: 250000 | #Constraints: 31365 571.72/573.21 c #Conflicts: 251000 | #Constraints: 32365 571.72/573.21 c #Conflicts: 252000 | #Constraints: 33365 571.72/573.21 c #Conflicts: 253000 | #Constraints: 34365 571.72/573.21 c #Conflicts: 254000 | #Constraints: 35365 571.72/573.21 c #Conflicts: 255000 | #Constraints: 36365 571.72/573.21 c #Conflicts: 256000 | #Constraints: 37365 571.72/573.21 c #Conflicts: 257000 | #Constraints: 38365 571.72/573.21 c #Conflicts: 258000 | #Constraints: 39365 571.72/573.21 c #Conflicts: 259000 | #Constraints: 40365 571.72/573.21 c #Conflicts: 260000 | #Constraints: 41365 571.72/573.21 c #Conflicts: 261000 | #Constraints: 42365 571.72/573.21 c #Conflicts: 262000 | #Constraints: 43365 571.72/573.21 c #Conflicts: 263000 | #Constraints: 44365 571.72/573.21 c #Conflicts: 264000 | #Constraints: 45365 571.72/573.21 c #Conflicts: 265000 | #Constraints: 46365 571.72/573.21 c #Conflicts: 266000 | #Constraints: 47365 571.72/573.21 c #Conflicts: 267000 | #Constraints: 48365 571.72/573.21 c #Conflicts: 268000 | #Constraints: 49365 571.72/573.21 c #Conflicts: 269000 | #Constraints: 50365 571.72/573.21 c #Conflicts: 270000 | #Constraints: 51365 571.72/573.21 c INPROCESSING 571.72/573.21 c GARBAGE COLLECT 571.72/573.21 c rational objective 145 600.46/602.07 c #Conflicts: 271000 | #Constraints: 27434 600.46/602.07 c #Conflicts: 272000 | #Constraints: 28434 600.46/602.07 c #Conflicts: 273000 | #Constraints: 29434 600.46/602.07 c #Conflicts: 274000 | #Constraints: 30434 600.46/602.07 c #Conflicts: 275000 | #Constraints: 31434 600.46/602.07 c #Conflicts: 276000 | #Constraints: 32434 600.46/602.07 c #Conflicts: 277000 | #Constraints: 33434 600.46/602.07 c #Conflicts: 278000 | #Constraints: 34434 600.46/602.07 c #Conflicts: 279000 | #Constraints: 35434 600.46/602.07 c #Conflicts: 280000 | #Constraints: 36434 600.46/602.07 c #Conflicts: 281000 | #Constraints: 37434 600.46/602.07 c #Conflicts: 282000 | #Constraints: 38434 600.46/602.07 c INPROCESSING 600.46/602.07 c GARBAGE COLLECT 600.46/602.07 c rational objective 145 633.67/635.33 c #Conflicts: 283000 | #Constraints: 20491 633.67/635.33 c #Conflicts: 284000 | #Constraints: 21491 633.67/635.33 c #Conflicts: 285000 | #Constraints: 22491 633.67/635.33 c #Conflicts: 286000 | #Constraints: 23491 633.67/635.33 c #Conflicts: 287000 | #Constraints: 24491 633.67/635.33 c #Conflicts: 288000 | #Constraints: 25491 633.67/635.33 c #Conflicts: 289000 | #Constraints: 26491 633.67/635.33 c #Conflicts: 290000 | #Constraints: 27491 633.67/635.33 c #Conflicts: 291000 | #Constraints: 28491 633.67/635.33 c #Conflicts: 292000 | #Constraints: 29491 633.67/635.33 c #Conflicts: 293000 | #Constraints: 30491 633.67/635.33 c #Conflicts: 294000 | #Constraints: 31491 633.67/635.33 c #Conflicts: 295000 | #Constraints: 32491 633.67/635.33 c INPROCESSING 633.67/635.33 c GARBAGE COLLECT 633.67/635.33 c rational objective 145 824.21/826.32 c #Conflicts: 296000 | #Constraints: 17767 824.21/826.32 c #Conflicts: 297000 | #Constraints: 18767 824.21/826.32 c #Conflicts: 298000 | #Constraints: 19767 824.21/826.32 c #Conflicts: 299000 | #Constraints: 20767 824.21/826.32 c #Conflicts: 300000 | #Constraints: 21767 824.21/826.32 c #Conflicts: 301000 | #Constraints: 22767 824.21/826.32 c #Conflicts: 302000 | #Constraints: 23767 824.21/826.32 c #Conflicts: 303000 | #Constraints: 24767 824.21/826.32 c #Conflicts: 304000 | #Constraints: 25767 824.21/826.32 c #Conflicts: 305000 | #Constraints: 26767 824.21/826.32 c #Conflicts: 306000 | #Constraints: 27767 824.21/826.32 c #Conflicts: 307000 | #Constraints: 28767 824.21/826.32 c #Conflicts: 308000 | #Constraints: 29767 824.21/826.32 c #Conflicts: 309000 | #Constraints: 30767 824.21/826.32 c #Conflicts: 310000 | #Constraints: 31767 824.21/826.32 c #Conflicts: 311000 | #Constraints: 32767 824.21/826.32 c #Conflicts: 312000 | #Constraints: 33767 824.21/826.32 c #Conflicts: 313000 | #Constraints: 34767 824.21/826.32 c #Conflicts: 314000 | #Constraints: 35767 824.21/826.32 c #Conflicts: 315000 | #Constraints: 36767 824.21/826.32 c #Conflicts: 316000 | #Constraints: 37767 824.21/826.32 c #Conflicts: 317000 | #Constraints: 38767 824.21/826.32 c #Conflicts: 318000 | #Constraints: 39767 824.21/826.32 c #Conflicts: 319000 | #Constraints: 40767 824.21/826.32 c #Conflicts: 320000 | #Constraints: 41767 824.21/826.32 c #Conflicts: 321000 | #Constraints: 42767 824.21/826.32 c #Conflicts: 322000 | #Constraints: 43767 824.21/826.32 c #Conflicts: 323000 | #Constraints: 44767 824.21/826.32 c #Conflicts: 324000 | #Constraints: 45767 824.21/826.32 c #Conflicts: 325000 | #Constraints: 46767 824.21/826.32 c #Conflicts: 326000 | #Constraints: 47767 824.21/826.32 c #Conflicts: 327000 | #Constraints: 48767 824.21/826.32 c #Conflicts: 328000 | #Constraints: 49767 824.21/826.32 c #Conflicts: 329000 | #Constraints: 50767 824.21/826.32 c #Conflicts: 330000 | #Constraints: 51767 824.21/826.32 c #Conflicts: 331000 | #Constraints: 52767 824.21/826.32 c #Conflicts: 332000 | #Constraints: 53767 824.21/826.32 c #Conflicts: 333000 | #Constraints: 54767 824.21/826.32 c #Conflicts: 334000 | #Constraints: 55767 824.21/826.32 c #Conflicts: 335000 | #Constraints: 56767 824.21/826.32 c #Conflicts: 336000 | #Constraints: 57767 824.21/826.32 c INPROCESSING 824.21/826.32 c GARBAGE COLLECT 824.21/826.32 c rational objective 145 942.70/945.15 c #Conflicts: 337000 | #Constraints: 30556 942.70/945.15 c #Conflicts: 338000 | #Constraints: 31556 942.70/945.15 c #Conflicts: 339000 | #Constraints: 32556 942.70/945.15 c #Conflicts: 340000 | #Constraints: 33556 942.70/945.15 c #Conflicts: 341000 | #Constraints: 34556 942.70/945.15 c #Conflicts: 342000 | #Constraints: 35556 942.70/945.15 c #Conflicts: 343000 | #Constraints: 36556 942.70/945.15 c #Conflicts: 344000 | #Constraints: 37556 942.70/945.15 c #Conflicts: 345000 | #Constraints: 38556 942.70/945.15 c #Conflicts: 346000 | #Constraints: 39556 942.70/945.15 c #Conflicts: 347000 | #Constraints: 40556 942.70/945.15 c #Conflicts: 348000 | #Constraints: 41556 942.70/945.15 c #Conflicts: 349000 | #Constraints: 42556 942.70/945.15 c #Conflicts: 350000 | #Constraints: 43556 942.70/945.15 c INPROCESSING 942.70/945.15 c GARBAGE COLLECT 942.70/945.15 c rational objective 145 1009.14/1011.79 c #Conflicts: 351000 | #Constraints: 23374 1009.14/1011.79 c #Conflicts: 352000 | #Constraints: 24374 1009.14/1011.79 c #Conflicts: 353000 | #Constraints: 25374 1009.14/1011.79 c #Conflicts: 354000 | #Constraints: 26374 1009.14/1011.79 c #Conflicts: 355000 | #Constraints: 27374 1009.14/1011.79 c #Conflicts: 356000 | #Constraints: 28374 1009.14/1011.79 c #Conflicts: 357000 | #Constraints: 29374 1009.14/1011.79 c #Conflicts: 358000 | #Constraints: 30374 1009.14/1011.79 c #Conflicts: 359000 | #Constraints: 31374 1009.14/1011.79 c #Conflicts: 360000 | #Constraints: 32374 1009.14/1011.79 c #Conflicts: 361000 | #Constraints: 33374 1009.14/1011.79 c #Conflicts: 362000 | #Constraints: 34374 1009.14/1011.79 c #Conflicts: 363000 | #Constraints: 35374 1009.14/1011.79 c #Conflicts: 364000 | #Constraints: 36374 1009.14/1011.79 c INPROCESSING 1009.14/1011.79 c GARBAGE COLLECT 1009.14/1011.79 c rational objective 145 1245.34/1248.51 c #Conflicts: 365000 | #Constraints: 21101 1245.34/1248.51 c #Conflicts: 366000 | #Constraints: 22101 1245.34/1248.51 c #Conflicts: 367000 | #Constraints: 23101 1245.34/1248.51 c #Conflicts: 368000 | #Constraints: 24101 1245.34/1248.51 c #Conflicts: 369000 | #Constraints: 25101 1245.34/1248.51 c #Conflicts: 370000 | #Constraints: 26101 1245.34/1248.51 c #Conflicts: 371000 | #Constraints: 27101 1245.34/1248.51 c #Conflicts: 372000 | #Constraints: 28101 1245.34/1248.51 c #Conflicts: 373000 | #Constraints: 29101 1245.34/1248.51 c #Conflicts: 374000 | #Constraints: 30101 1245.34/1248.51 c #Conflicts: 375000 | #Constraints: 31101 1245.34/1248.51 c #Conflicts: 376000 | #Constraints: 32101 1245.34/1248.51 c #Conflicts: 377000 | #Constraints: 33101 1245.34/1248.51 c #Conflicts: 378000 | #Constraints: 34101 1245.34/1248.51 c #Conflicts: 379000 | #Constraints: 35101 1245.34/1248.51 c #Conflicts: 380000 | #Constraints: 36101 1245.34/1248.51 c #Conflicts: 381000 | #Constraints: 37101 1245.34/1248.51 c #Conflicts: 382000 | #Constraints: 38101 1245.34/1248.51 c #Conflicts: 383000 | #Constraints: 39101 1245.34/1248.51 c #Conflicts: 384000 | #Constraints: 40101 1245.34/1248.51 c #Conflicts: 385000 | #Constraints: 41101 1245.34/1248.51 c #Conflicts: 386000 | #Constraints: 42101 1245.34/1248.51 c #Conflicts: 387000 | #Constraints: 43101 1245.34/1248.51 c #Conflicts: 388000 | #Constraints: 44101 1245.34/1248.51 c #Conflicts: 389000 | #Constraints: 45101 1245.34/1248.51 c #Conflicts: 390000 | #Constraints: 46101 1245.34/1248.51 c #Conflicts: 391000 | #Constraints: 47101 1245.34/1248.51 c #Conflicts: 392000 | #Constraints: 48101 1245.34/1248.51 c #Conflicts: 393000 | #Constraints: 49101 1245.34/1248.51 c #Conflicts: 394000 | #Constraints: 50101 1245.34/1248.51 c #Conflicts: 395000 | #Constraints: 51101 1245.34/1248.51 c #Conflicts: 396000 | #Constraints: 52101 1245.34/1248.51 c #Conflicts: 397000 | #Constraints: 53101 1245.34/1248.51 c #Conflicts: 398000 | #Constraints: 54101 1245.34/1248.51 c #Conflicts: 399000 | #Constraints: 55101 1245.34/1248.51 c #Conflicts: 400000 | #Constraints: 56101 1245.34/1248.51 c bounds 190 >= 146 @ 1211.95 1245.34/1248.51 c #Conflicts: 401000 | #Constraints: 57158 1245.34/1248.51 c #Conflicts: 402000 | #Constraints: 58158 1245.34/1248.51 c #Conflicts: 403000 | #Constraints: 59158 1245.34/1248.51 c #Conflicts: 404000 | #Constraints: 60158 1245.34/1248.51 c #Conflicts: 405000 | #Constraints: 61158 1245.34/1248.51 c #Conflicts: 406000 | #Constraints: 62158 1245.34/1248.51 c #Conflicts: 407000 | #Constraints: 63158 1245.34/1248.51 c #Conflicts: 408000 | #Constraints: 64158 1245.34/1248.51 c #Conflicts: 409000 | #Constraints: 65158 1245.34/1248.51 c INPROCESSING 1245.34/1248.51 c GARBAGE COLLECT 1245.34/1248.51 c rational objective 146 1290.71/1294.08 c #Conflicts: 410000 | #Constraints: 34177 1290.71/1294.08 c #Conflicts: 411000 | #Constraints: 35177 1290.71/1294.08 c #Conflicts: 412000 | #Constraints: 36177 1290.71/1294.08 c #Conflicts: 413000 | #Constraints: 37177 1290.71/1294.08 c #Conflicts: 414000 | #Constraints: 38177 1290.71/1294.08 c #Conflicts: 415000 | #Constraints: 39177 1290.71/1294.08 c #Conflicts: 416000 | #Constraints: 40177 1290.71/1294.08 c #Conflicts: 417000 | #Constraints: 41177 1290.71/1294.08 c #Conflicts: 418000 | #Constraints: 42177 1290.71/1294.08 c #Conflicts: 419000 | #Constraints: 43177 1290.71/1294.08 c #Conflicts: 420000 | #Constraints: 44177 1290.71/1294.08 c #Conflicts: 421000 | #Constraints: 45177 1290.71/1294.08 c #Conflicts: 422000 | #Constraints: 46177 1290.71/1294.08 c #Conflicts: 423000 | #Constraints: 47177 1290.71/1294.08 c #Conflicts: 424000 | #Constraints: 48177 1290.71/1294.08 c #Conflicts: 425000 | #Constraints: 49177 1290.71/1294.08 c INPROCESSING 1290.71/1294.08 c GARBAGE COLLECT 1290.71/1294.08 c rational objective 146 1351.25/1354.72 c #Conflicts: 426000 | #Constraints: 26290 1351.25/1354.72 c #Conflicts: 427000 | #Constraints: 27290 1351.25/1354.72 c #Conflicts: 428000 | #Constraints: 28290 1351.25/1354.72 c #Conflicts: 429000 | #Constraints: 29290 1351.25/1354.72 c #Conflicts: 430000 | #Constraints: 30290 1351.25/1354.72 c #Conflicts: 431000 | #Constraints: 31290 1351.25/1354.72 c #Conflicts: 432000 | #Constraints: 32290 1351.25/1354.72 c #Conflicts: 433000 | #Constraints: 33290 1351.25/1354.72 c #Conflicts: 434000 | #Constraints: 34290 1351.25/1354.72 c #Conflicts: 435000 | #Constraints: 35290 1351.25/1354.72 c #Conflicts: 436000 | #Constraints: 36290 1351.25/1354.72 c #Conflicts: 437000 | #Constraints: 37290 1351.25/1354.72 c #Conflicts: 438000 | #Constraints: 38290 1351.25/1354.72 c #Conflicts: 439000 | #Constraints: 39290 1351.25/1354.72 c #Conflicts: 440000 | #Constraints: 40290 1351.25/1354.72 c #Conflicts: 441000 | #Constraints: 41290 1351.25/1354.72 c INPROCESSING 1351.25/1354.72 c GARBAGE COLLECT 1351.25/1354.72 c rational objective 146 1569.52/1573.50 c #Conflicts: 442000 | #Constraints: 27145 1569.52/1573.50 c #Conflicts: 443000 | #Constraints: 28145 1569.52/1573.50 c #Conflicts: 444000 | #Constraints: 29145 1569.52/1573.50 c #Conflicts: 445000 | #Constraints: 30145 1569.52/1573.50 c #Conflicts: 446000 | #Constraints: 31145 1569.52/1573.50 c #Conflicts: 447000 | #Constraints: 32145 1569.52/1573.50 c #Conflicts: 448000 | #Constraints: 33145 1569.52/1573.50 c #Conflicts: 449000 | #Constraints: 34145 1569.52/1573.50 c #Conflicts: 450000 | #Constraints: 35145 1569.52/1573.50 c #Conflicts: 451000 | #Constraints: 36145 1569.52/1573.50 c #Conflicts: 452000 | #Constraints: 37145 1569.52/1573.50 c #Conflicts: 453000 | #Constraints: 38145 1569.52/1573.50 c #Conflicts: 454000 | #Constraints: 39145 1569.52/1573.50 c #Conflicts: 455000 | #Constraints: 40145 1569.52/1573.50 c #Conflicts: 456000 | #Constraints: 41145 1569.52/1573.50 c #Conflicts: 457000 | #Constraints: 42145 1569.52/1573.50 c #Conflicts: 458000 | #Constraints: 43145 1569.52/1573.50 c #Conflicts: 459000 | #Constraints: 44145 1569.52/1573.50 c #Conflicts: 460000 | #Constraints: 45145 1569.52/1573.50 c #Conflicts: 461000 | #Constraints: 46145 1569.52/1573.50 c #Conflicts: 462000 | #Constraints: 47145 1569.52/1573.50 c #Conflicts: 463000 | #Constraints: 48145 1569.52/1573.50 c #Conflicts: 464000 | #Constraints: 49145 1569.52/1573.50 c #Conflicts: 465000 | #Constraints: 50145 1569.52/1573.50 c #Conflicts: 466000 | #Constraints: 51145 1569.52/1573.50 c #Conflicts: 467000 | #Constraints: 52145 1569.52/1573.50 c #Conflicts: 468000 | #Constraints: 53145 1569.52/1573.50 c #Conflicts: 469000 | #Constraints: 54145 1569.52/1573.50 c #Conflicts: 470000 | #Constraints: 55145 1569.52/1573.50 c #Conflicts: 471000 | #Constraints: 56145 1569.52/1573.50 c #Conflicts: 472000 | #Constraints: 57145 1569.52/1573.50 c #Conflicts: 473000 | #Constraints: 58145 1569.52/1573.50 c #Conflicts: 474000 | #Constraints: 59145 1569.52/1573.50 c #Conflicts: 475000 | #Constraints: 60145 1569.52/1573.50 c #Conflicts: 476000 | #Constraints: 61145 1569.52/1573.50 c #Conflicts: 477000 | #Constraints: 62145 1569.52/1573.50 c #Conflicts: 478000 | #Constraints: 63145 1569.52/1573.50 c #Conflicts: 479000 | #Constraints: 64145 1569.52/1573.50 c #Conflicts: 480000 | #Constraints: 65145 1569.52/1573.50 c #Conflicts: 481000 | #Constraints: 66145 1569.52/1573.50 c #Conflicts: 482000 | #Constraints: 67145 1569.52/1573.50 c #Conflicts: 483000 | #Constraints: 68145 1569.52/1573.50 c #Conflicts: 484000 | #Constraints: 69145 1569.52/1573.50 c #Conflicts: 485000 | #Constraints: 70145 1569.52/1573.50 c #Conflicts: 486000 | #Constraints: 71145 1569.52/1573.50 c #Conflicts: 487000 | #Constraints: 72145 1569.52/1573.50 c #Conflicts: 488000 | #Constraints: 73145 1569.52/1573.50 c #Conflicts: 489000 | #Constraints: 74145 1569.52/1573.50 c INPROCESSING 1569.52/1573.50 c GARBAGE COLLECT 1569.52/1573.50 c rational objective 146 1715.13/1719.51 c #Conflicts: 490000 | #Constraints: 38481 1715.13/1719.51 c #Conflicts: 491000 | #Constraints: 39481 1715.13/1719.51 c #Conflicts: 492000 | #Constraints: 40481 1715.13/1719.51 c #Conflicts: 493000 | #Constraints: 41481 1715.13/1719.51 c #Conflicts: 494000 | #Constraints: 42481 1715.13/1719.51 c #Conflicts: 495000 | #Constraints: 43481 1715.13/1719.51 c #Conflicts: 496000 | #Constraints: 44481 1715.13/1719.51 c #Conflicts: 497000 | #Constraints: 45481 1715.13/1719.51 c #Conflicts: 498000 | #Constraints: 46481 1715.13/1719.51 c #Conflicts: 499000 | #Constraints: 47481 1715.13/1719.51 c #Conflicts: 500000 | #Constraints: 48481 1715.13/1719.51 c #Conflicts: 501000 | #Constraints: 49481 1715.13/1719.51 c #Conflicts: 502000 | #Constraints: 50481 1715.13/1719.51 c #Conflicts: 503000 | #Constraints: 51481 1715.13/1719.51 c #Conflicts: 504000 | #Constraints: 52481 1715.13/1719.51 c #Conflicts: 505000 | #Constraints: 53481 1715.13/1719.51 c #Conflicts: 506000 | #Constraints: 54481 1715.13/1719.51 c INPROCESSING 1715.13/1719.51 c GARBAGE COLLECT 1715.13/1719.51 c rational objective 146 2043.07/2048.43 c #Conflicts: 507000 | #Constraints: 28577 2043.07/2048.43 c #Conflicts: 508000 | #Constraints: 29577 2043.07/2048.43 c #Conflicts: 509000 | #Constraints: 30577 2043.07/2048.43 c #Conflicts: 510000 | #Constraints: 31577 2043.07/2048.43 c #Conflicts: 511000 | #Constraints: 32577 2043.07/2048.43 c #Conflicts: 512000 | #Constraints: 33577 2043.07/2048.43 c #Conflicts: 513000 | #Constraints: 34577 2043.07/2048.43 c #Conflicts: 514000 | #Constraints: 35577 2043.07/2048.43 c #Conflicts: 515000 | #Constraints: 36577 2043.07/2048.43 c #Conflicts: 516000 | #Constraints: 37577 2043.07/2048.43 c #Conflicts: 517000 | #Constraints: 38577 2043.07/2048.43 c #Conflicts: 518000 | #Constraints: 39577 2043.07/2048.43 c #Conflicts: 519000 | #Constraints: 40577 2043.07/2048.43 c #Conflicts: 520000 | #Constraints: 41577 2043.07/2048.43 c #Conflicts: 521000 | #Constraints: 42577 2043.07/2048.43 c #Conflicts: 522000 | #Constraints: 43577 2043.07/2048.43 c #Conflicts: 523000 | #Constraints: 44577 2043.07/2048.43 c #Conflicts: 524000 | #Constraints: 45577 2043.07/2048.43 c #Conflicts: 525000 | #Constraints: 46577 2043.07/2048.43 c #Conflicts: 526000 | #Constraints: 47577 2043.07/2048.43 c #Conflicts: 527000 | #Constraints: 48577 2043.07/2048.43 c #Conflicts: 528000 | #Constraints: 49577 2043.07/2048.43 c #Conflicts: 529000 | #Constraints: 50577 2043.07/2048.43 c #Conflicts: 530000 | #Constraints: 51577 2043.07/2048.43 c #Conflicts: 531000 | #Constraints: 52577 2043.07/2048.43 c #Conflicts: 532000 | #Constraints: 53577 2043.07/2048.43 c #Conflicts: 533000 | #Constraints: 54577 2043.07/2048.43 c #Conflicts: 534000 | #Constraints: 55577 2043.07/2048.43 c #Conflicts: 535000 | #Constraints: 56577 2043.07/2048.43 c #Conflicts: 536000 | #Constraints: 57577 2043.07/2048.43 c #Conflicts: 537000 | #Constraints: 58577 2043.07/2048.43 c #Conflicts: 538000 | #Constraints: 59577 2043.07/2048.43 c #Conflicts: 539000 | #Constraints: 60577 2043.07/2048.43 c #Conflicts: 540000 | #Constraints: 61577 2043.07/2048.43 c #Conflicts: 541000 | #Constraints: 62577 2043.07/2048.43 c #Conflicts: 542000 | #Constraints: 63577 2043.07/2048.43 c #Conflicts: 543000 | #Constraints: 64577 2043.07/2048.43 c #Conflicts: 544000 | #Constraints: 65577 2043.07/2048.43 c #Conflicts: 545000 | #Constraints: 66577 2043.07/2048.43 c #Conflicts: 546000 | #Constraints: 67577 2043.07/2048.43 c #Conflicts: 547000 | #Constraints: 68577 2043.07/2048.43 c #Conflicts: 548000 | #Constraints: 69577 2043.07/2048.43 c #Conflicts: 549000 | #Constraints: 70577 2043.07/2048.43 c #Conflicts: 550000 | #Constraints: 71577 2043.07/2048.43 c #Conflicts: 551000 | #Constraints: 72577 2043.07/2048.43 c #Conflicts: 552000 | #Constraints: 73577 2043.07/2048.43 c #Conflicts: 553000 | #Constraints: 74577 2043.07/2048.43 c #Conflicts: 554000 | #Constraints: 75577 2043.07/2048.43 c #Conflicts: 555000 | #Constraints: 76577 2043.07/2048.43 c #Conflicts: 556000 | #Constraints: 77577 2043.07/2048.43 c #Conflicts: 557000 | #Constraints: 78577 2043.07/2048.43 c #Conflicts: 558000 | #Constraints: 79577 2043.07/2048.43 c INPROCESSING 2043.07/2048.43 c GARBAGE COLLECT 2043.07/2048.43 c rational objective 146 2122.46/2128.00 c #Conflicts: 559000 | #Constraints: 41284 2122.46/2128.00 c #Conflicts: 560000 | #Constraints: 42284 2122.46/2128.00 c #Conflicts: 561000 | #Constraints: 43284 2122.46/2128.00 c #Conflicts: 562000 | #Constraints: 44284 2122.46/2128.00 c #Conflicts: 563000 | #Constraints: 45284 2122.46/2128.00 c #Conflicts: 564000 | #Constraints: 46284 2122.46/2128.00 c #Conflicts: 565000 | #Constraints: 47284 2122.46/2128.00 c #Conflicts: 566000 | #Constraints: 48284 2122.46/2128.00 c #Conflicts: 567000 | #Constraints: 49284 2122.46/2128.00 c #Conflicts: 568000 | #Constraints: 50284 2122.46/2128.00 c #Conflicts: 569000 | #Constraints: 51284 2122.46/2128.00 c #Conflicts: 570000 | #Constraints: 52284 2122.46/2128.00 c #Conflicts: 571000 | #Constraints: 53284 2122.46/2128.00 c #Conflicts: 572000 | #Constraints: 54284 2122.46/2128.00 c #Conflicts: 573000 | #Constraints: 55284 2122.46/2128.00 c #Conflicts: 574000 | #Constraints: 56284 2122.46/2128.00 c #Conflicts: 575000 | #Constraints: 57284 2122.46/2128.00 c #Conflicts: 576000 | #Constraints: 58284 2122.46/2128.00 c #Conflicts: 577000 | #Constraints: 59284 2122.46/2128.00 c INPROCESSING 2122.46/2128.00 c GARBAGE COLLECT 2122.46/2128.00 c rational objective 146 2489.13/2495.74 c #Conflicts: 578000 | #Constraints: 34271 2489.13/2495.74 c #Conflicts: 579000 | #Constraints: 35271 2489.13/2495.74 c #Conflicts: 580000 | #Constraints: 36271 2489.13/2495.74 c #Conflicts: 581000 | #Constraints: 37271 2489.13/2495.74 c #Conflicts: 582000 | #Constraints: 38271 2489.13/2495.74 c #Conflicts: 583000 | #Constraints: 39271 2489.13/2495.74 c #Conflicts: 584000 | #Constraints: 40271 2489.13/2495.74 c #Conflicts: 585000 | #Constraints: 41271 2489.13/2495.74 c #Conflicts: 586000 | #Constraints: 42271 2489.13/2495.74 c #Conflicts: 587000 | #Constraints: 43271 2489.13/2495.74 c #Conflicts: 588000 | #Constraints: 44271 2489.13/2495.74 c #Conflicts: 589000 | #Constraints: 45271 2489.13/2495.74 c #Conflicts: 590000 | #Constraints: 46271 2489.13/2495.74 c #Conflicts: 591000 | #Constraints: 47271 2489.13/2495.74 c #Conflicts: 592000 | #Constraints: 48271 2489.13/2495.74 c #Conflicts: 593000 | #Constraints: 49271 2489.13/2495.74 c #Conflicts: 594000 | #Constraints: 50271 2489.13/2495.74 c #Conflicts: 595000 | #Constraints: 51271 2489.13/2495.74 c #Conflicts: 596000 | #Constraints: 52271 2489.13/2495.74 c #Conflicts: 597000 | #Constraints: 53271 2489.13/2495.74 c #Conflicts: 598000 | #Constraints: 54271 2489.13/2495.74 c #Conflicts: 599000 | #Constraints: 55271 2489.13/2495.74 c #Conflicts: 600000 | #Constraints: 56271 2489.13/2495.74 c #Conflicts: 601000 | #Constraints: 57271 2489.13/2495.74 c #Conflicts: 602000 | #Constraints: 58271 2489.13/2495.74 c #Conflicts: 603000 | #Constraints: 59271 2489.13/2495.74 c #Conflicts: 604000 | #Constraints: 60271 2489.13/2495.74 c #Conflicts: 605000 | #Constraints: 61271 2489.13/2495.74 c #Conflicts: 606000 | #Constraints: 62271 2489.13/2495.74 c #Conflicts: 607000 | #Constraints: 63271 2489.13/2495.74 c #Conflicts: 608000 | #Constraints: 64271 2489.13/2495.74 c #Conflicts: 609000 | #Constraints: 65271 2489.13/2495.74 c #Conflicts: 610000 | #Constraints: 66271 2489.13/2495.74 c #Conflicts: 611000 | #Constraints: 67271 2489.13/2495.74 c #Conflicts: 612000 | #Constraints: 68271 2489.13/2495.74 c #Conflicts: 613000 | #Constraints: 69271 2489.13/2495.74 c #Conflicts: 614000 | #Constraints: 70271 2489.13/2495.74 c #Conflicts: 615000 | #Constraints: 71271 2489.13/2495.74 c #Conflicts: 616000 | #Constraints: 72271 2489.13/2495.74 c #Conflicts: 617000 | #Constraints: 73271 2489.13/2495.74 c #Conflicts: 618000 | #Constraints: 74271 2489.13/2495.74 c #Conflicts: 619000 | #Constraints: 75271 2489.13/2495.74 c #Conflicts: 620000 | #Constraints: 76271 2489.13/2495.74 c #Conflicts: 621000 | #Constraints: 77271 2489.13/2495.74 c #Conflicts: 622000 | #Constraints: 78271 2489.13/2495.74 c #Conflicts: 623000 | #Constraints: 79271 2489.13/2495.74 c #Conflicts: 624000 | #Constraints: 80271 2489.13/2495.74 c #Conflicts: 625000 | #Constraints: 81271 2489.13/2495.74 c #Conflicts: 626000 | #Constraints: 82271 2489.13/2495.74 c #Conflicts: 627000 | #Constraints: 83271 2489.13/2495.74 c #Conflicts: 628000 | #Constraints: 84271 2489.13/2495.74 c #Conflicts: 629000 | #Constraints: 85271 2489.13/2495.74 c #Conflicts: 630000 | #Constraints: 86271 2489.13/2495.74 c #Conflicts: 631000 | #Constraints: 87271 2489.13/2495.74 c #Conflicts: 632000 | #Constraints: 88271 2489.13/2495.74 c INPROCESSING 2489.13/2495.74 c GARBAGE COLLECT 2489.13/2495.74 c rational objective 146 2692.71/2699.89 c #Conflicts: 633000 | #Constraints: 45846 2692.71/2699.89 c #Conflicts: 634000 | #Constraints: 46846 2692.71/2699.89 c #Conflicts: 635000 | #Constraints: 47846 2692.71/2699.89 c #Conflicts: 636000 | #Constraints: 48846 2692.71/2699.89 c #Conflicts: 637000 | #Constraints: 49846 2692.71/2699.89 c #Conflicts: 638000 | #Constraints: 50846 2692.71/2699.89 c #Conflicts: 639000 | #Constraints: 51846 2692.71/2699.89 c #Conflicts: 640000 | #Constraints: 52846 2692.71/2699.89 c #Conflicts: 641000 | #Constraints: 53846 2692.71/2699.89 c #Conflicts: 642000 | #Constraints: 54846 2692.71/2699.89 c #Conflicts: 643000 | #Constraints: 55846 2692.71/2699.89 c #Conflicts: 644000 | #Constraints: 56846 2692.71/2699.89 c #Conflicts: 645000 | #Constraints: 57846 2692.71/2699.89 c #Conflicts: 646000 | #Constraints: 58846 2692.71/2699.89 c #Conflicts: 647000 | #Constraints: 59846 2692.71/2699.89 c #Conflicts: 648000 | #Constraints: 60846 2692.71/2699.89 c #Conflicts: 649000 | #Constraints: 61846 2692.71/2699.89 c #Conflicts: 650000 | #Constraints: 62846 2692.71/2699.89 c #Conflicts: 651000 | #Constraints: 63846 2692.71/2699.89 c INPROCESSING 2692.71/2699.89 c GARBAGE COLLECT 2692.71/2699.89 c rational objective 146 3200.54/3208.96 c #Conflicts: 652000 | #Constraints: 35837 3200.54/3208.96 c #Conflicts: 653000 | #Constraints: 36837 3200.54/3208.96 c #Conflicts: 654000 | #Constraints: 37837 3200.54/3208.96 c #Conflicts: 655000 | #Constraints: 38837 3200.54/3208.96 c #Conflicts: 656000 | #Constraints: 39837 3200.54/3208.96 c #Conflicts: 657000 | #Constraints: 40837 3200.54/3208.96 c #Conflicts: 658000 | #Constraints: 41837 3200.54/3208.96 c #Conflicts: 659000 | #Constraints: 42837 3200.54/3208.96 c #Conflicts: 660000 | #Constraints: 43837 3200.54/3208.96 c #Conflicts: 661000 | #Constraints: 44837 3200.54/3208.96 c #Conflicts: 662000 | #Constraints: 45837 3200.54/3208.96 c #Conflicts: 663000 | #Constraints: 46837 3200.54/3208.96 c #Conflicts: 664000 | #Constraints: 47837 3200.54/3208.96 c #Conflicts: 665000 | #Constraints: 48837 3200.54/3208.96 c #Conflicts: 666000 | #Constraints: 49837 3200.54/3208.96 c #Conflicts: 667000 | #Constraints: 50837 3200.54/3208.96 c #Conflicts: 668000 | #Constraints: 51837 3200.54/3208.96 c #Conflicts: 669000 | #Constraints: 52837 3200.54/3208.96 c #Conflicts: 670000 | #Constraints: 53837 3200.54/3208.96 c #Conflicts: 671000 | #Constraints: 54837 3200.54/3208.96 c #Conflicts: 672000 | #Constraints: 55837 3200.54/3208.96 c #Conflicts: 673000 | #Constraints: 56837 3200.54/3208.96 c #Conflicts: 674000 | #Constraints: 57837 3200.54/3208.96 c #Conflicts: 675000 | #Constraints: 58837 3200.54/3208.96 c #Conflicts: 676000 | #Constraints: 59837 3200.54/3208.96 c #Conflicts: 677000 | #Constraints: 60837 3200.54/3208.96 c #Conflicts: 678000 | #Constraints: 61837 3200.54/3208.96 c #Conflicts: 679000 | #Constraints: 62837 3200.54/3208.96 c #Conflicts: 680000 | #Constraints: 63837 3200.54/3208.96 c #Conflicts: 681000 | #Constraints: 64837 3200.54/3208.96 c #Conflicts: 682000 | #Constraints: 65837 3200.54/3208.96 c #Conflicts: 683000 | #Constraints: 66837 3200.54/3208.96 c #Conflicts: 684000 | #Constraints: 67837 3200.54/3208.96 c #Conflicts: 685000 | #Constraints: 68837 3200.54/3208.96 c #Conflicts: 686000 | #Constraints: 69837 3200.54/3208.96 c #Conflicts: 687000 | #Constraints: 70837 3200.54/3208.96 c #Conflicts: 688000 | #Constraints: 71837 3200.54/3208.96 c #Conflicts: 689000 | #Constraints: 72837 3200.54/3208.96 c #Conflicts: 690000 | #Constraints: 73837 3200.54/3208.96 c #Conflicts: 691000 | #Constraints: 74837 3200.54/3208.96 c #Conflicts: 692000 | #Constraints: 75837 3200.54/3208.96 c #Conflicts: 693000 | #Constraints: 76837 3200.54/3208.96 c #Conflicts: 694000 | #Constraints: 77837 3200.54/3208.96 c #Conflicts: 695000 | #Constraints: 78837 3200.54/3208.96 c #Conflicts: 696000 | #Constraints: 79837 3200.54/3208.96 c #Conflicts: 697000 | #Constraints: 80837 3200.54/3208.96 c #Conflicts: 698000 | #Constraints: 81837 3200.54/3208.96 c #Conflicts: 699000 | #Constraints: 82837 3200.54/3208.96 c #Conflicts: 700000 | #Constraints: 83837 3200.54/3208.96 c #Conflicts: 701000 | #Constraints: 84837 3200.54/3208.96 c #Conflicts: 702000 | #Constraints: 85837 3200.54/3208.96 c #Conflicts: 703000 | #Constraints: 86837 3200.54/3208.96 c #Conflicts: 704000 | #Constraints: 87837 3200.54/3208.96 c #Conflicts: 705000 | #Constraints: 88837 3200.54/3208.96 c #Conflicts: 706000 | #Constraints: 89837 3200.54/3208.96 c #Conflicts: 707000 | #Constraints: 90837 3200.54/3208.96 c #Conflicts: 708000 | #Constraints: 91837 3200.54/3208.96 c #Conflicts: 709000 | #Constraints: 92837 3200.54/3208.96 c INPROCESSING 3200.54/3208.96 c GARBAGE COLLECT 3200.54/3208.96 c rational objective 146 3279.53/3288.14 c #Conflicts: 710000 | #Constraints: 47819 3279.53/3288.14 c #Conflicts: 711000 | #Constraints: 48819 3279.53/3288.14 c #Conflicts: 712000 | #Constraints: 49819 3279.53/3288.14 c #Conflicts: 713000 | #Constraints: 50819 3279.53/3288.14 c #Conflicts: 714000 | #Constraints: 51819 3279.53/3288.14 c #Conflicts: 715000 | #Constraints: 52819 3279.53/3288.14 c #Conflicts: 716000 | #Constraints: 53819 3279.53/3288.14 c #Conflicts: 717000 | #Constraints: 54819 3279.53/3288.14 c #Conflicts: 718000 | #Constraints: 55819 3279.53/3288.14 c #Conflicts: 719000 | #Constraints: 56819 3279.53/3288.14 c #Conflicts: 720000 | #Constraints: 57819 3279.53/3288.14 c #Conflicts: 721000 | #Constraints: 58819 3279.53/3288.14 c #Conflicts: 722000 | #Constraints: 59819 3279.53/3288.14 c #Conflicts: 723000 | #Constraints: 60819 3279.53/3288.14 c #Conflicts: 724000 | #Constraints: 61819 3279.53/3288.14 c #Conflicts: 725000 | #Constraints: 62819 3279.53/3288.14 c #Conflicts: 726000 | #Constraints: 63819 3279.53/3288.14 c #Conflicts: 727000 | #Constraints: 64819 3279.53/3288.14 c #Conflicts: 728000 | #Constraints: 65819 3279.53/3288.14 c #Conflicts: 729000 | #Constraints: 66819 3279.53/3288.14 c #Conflicts: 730000 | #Constraints: 67819 3279.53/3288.14 c #Conflicts: 731000 | #Constraints: 68819 3279.53/3288.14 c INPROCESSING 3279.53/3288.14 c GARBAGE COLLECT 3279.53/3288.14 c rational objective 146 3600.00/3609.40 c #Conflicts: 732000 | #Constraints: 42648 3600.00/3609.40 c #Conflicts: 733000 | #Constraints: 43648 3600.00/3609.40 c #Conflicts: 734000 | #Constraints: 44648 3600.00/3609.40 c #Conflicts: 735000 | #Constraints: 45648 3600.00/3609.40 c #Conflicts: 736000 | #Constraints: 46648 3600.00/3609.40 c #Conflicts: 737000 | #Constraints: 47648 3600.00/3609.40 c #Conflicts: 738000 | #Constraints: 48648 3600.00/3609.40 c #Conflicts: 739000 | #Constraints: 49648 3600.00/3609.40 c #Conflicts: 740000 | #Constraints: 50648 3600.00/3609.40 c #Conflicts: 741000 | #Constraints: 51648 3600.00/3609.40 c #Conflicts: 742000 | #Constraints: 52648 3600.00/3609.40 c #Conflicts: 743000 | #Constraints: 53648 3600.00/3609.40 c #Conflicts: 744000 | #Constraints: 54648 3600.00/3609.40 c #Conflicts: 745000 | #Constraints: 55648 3600.00/3609.40 c #Conflicts: 746000 | #Constraints: 56648 3600.00/3609.40 c #Conflicts: 747000 | #Constraints: 57648 3600.00/3609.40 c #Conflicts: 748000 | #Constraints: 58648 3600.00/3609.40 c #Conflicts: 749000 | #Constraints: 59648 3600.00/3609.40 c #Conflicts: 750000 | #Constraints: 60648 3600.00/3609.40 c #Conflicts: 751000 | #Constraints: 61648 3600.00/3609.40 c #Conflicts: 752000 | #Constraints: 62648 3600.00/3609.40 c #Conflicts: 753000 | #Constraints: 63648 3600.00/3609.40 c #Conflicts: 754000 | #Constraints: 64648 3600.00/3609.40 c #Conflicts: 755000 | #Constraints: 65648 3600.00/3609.40 c #Conflicts: 756000 | #Constraints: 66648 3600.00/3609.40 c #Conflicts: 757000 | #Constraints: 67648 3600.00/3609.40 c #Conflicts: 758000 | #Constraints: 68648 3600.00/3609.40 c #Conflicts: 759000 | #Constraints: 69648 3600.00/3609.40 c #Conflicts: 760000 | #Constraints: 70648 3600.00/3609.40 c #Conflicts: 761000 | #Constraints: 71648 3600.00/3609.40 c #Conflicts: 762000 | #Constraints: 72648 3600.00/3609.40 c #Conflicts: 763000 | #Constraints: 73648 3600.00/3609.40 c #Conflicts: 764000 | #Constraints: 74648 3600.00/3609.40 c #Conflicts: 765000 | #Constraints: 75648 3600.00/3609.40 c #Conflicts: 766000 | #Constraints: 76648 3600.00/3609.40 c #Conflicts: 767000 | #Constraints: 77648 3600.00/3609.40 c #Conflicts: 768000 | #Constraints: 78648 3600.00/3609.40 c #Conflicts: 769000 | #Constraints: 79648 3600.00/3609.40 c #Conflicts: 770000 | #Constraints: 80648 3600.00/3609.40 c #Conflicts: 771000 | #Constraints: 81648 3600.00/3609.40 c #Conflicts: 772000 | #Constraints: 82648 3600.00/3609.40 c #Conflicts: 773000 | #Constraints: 83648 3600.00/3609.40 c #Conflicts: 774000 | #Constraints: 84648 3600.00/3609.40 c #Conflicts: 775000 | #Constraints: 85648 3600.00/3609.40 c #Conflicts: 776000 | #Constraints: 86648 3600.00/3609.40 c #Conflicts: 777000 | #Constraints: 87648 3600.00/3609.40 c #Conflicts: 778000 | #Constraints: 88648 3600.00/3609.40 c #Conflicts: 779000 | #Constraints: 89648 3600.00/3609.40 c #Conflicts: 780000 | #Constraints: 90648 3600.00/3609.40 c #Conflicts: 781000 | #Constraints: 91648 3600.00/3609.40 c #Conflicts: 782000 | #Constraints: 92648 3600.00/3609.40 c #Conflicts: 783000 | #Constraints: 93648 3600.00/3609.40 c #Conflicts: 784000 | #Constraints: 94648 3600.00/3609.40 c #Conflicts: 785000 | #Constraints: 95648 3600.00/3609.40 c Program interrupted by user. 3600.00/3609.40 c cpu time 3581.89 s 3600.00/3609.40 c deterministic time 354028857858 3.54e+11 3600.00/3609.40 c optimization time 319.311 s 3600.00/3609.40 c total solve time 3262.57 s 3600.00/3609.40 c core-guided solve time 2020.04 s 3600.00/3609.40 c propagation time 3097.09 s 3600.00/3609.40 c conflict analysis time 455.637 s 3600.00/3609.40 c propagations 106266470 3600.00/3609.40 c resolve steps 6614462 3600.00/3609.40 c decisions 5658637 3600.00/3609.40 c conflicts 785091 3600.00/3609.40 c restarts 1660 3600.00/3609.40 c inprocessing phases 43 3600.00/3609.40 c input clauses 301 3600.00/3609.40 c input cardinalities 331 3600.00/3609.40 c input general constraints 866 3600.00/3609.40 c input average constraint length 64.36 3600.00/3609.40 c input average constraint degree 24.62 3600.00/3609.40 c learned clauses 271848 3600.00/3609.40 c learned cardinalities 4700 3600.00/3609.40 c learned general constraints 508557 3600.00/3609.40 c learned average constraint length 190.26 3600.00/3609.40 c learned average constraint degree 6959927.88 3600.00/3609.40 c watched constraints 348063 3600.00/3609.40 c counting constraints 161360 3600.00/3609.40 c gcd simplifications 99958 3600.00/3609.40 c detected cardinalities 2078 3600.00/3609.40 c weakened non-implied lits 31227495 3600.00/3609.40 c weakened non-implying lits 69284 3600.00/3609.40 c original variables 465 3600.00/3609.40 c clausal propagations 10920924 3600.00/3609.40 c cardinality propagations 6266288 3600.00/3609.40 c watched propagations 16411366 3600.00/3609.40 c counting propagations 71157743 3600.00/3609.40 c watch lookups 61120839495 3600.00/3609.40 c watch backjump lookups 54305901691 3600.00/3609.40 c watch checks 218511283964 3600.00/3609.40 c propagation checks 19275953092 3600.00/3609.40 c constraint additions 589447699 3600.00/3609.40 c trail pops 112709538 3600.00/3609.40 c formula constraints 465 3600.00/3609.40 c learned constraints 785101 3600.00/3609.40 c bound constraints 186 3600.00/3609.40 c core-guided constraints 847 3600.00/3609.40 c encountered formula constraints 1211603 3600.00/3609.40 c encountered learned constraints 5277798 3600.00/3609.40 c encountered bound constraints 71 3600.00/3609.40 c encountered core-guided constraints 910073 3600.00/3609.40 c LP total time 34.2901 s 3600.00/3609.40 c LP solve time 33.37 s 3600.00/3609.40 c LP constraints added 465 3600.00/3609.40 c LP constraints removed 0 3600.00/3609.40 c LP pivots internal 785123 3600.00/3609.40 c LP pivots root 12148 3600.00/3609.40 c LP calls 17133 3600.00/3609.40 c LP optimalities 17129 3600.00/3609.40 c LP no pivot count 1692 3600.00/3609.40 c LP infeasibilities 2 3600.00/3609.40 c LP valid Farkas constraints 2 3600.00/3609.40 c LP learned Farkas constraints 2 3600.00/3609.40 c LP basis resets 0 3600.00/3609.40 c LP cycling count 0 3600.00/3609.40 c LP singular count 0 3600.00/3609.40 c LP no primal count 0 3600.00/3609.40 c LP no farkas count 0 3600.00/3609.40 c LP other issue count 0 3600.00/3609.40 c LP Gomory cuts 0 3600.00/3609.40 c LP learned cuts 0 3600.00/3609.40 c LP deleted cuts 0 3600.00/3609.40 c LP encountered Gomory constraints 0 3600.00/3609.40 c LP encountered Farkas constraints 5 3600.00/3609.40 c LP encountered learned Farkas constraints 1 3600.00/3609.40 c CG auxiliary variables introduced 331 3600.00/3609.40 c CG solutions found 40 3600.00/3609.40 c CG cores constructed 146 3600.00/3609.40 c CG core cardinality constraints returned 0 3600.00/3609.40 c CG unit cores 0 3600.00/3609.40 c CG single cores 146 3600.00/3609.40 c CG blocks removed during cardinality reduction 0 3600.00/3609.40 c CG first core best 0 3600.00/3609.40 c CG decision core best 0 3600.00/3609.40 c CG core reduction tie 0 3600.00/3609.40 c CG core degree average 1.00 3600.00/3609.40 c CG core slack average 3.95 3600.00/3609.40 s SATISFIABLE 3600.00/3609.40 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 -x23 -x24 x25 x26 -x27 -x28 -x29 x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 -x81 x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 x104 -x105 -x106 -x107 x108 -x109 x110 -x111 -x112 x113 x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 x133 -x134 x135 -x136 -x137 x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 -x169 x170 x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 -x185 x186 x187 -x188 x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 x204 -x205 -x206 -x207 x208 -x209 -x210 x211 -x212 -x213 x214 -x215 x216 x217 x218 -x219 x220 x221 -x222 -x223 x224 -x225 -x226 x227 x228 -x229 x230 x231 -x232 x233 -x234 x235 x236 x237 -x238 -x239 x240 -x241 x242 -x243 x244 -x245 -x246 -x247 x248 x249 -x250 -x251 x252 -x253 x254 x255 x256 x257 -x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 x274 -x275 x276 x277 x278 x279 -x280 x281 x282 x283 x284 -x285 x286 -x287 x288 -x289 -x290 x291 x292 x293 -x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 x304 -x305 -x306 -x307 -x308 x309 -x310 x311 x312 x313 x314 x315 x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 x335 x336 -x337 x338 x339 -x340 -x341 -x342 x343 x344 x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 x355 -x356 x357 x358 x359 x360 -x361 x362 -x363 -x364 x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 x379 -x380 x381 x382 -x383 -x384 x385 -x386 x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 x398 -x399 -x400 -x401 -x402 x403 x404 x405 x406 x407 -x408 x409 -x410 -x411 -x412 x413 x414 x415 x416 x417 -x418 x419 x420 x421 -x422 -x423 -x424 -x425 x426 -x427 x428 -x429 x430 x431 x432 x433 -x434 -x435 x436 x437 x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 x450 x451 -x452 x453 x454 x455 -x456 -x457 -x458 x459 x460 x461 -x462 x463 x464 x465
OK 190
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (26211 MiB free)
memory of node 1: 64473 MiB (17140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456751-1721769317/watcher-4456751-1721769317 -o /tmp/evaluation-result-4456751-1721769317/solver-4456751-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125872 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456751-1721769317 --lp-cut-gomory=0 HOME/instance-4456751-1721769317.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=127844, runsolver pid=127841
[startup+0.100089 s]*
/proc/loadavg: 4.10 4.11 4.09 5/256 127851
/proc/meminfo: memFree=44383696/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=38840 memory=8740 CPUtime=0.08 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 658 0 0 0 8 0 0 0 20 0 1 0 13459949 39772160 2185 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 9710 2185 1759 992 0 1568 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 8740 KiB
[startup+0.205702 s]*
/proc/loadavg: 4.10 4.11 4.09 5/255 127851
/proc/meminfo: memFree=44379176/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=40636 memory=11268 CPUtime=0.18 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 1287 0 0 0 17 1 0 0 20 0 1 0 13459949 41611264 2817 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 10159 2817 1806 992 0 2017 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40636 KiB
Current children cumulated memory: 11268 KiB
[startup+0.305663 s]*
/proc/loadavg: 4.10 4.11 4.09 4/253 127862
/proc/meminfo: memFree=44389776/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=41164 memory=14104 CPUtime=0.28 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 1455 0 0 0 25 3 0 0 20 0 1 0 13459949 42151936 3526 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 10291 3526 1806 992 0 2149 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 14104 KiB
[startup+0.700198 s]
/proc/loadavg: 4.10 4.11 4.09 6/259 127877
/proc/meminfo: memFree=44377552/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=43600 memory=16536 CPUtime=0.67 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 2049 0 0 0 60 7 0 0 20 0 1 0 13459949 44646400 4134 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 10900 4134 1821 992 0 2758 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43600 KiB
Current children cumulated memory: 16536 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 127891
/proc/meminfo: memFree=46472284/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=45400 memory=19352 CPUtime=1.47 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 2707 0 0 0 135 12 0 0 20 0 1 0 13459949 46489600 4838 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 11350 4838 1872 992 0 3208 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45400 KiB
Current children cumulated memory: 19352 KiB
[startup+3.10465 s]
/proc/loadavg: 4.10 4.11 4.09 6/257 127923
/proc/meminfo: memFree=53883196/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=49920 memory=21820 CPUtime=3.07 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 3323 0 0 0 286 21 0 0 20 0 1 0 13459949 51118080 5455 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 12480 5455 1872 992 0 4338 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 49920 KiB
Current children cumulated memory: 21820 KiB
[startup+6.3013 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53780168/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=71284 memory=41000 CPUtime=6.25 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 6622 0 0 0 591 34 0 0 20 0 1 0 13459949 72994816 10250 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 17821 10250 1872 992 0 9679 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 71284 KiB
Current children cumulated memory: 41000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 127971
/proc/meminfo: memFree=53625900/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=78836 memory=50484 CPUtime=12.63 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 8335 0 0 0 1211 52 0 0 20 0 1 0 13459949 80728064 12621 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 19709 12621 1872 992 0 11567 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 78836 KiB
Current children cumulated memory: 50484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 127972
/proc/meminfo: memFree=53352888/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=105280 memory=74828 CPUtime=25.4 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 11228 0 0 0 2458 82 0 0 20 0 1 0 13459949 107806720 18707 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 26320 18707 1872 992 0 18178 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 105280 KiB
Current children cumulated memory: 74828 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 127977
/proc/meminfo: memFree=53042824/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=127120 memory=79248 CPUtime=50.94 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 12358 0 0 0 4970 124 0 0 20 0 1 0 13459949 130170880 19812 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 31780 19812 1872 992 0 23638 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 127120 KiB
Current children cumulated memory: 79248 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 127986
/proc/meminfo: memFree=52565228/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=131812 memory=82572 CPUtime=102 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 13485 0 0 0 10003 197 0 0 20 0 1 0 13459949 134975488 20643 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 32953 20643 1872 992 0 24811 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 131812 KiB
Current children cumulated memory: 82572 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 127996
/proc/meminfo: memFree=52166748/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=151204 memory=107212 CPUtime=161.86 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 17230 0 0 0 15911 275 0 0 20 0 1 0 13459949 154832896 26803 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 37801 26803 1872 992 0 29659 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 151204 KiB
Current children cumulated memory: 107212 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 128006
/proc/meminfo: memFree=51862600/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=152116 memory=112224 CPUtime=221.71 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 17508 0 0 0 21835 336 0 0 20 0 1 0 13459949 155766784 28056 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 38029 28056 1872 992 0 29887 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 152116 KiB
Current children cumulated memory: 112224 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 128016
/proc/meminfo: memFree=51486520/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=197372 memory=135348 CPUtime=281.55 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 21254 0 0 0 27755 400 0 0 20 0 1 0 13459949 202108928 33837 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 49343 33837 1888 992 0 41201 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 197372 KiB
Current children cumulated memory: 135348 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 128031
/proc/meminfo: memFree=51196960/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=216604 memory=169528 CPUtime=341.4 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 25291 0 0 0 33710 430 0 0 20 0 1 0 13459949 221802496 42382 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 54151 42382 1888 992 0 46009 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 216604 KiB
Current children cumulated memory: 169528 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 128043
/proc/meminfo: memFree=50926420/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=216604 memory=169528 CPUtime=401.25 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 25327 0 0 0 39658 467 0 0 20 0 1 0 13459949 221802496 42382 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 54151 42382 1888 992 0 46009 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 216604 KiB
Current children cumulated memory: 169528 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/257 128053
/proc/meminfo: memFree=50618212/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=216604 memory=170000 CPUtime=461.11 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 25456 0 0 0 45588 523 0 0 20 0 1 0 13459949 221802496 42500 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 54151 42500 1888 992 0 46009 0
################
# More data... #
################
Current children cumulated memory: 353992 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 129673
/proc/meminfo: memFree=44878704/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=473824 memory=353992 CPUtime=2854.82 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 52165 0 0 0 283907 1575 0 0 20 0 1 0 13459949 485195776 88498 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 118456 88498 1888 992 0 110314 0
Current children cumulated CPU time: 2854.82 s
Current children cumulated vsize: 473824 KiB
Current children cumulated memory: 353992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.41 4.20 4.12 5/257 129683
/proc/meminfo: memFree=44788796/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=473824 memory=353992 CPUtime=2914.67 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 52274 0 0 0 289873 1594 0 0 20 0 1 0 13459949 485195776 88498 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 118456 88498 1888 992 0 110314 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 473824 KiB
Current children cumulated memory: 353992 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/256 129693
/proc/meminfo: memFree=44702576/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=473824 memory=354008 CPUtime=2974.51 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 52386 0 0 0 295840 1611 0 0 20 0 1 0 13459949 485195776 88502 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 118456 88502 1888 992 0 110314 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 473824 KiB
Current children cumulated memory: 354008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/255 129706
/proc/meminfo: memFree=44584472/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=473824 memory=354024 CPUtime=3034.36 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 52498 0 0 0 301810 1626 0 0 20 0 1 0 13459949 485195776 88506 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 118456 88506 1888 992 0 110314 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 473824 KiB
Current children cumulated memory: 354024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.15 4.11 5/255 129716
/proc/meminfo: memFree=44479968/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=473824 memory=354040 CPUtime=3094.2 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 52612 0 0 0 307782 1638 0 0 20 0 1 0 13459949 485195776 88510 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 118456 88510 1888 992 0 110314 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 473824 KiB
Current children cumulated memory: 354040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 129741
/proc/meminfo: memFree=44375352/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=474592 memory=354320 CPUtime=3154.06 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 52829 0 0 0 313755 1651 0 0 20 0 1 0 13459949 485982208 88580 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 118648 88580 1888 992 0 110506 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 474592 KiB
Current children cumulated memory: 354320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 129978
/proc/meminfo: memFree=44275160/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=477008 memory=355916 CPUtime=3213.9 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 53677 0 0 0 319721 1669 0 0 20 0 1 0 13459949 488456192 88979 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 119252 88979 1888 992 0 111110 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 477008 KiB
Current children cumulated memory: 355916 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 129988
/proc/meminfo: memFree=44172556/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=477152 memory=355944 CPUtime=3273.74 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 53830 0 0 0 325678 1696 0 0 20 0 1 0 13459949 488603648 88986 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 119288 88986 1888 992 0 111146 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 477152 KiB
Current children cumulated memory: 355944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 130289
/proc/meminfo: memFree=44118936/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=477736 memory=356576 CPUtime=3333.59 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 54080 0 0 0 331630 1729 0 0 20 0 1 0 13459949 489201664 89144 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 119434 89144 1888 992 0 111292 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 477736 KiB
Current children cumulated memory: 356576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 130302
/proc/meminfo: memFree=43993668/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=477736 memory=356576 CPUtime=3393.44 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 54211 0 0 0 337590 1754 0 0 20 0 1 0 13459949 489201664 89144 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 119434 89144 1888 992 0 111292 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 477736 KiB
Current children cumulated memory: 356576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 130312
/proc/meminfo: memFree=43878096/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=478680 memory=369516 CPUtime=3453.28 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 54491 0 0 0 343553 1775 0 0 20 0 1 0 13459949 490168320 92379 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 119670 92379 1888 992 0 111528 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 369516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 130323
/proc/meminfo: memFree=43805488/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=480196 memory=370512 CPUtime=3513.13 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 54886 0 0 0 349524 1789 0 0 20 0 1 0 13459949 491720704 92628 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 120049 92628 1888 992 0 111907 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 480196 KiB
Current children cumulated memory: 370512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 130334
/proc/meminfo: memFree=43725576/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=488540 memory=379172 CPUtime=3572.97 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 56263 0 0 0 355493 1804 0 0 20 0 1 0 13459949 500264960 94793 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 122135 94793 1888 992 0 113993 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 488540 KiB
Current children cumulated memory: 379172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/253 130340
/proc/meminfo: memFree=43685616/131524600 swapFree=131071728/131071996
[pid=127844] ppid=127841 vsize=493308 memory=385764 CPUtime=3600 cores=4,6
/proc/127844/stat : 127844 (roundingsat) R 127841 127844 125861 0 -1 4194304 57069 0 0 0 358188 1812 0 0 20 0 1 0 13459949 505147392 96441 134679101440 4194304 8254037 140726697477376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12288000 140726697481056 140726697481318 140726697481318 140726697488329 0
/proc/127844/statm: 123327 96441 1888 992 0 115185 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 493308 KiB
Current children cumulated memory: 385764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 127844 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.89 s, system=18.1304 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.42
CPU time (s): 3600.02
CPU user time (s): 3581.89
CPU system time (s): 18.1304
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 493308
Max. memory (cumulated for all children) (KiB): 385764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.89
system time used= 18.1304
maximum resident set size= 385936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4254648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 4956
# summary of solver processes directly reported to runsolver:
# pid: 127844
# total CPU time (s): 3600.02
# total CPU user time (s): 3581.89
# total CPU system time (s): 18.1304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89199 second user time and 17.0786 second system time
The end
Begin job on nodeC027 at 2024-07-23 23:15:17 IDJOB=4456751 IDBENCH=147540 IDSOLVER=3085 FILE ID=nodeC027/4456751-1721769317 RUNJOBID= nodeC027-1721765707-125872 SLURM_JOB_ID= 7770674 Free space on /tmp= 890052 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.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-4456751-1721769317/watcher-4456751-1721769317 -o /tmp/evaluation-result-4456751-1721769317/solver-4456751-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125872 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456751-1721769317 --lp-cut-gomory=0 HOME/instance-4456751-1721769317.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=2007171220 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.979 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3638.684 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3611.130 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.577 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3623.694 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.603 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.499 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3626.250 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 44392152 kB MemAvailable: 120102244 kB Buffers: 190028 kB Cached: 76173624 kB SwapCached: 48 kB Active: 1213288 kB Inactive: 84978344 kB Active(anon): 1524 kB Inactive(anon): 9864108 kB Active(file): 1211764 kB Inactive(file): 75114236 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 24020 kB Writeback: 0 kB AnonPages: 9825540 kB Mapped: 111508 kB Shmem: 37596 kB KReclaimable: 445500 kB Slab: 560988 kB SReclaimable: 445500 kB SUnreclaim: 115488 kB KernelStack: 4144 kB PageTables: 29332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11271780 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 4313088 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: 324308 kB DirectMap2M: 35100672 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 890060 MiB End job on nodeC027 at 2024-07-24 00:15:26