| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 199 | 3600.03 | 3609.23 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| 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 | 183 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 476 #constraints 476 0.51/0.56 c bounds - >= 0 @ 0.007329 0.51/0.56 c bounds 231 >= 0 @ 0.382344 0.51/0.56 c bounds 231 >= 1 @ 0.382387 0.51/0.56 c bounds 231 >= 2 @ 0.382928 0.51/0.56 c bounds 231 >= 3 @ 0.383453 0.51/0.56 c bounds 231 >= 4 @ 0.383987 0.51/0.56 c bounds 231 >= 5 @ 0.384512 0.51/0.56 c bounds 231 >= 6 @ 0.38503 0.51/0.56 c bounds 231 >= 7 @ 0.385563 0.51/0.56 c bounds 231 >= 8 @ 0.386106 0.51/0.56 c bounds 231 >= 9 @ 0.386663 0.51/0.56 c bounds 231 >= 10 @ 0.387221 0.51/0.56 c bounds 231 >= 11 @ 0.387314 0.51/0.56 c bounds 231 >= 12 @ 0.38736 0.51/0.56 c bounds 231 >= 13 @ 0.387921 0.51/0.56 c bounds 231 >= 14 @ 0.388495 0.51/0.56 c bounds 231 >= 15 @ 0.389068 0.51/0.56 c bounds 231 >= 16 @ 0.389655 0.51/0.56 c bounds 231 >= 17 @ 0.390228 0.51/0.56 c bounds 231 >= 18 @ 0.390816 0.51/0.56 c bounds 231 >= 19 @ 0.391417 0.51/0.56 c bounds 231 >= 20 @ 0.392026 0.51/0.56 c bounds 231 >= 21 @ 0.392644 0.51/0.56 c bounds 231 >= 22 @ 0.393279 0.51/0.56 c bounds 231 >= 23 @ 0.393961 0.51/0.56 c bounds 231 >= 24 @ 0.394658 0.51/0.56 c bounds 231 >= 25 @ 0.395352 0.51/0.56 c bounds 231 >= 26 @ 0.396051 0.51/0.56 c bounds 231 >= 27 @ 0.39627 0.51/0.56 c bounds 231 >= 28 @ 0.396529 0.51/0.56 c bounds 231 >= 29 @ 0.397173 0.51/0.56 c bounds 231 >= 30 @ 0.397873 0.51/0.56 c bounds 231 >= 31 @ 0.398567 0.51/0.56 c bounds 230 >= 31 @ 0.401467 0.51/0.56 c bounds 230 >= 32 @ 0.402199 0.51/0.56 c bounds 230 >= 33 @ 0.402245 0.51/0.56 c bounds 230 >= 34 @ 0.402667 0.51/0.56 c bounds 230 >= 35 @ 0.403424 0.51/0.56 c bounds 230 >= 36 @ 0.404276 0.51/0.56 c bounds 230 >= 37 @ 0.404977 0.51/0.56 c bounds 230 >= 38 @ 0.405676 0.51/0.56 c bounds 230 >= 39 @ 0.406373 0.51/0.56 c bounds 230 >= 40 @ 0.407078 0.51/0.56 c bounds 230 >= 41 @ 0.407221 0.51/0.56 c bounds 230 >= 42 @ 0.407578 0.51/0.56 c bounds 230 >= 43 @ 0.408237 0.51/0.56 c bounds 230 >= 44 @ 0.408952 0.51/0.56 c bounds 230 >= 45 @ 0.40966 0.51/0.56 c bounds 230 >= 46 @ 0.410368 0.51/0.56 c bounds 230 >= 47 @ 0.41109 0.51/0.56 c bounds 230 >= 48 @ 0.4112 0.51/0.56 c bounds 230 >= 49 @ 0.411567 0.51/0.56 c bounds 230 >= 50 @ 0.412228 0.51/0.56 c bounds 230 >= 51 @ 0.41295 0.51/0.56 c bounds 230 >= 52 @ 0.41366 0.51/0.56 c bounds 230 >= 53 @ 0.414368 0.51/0.56 c bounds 230 >= 54 @ 0.41508 0.51/0.56 c bounds 230 >= 55 @ 0.415183 0.51/0.56 c bounds 230 >= 56 @ 0.415554 0.51/0.56 c bounds 230 >= 57 @ 0.416273 0.51/0.56 c bounds 230 >= 58 @ 0.416981 0.51/0.56 c bounds 230 >= 59 @ 0.417162 0.51/0.56 c bounds 230 >= 60 @ 0.417489 0.51/0.56 c bounds 230 >= 61 @ 0.41816 0.51/0.56 c bounds 229 >= 61 @ 0.419103 0.51/0.56 c bounds 229 >= 62 @ 0.419123 0.51/0.56 c bounds 229 >= 63 @ 0.419177 0.51/0.56 c bounds 229 >= 64 @ 0.419659 0.51/0.56 c bounds 229 >= 65 @ 0.420397 0.51/0.56 c bounds 229 >= 66 @ 0.421132 0.51/0.56 c bounds 229 >= 67 @ 0.421851 0.51/0.56 c bounds 229 >= 68 @ 0.422583 0.51/0.56 c bounds 229 >= 69 @ 0.423317 0.51/0.56 c bounds 229 >= 70 @ 0.424067 0.51/0.56 c bounds 229 >= 71 @ 0.424825 0.51/0.56 c bounds 229 >= 72 @ 0.425578 0.51/0.56 c bounds 229 >= 73 @ 0.426306 0.51/0.56 c bounds 229 >= 74 @ 0.427047 0.51/0.56 c bounds 229 >= 75 @ 0.427135 0.51/0.56 c bounds 229 >= 76 @ 0.427615 0.51/0.56 c bounds 229 >= 77 @ 0.428366 0.51/0.56 c bounds 229 >= 78 @ 0.429113 0.51/0.56 c bounds 229 >= 79 @ 0.429877 0.51/0.56 c bounds 229 >= 80 @ 0.430122 0.51/0.56 c bounds 229 >= 81 @ 0.430472 0.51/0.56 c bounds 229 >= 82 @ 0.43121 0.51/0.56 c bounds 229 >= 83 @ 0.431947 0.51/0.56 c bounds 229 >= 84 @ 0.432114 0.51/0.56 c bounds 228 >= 84 @ 0.433275 0.51/0.56 c bounds 228 >= 85 @ 0.434019 0.51/0.56 c bounds 228 >= 86 @ 0.434108 0.51/0.56 c bounds 228 >= 87 @ 0.434112 0.51/0.56 c bounds 228 >= 88 @ 0.434514 0.51/0.56 c bounds 228 >= 89 @ 0.435255 0.51/0.56 c bounds 228 >= 90 @ 0.436016 0.51/0.56 c bounds 228 >= 91 @ 0.436102 0.51/0.56 c bounds 228 >= 92 @ 0.436525 0.51/0.56 c bounds 228 >= 93 @ 0.43728 0.51/0.56 c bounds 228 >= 94 @ 0.438079 0.51/0.56 c bounds 228 >= 95 @ 0.438885 0.51/0.56 c bounds 228 >= 96 @ 0.439091 0.51/0.56 c bounds 228 >= 97 @ 0.439575 0.51/0.56 c bounds 228 >= 98 @ 0.440416 0.51/0.56 c bounds 227 >= 98 @ 0.446475 0.51/0.56 c bounds 227 >= 99 @ 0.447395 0.51/0.56 c bounds 227 >= 100 @ 0.44827 0.51/0.56 c bounds 227 >= 101 @ 0.449079 0.51/0.56 c bounds 227 >= 102 @ 0.449889 0.51/0.56 c bounds 227 >= 103 @ 0.450708 0.51/0.56 c bounds 227 >= 104 @ 0.45103 0.51/0.56 c bounds 227 >= 105 @ 0.451426 0.51/0.56 c bounds 227 >= 106 @ 0.451772 0.51/0.56 c bounds 227 >= 107 @ 0.451965 0.51/0.56 c bounds 227 >= 108 @ 0.45203 0.51/0.56 c bounds 227 >= 109 @ 0.452034 0.51/0.56 c bounds 227 >= 110 @ 0.45249 0.51/0.56 c bounds 227 >= 111 @ 0.453409 0.51/0.56 c bounds 227 >= 112 @ 0.454259 0.51/0.56 c bounds 227 >= 113 @ 0.455158 0.51/0.56 c bounds 227 >= 114 @ 0.456012 0.51/0.56 c bounds 227 >= 115 @ 0.456898 0.51/0.56 c bounds 227 >= 116 @ 0.45701 0.51/0.56 c bounds 227 >= 117 @ 0.457011 0.51/0.56 c bounds 227 >= 118 @ 0.457623 0.51/0.56 c bounds 227 >= 119 @ 0.45857 0.51/0.56 c bounds 227 >= 120 @ 0.459463 0.51/0.56 c bounds 227 >= 121 @ 0.460412 0.51/0.56 c bounds 227 >= 122 @ 0.461267 0.51/0.56 c bounds 227 >= 123 @ 0.462128 0.51/0.56 c bounds 227 >= 124 @ 0.463014 0.51/0.56 c bounds 227 >= 125 @ 0.463843 0.51/0.56 c bounds 227 >= 126 @ 0.463939 0.51/0.56 c bounds 227 >= 127 @ 0.463943 0.51/0.56 c bounds 227 >= 128 @ 0.463945 0.51/0.56 c bounds 227 >= 129 @ 0.464758 0.51/0.56 c bounds 227 >= 130 @ 0.464942 0.51/0.56 c bounds 226 >= 130 @ 0.489809 1.48/1.51 c bounds 226 >= 131 @ 0.489811 1.48/1.51 c bounds 226 >= 132 @ 0.489813 1.48/1.51 c bounds 226 >= 133 @ 0.490032 1.48/1.51 c bounds 226 >= 134 @ 0.49145 1.48/1.51 c bounds 226 >= 135 @ 0.493104 1.48/1.51 c bounds 226 >= 136 @ 0.495792 1.48/1.51 c bounds 226 >= 137 @ 0.501778 1.48/1.51 c bounds 226 >= 138 @ 0.505454 1.48/1.51 c bounds 226 >= 139 @ 0.511149 1.48/1.51 c bounds 226 >= 140 @ 0.544973 1.48/1.51 c bounds 225 >= 140 @ 0.553036 1.48/1.51 c bounds 224 >= 140 @ 0.565393 1.48/1.51 c bounds 223 >= 140 @ 0.571137 1.48/1.51 c #Conflicts: 1000 | #Constraints: 2171 1.48/1.51 c bounds 222 >= 140 @ 0.987403 1.48/1.51 c #Conflicts: 2000 | #Constraints: 3172 1.48/1.51 c INPROCESSING 1.48/1.51 c GARBAGE COLLECT 1.48/1.51 c rational objective 143.945 2.27/2.35 c bounds 222 >= 141 @ 1.42174 2.27/2.35 c bounds 222 >= 142 @ 1.53769 2.27/2.35 c #Conflicts: 3000 | #Constraints: 3153 2.27/2.35 c bounds 222 >= 143 @ 1.78567 2.27/2.35 c bounds 221 >= 143 @ 1.796 2.27/2.35 c bounds 220 >= 143 @ 1.80466 2.27/2.35 c bounds 219 >= 143 @ 1.80953 2.27/2.35 c #Conflicts: 4000 | #Constraints: 4201 2.27/2.35 c INPROCESSING 2.27/2.35 c GARBAGE COLLECT 2.27/2.35 c rational objective 143.945 3.18/3.28 c bounds 218 >= 143 @ 2.15984 3.18/3.28 c bounds 217 >= 143 @ 2.16339 3.18/3.28 c bounds 216 >= 143 @ 2.17627 3.18/3.28 c bounds 215 >= 143 @ 2.29516 3.18/3.28 c #Conflicts: 5000 | #Constraints: 3596 3.18/3.28 c bounds 214 >= 143 @ 2.37336 3.18/3.28 c bounds 213 >= 143 @ 2.4196 3.18/3.28 c #Conflicts: 6000 | #Constraints: 4598 3.18/3.28 c INPROCESSING 3.18/3.28 c GARBAGE COLLECT 3.18/3.28 c rational objective 143.945 3.99/4.05 c bounds 212 >= 143 @ 3.03211 3.99/4.05 c #Conflicts: 7000 | #Constraints: 3658 3.99/4.05 c #Conflicts: 8000 | #Constraints: 4658 3.99/4.05 c bounds 211 >= 143 @ 3.28016 3.99/4.05 c #Conflicts: 9000 | #Constraints: 5659 3.99/4.05 c INPROCESSING 3.99/4.05 c GARBAGE COLLECT 3.99/4.05 c rational objective 143.945 4.99/5.09 c #Conflicts: 10000 | #Constraints: 4331 4.99/5.09 c bounds 211 >= 144 @ 4.37052 4.99/5.09 c #Conflicts: 11000 | #Constraints: 5370 4.99/5.09 c bounds 210 >= 144 @ 4.63856 4.99/5.09 c #Conflicts: 12000 | #Constraints: 6371 4.99/5.09 c INPROCESSING 4.99/5.09 c GARBAGE COLLECT 4.99/5.09 c rational objective 144 6.17/6.24 c #Conflicts: 13000 | #Constraints: 4801 6.17/6.24 c bounds 209 >= 144 @ 5.06989 6.17/6.24 c #Conflicts: 14000 | #Constraints: 5802 6.17/6.24 c bounds 208 >= 144 @ 5.32377 6.17/6.24 c #Conflicts: 15000 | #Constraints: 6803 6.17/6.24 c INPROCESSING 6.17/6.24 c GARBAGE COLLECT 6.17/6.24 c rational objective 144 7.26/7.31 c #Conflicts: 16000 | #Constraints: 5079 7.26/7.31 c bounds 207 >= 144 @ 6.24032 7.26/7.31 c bounds 206 >= 144 @ 6.33506 7.26/7.31 c #Conflicts: 17000 | #Constraints: 6081 7.26/7.31 c #Conflicts: 18000 | #Constraints: 7081 7.26/7.31 c INPROCESSING 7.26/7.31 c GARBAGE COLLECT 7.26/7.31 c rational objective 144 8.97/9.08 c #Conflicts: 19000 | #Constraints: 5057 8.97/9.08 c #Conflicts: 20000 | #Constraints: 6057 8.97/9.08 c #Conflicts: 21000 | #Constraints: 7057 8.97/9.08 c INPROCESSING 8.97/9.08 c GARBAGE COLLECT 8.97/9.08 c rational objective 144 17.05/17.15 c #Conflicts: 22000 | #Constraints: 4918 17.05/17.15 c bounds 205 >= 144 @ 8.90112 17.05/17.15 c #Conflicts: 23000 | #Constraints: 5919 17.05/17.15 c bounds 204 >= 144 @ 9.11547 17.05/17.15 c #Conflicts: 24000 | #Constraints: 6920 17.05/17.15 c #Conflicts: 25000 | #Constraints: 7920 17.05/17.15 c bounds 203 >= 144 @ 9.737 17.05/17.15 c bounds 202 >= 144 @ 9.86165 17.05/17.15 c #Conflicts: 26000 | #Constraints: 8922 17.05/17.15 c #Conflicts: 27000 | #Constraints: 9922 17.05/17.15 c #Conflicts: 28000 | #Constraints: 10922 17.05/17.15 c #Conflicts: 29000 | #Constraints: 11922 17.05/17.15 c #Conflicts: 30000 | #Constraints: 12922 17.05/17.15 c #Conflicts: 31000 | #Constraints: 13922 17.05/17.15 c #Conflicts: 32000 | #Constraints: 14922 17.05/17.15 c bounds 201 >= 144 @ 14.6036 17.05/17.15 c #Conflicts: 33000 | #Constraints: 15923 17.05/17.15 c INPROCESSING 17.05/17.15 c GARBAGE COLLECT 17.05/17.15 c rational objective 144 22.12/22.21 c #Conflicts: 34000 | #Constraints: 9494 22.12/22.21 c #Conflicts: 35000 | #Constraints: 10494 22.12/22.21 c #Conflicts: 36000 | #Constraints: 11494 22.12/22.21 c bounds 201 >= 145 @ 19.2504 22.12/22.21 c #Conflicts: 37000 | #Constraints: 12533 22.12/22.21 c #Conflicts: 38000 | #Constraints: 13533 22.12/22.21 c INPROCESSING 22.12/22.21 c GARBAGE COLLECT 22.12/22.21 c rational objective 145 24.61/24.75 c #Conflicts: 39000 | #Constraints: 8465 24.61/24.75 c #Conflicts: 40000 | #Constraints: 9465 24.61/24.75 c #Conflicts: 41000 | #Constraints: 10465 24.61/24.75 c #Conflicts: 42000 | #Constraints: 11465 24.61/24.75 c INPROCESSING 24.61/24.75 c GARBAGE COLLECT 24.61/24.75 c rational objective 145 28.41/28.57 c #Conflicts: 43000 | #Constraints: 6931 28.41/28.57 c #Conflicts: 44000 | #Constraints: 7931 28.41/28.57 c #Conflicts: 45000 | #Constraints: 8931 28.41/28.57 c #Conflicts: 46000 | #Constraints: 9931 28.41/28.57 c #Conflicts: 47000 | #Constraints: 10931 28.41/28.57 c #Conflicts: 48000 | #Constraints: 11931 28.41/28.57 c INPROCESSING 28.41/28.57 c GARBAGE COLLECT 28.41/28.57 c rational objective 145 52.23/52.43 c #Conflicts: 49000 | #Constraints: 7673 52.23/52.43 c #Conflicts: 50000 | #Constraints: 8673 52.23/52.43 c #Conflicts: 51000 | #Constraints: 9673 52.23/52.43 c #Conflicts: 52000 | #Constraints: 10673 52.23/52.43 c #Conflicts: 53000 | #Constraints: 11673 52.23/52.43 c #Conflicts: 54000 | #Constraints: 12673 52.23/52.43 c #Conflicts: 55000 | #Constraints: 13673 52.23/52.43 c #Conflicts: 56000 | #Constraints: 14673 52.23/52.43 c #Conflicts: 57000 | #Constraints: 15673 52.23/52.43 c #Conflicts: 58000 | #Constraints: 16673 52.23/52.43 c #Conflicts: 59000 | #Constraints: 17673 52.23/52.43 c #Conflicts: 60000 | #Constraints: 18673 52.23/52.43 c #Conflicts: 61000 | #Constraints: 19673 52.23/52.43 c #Conflicts: 62000 | #Constraints: 20673 52.23/52.43 c #Conflicts: 63000 | #Constraints: 21673 52.23/52.43 c #Conflicts: 64000 | #Constraints: 22673 52.23/52.43 c #Conflicts: 65000 | #Constraints: 23673 52.23/52.43 c INPROCESSING 52.23/52.43 c GARBAGE COLLECT 52.23/52.43 c rational objective 145 62.20/62.47 c #Conflicts: 66000 | #Constraints: 13491 62.20/62.47 c #Conflicts: 67000 | #Constraints: 14491 62.20/62.47 c #Conflicts: 68000 | #Constraints: 15491 62.20/62.47 c #Conflicts: 69000 | #Constraints: 16491 62.20/62.47 c #Conflicts: 70000 | #Constraints: 17491 62.20/62.47 c bounds 201 >= 146 @ 59.7858 62.20/62.47 c #Conflicts: 71000 | #Constraints: 18542 62.20/62.47 c INPROCESSING 62.20/62.47 c GARBAGE COLLECT 62.20/62.47 c rational objective 146 68.09/68.38 c #Conflicts: 72000 | #Constraints: 10805 68.09/68.38 c #Conflicts: 73000 | #Constraints: 11805 68.09/68.38 c #Conflicts: 74000 | #Constraints: 12805 68.09/68.38 c #Conflicts: 75000 | #Constraints: 13805 68.09/68.38 c #Conflicts: 76000 | #Constraints: 14805 68.09/68.38 c #Conflicts: 77000 | #Constraints: 15805 68.09/68.38 c #Conflicts: 78000 | #Constraints: 16805 68.09/68.38 c INPROCESSING 68.09/68.38 c GARBAGE COLLECT 68.09/68.38 c rational objective 146 94.92/95.29 c #Conflicts: 79000 | #Constraints: 10155 94.92/95.29 c #Conflicts: 80000 | #Constraints: 11155 94.92/95.29 c #Conflicts: 81000 | #Constraints: 12155 94.92/95.29 c #Conflicts: 82000 | #Constraints: 13155 94.92/95.29 c #Conflicts: 83000 | #Constraints: 14155 94.92/95.29 c #Conflicts: 84000 | #Constraints: 15155 94.92/95.29 c #Conflicts: 85000 | #Constraints: 16155 94.92/95.29 c #Conflicts: 86000 | #Constraints: 17155 94.92/95.29 c #Conflicts: 87000 | #Constraints: 18155 94.92/95.29 c #Conflicts: 88000 | #Constraints: 19155 94.92/95.29 c #Conflicts: 89000 | #Constraints: 20155 94.92/95.29 c #Conflicts: 90000 | #Constraints: 21155 94.92/95.29 c #Conflicts: 91000 | #Constraints: 22155 94.92/95.29 c #Conflicts: 92000 | #Constraints: 23155 94.92/95.29 c #Conflicts: 93000 | #Constraints: 24155 94.92/95.29 c #Conflicts: 94000 | #Constraints: 25155 94.92/95.29 c #Conflicts: 95000 | #Constraints: 26155 94.92/95.29 c #Conflicts: 96000 | #Constraints: 27155 94.92/95.29 c #Conflicts: 97000 | #Constraints: 28155 94.92/95.29 c bounds 201 >= 147 @ 91.9476 94.92/95.29 c #Conflicts: 98000 | #Constraints: 29197 94.92/95.29 c #Conflicts: 99000 | #Constraints: 30197 94.92/95.29 c INPROCESSING 94.92/95.29 c GARBAGE COLLECT 94.92/95.29 c rational objective 147 101.72/102.11 c #Conflicts: 100000 | #Constraints: 16695 101.72/102.11 c #Conflicts: 101000 | #Constraints: 17695 101.72/102.11 c #Conflicts: 102000 | #Constraints: 18695 101.72/102.11 c #Conflicts: 103000 | #Constraints: 19695 101.72/102.11 c #Conflicts: 104000 | #Constraints: 20695 101.72/102.11 c #Conflicts: 105000 | #Constraints: 21695 101.72/102.11 c #Conflicts: 106000 | #Constraints: 22695 101.72/102.11 c #Conflicts: 107000 | #Constraints: 23695 101.72/102.11 c INPROCESSING 101.72/102.11 c GARBAGE COLLECT 101.72/102.11 c rational objective 147 108.49/108.87 c #Conflicts: 108000 | #Constraints: 13496 108.49/108.87 c #Conflicts: 109000 | #Constraints: 14496 108.49/108.87 c #Conflicts: 110000 | #Constraints: 15496 108.49/108.87 c #Conflicts: 111000 | #Constraints: 16496 108.49/108.87 c #Conflicts: 112000 | #Constraints: 17496 108.49/108.87 c #Conflicts: 113000 | #Constraints: 18496 108.49/108.87 c #Conflicts: 114000 | #Constraints: 19496 108.49/108.87 c #Conflicts: 115000 | #Constraints: 20496 108.49/108.87 c INPROCESSING 108.49/108.87 c GARBAGE COLLECT 108.49/108.87 c rational objective 147 153.77/154.29 c #Conflicts: 116000 | #Constraints: 11840 153.77/154.29 c #Conflicts: 117000 | #Constraints: 12840 153.77/154.29 c #Conflicts: 118000 | #Constraints: 13840 153.77/154.29 c #Conflicts: 119000 | #Constraints: 14840 153.77/154.29 c #Conflicts: 120000 | #Constraints: 15840 153.77/154.29 c #Conflicts: 121000 | #Constraints: 16840 153.77/154.29 c #Conflicts: 122000 | #Constraints: 17840 153.77/154.29 c #Conflicts: 123000 | #Constraints: 18840 153.77/154.29 c #Conflicts: 124000 | #Constraints: 19840 153.77/154.29 c #Conflicts: 125000 | #Constraints: 20840 153.77/154.29 c #Conflicts: 126000 | #Constraints: 21840 153.77/154.29 c #Conflicts: 127000 | #Constraints: 22840 153.77/154.29 c #Conflicts: 128000 | #Constraints: 23840 153.77/154.29 c #Conflicts: 129000 | #Constraints: 24840 153.77/154.29 c #Conflicts: 130000 | #Constraints: 25840 153.77/154.29 c #Conflicts: 131000 | #Constraints: 26840 153.77/154.29 c #Conflicts: 132000 | #Constraints: 27840 153.77/154.29 c #Conflicts: 133000 | #Constraints: 28840 153.77/154.29 c #Conflicts: 134000 | #Constraints: 29840 153.77/154.29 c #Conflicts: 135000 | #Constraints: 30840 153.77/154.29 c #Conflicts: 136000 | #Constraints: 31840 153.77/154.29 c #Conflicts: 137000 | #Constraints: 32840 153.77/154.29 c #Conflicts: 138000 | #Constraints: 33840 153.77/154.29 c #Conflicts: 139000 | #Constraints: 34840 153.77/154.29 c #Conflicts: 140000 | #Constraints: 35840 153.77/154.29 c INPROCESSING 153.77/154.29 c GARBAGE COLLECT 153.77/154.29 c rational objective 147 183.19/183.77 c #Conflicts: 141000 | #Constraints: 19323 183.19/183.77 c #Conflicts: 142000 | #Constraints: 20323 183.19/183.77 c #Conflicts: 143000 | #Constraints: 21323 183.19/183.77 c #Conflicts: 144000 | #Constraints: 22323 183.19/183.77 c #Conflicts: 145000 | #Constraints: 23323 183.19/183.77 c #Conflicts: 146000 | #Constraints: 24323 183.19/183.77 c #Conflicts: 147000 | #Constraints: 25323 183.19/183.77 c #Conflicts: 148000 | #Constraints: 26323 183.19/183.77 c #Conflicts: 149000 | #Constraints: 27323 183.19/183.77 c #Conflicts: 150000 | #Constraints: 28323 183.19/183.77 c INPROCESSING 183.19/183.77 c GARBAGE COLLECT 183.19/183.77 c rational objective 147 198.16/198.70 c #Conflicts: 151000 | #Constraints: 15925 198.16/198.70 c #Conflicts: 152000 | #Constraints: 16925 198.16/198.70 c #Conflicts: 153000 | #Constraints: 17925 198.16/198.70 c #Conflicts: 154000 | #Constraints: 18925 198.16/198.70 c #Conflicts: 155000 | #Constraints: 19925 198.16/198.70 c #Conflicts: 156000 | #Constraints: 20925 198.16/198.70 c #Conflicts: 157000 | #Constraints: 21925 198.16/198.70 c #Conflicts: 158000 | #Constraints: 22925 198.16/198.70 c #Conflicts: 159000 | #Constraints: 23925 198.16/198.70 c INPROCESSING 198.16/198.70 c GARBAGE COLLECT 198.16/198.70 c rational objective 147 271.37/272.19 c #Conflicts: 160000 | #Constraints: 13441 271.37/272.19 c #Conflicts: 161000 | #Constraints: 14441 271.37/272.19 c #Conflicts: 162000 | #Constraints: 15441 271.37/272.19 c #Conflicts: 163000 | #Constraints: 16441 271.37/272.19 c #Conflicts: 164000 | #Constraints: 17441 271.37/272.19 c #Conflicts: 165000 | #Constraints: 18441 271.37/272.19 c #Conflicts: 166000 | #Constraints: 19441 271.37/272.19 c #Conflicts: 167000 | #Constraints: 20441 271.37/272.19 c #Conflicts: 168000 | #Constraints: 21441 271.37/272.19 c #Conflicts: 169000 | #Constraints: 22441 271.37/272.19 c #Conflicts: 170000 | #Constraints: 23441 271.37/272.19 c #Conflicts: 171000 | #Constraints: 24441 271.37/272.19 c #Conflicts: 172000 | #Constraints: 25441 271.37/272.19 c #Conflicts: 173000 | #Constraints: 26441 271.37/272.19 c #Conflicts: 174000 | #Constraints: 27441 271.37/272.19 c #Conflicts: 175000 | #Constraints: 28441 271.37/272.19 c #Conflicts: 176000 | #Constraints: 29441 271.37/272.19 c #Conflicts: 177000 | #Constraints: 30441 271.37/272.19 c #Conflicts: 178000 | #Constraints: 31441 271.37/272.19 c #Conflicts: 179000 | #Constraints: 32441 271.37/272.19 c #Conflicts: 180000 | #Constraints: 33441 271.37/272.19 c #Conflicts: 181000 | #Constraints: 34441 271.37/272.19 c #Conflicts: 182000 | #Constraints: 35441 271.37/272.19 c #Conflicts: 183000 | #Constraints: 36441 271.37/272.19 c #Conflicts: 184000 | #Constraints: 37441 271.37/272.19 c #Conflicts: 185000 | #Constraints: 38441 271.37/272.19 c #Conflicts: 186000 | #Constraints: 39441 271.37/272.19 c #Conflicts: 187000 | #Constraints: 40441 271.37/272.19 c #Conflicts: 188000 | #Constraints: 41441 271.37/272.19 c #Conflicts: 189000 | #Constraints: 42441 271.37/272.19 c INPROCESSING 271.37/272.19 c GARBAGE COLLECT 271.37/272.19 c rational objective 147 284.93/285.75 c #Conflicts: 190000 | #Constraints: 22899 284.93/285.75 c #Conflicts: 191000 | #Constraints: 23899 284.93/285.75 c #Conflicts: 192000 | #Constraints: 24899 284.93/285.75 c #Conflicts: 193000 | #Constraints: 25899 284.93/285.75 c #Conflicts: 194000 | #Constraints: 26899 284.93/285.75 c #Conflicts: 195000 | #Constraints: 27899 284.93/285.75 c #Conflicts: 196000 | #Constraints: 28899 284.93/285.75 c #Conflicts: 197000 | #Constraints: 29899 284.93/285.75 c #Conflicts: 198000 | #Constraints: 30899 284.93/285.75 c #Conflicts: 199000 | #Constraints: 31899 284.93/285.75 c #Conflicts: 200000 | #Constraints: 32899 284.93/285.75 c INPROCESSING 284.93/285.75 c GARBAGE COLLECT 284.93/285.75 c rational objective 147 299.30/300.15 c #Conflicts: 201000 | #Constraints: 18105 299.30/300.15 c #Conflicts: 202000 | #Constraints: 19105 299.30/300.15 c #Conflicts: 203000 | #Constraints: 20105 299.30/300.15 c #Conflicts: 204000 | #Constraints: 21105 299.30/300.15 c #Conflicts: 205000 | #Constraints: 22105 299.30/300.15 c #Conflicts: 206000 | #Constraints: 23106 299.30/300.15 c #Conflicts: 207000 | #Constraints: 24106 299.30/300.15 c #Conflicts: 208000 | #Constraints: 25106 299.30/300.15 c #Conflicts: 209000 | #Constraints: 26106 299.30/300.15 c #Conflicts: 210000 | #Constraints: 27106 299.30/300.15 c #Conflicts: 211000 | #Constraints: 28106 299.30/300.15 c INPROCESSING 299.30/300.15 c GARBAGE COLLECT 299.30/300.15 c rational objective 147 374.28/375.34 c #Conflicts: 212000 | #Constraints: 15649 374.28/375.34 c #Conflicts: 213000 | #Constraints: 16649 374.28/375.34 c #Conflicts: 214000 | #Constraints: 17649 374.28/375.34 c #Conflicts: 215000 | #Constraints: 18649 374.28/375.34 c #Conflicts: 216000 | #Constraints: 19649 374.28/375.34 c #Conflicts: 217000 | #Constraints: 20649 374.28/375.34 c #Conflicts: 218000 | #Constraints: 21649 374.28/375.34 c #Conflicts: 219000 | #Constraints: 22649 374.28/375.34 c #Conflicts: 220000 | #Constraints: 23649 374.28/375.34 c #Conflicts: 221000 | #Constraints: 24649 374.28/375.34 c #Conflicts: 222000 | #Constraints: 25649 374.28/375.34 c #Conflicts: 223000 | #Constraints: 26649 374.28/375.34 c #Conflicts: 224000 | #Constraints: 27649 374.28/375.34 c #Conflicts: 225000 | #Constraints: 28649 374.28/375.34 c #Conflicts: 226000 | #Constraints: 29649 374.28/375.34 c #Conflicts: 227000 | #Constraints: 30649 374.28/375.34 c #Conflicts: 228000 | #Constraints: 31649 374.28/375.34 c #Conflicts: 229000 | #Constraints: 32649 374.28/375.34 c #Conflicts: 230000 | #Constraints: 33649 374.28/375.34 c #Conflicts: 231000 | #Constraints: 34649 374.28/375.34 c #Conflicts: 232000 | #Constraints: 35649 374.28/375.34 c #Conflicts: 233000 | #Constraints: 36649 374.28/375.34 c #Conflicts: 234000 | #Constraints: 37649 374.28/375.34 c #Conflicts: 235000 | #Constraints: 38649 374.28/375.34 c #Conflicts: 236000 | #Constraints: 39649 374.28/375.34 c #Conflicts: 237000 | #Constraints: 40649 374.28/375.34 c #Conflicts: 238000 | #Constraints: 41649 374.28/375.34 c #Conflicts: 239000 | #Constraints: 42649 374.28/375.34 c #Conflicts: 240000 | #Constraints: 43649 374.28/375.34 c #Conflicts: 241000 | #Constraints: 44649 374.28/375.34 c #Conflicts: 242000 | #Constraints: 45649 374.28/375.34 c #Conflicts: 243000 | #Constraints: 46649 374.28/375.34 c #Conflicts: 244000 | #Constraints: 47649 374.28/375.34 c #Conflicts: 245000 | #Constraints: 48649 374.28/375.34 c INPROCESSING 374.28/375.34 c GARBAGE COLLECT 374.28/375.34 c rational objective 147 435.61/436.86 c #Conflicts: 246000 | #Constraints: 26023 435.61/436.86 c #Conflicts: 247000 | #Constraints: 27023 435.61/436.86 c #Conflicts: 248000 | #Constraints: 28023 435.61/436.86 c #Conflicts: 249000 | #Constraints: 29023 435.61/436.86 c #Conflicts: 250000 | #Constraints: 30023 435.61/436.86 c #Conflicts: 251000 | #Constraints: 31023 435.61/436.86 c #Conflicts: 252000 | #Constraints: 32023 435.61/436.86 c #Conflicts: 253000 | #Constraints: 33023 435.61/436.86 c #Conflicts: 254000 | #Constraints: 34023 435.61/436.86 c #Conflicts: 255000 | #Constraints: 35023 435.61/436.86 c #Conflicts: 256000 | #Constraints: 36023 435.61/436.86 c #Conflicts: 257000 | #Constraints: 37023 435.61/436.86 c INPROCESSING 435.61/436.86 c GARBAGE COLLECT 435.61/436.86 c rational objective 147 468.53/469.84 c #Conflicts: 258000 | #Constraints: 20119 468.53/469.84 c #Conflicts: 259000 | #Constraints: 21119 468.53/469.84 c #Conflicts: 260000 | #Constraints: 22119 468.53/469.84 c #Conflicts: 261000 | #Constraints: 23119 468.53/469.84 c #Conflicts: 262000 | #Constraints: 24119 468.53/469.84 c #Conflicts: 263000 | #Constraints: 25119 468.53/469.84 c #Conflicts: 264000 | #Constraints: 26119 468.53/469.84 c #Conflicts: 265000 | #Constraints: 27119 468.53/469.84 c #Conflicts: 266000 | #Constraints: 28119 468.53/469.84 c #Conflicts: 267000 | #Constraints: 29119 468.53/469.84 c #Conflicts: 268000 | #Constraints: 30119 468.53/469.84 c #Conflicts: 269000 | #Constraints: 31119 468.53/469.84 c #Conflicts: 270000 | #Constraints: 32119 468.53/469.84 c INPROCESSING 468.53/469.84 c GARBAGE COLLECT 468.53/469.84 c rational objective 147 602.26/603.99 c #Conflicts: 271000 | #Constraints: 17855 602.26/603.99 c #Conflicts: 272000 | #Constraints: 18855 602.26/603.99 c #Conflicts: 273000 | #Constraints: 19855 602.26/603.99 c #Conflicts: 274000 | #Constraints: 20855 602.26/603.99 c #Conflicts: 275000 | #Constraints: 21855 602.26/603.99 c #Conflicts: 276000 | #Constraints: 22855 602.26/603.99 c #Conflicts: 277000 | #Constraints: 23855 602.26/603.99 c #Conflicts: 278000 | #Constraints: 24855 602.26/603.99 c #Conflicts: 279000 | #Constraints: 25855 602.26/603.99 c #Conflicts: 280000 | #Constraints: 26855 602.26/603.99 c #Conflicts: 281000 | #Constraints: 27855 602.26/603.99 c #Conflicts: 282000 | #Constraints: 28855 602.26/603.99 c #Conflicts: 283000 | #Constraints: 29855 602.26/603.99 c #Conflicts: 284000 | #Constraints: 30855 602.26/603.99 c #Conflicts: 285000 | #Constraints: 31855 602.26/603.99 c #Conflicts: 286000 | #Constraints: 32855 602.26/603.99 c #Conflicts: 287000 | #Constraints: 33855 602.26/603.99 c #Conflicts: 288000 | #Constraints: 34855 602.26/603.99 c #Conflicts: 289000 | #Constraints: 35855 602.26/603.99 c #Conflicts: 290000 | #Constraints: 36855 602.26/603.99 c #Conflicts: 291000 | #Constraints: 37855 602.26/603.99 c #Conflicts: 292000 | #Constraints: 38855 602.26/603.99 c #Conflicts: 293000 | #Constraints: 39855 602.26/603.99 c #Conflicts: 294000 | #Constraints: 40855 602.26/603.99 c #Conflicts: 295000 | #Constraints: 41855 602.26/603.99 c #Conflicts: 296000 | #Constraints: 42855 602.26/603.99 c #Conflicts: 297000 | #Constraints: 43855 602.26/603.99 c #Conflicts: 298000 | #Constraints: 44855 602.26/603.99 c #Conflicts: 299000 | #Constraints: 45855 602.26/603.99 c #Conflicts: 300000 | #Constraints: 46855 602.26/603.99 c #Conflicts: 301000 | #Constraints: 47855 602.26/603.99 c #Conflicts: 302000 | #Constraints: 48855 602.26/603.99 c #Conflicts: 303000 | #Constraints: 49855 602.26/603.99 c #Conflicts: 304000 | #Constraints: 50855 602.26/603.99 c #Conflicts: 305000 | #Constraints: 51855 602.26/603.99 c bounds 201 >= 148 @ 591.612 602.26/603.99 c #Conflicts: 306000 | #Constraints: 52900 602.26/603.99 c #Conflicts: 307000 | #Constraints: 53900 602.26/603.99 c #Conflicts: 308000 | #Constraints: 54900 602.26/603.99 c INPROCESSING 602.26/603.99 c GARBAGE COLLECT 602.26/603.99 c rational objective 148 633.67/635.43 c #Conflicts: 309000 | #Constraints: 29160 633.67/635.43 c #Conflicts: 310000 | #Constraints: 30160 633.67/635.43 c #Conflicts: 311000 | #Constraints: 31160 633.67/635.43 c #Conflicts: 312000 | #Constraints: 32160 633.67/635.43 c #Conflicts: 313000 | #Constraints: 33160 633.67/635.43 c #Conflicts: 314000 | #Constraints: 34160 633.67/635.43 c #Conflicts: 315000 | #Constraints: 35160 633.67/635.43 c #Conflicts: 316000 | #Constraints: 36160 633.67/635.43 c #Conflicts: 317000 | #Constraints: 37160 633.67/635.43 c #Conflicts: 318000 | #Constraints: 38160 633.67/635.43 c #Conflicts: 319000 | #Constraints: 39160 633.67/635.43 c #Conflicts: 320000 | #Constraints: 40160 633.67/635.43 c #Conflicts: 321000 | #Constraints: 41160 633.67/635.43 c INPROCESSING 633.67/635.43 c GARBAGE COLLECT 633.67/635.43 c rational objective 148 669.88/671.72 c #Conflicts: 322000 | #Constraints: 21856 669.88/671.72 c #Conflicts: 323000 | #Constraints: 22856 669.88/671.72 c #Conflicts: 324000 | #Constraints: 23856 669.88/671.72 c #Conflicts: 325000 | #Constraints: 24856 669.88/671.72 c #Conflicts: 326000 | #Constraints: 25856 669.88/671.72 c #Conflicts: 327000 | #Constraints: 26856 669.88/671.72 c #Conflicts: 328000 | #Constraints: 27856 669.88/671.72 c #Conflicts: 329000 | #Constraints: 28856 669.88/671.72 c #Conflicts: 330000 | #Constraints: 29856 669.88/671.72 c #Conflicts: 331000 | #Constraints: 30856 669.88/671.72 c #Conflicts: 332000 | #Constraints: 31856 669.88/671.72 c #Conflicts: 333000 | #Constraints: 32856 669.88/671.72 c #Conflicts: 334000 | #Constraints: 33856 669.88/671.72 c #Conflicts: 335000 | #Constraints: 34856 669.88/671.72 c #Conflicts: 336000 | #Constraints: 35856 669.88/671.72 c INPROCESSING 669.88/671.72 c GARBAGE COLLECT 669.88/671.72 c rational objective 148 842.14/844.49 c #Conflicts: 337000 | #Constraints: 19659 842.14/844.49 c #Conflicts: 338000 | #Constraints: 20659 842.14/844.49 c #Conflicts: 339000 | #Constraints: 21659 842.14/844.49 c #Conflicts: 340000 | #Constraints: 22660 842.14/844.49 c #Conflicts: 341000 | #Constraints: 23660 842.14/844.49 c #Conflicts: 342000 | #Constraints: 24660 842.14/844.49 c #Conflicts: 343000 | #Constraints: 25660 842.14/844.49 c #Conflicts: 344000 | #Constraints: 26660 842.14/844.49 c #Conflicts: 345000 | #Constraints: 27660 842.14/844.49 c #Conflicts: 346000 | #Constraints: 28660 842.14/844.49 c #Conflicts: 347000 | #Constraints: 29660 842.14/844.49 c #Conflicts: 348000 | #Constraints: 30660 842.14/844.49 c #Conflicts: 349000 | #Constraints: 31660 842.14/844.49 c #Conflicts: 350000 | #Constraints: 32660 842.14/844.49 c #Conflicts: 351000 | #Constraints: 33660 842.14/844.49 c #Conflicts: 352000 | #Constraints: 34660 842.14/844.49 c #Conflicts: 353000 | #Constraints: 35660 842.14/844.49 c #Conflicts: 354000 | #Constraints: 36660 842.14/844.49 c #Conflicts: 355000 | #Constraints: 37660 842.14/844.49 c #Conflicts: 356000 | #Constraints: 38660 842.14/844.49 c #Conflicts: 357000 | #Constraints: 39660 842.14/844.49 c #Conflicts: 358000 | #Constraints: 40660 842.14/844.49 c #Conflicts: 359000 | #Constraints: 41660 842.14/844.49 c #Conflicts: 360000 | #Constraints: 42660 842.14/844.49 c #Conflicts: 361000 | #Constraints: 43660 842.14/844.49 c #Conflicts: 362000 | #Constraints: 44660 842.14/844.49 c #Conflicts: 363000 | #Constraints: 45660 842.14/844.49 c #Conflicts: 364000 | #Constraints: 46660 842.14/844.49 c #Conflicts: 365000 | #Constraints: 47660 842.14/844.49 c #Conflicts: 366000 | #Constraints: 48660 842.14/844.49 c #Conflicts: 367000 | #Constraints: 49660 842.14/844.49 c #Conflicts: 368000 | #Constraints: 50660 842.14/844.49 c #Conflicts: 369000 | #Constraints: 51660 842.14/844.49 c #Conflicts: 370000 | #Constraints: 52660 842.14/844.49 c #Conflicts: 371000 | #Constraints: 53660 842.14/844.49 c #Conflicts: 372000 | #Constraints: 54660 842.14/844.49 c #Conflicts: 373000 | #Constraints: 55660 842.14/844.49 c #Conflicts: 374000 | #Constraints: 56660 842.14/844.49 c #Conflicts: 375000 | #Constraints: 57660 842.14/844.49 c #Conflicts: 376000 | #Constraints: 58660 842.14/844.49 c #Conflicts: 377000 | #Constraints: 59660 842.14/844.49 c #Conflicts: 378000 | #Constraints: 60660 842.14/844.49 c INPROCESSING 842.14/844.49 c GARBAGE COLLECT 842.14/844.49 c rational objective 148 940.11/942.60 c #Conflicts: 379000 | #Constraints: 31960 940.11/942.60 c #Conflicts: 380000 | #Constraints: 32960 940.11/942.60 c #Conflicts: 381000 | #Constraints: 33960 940.11/942.60 c #Conflicts: 382000 | #Constraints: 34960 940.11/942.60 c #Conflicts: 383000 | #Constraints: 35960 940.11/942.60 c #Conflicts: 384000 | #Constraints: 36960 940.11/942.60 c #Conflicts: 385000 | #Constraints: 37960 940.11/942.60 c #Conflicts: 386000 | #Constraints: 38960 940.11/942.60 c #Conflicts: 387000 | #Constraints: 39960 940.11/942.60 c #Conflicts: 388000 | #Constraints: 40960 940.11/942.60 c #Conflicts: 389000 | #Constraints: 41960 940.11/942.60 c #Conflicts: 390000 | #Constraints: 42960 940.11/942.60 c #Conflicts: 391000 | #Constraints: 43960 940.11/942.60 c #Conflicts: 392000 | #Constraints: 44960 940.11/942.60 c #Conflicts: 393000 | #Constraints: 45960 940.11/942.60 c INPROCESSING 940.11/942.60 c GARBAGE COLLECT 940.11/942.60 c rational objective 148 982.31/984.92 c #Conflicts: 394000 | #Constraints: 24501 982.31/984.92 c #Conflicts: 395000 | #Constraints: 25501 982.31/984.92 c #Conflicts: 396000 | #Constraints: 26501 982.31/984.92 c #Conflicts: 397000 | #Constraints: 27501 982.31/984.92 c #Conflicts: 398000 | #Constraints: 28501 982.31/984.92 c #Conflicts: 399000 | #Constraints: 29501 982.31/984.92 c #Conflicts: 400000 | #Constraints: 30501 982.31/984.92 c #Conflicts: 401000 | #Constraints: 31501 982.31/984.92 c #Conflicts: 402000 | #Constraints: 32501 982.31/984.92 c #Conflicts: 403000 | #Constraints: 33501 982.31/984.92 c #Conflicts: 404000 | #Constraints: 34501 982.31/984.92 c #Conflicts: 405000 | #Constraints: 35501 982.31/984.92 c #Conflicts: 406000 | #Constraints: 36501 982.31/984.92 c #Conflicts: 407000 | #Constraints: 37501 982.31/984.92 c #Conflicts: 408000 | #Constraints: 38501 982.31/984.92 c #Conflicts: 409000 | #Constraints: 39501 982.31/984.92 c INPROCESSING 982.31/984.92 c GARBAGE COLLECT 982.31/984.92 c rational objective 148 1177.59/1180.75 c #Conflicts: 410000 | #Constraints: 22587 1177.59/1180.75 c #Conflicts: 411000 | #Constraints: 23587 1177.59/1180.75 c #Conflicts: 412000 | #Constraints: 24587 1177.59/1180.75 c #Conflicts: 413000 | #Constraints: 25587 1177.59/1180.75 c #Conflicts: 414000 | #Constraints: 26587 1177.59/1180.75 c #Conflicts: 415000 | #Constraints: 27587 1177.59/1180.75 c #Conflicts: 416000 | #Constraints: 28587 1177.59/1180.75 c #Conflicts: 417000 | #Constraints: 29587 1177.59/1180.75 c #Conflicts: 418000 | #Constraints: 30587 1177.59/1180.75 c #Conflicts: 419000 | #Constraints: 31587 1177.59/1180.75 c #Conflicts: 420000 | #Constraints: 32587 1177.59/1180.75 c #Conflicts: 421000 | #Constraints: 33587 1177.59/1180.75 c #Conflicts: 422000 | #Constraints: 34587 1177.59/1180.75 c #Conflicts: 423000 | #Constraints: 35587 1177.59/1180.75 c #Conflicts: 424000 | #Constraints: 36587 1177.59/1180.75 c #Conflicts: 425000 | #Constraints: 37587 1177.59/1180.75 c #Conflicts: 426000 | #Constraints: 38587 1177.59/1180.75 c #Conflicts: 427000 | #Constraints: 39587 1177.59/1180.75 c #Conflicts: 428000 | #Constraints: 40587 1177.59/1180.75 c #Conflicts: 429000 | #Constraints: 41587 1177.59/1180.75 c #Conflicts: 430000 | #Constraints: 42587 1177.59/1180.75 c #Conflicts: 431000 | #Constraints: 43587 1177.59/1180.75 c #Conflicts: 432000 | #Constraints: 44587 1177.59/1180.75 c #Conflicts: 433000 | #Constraints: 45587 1177.59/1180.75 c #Conflicts: 434000 | #Constraints: 46587 1177.59/1180.75 c #Conflicts: 435000 | #Constraints: 47587 1177.59/1180.75 c #Conflicts: 436000 | #Constraints: 48587 1177.59/1180.75 c #Conflicts: 437000 | #Constraints: 49587 1177.59/1180.75 c #Conflicts: 438000 | #Constraints: 50587 1177.59/1180.75 c #Conflicts: 439000 | #Constraints: 51587 1177.59/1180.75 c #Conflicts: 440000 | #Constraints: 52587 1177.59/1180.75 c #Conflicts: 441000 | #Constraints: 53587 1177.59/1180.75 c #Conflicts: 442000 | #Constraints: 54587 1177.59/1180.75 c #Conflicts: 443000 | #Constraints: 55587 1177.59/1180.75 c #Conflicts: 444000 | #Constraints: 56587 1177.59/1180.75 c #Conflicts: 445000 | #Constraints: 57587 1177.59/1180.75 c #Conflicts: 446000 | #Constraints: 58587 1177.59/1180.75 c #Conflicts: 447000 | #Constraints: 59587 1177.59/1180.75 c #Conflicts: 448000 | #Constraints: 60587 1177.59/1180.75 c #Conflicts: 449000 | #Constraints: 61587 1177.59/1180.75 c #Conflicts: 450000 | #Constraints: 62587 1177.59/1180.75 c #Conflicts: 451000 | #Constraints: 63587 1177.59/1180.75 c #Conflicts: 452000 | #Constraints: 64587 1177.59/1180.75 c #Conflicts: 453000 | #Constraints: 65587 1177.59/1180.75 c #Conflicts: 454000 | #Constraints: 66587 1177.59/1180.75 c #Conflicts: 455000 | #Constraints: 67587 1177.59/1180.75 c INPROCESSING 1177.59/1180.75 c GARBAGE COLLECT 1177.59/1180.75 c rational objective 148 1213.91/1217.18 c #Conflicts: 456000 | #Constraints: 35308 1213.91/1217.18 c #Conflicts: 457000 | #Constraints: 36308 1213.91/1217.18 c #Conflicts: 458000 | #Constraints: 37308 1213.91/1217.18 c #Conflicts: 459000 | #Constraints: 38308 1213.91/1217.18 c #Conflicts: 460000 | #Constraints: 39308 1213.91/1217.18 c #Conflicts: 461000 | #Constraints: 40308 1213.91/1217.18 c #Conflicts: 462000 | #Constraints: 41308 1213.91/1217.18 c #Conflicts: 463000 | #Constraints: 42308 1213.91/1217.18 c #Conflicts: 464000 | #Constraints: 43308 1213.91/1217.18 c #Conflicts: 465000 | #Constraints: 44308 1213.91/1217.18 c #Conflicts: 466000 | #Constraints: 45308 1213.91/1217.18 c #Conflicts: 467000 | #Constraints: 46308 1213.91/1217.18 c #Conflicts: 468000 | #Constraints: 47308 1213.91/1217.18 c #Conflicts: 469000 | #Constraints: 48308 1213.91/1217.18 c #Conflicts: 470000 | #Constraints: 49308 1213.91/1217.18 c #Conflicts: 471000 | #Constraints: 50308 1213.91/1217.18 c #Conflicts: 472000 | #Constraints: 51308 1213.91/1217.18 c INPROCESSING 1213.91/1217.18 c GARBAGE COLLECT 1213.91/1217.18 c rational objective 148 1459.81/1463.60 c #Conflicts: 473000 | #Constraints: 27131 1459.81/1463.60 c #Conflicts: 474000 | #Constraints: 28131 1459.81/1463.60 c #Conflicts: 475000 | #Constraints: 29131 1459.81/1463.60 c #Conflicts: 476000 | #Constraints: 30131 1459.81/1463.60 c #Conflicts: 477000 | #Constraints: 31131 1459.81/1463.60 c #Conflicts: 478000 | #Constraints: 32131 1459.81/1463.60 c #Conflicts: 479000 | #Constraints: 33131 1459.81/1463.60 c #Conflicts: 480000 | #Constraints: 34131 1459.81/1463.60 c #Conflicts: 481000 | #Constraints: 35131 1459.81/1463.60 c #Conflicts: 482000 | #Constraints: 36131 1459.81/1463.60 c #Conflicts: 483000 | #Constraints: 37131 1459.81/1463.60 c #Conflicts: 484000 | #Constraints: 38131 1459.81/1463.60 c #Conflicts: 485000 | #Constraints: 39131 1459.81/1463.60 c #Conflicts: 486000 | #Constraints: 40131 1459.81/1463.60 c #Conflicts: 487000 | #Constraints: 41131 1459.81/1463.60 c #Conflicts: 488000 | #Constraints: 42131 1459.81/1463.60 c #Conflicts: 489000 | #Constraints: 43131 1459.81/1463.60 c #Conflicts: 490000 | #Constraints: 44131 1459.81/1463.60 c #Conflicts: 491000 | #Constraints: 45131 1459.81/1463.60 c #Conflicts: 492000 | #Constraints: 46131 1459.81/1463.60 c #Conflicts: 493000 | #Constraints: 47131 1459.81/1463.60 c #Conflicts: 494000 | #Constraints: 48131 1459.81/1463.60 c #Conflicts: 495000 | #Constraints: 49131 1459.81/1463.60 c #Conflicts: 496000 | #Constraints: 50131 1459.81/1463.60 c #Conflicts: 497000 | #Constraints: 51131 1459.81/1463.60 c #Conflicts: 498000 | #Constraints: 52131 1459.81/1463.60 c #Conflicts: 499000 | #Constraints: 53131 1459.81/1463.60 c #Conflicts: 500000 | #Constraints: 54131 1459.81/1463.60 c #Conflicts: 501000 | #Constraints: 55131 1459.81/1463.60 c #Conflicts: 502000 | #Constraints: 56131 1459.81/1463.60 c #Conflicts: 503000 | #Constraints: 57131 1459.81/1463.60 c #Conflicts: 504000 | #Constraints: 58131 1459.81/1463.60 c #Conflicts: 505000 | #Constraints: 59131 1459.81/1463.60 c #Conflicts: 506000 | #Constraints: 60131 1459.81/1463.60 c #Conflicts: 507000 | #Constraints: 61131 1459.81/1463.60 c #Conflicts: 508000 | #Constraints: 62131 1459.81/1463.60 c #Conflicts: 509000 | #Constraints: 63131 1459.81/1463.60 c #Conflicts: 510000 | #Constraints: 64131 1459.81/1463.60 c #Conflicts: 511000 | #Constraints: 65131 1459.81/1463.60 c #Conflicts: 512000 | #Constraints: 66131 1459.81/1463.60 c #Conflicts: 513000 | #Constraints: 67132 1459.81/1463.60 c #Conflicts: 514000 | #Constraints: 68132 1459.81/1463.60 c #Conflicts: 515000 | #Constraints: 69132 1459.81/1463.60 c #Conflicts: 516000 | #Constraints: 70132 1459.81/1463.60 c #Conflicts: 517000 | #Constraints: 71132 1459.81/1463.60 c #Conflicts: 518000 | #Constraints: 72132 1459.81/1463.60 c #Conflicts: 519000 | #Constraints: 73134 1459.81/1463.60 c #Conflicts: 520000 | #Constraints: 74134 1459.81/1463.60 c #Conflicts: 521000 | #Constraints: 75135 1459.81/1463.60 c #Conflicts: 522000 | #Constraints: 76135 1459.81/1463.60 c INPROCESSING 1459.81/1463.60 c GARBAGE COLLECT 1459.81/1463.60 c rational objective 148 1601.47/1605.67 c #Conflicts: 523000 | #Constraints: 39782 1601.47/1605.67 c #Conflicts: 524000 | #Constraints: 40782 1601.47/1605.67 c #Conflicts: 525000 | #Constraints: 41782 1601.47/1605.67 c #Conflicts: 526000 | #Constraints: 42782 1601.47/1605.67 c #Conflicts: 527000 | #Constraints: 43782 1601.47/1605.67 c #Conflicts: 528000 | #Constraints: 44782 1601.47/1605.67 c #Conflicts: 529000 | #Constraints: 45782 1601.47/1605.67 c #Conflicts: 530000 | #Constraints: 46782 1601.47/1605.67 c #Conflicts: 531000 | #Constraints: 47782 1601.47/1605.67 c #Conflicts: 532000 | #Constraints: 48782 1601.47/1605.67 c #Conflicts: 533000 | #Constraints: 49782 1601.47/1605.67 c #Conflicts: 534000 | #Constraints: 50782 1601.47/1605.67 c #Conflicts: 535000 | #Constraints: 51782 1601.47/1605.67 c #Conflicts: 536000 | #Constraints: 52782 1601.47/1605.67 c #Conflicts: 537000 | #Constraints: 53782 1601.47/1605.67 c #Conflicts: 538000 | #Constraints: 54782 1601.47/1605.67 c #Conflicts: 539000 | #Constraints: 55782 1601.47/1605.67 c #Conflicts: 540000 | #Constraints: 56782 1601.47/1605.67 c INPROCESSING 1601.47/1605.67 c GARBAGE COLLECT 1601.47/1605.67 c rational objective 148 1676.19/1680.53 c #Conflicts: 541000 | #Constraints: 30094 1676.19/1680.53 c #Conflicts: 542000 | #Constraints: 31094 1676.19/1680.53 c #Conflicts: 543000 | #Constraints: 32094 1676.19/1680.53 c #Conflicts: 544000 | #Constraints: 33094 1676.19/1680.53 c #Conflicts: 545000 | #Constraints: 34094 1676.19/1680.53 c #Conflicts: 546000 | #Constraints: 35094 1676.19/1680.53 c #Conflicts: 547000 | #Constraints: 36094 1676.19/1680.53 c #Conflicts: 548000 | #Constraints: 37094 1676.19/1680.53 c #Conflicts: 549000 | #Constraints: 38094 1676.19/1680.53 c #Conflicts: 550000 | #Constraints: 39094 1676.19/1680.53 c #Conflicts: 551000 | #Constraints: 40094 1676.19/1680.53 c #Conflicts: 552000 | #Constraints: 41094 1676.19/1680.53 c #Conflicts: 553000 | #Constraints: 42094 1676.19/1680.53 c #Conflicts: 554000 | #Constraints: 43094 1676.19/1680.53 c #Conflicts: 555000 | #Constraints: 44094 1676.19/1680.53 c #Conflicts: 556000 | #Constraints: 45094 1676.19/1680.53 c #Conflicts: 557000 | #Constraints: 46094 1676.19/1680.53 c #Conflicts: 558000 | #Constraints: 47094 1676.19/1680.53 c INPROCESSING 1676.19/1680.53 c GARBAGE COLLECT 1676.19/1680.53 c rational objective 148 2007.46/2012.66 c #Conflicts: 559000 | #Constraints: 28953 2007.46/2012.66 c #Conflicts: 560000 | #Constraints: 29953 2007.46/2012.66 c #Conflicts: 561000 | #Constraints: 30953 2007.46/2012.66 c #Conflicts: 562000 | #Constraints: 31953 2007.46/2012.66 c #Conflicts: 563000 | #Constraints: 32953 2007.46/2012.66 c #Conflicts: 564000 | #Constraints: 33953 2007.46/2012.66 c #Conflicts: 565000 | #Constraints: 34953 2007.46/2012.66 c #Conflicts: 566000 | #Constraints: 35953 2007.46/2012.66 c #Conflicts: 567000 | #Constraints: 36953 2007.46/2012.66 c #Conflicts: 568000 | #Constraints: 37953 2007.46/2012.66 c #Conflicts: 569000 | #Constraints: 38953 2007.46/2012.66 c #Conflicts: 570000 | #Constraints: 39953 2007.46/2012.66 c #Conflicts: 571000 | #Constraints: 40953 2007.46/2012.66 c #Conflicts: 572000 | #Constraints: 41953 2007.46/2012.66 c #Conflicts: 573000 | #Constraints: 42953 2007.46/2012.66 c #Conflicts: 574000 | #Constraints: 43953 2007.46/2012.66 c #Conflicts: 575000 | #Constraints: 44953 2007.46/2012.66 c #Conflicts: 576000 | #Constraints: 45953 2007.46/2012.66 c #Conflicts: 577000 | #Constraints: 46953 2007.46/2012.66 c #Conflicts: 578000 | #Constraints: 47953 2007.46/2012.66 c #Conflicts: 579000 | #Constraints: 48953 2007.46/2012.66 c #Conflicts: 580000 | #Constraints: 49953 2007.46/2012.66 c #Conflicts: 581000 | #Constraints: 50953 2007.46/2012.66 c #Conflicts: 582000 | #Constraints: 51953 2007.46/2012.66 c #Conflicts: 583000 | #Constraints: 52953 2007.46/2012.66 c #Conflicts: 584000 | #Constraints: 53953 2007.46/2012.66 c #Conflicts: 585000 | #Constraints: 54953 2007.46/2012.66 c #Conflicts: 586000 | #Constraints: 55953 2007.46/2012.66 c #Conflicts: 587000 | #Constraints: 56953 2007.46/2012.66 c #Conflicts: 588000 | #Constraints: 57953 2007.46/2012.66 c #Conflicts: 589000 | #Constraints: 58953 2007.46/2012.66 c #Conflicts: 590000 | #Constraints: 59953 2007.46/2012.66 c #Conflicts: 591000 | #Constraints: 60953 2007.46/2012.66 c #Conflicts: 592000 | #Constraints: 61953 2007.46/2012.66 c #Conflicts: 593000 | #Constraints: 62953 2007.46/2012.66 c #Conflicts: 594000 | #Constraints: 63953 2007.46/2012.66 c #Conflicts: 595000 | #Constraints: 64953 2007.46/2012.66 c #Conflicts: 596000 | #Constraints: 65953 2007.46/2012.66 c #Conflicts: 597000 | #Constraints: 66953 2007.46/2012.66 c #Conflicts: 598000 | #Constraints: 67953 2007.46/2012.66 c #Conflicts: 599000 | #Constraints: 68953 2007.46/2012.66 c #Conflicts: 600000 | #Constraints: 69953 2007.46/2012.66 c #Conflicts: 601000 | #Constraints: 70953 2007.46/2012.66 c #Conflicts: 602000 | #Constraints: 71953 2007.46/2012.66 c #Conflicts: 603000 | #Constraints: 72953 2007.46/2012.66 c #Conflicts: 604000 | #Constraints: 73953 2007.46/2012.66 c #Conflicts: 605000 | #Constraints: 74953 2007.46/2012.66 c #Conflicts: 606000 | #Constraints: 75953 2007.46/2012.66 c #Conflicts: 607000 | #Constraints: 76953 2007.46/2012.66 c #Conflicts: 608000 | #Constraints: 77953 2007.46/2012.66 c #Conflicts: 609000 | #Constraints: 78953 2007.46/2012.66 c #Conflicts: 610000 | #Constraints: 79953 2007.46/2012.66 c #Conflicts: 611000 | #Constraints: 80953 2007.46/2012.66 c #Conflicts: 612000 | #Constraints: 81953 2007.46/2012.66 c INPROCESSING 2007.46/2012.66 c GARBAGE COLLECT 2007.46/2012.66 c rational objective 148 2077.56/2082.90 c #Conflicts: 613000 | #Constraints: 42632 2077.56/2082.90 c #Conflicts: 614000 | #Constraints: 43632 2077.56/2082.90 c #Conflicts: 615000 | #Constraints: 44632 2077.56/2082.90 c #Conflicts: 616000 | #Constraints: 45632 2077.56/2082.90 c bounds 200 >= 148 @ 2002.05 2077.56/2082.90 c #Conflicts: 617000 | #Constraints: 46633 2077.56/2082.90 c #Conflicts: 618000 | #Constraints: 47633 2077.56/2082.90 c #Conflicts: 619000 | #Constraints: 48633 2077.56/2082.90 c #Conflicts: 620000 | #Constraints: 49633 2077.56/2082.90 c #Conflicts: 621000 | #Constraints: 50633 2077.56/2082.90 c #Conflicts: 622000 | #Constraints: 51633 2077.56/2082.90 c #Conflicts: 623000 | #Constraints: 52633 2077.56/2082.90 c #Conflicts: 624000 | #Constraints: 53633 2077.56/2082.90 c #Conflicts: 625000 | #Constraints: 54633 2077.56/2082.90 c #Conflicts: 626000 | #Constraints: 55633 2077.56/2082.90 c #Conflicts: 627000 | #Constraints: 56633 2077.56/2082.90 c #Conflicts: 628000 | #Constraints: 57633 2077.56/2082.90 c #Conflicts: 629000 | #Constraints: 58633 2077.56/2082.90 c #Conflicts: 630000 | #Constraints: 59633 2077.56/2082.90 c #Conflicts: 631000 | #Constraints: 60633 2077.56/2082.90 c #Conflicts: 632000 | #Constraints: 61633 2077.56/2082.90 c INPROCESSING 2077.56/2082.90 c GARBAGE COLLECT 2077.56/2082.90 c rational objective 148 2503.36/2509.77 c #Conflicts: 633000 | #Constraints: 33474 2503.36/2509.77 c #Conflicts: 634000 | #Constraints: 34474 2503.36/2509.77 c #Conflicts: 635000 | #Constraints: 35474 2503.36/2509.77 c #Conflicts: 636000 | #Constraints: 36474 2503.36/2509.77 c #Conflicts: 637000 | #Constraints: 37474 2503.36/2509.77 c #Conflicts: 638000 | #Constraints: 38474 2503.36/2509.77 c #Conflicts: 639000 | #Constraints: 39474 2503.36/2509.77 c #Conflicts: 640000 | #Constraints: 40474 2503.36/2509.77 c #Conflicts: 641000 | #Constraints: 41474 2503.36/2509.77 c #Conflicts: 642000 | #Constraints: 42474 2503.36/2509.77 c #Conflicts: 643000 | #Constraints: 43474 2503.36/2509.77 c #Conflicts: 644000 | #Constraints: 44474 2503.36/2509.77 c #Conflicts: 645000 | #Constraints: 45474 2503.36/2509.77 c #Conflicts: 646000 | #Constraints: 46474 2503.36/2509.77 c #Conflicts: 647000 | #Constraints: 47474 2503.36/2509.77 c #Conflicts: 648000 | #Constraints: 48474 2503.36/2509.77 c #Conflicts: 649000 | #Constraints: 49474 2503.36/2509.77 c #Conflicts: 650000 | #Constraints: 50474 2503.36/2509.77 c #Conflicts: 651000 | #Constraints: 51474 2503.36/2509.77 c #Conflicts: 652000 | #Constraints: 52474 2503.36/2509.77 c #Conflicts: 653000 | #Constraints: 53474 2503.36/2509.77 c #Conflicts: 654000 | #Constraints: 54474 2503.36/2509.77 c #Conflicts: 655000 | #Constraints: 55475 2503.36/2509.77 c #Conflicts: 656000 | #Constraints: 56475 2503.36/2509.77 c #Conflicts: 657000 | #Constraints: 57475 2503.36/2509.77 c #Conflicts: 658000 | #Constraints: 58475 2503.36/2509.77 c #Conflicts: 659000 | #Constraints: 59475 2503.36/2509.77 c #Conflicts: 660000 | #Constraints: 60475 2503.36/2509.77 c #Conflicts: 661000 | #Constraints: 61475 2503.36/2509.77 c #Conflicts: 662000 | #Constraints: 62475 2503.36/2509.77 c #Conflicts: 663000 | #Constraints: 63475 2503.36/2509.77 c bounds 199 >= 148 @ 2183.63 2503.36/2509.77 c #Conflicts: 664000 | #Constraints: 64476 2503.36/2509.77 c #Conflicts: 665000 | #Constraints: 65476 2503.36/2509.77 c #Conflicts: 666000 | #Constraints: 66476 2503.36/2509.77 c #Conflicts: 667000 | #Constraints: 67476 2503.36/2509.77 c #Conflicts: 668000 | #Constraints: 68476 2503.36/2509.77 c #Conflicts: 669000 | #Constraints: 69476 2503.36/2509.77 c #Conflicts: 670000 | #Constraints: 70476 2503.36/2509.77 c #Conflicts: 671000 | #Constraints: 71476 2503.36/2509.77 c #Conflicts: 672000 | #Constraints: 72476 2503.36/2509.77 c #Conflicts: 673000 | #Constraints: 73476 2503.36/2509.77 c #Conflicts: 674000 | #Constraints: 74476 2503.36/2509.77 c #Conflicts: 675000 | #Constraints: 75476 2503.36/2509.77 c #Conflicts: 676000 | #Constraints: 76476 2503.36/2509.77 c #Conflicts: 677000 | #Constraints: 77476 2503.36/2509.77 c #Conflicts: 678000 | #Constraints: 78476 2503.36/2509.77 c #Conflicts: 679000 | #Constraints: 79476 2503.36/2509.77 c #Conflicts: 680000 | #Constraints: 80476 2503.36/2509.77 c #Conflicts: 681000 | #Constraints: 81476 2503.36/2509.77 c #Conflicts: 682000 | #Constraints: 82476 2503.36/2509.77 c #Conflicts: 683000 | #Constraints: 83476 2503.36/2509.77 c #Conflicts: 684000 | #Constraints: 84476 2503.36/2509.77 c #Conflicts: 685000 | #Constraints: 85476 2503.36/2509.77 c #Conflicts: 686000 | #Constraints: 86476 2503.36/2509.77 c #Conflicts: 687000 | #Constraints: 87476 2503.36/2509.77 c #Conflicts: 688000 | #Constraints: 88476 2503.36/2509.77 c INPROCESSING 2503.36/2509.77 c GARBAGE COLLECT 2503.36/2509.77 c rational objective 148 2584.48/2591.07 c #Conflicts: 689000 | #Constraints: 45665 2584.48/2591.07 c #Conflicts: 690000 | #Constraints: 46665 2584.48/2591.07 c #Conflicts: 691000 | #Constraints: 47665 2584.48/2591.07 c #Conflicts: 692000 | #Constraints: 48665 2584.48/2591.07 c #Conflicts: 693000 | #Constraints: 49665 2584.48/2591.07 c #Conflicts: 694000 | #Constraints: 50665 2584.48/2591.07 c #Conflicts: 695000 | #Constraints: 51665 2584.48/2591.07 c #Conflicts: 696000 | #Constraints: 52665 2584.48/2591.07 c #Conflicts: 697000 | #Constraints: 53665 2584.48/2591.07 c #Conflicts: 698000 | #Constraints: 54665 2584.48/2591.07 c #Conflicts: 699000 | #Constraints: 55665 2584.48/2591.07 c #Conflicts: 700000 | #Constraints: 56665 2584.48/2591.07 c #Conflicts: 701000 | #Constraints: 57665 2584.48/2591.07 c #Conflicts: 702000 | #Constraints: 58665 2584.48/2591.07 c #Conflicts: 703000 | #Constraints: 59666 2584.48/2591.07 c #Conflicts: 704000 | #Constraints: 60666 2584.48/2591.07 c #Conflicts: 705000 | #Constraints: 61666 2584.48/2591.07 c #Conflicts: 706000 | #Constraints: 62666 2584.48/2591.07 c #Conflicts: 707000 | #Constraints: 63666 2584.48/2591.07 c #Conflicts: 708000 | #Constraints: 64666 2584.48/2591.07 c #Conflicts: 709000 | #Constraints: 65666 2584.48/2591.07 c INPROCESSING 2584.48/2591.07 c GARBAGE COLLECT 2584.48/2591.07 c rational objective 148 3004.66/3012.33 c #Conflicts: 710000 | #Constraints: 34822 3004.66/3012.33 c #Conflicts: 711000 | #Constraints: 35822 3004.66/3012.33 c #Conflicts: 712000 | #Constraints: 36822 3004.66/3012.33 c #Conflicts: 713000 | #Constraints: 37822 3004.66/3012.33 c #Conflicts: 714000 | #Constraints: 38822 3004.66/3012.33 c #Conflicts: 715000 | #Constraints: 39822 3004.66/3012.33 c #Conflicts: 716000 | #Constraints: 40822 3004.66/3012.33 c #Conflicts: 717000 | #Constraints: 41822 3004.66/3012.33 c #Conflicts: 718000 | #Constraints: 42822 3004.66/3012.33 c #Conflicts: 719000 | #Constraints: 43822 3004.66/3012.33 c #Conflicts: 720000 | #Constraints: 44822 3004.66/3012.33 c #Conflicts: 721000 | #Constraints: 45822 3004.66/3012.33 c #Conflicts: 722000 | #Constraints: 46822 3004.66/3012.33 c #Conflicts: 723000 | #Constraints: 47822 3004.66/3012.33 c #Conflicts: 724000 | #Constraints: 48822 3004.66/3012.33 c #Conflicts: 725000 | #Constraints: 49822 3004.66/3012.33 c #Conflicts: 726000 | #Constraints: 50822 3004.66/3012.33 c #Conflicts: 727000 | #Constraints: 51822 3004.66/3012.33 c #Conflicts: 728000 | #Constraints: 52822 3004.66/3012.33 c #Conflicts: 729000 | #Constraints: 53822 3004.66/3012.33 c #Conflicts: 730000 | #Constraints: 54822 3004.66/3012.33 c #Conflicts: 731000 | #Constraints: 55822 3004.66/3012.33 c #Conflicts: 732000 | #Constraints: 56822 3004.66/3012.33 c #Conflicts: 733000 | #Constraints: 57822 3004.66/3012.33 c #Conflicts: 734000 | #Constraints: 58822 3004.66/3012.33 c #Conflicts: 735000 | #Constraints: 59822 3004.66/3012.33 c #Conflicts: 736000 | #Constraints: 60822 3004.66/3012.33 c #Conflicts: 737000 | #Constraints: 61822 3004.66/3012.33 c #Conflicts: 738000 | #Constraints: 62822 3004.66/3012.33 c #Conflicts: 739000 | #Constraints: 63822 3004.66/3012.33 c #Conflicts: 740000 | #Constraints: 64822 3004.66/3012.33 c #Conflicts: 741000 | #Constraints: 65822 3004.66/3012.33 c #Conflicts: 742000 | #Constraints: 66822 3004.66/3012.33 c #Conflicts: 743000 | #Constraints: 67822 3004.66/3012.33 c #Conflicts: 744000 | #Constraints: 68822 3004.66/3012.33 c #Conflicts: 745000 | #Constraints: 69822 3004.66/3012.33 c #Conflicts: 746000 | #Constraints: 70822 3004.66/3012.33 c #Conflicts: 747000 | #Constraints: 71822 3004.66/3012.33 c #Conflicts: 748000 | #Constraints: 72822 3004.66/3012.33 c #Conflicts: 749000 | #Constraints: 73822 3004.66/3012.33 c #Conflicts: 750000 | #Constraints: 74822 3004.66/3012.33 c #Conflicts: 751000 | #Constraints: 75822 3004.66/3012.33 c #Conflicts: 752000 | #Constraints: 76822 3004.66/3012.33 c #Conflicts: 753000 | #Constraints: 77822 3004.66/3012.33 c #Conflicts: 754000 | #Constraints: 78822 3004.66/3012.33 c #Conflicts: 755000 | #Constraints: 79822 3004.66/3012.33 c #Conflicts: 756000 | #Constraints: 80822 3004.66/3012.33 c #Conflicts: 757000 | #Constraints: 81822 3004.66/3012.33 c #Conflicts: 758000 | #Constraints: 82822 3004.66/3012.33 c #Conflicts: 759000 | #Constraints: 83822 3004.66/3012.33 c #Conflicts: 760000 | #Constraints: 84822 3004.66/3012.33 c #Conflicts: 761000 | #Constraints: 85822 3004.66/3012.33 c #Conflicts: 762000 | #Constraints: 86822 3004.66/3012.33 c #Conflicts: 763000 | #Constraints: 87822 3004.66/3012.33 c #Conflicts: 764000 | #Constraints: 88822 3004.66/3012.33 c #Conflicts: 765000 | #Constraints: 89822 3004.66/3012.33 c #Conflicts: 766000 | #Constraints: 90822 3004.66/3012.33 c #Conflicts: 767000 | #Constraints: 91822 3004.66/3012.33 c #Conflicts: 768000 | #Constraints: 92822 3004.66/3012.33 c #Conflicts: 769000 | #Constraints: 93822 3004.66/3012.33 c INPROCESSING 3004.66/3012.33 c GARBAGE COLLECT 3004.66/3012.33 c rational objective 148 3245.62/3253.97 c #Conflicts: 770000 | #Constraints: 48296 3245.62/3253.97 c #Conflicts: 771000 | #Constraints: 49296 3245.62/3253.97 c #Conflicts: 772000 | #Constraints: 50296 3245.62/3253.97 c #Conflicts: 773000 | #Constraints: 51296 3245.62/3253.97 c #Conflicts: 774000 | #Constraints: 52296 3245.62/3253.97 c #Conflicts: 775000 | #Constraints: 53296 3245.62/3253.97 c #Conflicts: 776000 | #Constraints: 54296 3245.62/3253.97 c #Conflicts: 777000 | #Constraints: 55296 3245.62/3253.97 c #Conflicts: 778000 | #Constraints: 56296 3245.62/3253.97 c #Conflicts: 779000 | #Constraints: 57296 3245.62/3253.97 c #Conflicts: 780000 | #Constraints: 58296 3245.62/3253.97 c #Conflicts: 781000 | #Constraints: 59296 3245.62/3253.97 c #Conflicts: 782000 | #Constraints: 60296 3245.62/3253.97 c #Conflicts: 783000 | #Constraints: 61296 3245.62/3253.97 c #Conflicts: 784000 | #Constraints: 62296 3245.62/3253.97 c #Conflicts: 785000 | #Constraints: 63296 3245.62/3253.97 c #Conflicts: 786000 | #Constraints: 64296 3245.62/3253.97 c #Conflicts: 787000 | #Constraints: 65296 3245.62/3253.97 c #Conflicts: 788000 | #Constraints: 66296 3245.62/3253.97 c #Conflicts: 789000 | #Constraints: 67296 3245.62/3253.97 c #Conflicts: 790000 | #Constraints: 68296 3245.62/3253.97 c #Conflicts: 791000 | #Constraints: 69296 3245.62/3253.97 c #Conflicts: 792000 | #Constraints: 70296 3245.62/3253.97 c INPROCESSING 3245.62/3253.97 c GARBAGE COLLECT 3245.62/3253.97 c rational objective 148 3600.01/3609.20 c #Conflicts: 793000 | #Constraints: 37315 3600.01/3609.20 c #Conflicts: 794000 | #Constraints: 38315 3600.01/3609.20 c #Conflicts: 795000 | #Constraints: 39315 3600.01/3609.20 c #Conflicts: 796000 | #Constraints: 40315 3600.01/3609.20 c #Conflicts: 797000 | #Constraints: 41315 3600.01/3609.20 c #Conflicts: 798000 | #Constraints: 42315 3600.01/3609.20 c #Conflicts: 799000 | #Constraints: 43315 3600.01/3609.20 c #Conflicts: 800000 | #Constraints: 44315 3600.01/3609.20 c #Conflicts: 801000 | #Constraints: 45315 3600.01/3609.20 c #Conflicts: 802000 | #Constraints: 46315 3600.01/3609.20 c #Conflicts: 803000 | #Constraints: 47315 3600.01/3609.20 c #Conflicts: 804000 | #Constraints: 48315 3600.01/3609.20 c #Conflicts: 805000 | #Constraints: 49315 3600.01/3609.20 c #Conflicts: 806000 | #Constraints: 50315 3600.01/3609.20 c #Conflicts: 807000 | #Constraints: 51315 3600.01/3609.20 c #Conflicts: 808000 | #Constraints: 52315 3600.01/3609.20 c #Conflicts: 809000 | #Constraints: 53315 3600.01/3609.20 c #Conflicts: 810000 | #Constraints: 54315 3600.01/3609.20 c #Conflicts: 811000 | #Constraints: 55315 3600.01/3609.20 c #Conflicts: 812000 | #Constraints: 56315 3600.01/3609.20 c #Conflicts: 813000 | #Constraints: 57315 3600.01/3609.20 c #Conflicts: 814000 | #Constraints: 58315 3600.01/3609.20 c #Conflicts: 815000 | #Constraints: 59315 3600.01/3609.20 c #Conflicts: 816000 | #Constraints: 60315 3600.01/3609.20 c #Conflicts: 817000 | #Constraints: 61315 3600.01/3609.20 c #Conflicts: 818000 | #Constraints: 62315 3600.01/3609.20 c #Conflicts: 819000 | #Constraints: 63315 3600.01/3609.20 c #Conflicts: 820000 | #Constraints: 64315 3600.01/3609.20 c #Conflicts: 821000 | #Constraints: 65315 3600.01/3609.20 c #Conflicts: 822000 | #Constraints: 66315 3600.01/3609.20 c #Conflicts: 823000 | #Constraints: 67315 3600.01/3609.20 c #Conflicts: 824000 | #Constraints: 68315 3600.01/3609.20 c #Conflicts: 825000 | #Constraints: 69315 3600.01/3609.20 c #Conflicts: 826000 | #Constraints: 70315 3600.01/3609.20 c #Conflicts: 827000 | #Constraints: 71315 3600.01/3609.20 c #Conflicts: 828000 | #Constraints: 72315 3600.01/3609.20 c #Conflicts: 829000 | #Constraints: 73315 3600.01/3609.20 c #Conflicts: 830000 | #Constraints: 74315 3600.01/3609.20 c #Conflicts: 831000 | #Constraints: 75315 3600.01/3609.20 c #Conflicts: 832000 | #Constraints: 76315 3600.01/3609.20 c #Conflicts: 833000 | #Constraints: 77315 3600.01/3609.20 c #Conflicts: 834000 | #Constraints: 78315 3600.01/3609.20 c #Conflicts: 835000 | #Constraints: 79315 3600.01/3609.20 c #Conflicts: 836000 | #Constraints: 80315 3600.01/3609.20 c #Conflicts: 837000 | #Constraints: 81315 3600.01/3609.20 c Program interrupted by user. 3600.01/3609.20 c cpu time 3581.88 s 3600.01/3609.20 c deterministic time 392789542164 3.93e+11 3600.01/3609.20 c optimization time 353.326 s 3600.01/3609.20 c total solve time 3228.55 s 3600.01/3609.20 c core-guided solve time 1819.41 s 3600.01/3609.20 c propagation time 3101.94 s 3600.01/3609.20 c conflict analysis time 447.51 s 3600.01/3609.20 c propagations 118588728 3600.01/3609.20 c resolve steps 7638701 3600.01/3609.20 c decisions 5343889 3600.01/3609.20 c conflicts 837886 3600.01/3609.20 c restarts 1788 3600.01/3609.20 c inprocessing phases 44 3600.01/3609.20 c input clauses 307 3600.01/3609.20 c input cardinalities 328 3600.01/3609.20 c input general constraints 903 3600.01/3609.20 c input average constraint length 63.01 3600.01/3609.20 c input average constraint degree 23.82 3600.01/3609.20 c learned clauses 322540 3600.01/3609.20 c learned cardinalities 5380 3600.01/3609.20 c learned general constraints 509985 3600.01/3609.20 c learned average constraint length 185.88 3600.01/3609.20 c learned average constraint degree 6875881.99 3600.01/3609.20 c watched constraints 358608 3600.01/3609.20 c counting constraints 152280 3600.01/3609.20 c gcd simplifications 108984 3600.01/3609.20 c detected cardinalities 2485 3600.01/3609.20 c weakened non-implied lits 38614105 3600.01/3609.20 c weakened non-implying lits 88633 3600.01/3609.20 c original variables 476 3600.01/3609.20 c clausal propagations 13357586 3600.01/3609.20 c cardinality propagations 7101254 3600.01/3609.20 c watched propagations 17756276 3600.01/3609.20 c counting propagations 78523578 3600.01/3609.20 c watch lookups 62236218402 3600.01/3609.20 c watch backjump lookups 54936632899 3600.01/3609.20 c watch checks 255536389397 3600.01/3609.20 c propagation checks 19165658834 3600.01/3609.20 c constraint additions 665069583 3600.01/3609.20 c trail pops 124770108 3600.01/3609.20 c formula constraints 476 3600.01/3609.20 c learned constraints 837889 3600.01/3609.20 c bound constraints 181 3600.01/3609.20 c core-guided constraints 881 3600.01/3609.20 c encountered formula constraints 1198890 3600.01/3609.20 c encountered learned constraints 6224646 3600.01/3609.20 c encountered bound constraints 113 3600.01/3609.20 c encountered core-guided constraints 1052895 3600.01/3609.20 c LP total time 44.9009 s 3600.01/3609.20 c LP solve time 43.54 s 3600.01/3609.20 c LP constraints added 476 3600.01/3609.20 c LP constraints removed 0 3600.01/3609.20 c LP pivots internal 838334 3600.01/3609.20 c LP pivots root 31989 3600.01/3609.20 c LP calls 16573 3600.01/3609.20 c LP optimalities 16562 3600.01/3609.20 c LP no pivot count 895 3600.01/3609.20 c LP infeasibilities 8 3600.01/3609.20 c LP valid Farkas constraints 8 3600.01/3609.20 c LP learned Farkas constraints 8 3600.01/3609.20 c LP basis resets 0 3600.01/3609.20 c LP cycling count 0 3600.01/3609.20 c LP singular count 0 3600.01/3609.20 c LP no primal count 0 3600.01/3609.20 c LP no farkas count 0 3600.01/3609.20 c LP other issue count 0 3600.01/3609.20 c LP Gomory cuts 0 3600.01/3609.20 c LP learned cuts 0 3600.01/3609.20 c LP deleted cuts 0 3600.01/3609.20 c LP encountered Gomory constraints 0 3600.01/3609.20 c LP encountered Farkas constraints 13 3600.01/3609.20 c LP encountered learned Farkas constraints 22 3600.01/3609.20 c CG auxiliary variables introduced 343 3600.01/3609.20 c CG solutions found 33 3600.01/3609.20 c CG cores constructed 148 3600.01/3609.20 c CG core cardinality constraints returned 0 3600.01/3609.20 c CG unit cores 0 3600.01/3609.20 c CG single cores 148 3600.01/3609.20 c CG blocks removed during cardinality reduction 0 3600.01/3609.20 c CG first core best 0 3600.01/3609.20 c CG decision core best 0 3600.01/3609.20 c CG core reduction tie 0 3600.01/3609.20 c CG core degree average 1.00 3600.01/3609.20 c CG core slack average 4.04 3600.01/3609.20 s SATISFIABLE 3600.01/3609.20 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 x68 x69 x70 x71 x72 x73 x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 x134 x135 x136 x137 x138 -x139 x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 x189 x190 x191 -x192 -x193 x194 -x195 x196 x197 x198 x199 x200 -x201 -x202 x203 -x204 x205 -x206 -x207 x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 x233 x234 x235 -x236 x237 -x238 -x239 x240 -x241 -x242 x243 -x244 x245 x246 -x247 -x248 -x249 x250 x251 -x252 x253 -x254 x255 x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 x296 x297 x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 -x318 x319 x320 -x321 x322 -x323 x324 x325 x326 x327 x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 x342 x343 -x344 -x345 x346 x347 x348 x349 -x350 x351 x352 -x353 x354 x355 x356 x357 -x358 -x359 x360 x361 x362 x363 -x364 x365 -x366 x367 x368 -x369 -x370 x371 -x372 x373 x374 -x375 x376 x377 x378 -x379 x380 -x381 x382 x383 x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 x393 -x394 -x395 -x396 x397 -x398 x399 x400 x401 -x402 -x403 x404 -x405 -x406 x407 -x408 -x409 x410 x411 -x412 -x413 x414 -x415 x416 x417 x418 -x419 -x420 x421 x422 x423 x424 -x425 x426 -x427 -x428 x429 x430 x431 x432 -x433 x434 x435 x436 -x437 -x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447 -x448 x449 x450 -x451 x452 x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 -x470 x471 -x472 -x473 x474 x475 x476
OK 199
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (43904 MiB free)
memory of node 1: 64473 MiB (34996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456756-1721769318/watcher-4456756-1721769318 -o /tmp/evaluation-result-4456756-1721769318/solver-4456756-1721769318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721765588-115809 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456756-1721769318 --lp-cut-gomory=0 HOME/instance-4456756-1721769318.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=118213, runsolver pid=118210
[startup+0.10047 s]*
/proc/loadavg: 4.18 4.21 4.19 5/250 118214
/proc/meminfo: memFree=80792120/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=38872 memory=8648 CPUtime=0.1 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 616 0 0 0 9 1 0 0 20 0 1 0 12921717 39804928 2162 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 9718 2162 1792 992 0 1576 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38872 KiB
Current children cumulated memory: 8648 KiB
[startup+0.213025 s]*
/proc/loadavg: 4.18 4.21 4.19 5/250 118214
/proc/meminfo: memFree=80790804/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=38896 memory=9016 CPUtime=0.21 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 645 0 0 0 20 1 0 0 20 0 1 0 12921717 39829504 2254 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 9724 2254 1792 992 0 1582 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 9016 KiB
[startup+0.31219 s]*
/proc/loadavg: 4.18 4.21 4.19 5/250 118214
/proc/meminfo: memFree=80789984/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=38896 memory=9016 CPUtime=0.3 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 651 0 0 0 29 1 0 0 20 0 1 0 12921717 39829504 2254 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 9724 2254 1792 992 0 1582 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 9016 KiB
[startup+0.700288 s]
/proc/loadavg: 4.18 4.21 4.19 6/250 118214
/proc/meminfo: memFree=80786104/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=40916 memory=12404 CPUtime=0.69 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 1487 0 0 0 60 9 0 0 20 0 1 0 12921717 41897984 3101 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 10229 3101 1838 992 0 2087 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40916 KiB
Current children cumulated memory: 12404 KiB
[startup+1.50027 s]
/proc/loadavg: 4.18 4.21 4.19 5/250 118214
/proc/meminfo: memFree=80768400/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=45668 memory=19296 CPUtime=1.48 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 2784 0 0 0 135 13 0 0 20 0 1 0 12921717 46764032 4824 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 11417 4824 1838 992 0 3275 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45668 KiB
Current children cumulated memory: 19296 KiB
[startup+3.11302 s]
/proc/loadavg: 4.18 4.21 4.19 5/250 118216
/proc/meminfo: memFree=80733668/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=46428 memory=20540 CPUtime=3.09 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 3027 0 0 0 287 22 0 0 20 0 1 0 12921717 47542272 5135 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 11607 5135 1891 992 0 3465 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46428 KiB
Current children cumulated memory: 20540 KiB
[startup+6.30029 s]
/proc/loadavg: 4.17 4.21 4.18 5/250 118216
/proc/meminfo: memFree=80698392/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=52828 memory=26068 CPUtime=6.27 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 3936 0 0 0 590 37 0 0 20 0 1 0 12921717 54095872 6517 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 13207 6517 1891 992 0 5065 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52828 KiB
Current children cumulated memory: 26068 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.20 4.18 5/250 118216
/proc/meminfo: memFree=80616980/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=79680 memory=50644 CPUtime=12.65 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 8043 0 0 0 1206 59 0 0 20 0 1 0 12921717 81592320 12661 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 19920 12661 1891 992 0 11778 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79680 KiB
Current children cumulated memory: 50644 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.21 4.18 5/247 118219
/proc/meminfo: memFree=80500428/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=100720 memory=65232 CPUtime=25.41 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 10575 0 0 0 2457 84 0 0 20 0 1 0 12921717 103137280 16308 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 25180 16308 1891 992 0 17038 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 100720 KiB
Current children cumulated memory: 65232 KiB
[startup+51.1131 s]
/proc/loadavg: 4.12 4.19 4.18 5/247 118222
/proc/meminfo: memFree=80296424/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=140592 memory=101524 CPUtime=50.94 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 14516 0 0 0 4972 122 0 0 20 0 1 0 12921717 143966208 25381 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 35148 25381 1891 992 0 27006 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 140592 KiB
Current children cumulated memory: 101524 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/247 118231
/proc/meminfo: memFree=79990612/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=145324 memory=106976 CPUtime=102.01 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 15517 0 0 0 9999 202 0 0 20 0 1 0 12921717 148811776 26744 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 36331 26744 1891 992 0 28189 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 145324 KiB
Current children cumulated memory: 106976 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/247 118241
/proc/meminfo: memFree=79578724/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=194240 memory=135948 CPUtime=161.85 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 19864 0 0 0 15915 270 0 0 20 0 1 0 12921717 198901760 33987 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 48560 33987 1891 992 0 40418 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 194240 KiB
Current children cumulated memory: 135948 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/246 118251
/proc/meminfo: memFree=79291272/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=194240 memory=135948 CPUtime=221.7 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 19895 0 0 0 21835 335 0 0 20 0 1 0 12921717 198901760 33987 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 48560 33987 1891 992 0 40418 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 194240 KiB
Current children cumulated memory: 135948 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.21 4.18 5/245 118261
/proc/meminfo: memFree=79052768/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=198488 memory=139640 CPUtime=281.54 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 21007 0 0 0 27767 387 0 0 20 0 1 0 12921717 203251712 34910 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 49622 34910 1891 992 0 41480 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 198488 KiB
Current children cumulated memory: 139640 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/246 118276
/proc/meminfo: memFree=78774084/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=202740 memory=142500 CPUtime=341.37 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 21766 0 0 0 33680 457 0 0 20 0 1 0 12921717 207605760 35625 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 50685 35625 1907 992 0 42543 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 202740 KiB
Current children cumulated memory: 142500 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.20 4.18 5/246 118287
/proc/meminfo: memFree=78479928/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=224852 memory=174364 CPUtime=401.21 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 25729 0 0 0 39626 495 0 0 20 0 1 0 12921717 230248448 43591 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 56213 43591 1907 992 0 48071 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 224852 KiB
Current children cumulated memory: 174364 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/246 118297
/proc/meminfo: memFree=78213560/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=225108 memory=174364 CPUtime=461.05 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 25758 0 0 0 45569 536 0 0 20 0 1 0 12921717 230510592 43591 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 56277 43591 1907 992 0 48135 0
################
# More data... #
################
Current children cumulated memory: 324984 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/249 119915
/proc/meminfo: memFree=69961208/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=362088 memory=327564 CPUtime=2855.12 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 46934 0 0 0 283900 1612 0 0 20 0 1 0 12921717 370778112 81891 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 90522 81891 1907 992 0 82380 0
Current children cumulated CPU time: 2855.12 s
Current children cumulated vsize: 362088 KiB
Current children cumulated memory: 327564 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/248 119927
/proc/meminfo: memFree=69866092/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=453524 memory=341636 CPUtime=2914.94 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 49587 0 0 0 289865 1629 0 0 20 0 1 0 12921717 464408576 85409 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 113381 85409 1907 992 0 105239 0
Current children cumulated CPU time: 2914.94 s
Current children cumulated vsize: 453524 KiB
Current children cumulated memory: 341636 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/248 119937
/proc/meminfo: memFree=69667916/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=480152 memory=367600 CPUtime=2974.75 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 53574 0 0 0 295832 1643 0 0 20 0 1 0 12921717 491675648 91900 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 120038 91900 1907 992 0 111896 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 480152 KiB
Current children cumulated memory: 367600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/245 119947
/proc/meminfo: memFree=69540868/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=380180 CPUtime=3034.57 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55019 0 0 0 301798 1659 0 0 20 0 1 0 12921717 499695616 95045 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 95045 1907 992 0 113854 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 380180 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/245 119958
/proc/meminfo: memFree=69450716/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3094.39 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55155 0 0 0 307762 1677 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/247 119982
/proc/meminfo: memFree=69381836/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3154.24 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55307 0 0 0 313732 1692 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.14 4.12 5/249 120218
/proc/meminfo: memFree=69271780/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3214.09 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55456 0 0 0 319707 1702 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/248 120228
/proc/meminfo: memFree=69156804/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3273.95 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55587 0 0 0 325675 1720 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.17 4.13 5/249 120531
/proc/meminfo: memFree=69020504/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3333.8 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55722 0 0 0 331638 1742 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/249 120542
/proc/meminfo: memFree=68876068/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3393.66 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55858 0 0 0 337605 1761 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.81 4.34 4.20 5/247 120552
/proc/meminfo: memFree=68778388/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3453.52 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 55996 0 0 0 343573 1779 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.31 4.19 5/246 120749
/proc/meminfo: memFree=68603980/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3513.36 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 56136 0 0 0 349541 1795 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.27 4.18 5/249 120762
/proc/meminfo: memFree=67737768/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3573.19 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 56278 0 0 0 355511 1808 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.12 4.24 4.17 5/249 120765
/proc/meminfo: memFree=67110828/131655788 swapFree=131067352/131071996
[pid=118213] ppid=118210 vsize=487984 memory=400920 CPUtime=3600.01 cores=4,6
/proc/118213/stat : 118213 (roundingsat) R 118210 118213 115798 0 -1 4194304 56406 0 0 0 358187 1814 0 0 20 0 1 0 12921717 499695616 100230 134679101440 4194304 8254037 140724791991904 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33288192 140724791997276 140724791997538 140724791997538 140724792004553 0
/proc/118213/statm: 121996 100230 1907 992 0 113854 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 400920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.23 s]
# the end of solver process 118213 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.88 s, system=18.1452 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.23
CPU time (s): 3600.03
CPU user time (s): 3581.88
CPU system time (s): 18.1452
CPU usage (%): 99.7452
Max. virtual memory (cumulated for all children) (KiB): 487984
Max. memory (cumulated for all children) (KiB): 400920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.88
system time used= 18.1452
maximum resident set size= 401128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5100624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 426
involuntary context switches= 4817
# summary of solver processes directly reported to runsolver:
# pid: 118213
# total CPU time (s): 3600.03
# total CPU user time (s): 3581.88
# total CPU system time (s): 18.1452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8041 second user time and 33.0834 second system time
The end
Begin job on nodeC009 at 2024-07-23 23:15:18 IDJOB=4456756 IDBENCH=147547 IDSOLVER=3085 FILE ID=nodeC009/4456756-1721769318 RUNJOBID= nodeC009-1721765588-115809 SLURM_JOB_ID= 7770661 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.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-4456756-1721769318/watcher-4456756-1721769318 -o /tmp/evaluation-result-4456756-1721769318/solver-4456756-1721769318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721765588-115809 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456756-1721769318 --lp-cut-gomory=0 HOME/instance-4456756-1721769318.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=1796759147 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.303 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3666.249 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.422 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.480 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3666.322 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.261 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.344 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 80794896 kB MemAvailable: 129680500 kB Buffers: 184820 kB Cached: 49463672 kB SwapCached: 3724 kB Active: 1082560 kB Inactive: 49123672 kB Active(anon): 1608 kB Inactive(anon): 594020 kB Active(file): 1080952 kB Inactive(file): 48529652 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131067352 kB Dirty: 129852 kB Writeback: 0 kB AnonPages: 547904 kB Mapped: 97576 kB Shmem: 37508 kB KReclaimable: 230396 kB Slab: 333252 kB SReclaimable: 230396 kB SUnreclaim: 102856 kB KernelStack: 4048 kB PageTables: 10136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 980496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 366592 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: 291656 kB DirectMap2M: 28973056 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723688 MiB End job on nodeC009 at 2024-07-24 00:15:28