| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 195 | 3600.1 | 3613.41 |
| 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.00 c #variables 476 #constraints 476 0.09/0.17 c bounds - >= 0 @ 0.002258 0.09/0.17 c bounds 231 >= 0 @ 0.135042 0.09/0.17 c bounds 231 >= 1 @ 0.135129 0.09/0.17 c bounds 231 >= 2 @ 0.135205 0.09/0.17 c bounds 231 >= 3 @ 0.135264 0.09/0.17 c bounds 231 >= 4 @ 0.135327 0.09/0.17 c bounds 231 >= 5 @ 0.135386 0.09/0.17 c bounds 231 >= 6 @ 0.135447 0.09/0.17 c bounds 231 >= 7 @ 0.135507 0.09/0.17 c bounds 231 >= 8 @ 0.135571 0.09/0.17 c bounds 231 >= 9 @ 0.135642 0.09/0.17 c bounds 231 >= 10 @ 0.135711 0.09/0.17 c bounds 231 >= 11 @ 0.135777 0.09/0.17 c bounds 231 >= 12 @ 0.135846 0.09/0.17 c bounds 231 >= 13 @ 0.135846 0.09/0.17 c bounds 231 >= 14 @ 0.135846 0.09/0.17 c bounds 231 >= 15 @ 0.135846 0.09/0.17 c bounds 231 >= 16 @ 0.135846 0.09/0.17 c bounds 231 >= 17 @ 0.135846 0.09/0.17 c bounds 231 >= 18 @ 0.135846 0.09/0.17 c bounds 231 >= 19 @ 0.135846 0.09/0.17 c bounds 231 >= 20 @ 0.135846 0.09/0.17 c bounds 231 >= 21 @ 0.135846 0.09/0.17 c bounds 231 >= 22 @ 0.135846 0.09/0.17 c bounds 231 >= 23 @ 0.135943 0.09/0.17 c bounds 231 >= 24 @ 0.136056 0.09/0.17 c bounds 231 >= 25 @ 0.136168 0.09/0.17 c bounds 231 >= 26 @ 0.13628 0.09/0.17 c bounds 231 >= 27 @ 0.136393 0.09/0.17 c bounds 231 >= 28 @ 0.136505 0.09/0.17 c bounds 231 >= 29 @ 0.136617 0.09/0.17 c bounds 231 >= 30 @ 0.136732 0.09/0.17 c bounds 231 >= 31 @ 0.136842 0.09/0.17 c bounds 230 >= 31 @ 0.136998 0.09/0.17 c bounds 230 >= 32 @ 0.13711 0.09/0.17 c bounds 230 >= 33 @ 0.137224 0.09/0.17 c bounds 230 >= 34 @ 0.137335 0.09/0.17 c bounds 230 >= 35 @ 0.137467 0.09/0.17 c bounds 230 >= 36 @ 0.137666 0.09/0.17 c bounds 230 >= 37 @ 0.13778 0.09/0.17 c bounds 230 >= 38 @ 0.137892 0.09/0.17 c bounds 230 >= 39 @ 0.138003 0.09/0.17 c bounds 230 >= 40 @ 0.138118 0.09/0.17 c bounds 230 >= 41 @ 0.138233 0.09/0.17 c bounds 230 >= 42 @ 0.13835 0.09/0.17 c bounds 230 >= 43 @ 0.138463 0.09/0.17 c bounds 230 >= 44 @ 0.138581 0.09/0.17 c bounds 230 >= 45 @ 0.138694 0.09/0.17 c bounds 230 >= 46 @ 0.138809 0.09/0.17 c bounds 230 >= 47 @ 0.138926 0.09/0.17 c bounds 230 >= 48 @ 0.139043 0.09/0.17 c bounds 230 >= 49 @ 0.13916 0.09/0.17 c bounds 230 >= 50 @ 0.139278 0.09/0.17 c bounds 230 >= 51 @ 0.139394 0.09/0.17 c bounds 230 >= 52 @ 0.13951 0.09/0.17 c bounds 230 >= 53 @ 0.139624 0.09/0.17 c bounds 230 >= 54 @ 0.139741 0.09/0.17 c bounds 230 >= 55 @ 0.139853 0.09/0.17 c bounds 230 >= 56 @ 0.139967 0.09/0.17 c bounds 230 >= 57 @ 0.139996 0.09/0.17 c bounds 230 >= 58 @ 0.139996 0.09/0.17 c bounds 230 >= 59 @ 0.139996 0.09/0.17 c bounds 230 >= 60 @ 0.139996 0.09/0.17 c bounds 230 >= 61 @ 0.139996 0.09/0.17 c bounds 229 >= 61 @ 0.14 0.09/0.17 c bounds 229 >= 62 @ 0.14 0.09/0.17 c bounds 229 >= 63 @ 0.14 0.09/0.17 c bounds 229 >= 64 @ 0.14 0.09/0.17 c bounds 229 >= 65 @ 0.140003 0.09/0.17 c bounds 229 >= 66 @ 0.140003 0.09/0.17 c bounds 229 >= 67 @ 0.140003 0.09/0.17 c bounds 229 >= 68 @ 0.140003 0.09/0.17 c bounds 229 >= 69 @ 0.140003 0.09/0.17 c bounds 229 >= 70 @ 0.140003 0.09/0.17 c bounds 229 >= 71 @ 0.140003 0.09/0.17 c bounds 229 >= 72 @ 0.140003 0.09/0.17 c bounds 229 >= 73 @ 0.140007 0.09/0.17 c bounds 229 >= 74 @ 0.140007 0.09/0.17 c bounds 229 >= 75 @ 0.140007 0.09/0.17 c bounds 229 >= 76 @ 0.140007 0.09/0.17 c bounds 229 >= 77 @ 0.140007 0.09/0.17 c bounds 229 >= 78 @ 0.140007 0.09/0.17 c bounds 229 >= 79 @ 0.140007 0.09/0.17 c bounds 229 >= 80 @ 0.140018 0.09/0.17 c bounds 229 >= 81 @ 0.140148 0.09/0.17 c bounds 229 >= 82 @ 0.14028 0.09/0.17 c bounds 229 >= 83 @ 0.140406 0.09/0.17 c bounds 229 >= 84 @ 0.140552 0.09/0.17 c bounds 228 >= 84 @ 0.141008 0.09/0.17 c bounds 228 >= 85 @ 0.141008 0.09/0.17 c bounds 228 >= 86 @ 0.141008 0.09/0.17 c bounds 228 >= 87 @ 0.141008 0.09/0.17 c bounds 228 >= 88 @ 0.141008 0.09/0.17 c bounds 228 >= 89 @ 0.141008 0.09/0.17 c bounds 228 >= 90 @ 0.141162 0.09/0.17 c bounds 228 >= 91 @ 0.141301 0.09/0.17 c bounds 228 >= 92 @ 0.141446 0.09/0.17 c bounds 228 >= 93 @ 0.141575 0.09/0.17 c bounds 228 >= 94 @ 0.141717 0.09/0.17 c bounds 228 >= 95 @ 0.14186 0.09/0.17 c bounds 228 >= 96 @ 0.141994 0.09/0.17 c bounds 228 >= 97 @ 0.142167 0.09/0.17 c bounds 228 >= 98 @ 0.142348 0.09/0.17 c bounds 227 >= 98 @ 0.144511 0.09/0.17 c bounds 227 >= 99 @ 0.144689 0.09/0.17 c bounds 227 >= 100 @ 0.144855 0.09/0.17 c bounds 227 >= 101 @ 0.145005 0.09/0.17 c bounds 227 >= 102 @ 0.145176 0.09/0.17 c bounds 227 >= 103 @ 0.145346 0.09/0.17 c bounds 227 >= 104 @ 0.145498 0.09/0.17 c bounds 227 >= 105 @ 0.145646 0.09/0.17 c bounds 227 >= 106 @ 0.145791 0.09/0.17 c bounds 227 >= 107 @ 0.145933 0.09/0.17 c bounds 227 >= 108 @ 0.146 0.09/0.17 c bounds 227 >= 109 @ 0.146 0.09/0.17 c bounds 227 >= 110 @ 0.146 0.09/0.17 c bounds 227 >= 111 @ 0.146 0.09/0.17 c bounds 227 >= 112 @ 0.146 0.09/0.17 c bounds 227 >= 113 @ 0.146 0.09/0.17 c bounds 227 >= 114 @ 0.146128 0.09/0.17 c bounds 227 >= 115 @ 0.14632 0.09/0.17 c bounds 227 >= 116 @ 0.1465 0.09/0.17 c bounds 227 >= 117 @ 0.146682 0.09/0.17 c bounds 227 >= 118 @ 0.146844 0.09/0.17 c bounds 227 >= 119 @ 0.14705 0.09/0.17 c bounds 227 >= 120 @ 0.147231 0.09/0.17 c bounds 227 >= 121 @ 0.14743 0.09/0.17 c bounds 227 >= 122 @ 0.147593 0.09/0.17 c bounds 227 >= 123 @ 0.147761 0.09/0.17 c bounds 227 >= 124 @ 0.14793 0.09/0.17 c bounds 227 >= 125 @ 0.147999 0.09/0.17 c bounds 227 >= 126 @ 0.147999 0.09/0.17 c bounds 227 >= 127 @ 0.147999 0.09/0.17 c bounds 227 >= 128 @ 0.147999 0.09/0.17 c bounds 227 >= 129 @ 0.147999 0.09/0.17 c bounds 227 >= 130 @ 0.148001 0.09/0.17 c bounds 226 >= 130 @ 0.154988 0.09/0.17 c bounds 226 >= 131 @ 0.154988 0.68/0.72 c bounds 226 >= 132 @ 0.155239 0.68/0.72 c bounds 226 >= 133 @ 0.155521 0.68/0.72 c bounds 226 >= 134 @ 0.156163 0.68/0.72 c bounds 226 >= 135 @ 0.157132 0.68/0.72 c bounds 226 >= 136 @ 0.157983 0.68/0.72 c bounds 226 >= 137 @ 0.15901 0.68/0.72 c bounds 226 >= 138 @ 0.160865 0.68/0.72 c bounds 226 >= 139 @ 0.161097 0.68/0.72 c bounds 226 >= 140 @ 0.173357 0.68/0.72 c bounds 225 >= 140 @ 0.178995 0.68/0.72 c bounds 224 >= 140 @ 0.185888 0.68/0.72 c bounds 223 >= 140 @ 0.188858 0.68/0.72 c #Conflicts: 1000 | #Constraints: 2171 0.68/0.72 c bounds 222 >= 140 @ 0.39724 0.68/0.72 c #Conflicts: 2000 | #Constraints: 3172 0.68/0.72 c INPROCESSING 0.68/0.72 c GARBAGE COLLECT 0.68/0.72 c rational objective 143.945 1.58/1.60 c bounds 222 >= 141 @ 0.808973 1.58/1.60 c bounds 222 >= 142 @ 0.913131 1.58/1.60 c #Conflicts: 3000 | #Constraints: 3163 1.58/1.60 c #Conflicts: 4000 | #Constraints: 4163 1.58/1.60 c bounds 222 >= 143 @ 1.15841 1.58/1.60 c bounds 221 >= 143 @ 1.1616 1.58/1.60 c bounds 220 >= 143 @ 1.18166 1.58/1.60 c INPROCESSING 1.58/1.60 c GARBAGE COLLECT 1.58/1.60 c rational objective 143.945 2.57/2.64 c bounds 219 >= 143 @ 1.6107 2.57/2.64 c bounds 218 >= 143 @ 1.69115 2.57/2.64 c #Conflicts: 5000 | #Constraints: 3592 2.57/2.64 c bounds 217 >= 143 @ 1.75361 2.57/2.64 c bounds 216 >= 143 @ 1.76684 2.57/2.64 c bounds 215 >= 143 @ 1.77547 2.57/2.64 c bounds 214 >= 143 @ 1.78418 2.57/2.64 c bounds 213 >= 143 @ 1.80057 2.57/2.64 c bounds 212 >= 143 @ 1.80935 2.57/2.64 c #Conflicts: 6000 | #Constraints: 4598 2.57/2.64 c INPROCESSING 2.57/2.64 c GARBAGE COLLECT 2.57/2.64 c rational objective 143.945 5.07/5.13 c #Conflicts: 7000 | #Constraints: 3588 5.07/5.13 c #Conflicts: 8000 | #Constraints: 4588 5.07/5.13 c #Conflicts: 9000 | #Constraints: 5588 5.07/5.13 c INPROCESSING 5.07/5.13 c GARBAGE COLLECT 5.07/5.13 c bounds 211 >= 143 @ 3.74985 5.07/5.13 c #Conflicts: 10000 | #Constraints: 4341 5.07/5.13 c #Conflicts: 11000 | #Constraints: 5341 5.07/5.13 c bounds 210 >= 143 @ 4.2591 5.07/5.13 c bounds 209 >= 143 @ 4.28401 5.07/5.13 c #Conflicts: 12000 | #Constraints: 6343 5.07/5.13 c INPROCESSING 5.07/5.13 c GARBAGE COLLECT 5.07/5.13 c rational objective 143.945 7.16/7.23 c bounds 208 >= 143 @ 4.98547 7.16/7.23 c bounds 207 >= 143 @ 4.99232 7.16/7.23 c #Conflicts: 13000 | #Constraints: 4768 7.16/7.23 c bounds 206 >= 143 @ 5.24555 7.16/7.23 c bounds 206 >= 144 @ 6.16039 7.16/7.23 c #Conflicts: 14000 | #Constraints: 5814 7.16/7.23 c bounds 205 >= 144 @ 6.33225 7.16/7.23 c #Conflicts: 15000 | #Constraints: 6815 7.16/7.23 c INPROCESSING 7.16/7.23 c GARBAGE COLLECT 7.16/7.23 c rational objective 144 10.06/10.11 c #Conflicts: 16000 | #Constraints: 5034 10.06/10.11 c #Conflicts: 17000 | #Constraints: 6034 10.06/10.11 c #Conflicts: 18000 | #Constraints: 7034 10.06/10.11 c INPROCESSING 10.06/10.11 c GARBAGE COLLECT 10.06/10.11 c #Conflicts: 19000 | #Constraints: 5044 10.06/10.11 c #Conflicts: 20000 | #Constraints: 6044 10.06/10.11 c #Conflicts: 21000 | #Constraints: 7044 10.06/10.11 c INPROCESSING 10.06/10.11 c GARBAGE COLLECT 10.06/10.11 c rational objective 144 11.34/11.45 c #Conflicts: 22000 | #Constraints: 4914 11.34/11.45 c bounds 204 >= 144 @ 9.96801 11.34/11.45 c #Conflicts: 23000 | #Constraints: 5915 11.34/11.45 c #Conflicts: 24000 | #Constraints: 6915 11.34/11.45 c #Conflicts: 25000 | #Constraints: 7915 11.34/11.45 c INPROCESSING 11.34/11.45 c GARBAGE COLLECT 11.34/11.45 c rational objective 144 13.15/13.27 c #Conflicts: 26000 | #Constraints: 5483 13.15/13.27 c #Conflicts: 27000 | #Constraints: 6483 13.15/13.27 c bounds 204 >= 145 @ 12.1735 13.15/13.27 c #Conflicts: 28000 | #Constraints: 7526 13.15/13.27 c #Conflicts: 29000 | #Constraints: 8526 13.15/13.27 c INPROCESSING 13.15/13.27 c GARBAGE COLLECT 13.15/13.27 c rational objective 145 23.80/23.93 c #Conflicts: 30000 | #Constraints: 5908 23.80/23.93 c bounds 203 >= 145 @ 13.203 23.80/23.93 c #Conflicts: 31000 | #Constraints: 6909 23.80/23.93 c #Conflicts: 32000 | #Constraints: 7909 23.80/23.93 c #Conflicts: 33000 | #Constraints: 8909 23.80/23.93 c #Conflicts: 34000 | #Constraints: 9909 23.80/23.93 c #Conflicts: 35000 | #Constraints: 10909 23.80/23.93 c #Conflicts: 36000 | #Constraints: 11909 23.80/23.93 c #Conflicts: 37000 | #Constraints: 12909 23.80/23.93 c #Conflicts: 38000 | #Constraints: 13909 23.80/23.93 c #Conflicts: 39000 | #Constraints: 14909 23.80/23.93 c #Conflicts: 40000 | #Constraints: 15909 23.80/23.93 c #Conflicts: 41000 | #Constraints: 16909 23.80/23.93 c #Conflicts: 42000 | #Constraints: 17909 23.80/23.93 c INPROCESSING 23.80/23.93 c GARBAGE COLLECT 23.80/23.93 c rational objective 145 30.78/30.99 c #Conflicts: 43000 | #Constraints: 10162 30.78/30.99 c #Conflicts: 44000 | #Constraints: 11162 30.78/30.99 c #Conflicts: 45000 | #Constraints: 12162 30.78/30.99 c #Conflicts: 46000 | #Constraints: 13162 30.78/30.99 c #Conflicts: 47000 | #Constraints: 14162 30.78/30.99 c #Conflicts: 48000 | #Constraints: 15162 30.78/30.99 c INPROCESSING 30.78/30.99 c GARBAGE COLLECT 30.78/30.99 c rational objective 145 35.65/35.81 c #Conflicts: 49000 | #Constraints: 9292 35.65/35.81 c #Conflicts: 50000 | #Constraints: 10292 35.65/35.81 c #Conflicts: 51000 | #Constraints: 11292 35.65/35.81 c bounds 203 >= 146 @ 33.0461 35.65/35.81 c #Conflicts: 52000 | #Constraints: 12331 35.65/35.81 c #Conflicts: 53000 | #Constraints: 13331 35.65/35.81 c INPROCESSING 35.65/35.81 c GARBAGE COLLECT 35.65/35.81 c rational objective 146 40.04/40.23 c #Conflicts: 54000 | #Constraints: 8260 40.04/40.23 c #Conflicts: 55000 | #Constraints: 9262 40.04/40.23 c #Conflicts: 56000 | #Constraints: 10262 40.04/40.23 c #Conflicts: 57000 | #Constraints: 11263 40.04/40.23 c #Conflicts: 58000 | #Constraints: 12263 40.04/40.23 c INPROCESSING 40.04/40.23 c GARBAGE COLLECT 40.04/40.23 c rational objective 146 70.53/70.82 c #Conflicts: 59000 | #Constraints: 7477 70.53/70.82 c #Conflicts: 60000 | #Constraints: 8477 70.53/70.82 c #Conflicts: 61000 | #Constraints: 9477 70.53/70.82 c #Conflicts: 62000 | #Constraints: 10477 70.53/70.82 c #Conflicts: 63000 | #Constraints: 11477 70.53/70.82 c #Conflicts: 64000 | #Constraints: 12477 70.53/70.82 c #Conflicts: 65000 | #Constraints: 13477 70.53/70.82 c #Conflicts: 66000 | #Constraints: 14477 70.53/70.82 c #Conflicts: 67000 | #Constraints: 15477 70.53/70.82 c #Conflicts: 68000 | #Constraints: 16478 70.53/70.82 c #Conflicts: 69000 | #Constraints: 17480 70.53/70.82 c #Conflicts: 70000 | #Constraints: 18480 70.53/70.82 c bounds 202 >= 146 @ 47.4087 70.53/70.82 c #Conflicts: 71000 | #Constraints: 19485 70.53/70.82 c #Conflicts: 72000 | #Constraints: 20485 70.53/70.82 c #Conflicts: 73000 | #Constraints: 21485 70.53/70.82 c #Conflicts: 74000 | #Constraints: 22485 70.53/70.82 c #Conflicts: 75000 | #Constraints: 23485 70.53/70.82 c #Conflicts: 76000 | #Constraints: 24485 70.53/70.82 c #Conflicts: 77000 | #Constraints: 25485 70.53/70.82 c #Conflicts: 78000 | #Constraints: 26485 70.53/70.82 c INPROCESSING 70.53/70.82 c GARBAGE COLLECT 70.53/70.82 c rational objective 146 75.21/75.56 c bounds 201 >= 146 @ 69.3136 75.21/75.56 c bounds 200 >= 146 @ 69.358 75.21/75.56 c #Conflicts: 79000 | #Constraints: 14985 75.21/75.56 c #Conflicts: 80000 | #Constraints: 15985 75.21/75.56 c #Conflicts: 81000 | #Constraints: 16985 75.21/75.56 c #Conflicts: 82000 | #Constraints: 17985 75.21/75.56 c #Conflicts: 83000 | #Constraints: 18985 75.21/75.56 c #Conflicts: 84000 | #Constraints: 19985 75.21/75.56 c INPROCESSING 75.21/75.56 c GARBAGE COLLECT 75.21/75.56 c rational objective 146 79.90/80.25 c #Conflicts: 85000 | #Constraints: 11264 79.90/80.25 c #Conflicts: 86000 | #Constraints: 12264 79.90/80.25 c #Conflicts: 87000 | #Constraints: 13264 79.90/80.25 c #Conflicts: 88000 | #Constraints: 14264 79.90/80.25 c #Conflicts: 89000 | #Constraints: 15264 79.90/80.25 c #Conflicts: 90000 | #Constraints: 16264 79.90/80.25 c #Conflicts: 91000 | #Constraints: 17264 79.90/80.25 c INPROCESSING 79.90/80.25 c GARBAGE COLLECT 79.90/80.25 c rational objective 146 86.87/87.23 c #Conflicts: 92000 | #Constraints: 9907 86.87/87.23 c #Conflicts: 93000 | #Constraints: 10907 86.87/87.23 c #Conflicts: 94000 | #Constraints: 11907 86.87/87.23 c #Conflicts: 95000 | #Constraints: 12907 86.87/87.23 c #Conflicts: 96000 | #Constraints: 13907 86.87/87.23 c #Conflicts: 97000 | #Constraints: 14907 86.87/87.23 c #Conflicts: 98000 | #Constraints: 15907 86.87/87.23 c #Conflicts: 99000 | #Constraints: 16907 86.87/87.23 c INPROCESSING 86.87/87.23 c GARBAGE COLLECT 86.87/87.23 c rational objective 146 91.65/92.04 c #Conflicts: 100000 | #Constraints: 10200 91.65/92.04 c #Conflicts: 101000 | #Constraints: 11200 91.65/92.04 c #Conflicts: 102000 | #Constraints: 12200 91.65/92.04 c bounds 199 >= 146 @ 87.0211 91.65/92.04 c #Conflicts: 103000 | #Constraints: 13227 91.65/92.04 c #Conflicts: 104000 | #Constraints: 14227 91.65/92.04 c #Conflicts: 105000 | #Constraints: 15227 91.65/92.04 c #Conflicts: 106000 | #Constraints: 16227 91.65/92.04 c INPROCESSING 91.65/92.04 c GARBAGE COLLECT 91.65/92.04 c rational objective 146 134.19/134.78 c #Conflicts: 107000 | #Constraints: 9593 134.19/134.78 c #Conflicts: 108000 | #Constraints: 10597 134.19/134.78 c #Conflicts: 109000 | #Constraints: 11609 134.19/134.78 c #Conflicts: 110000 | #Constraints: 12629 134.19/134.78 c #Conflicts: 111000 | #Constraints: 13672 134.19/134.78 c bounds 198 >= 146 @ 93.3354 134.19/134.78 c #Conflicts: 112000 | #Constraints: 14674 134.19/134.78 c #Conflicts: 113000 | #Constraints: 15674 134.19/134.78 c #Conflicts: 114000 | #Constraints: 16674 134.19/134.78 c #Conflicts: 115000 | #Constraints: 17674 134.19/134.78 c #Conflicts: 116000 | #Constraints: 18674 134.19/134.78 c #Conflicts: 117000 | #Constraints: 19674 134.19/134.78 c #Conflicts: 118000 | #Constraints: 20674 134.19/134.78 c #Conflicts: 119000 | #Constraints: 21674 134.19/134.78 c #Conflicts: 120000 | #Constraints: 22674 134.19/134.78 c #Conflicts: 121000 | #Constraints: 23674 134.19/134.78 c bounds 198 >= 147 @ 112.891 134.19/134.78 c #Conflicts: 122000 | #Constraints: 24716 134.19/134.78 c #Conflicts: 123000 | #Constraints: 25716 134.19/134.78 c #Conflicts: 124000 | #Constraints: 26716 134.19/134.78 c bounds 197 >= 147 @ 116.67 134.19/134.78 c #Conflicts: 125000 | #Constraints: 27717 134.19/134.78 c #Conflicts: 126000 | #Constraints: 28717 134.19/134.78 c #Conflicts: 127000 | #Constraints: 29717 134.19/134.78 c #Conflicts: 128000 | #Constraints: 30717 134.19/134.78 c #Conflicts: 129000 | #Constraints: 31717 134.19/134.78 c #Conflicts: 130000 | #Constraints: 32717 134.19/134.78 c #Conflicts: 131000 | #Constraints: 33717 134.19/134.78 c #Conflicts: 132000 | #Constraints: 34717 134.19/134.78 c INPROCESSING 134.19/134.78 c GARBAGE COLLECT 134.19/134.78 c rational objective 147 149.54/150.14 c #Conflicts: 133000 | #Constraints: 19052 149.54/150.14 c #Conflicts: 134000 | #Constraints: 20052 149.54/150.14 c #Conflicts: 135000 | #Constraints: 21052 149.54/150.14 c #Conflicts: 136000 | #Constraints: 22052 149.54/150.14 c #Conflicts: 137000 | #Constraints: 23052 149.54/150.14 c #Conflicts: 138000 | #Constraints: 24052 149.54/150.14 c #Conflicts: 139000 | #Constraints: 25052 149.54/150.14 c #Conflicts: 140000 | #Constraints: 26052 149.54/150.14 c INPROCESSING 149.54/150.14 c GARBAGE COLLECT 149.54/150.14 c rational objective 147 160.40/161.03 c bounds 196 >= 147 @ 147.259 160.40/161.03 c #Conflicts: 141000 | #Constraints: 14448 160.40/161.03 c #Conflicts: 142000 | #Constraints: 15448 160.40/161.03 c #Conflicts: 143000 | #Constraints: 16448 160.40/161.03 c #Conflicts: 144000 | #Constraints: 17448 160.40/161.03 c #Conflicts: 145000 | #Constraints: 18448 160.40/161.03 c #Conflicts: 146000 | #Constraints: 19448 160.40/161.03 c #Conflicts: 147000 | #Constraints: 20448 160.40/161.03 c #Conflicts: 148000 | #Constraints: 21448 160.40/161.03 c #Conflicts: 149000 | #Constraints: 22448 160.40/161.03 c INPROCESSING 160.40/161.03 c GARBAGE COLLECT 160.40/161.03 c rational objective 147 171.46/172.16 c #Conflicts: 150000 | #Constraints: 12627 171.46/172.16 c #Conflicts: 151000 | #Constraints: 13627 171.46/172.16 c #Conflicts: 152000 | #Constraints: 14627 171.46/172.16 c #Conflicts: 153000 | #Constraints: 15627 171.46/172.16 c #Conflicts: 154000 | #Constraints: 16627 171.46/172.16 c #Conflicts: 155000 | #Constraints: 17627 171.46/172.16 c bounds 195 >= 147 @ 162.397 171.46/172.16 c #Conflicts: 156000 | #Constraints: 18629 171.46/172.16 c #Conflicts: 157000 | #Constraints: 19629 171.46/172.16 c #Conflicts: 158000 | #Constraints: 20629 171.46/172.16 c INPROCESSING 171.46/172.16 c GARBAGE COLLECT 171.46/172.16 c rational objective 147 235.81/236.76 c #Conflicts: 159000 | #Constraints: 11736 235.81/236.76 c #Conflicts: 160000 | #Constraints: 12736 235.81/236.76 c #Conflicts: 161000 | #Constraints: 13736 235.81/236.76 c #Conflicts: 162000 | #Constraints: 14736 235.81/236.76 c #Conflicts: 163000 | #Constraints: 15737 235.81/236.76 c #Conflicts: 164000 | #Constraints: 16737 235.81/236.76 c #Conflicts: 165000 | #Constraints: 17737 235.81/236.76 c #Conflicts: 166000 | #Constraints: 18738 235.81/236.76 c #Conflicts: 167000 | #Constraints: 19738 235.81/236.76 c #Conflicts: 168000 | #Constraints: 20738 235.81/236.76 c #Conflicts: 169000 | #Constraints: 21738 235.81/236.76 c #Conflicts: 170000 | #Constraints: 22738 235.81/236.76 c #Conflicts: 171000 | #Constraints: 23738 235.81/236.76 c #Conflicts: 172000 | #Constraints: 24738 235.81/236.76 c #Conflicts: 173000 | #Constraints: 25738 235.81/236.76 c #Conflicts: 174000 | #Constraints: 26767 235.81/236.76 c #Conflicts: 175000 | #Constraints: 27940 235.81/236.76 c #Conflicts: 176000 | #Constraints: 28960 235.81/236.76 c #Conflicts: 177000 | #Constraints: 30148 235.81/236.76 c #Conflicts: 178000 | #Constraints: 31148 235.81/236.76 c #Conflicts: 179000 | #Constraints: 32150 235.81/236.76 c #Conflicts: 180000 | #Constraints: 33151 235.81/236.76 c #Conflicts: 181000 | #Constraints: 34156 235.81/236.76 c #Conflicts: 182000 | #Constraints: 35156 235.81/236.76 c #Conflicts: 183000 | #Constraints: 36156 235.81/236.76 c #Conflicts: 184000 | #Constraints: 37156 235.81/236.76 c #Conflicts: 185000 | #Constraints: 38156 235.81/236.76 c #Conflicts: 186000 | #Constraints: 39156 235.81/236.76 c #Conflicts: 187000 | #Constraints: 40157 235.81/236.76 c #Conflicts: 188000 | #Constraints: 41157 235.81/236.76 c #Conflicts: 189000 | #Constraints: 42157 235.81/236.76 c INPROCESSING 235.81/236.76 c GARBAGE COLLECT 235.81/236.76 c rational objective 147 278.96/280.07 c #Conflicts: 190000 | #Constraints: 22488 278.96/280.07 c #Conflicts: 191000 | #Constraints: 23488 278.96/280.07 c #Conflicts: 192000 | #Constraints: 24488 278.96/280.07 c #Conflicts: 193000 | #Constraints: 25488 278.96/280.07 c #Conflicts: 194000 | #Constraints: 26488 278.96/280.07 c #Conflicts: 195000 | #Constraints: 27488 278.96/280.07 c #Conflicts: 196000 | #Constraints: 28488 278.96/280.07 c #Conflicts: 197000 | #Constraints: 29488 278.96/280.07 c #Conflicts: 198000 | #Constraints: 30488 278.96/280.07 c #Conflicts: 199000 | #Constraints: 31488 278.96/280.07 c #Conflicts: 200000 | #Constraints: 32488 278.96/280.07 c INPROCESSING 278.96/280.07 c GARBAGE COLLECT 278.96/280.07 c rational objective 147 298.69/299.85 c #Conflicts: 201000 | #Constraints: 18037 298.69/299.85 c #Conflicts: 202000 | #Constraints: 19037 298.69/299.85 c #Conflicts: 203000 | #Constraints: 20037 298.69/299.85 c #Conflicts: 204000 | #Constraints: 21037 298.69/299.85 c #Conflicts: 205000 | #Constraints: 22039 298.69/299.85 c #Conflicts: 206000 | #Constraints: 23039 298.69/299.85 c #Conflicts: 207000 | #Constraints: 24039 298.69/299.85 c #Conflicts: 208000 | #Constraints: 25039 298.69/299.85 c #Conflicts: 209000 | #Constraints: 26039 298.69/299.85 c #Conflicts: 210000 | #Constraints: 27039 298.69/299.85 c INPROCESSING 298.69/299.85 c GARBAGE COLLECT 298.69/299.85 c rational objective 147 316.52/317.76 c #Conflicts: 211000 | #Constraints: 15002 316.52/317.76 c #Conflicts: 212000 | #Constraints: 16004 316.52/317.76 c #Conflicts: 213000 | #Constraints: 17004 316.52/317.76 c #Conflicts: 214000 | #Constraints: 18004 316.52/317.76 c #Conflicts: 215000 | #Constraints: 19004 316.52/317.76 c #Conflicts: 216000 | #Constraints: 20004 316.52/317.76 c #Conflicts: 217000 | #Constraints: 21004 316.52/317.76 c #Conflicts: 218000 | #Constraints: 22004 316.52/317.76 c #Conflicts: 219000 | #Constraints: 23004 316.52/317.76 c #Conflicts: 220000 | #Constraints: 24004 316.52/317.76 c #Conflicts: 221000 | #Constraints: 25004 316.52/317.76 c INPROCESSING 316.52/317.76 c GARBAGE COLLECT 316.52/317.76 c rational objective 147 413.16/414.75 c #Conflicts: 222000 | #Constraints: 14092 413.16/414.75 c #Conflicts: 223000 | #Constraints: 15092 413.16/414.75 c #Conflicts: 224000 | #Constraints: 16109 413.16/414.75 c #Conflicts: 225000 | #Constraints: 17109 413.16/414.75 c #Conflicts: 226000 | #Constraints: 18109 413.16/414.75 c #Conflicts: 227000 | #Constraints: 19109 413.16/414.75 c #Conflicts: 228000 | #Constraints: 20109 413.16/414.75 c #Conflicts: 229000 | #Constraints: 21109 413.16/414.75 c #Conflicts: 230000 | #Constraints: 22109 413.16/414.75 c #Conflicts: 231000 | #Constraints: 23109 413.16/414.75 c #Conflicts: 232000 | #Constraints: 24109 413.16/414.75 c #Conflicts: 233000 | #Constraints: 25109 413.16/414.75 c #Conflicts: 234000 | #Constraints: 26109 413.16/414.75 c #Conflicts: 235000 | #Constraints: 27109 413.16/414.75 c #Conflicts: 236000 | #Constraints: 28109 413.16/414.75 c #Conflicts: 237000 | #Constraints: 29109 413.16/414.75 c #Conflicts: 238000 | #Constraints: 30109 413.16/414.75 c #Conflicts: 239000 | #Constraints: 31109 413.16/414.75 c #Conflicts: 240000 | #Constraints: 32109 413.16/414.75 c #Conflicts: 241000 | #Constraints: 33109 413.16/414.75 c #Conflicts: 242000 | #Constraints: 34109 413.16/414.75 c #Conflicts: 243000 | #Constraints: 35109 413.16/414.75 c #Conflicts: 244000 | #Constraints: 36109 413.16/414.75 c #Conflicts: 245000 | #Constraints: 37109 413.16/414.75 c #Conflicts: 246000 | #Constraints: 38109 413.16/414.75 c #Conflicts: 247000 | #Constraints: 39109 413.16/414.75 c #Conflicts: 248000 | #Constraints: 40109 413.16/414.75 c #Conflicts: 249000 | #Constraints: 41109 413.16/414.75 c #Conflicts: 250000 | #Constraints: 42109 413.16/414.75 c #Conflicts: 251000 | #Constraints: 43109 413.16/414.75 c #Conflicts: 252000 | #Constraints: 44109 413.16/414.75 c #Conflicts: 253000 | #Constraints: 45109 413.16/414.75 c #Conflicts: 254000 | #Constraints: 46109 413.16/414.75 c #Conflicts: 255000 | #Constraints: 47109 413.16/414.75 c #Conflicts: 256000 | #Constraints: 48109 413.16/414.75 c #Conflicts: 257000 | #Constraints: 49109 413.16/414.75 c INPROCESSING 413.16/414.75 c GARBAGE COLLECT 413.16/414.75 c rational objective 147 477.02/478.80 c #Conflicts: 258000 | #Constraints: 25963 477.02/478.80 c #Conflicts: 259000 | #Constraints: 26963 477.02/478.80 c #Conflicts: 260000 | #Constraints: 27963 477.02/478.80 c #Conflicts: 261000 | #Constraints: 28963 477.02/478.80 c #Conflicts: 262000 | #Constraints: 29963 477.02/478.80 c #Conflicts: 263000 | #Constraints: 30963 477.02/478.80 c #Conflicts: 264000 | #Constraints: 31963 477.02/478.80 c #Conflicts: 265000 | #Constraints: 32963 477.02/478.80 c #Conflicts: 266000 | #Constraints: 33963 477.02/478.80 c #Conflicts: 267000 | #Constraints: 34963 477.02/478.80 c #Conflicts: 268000 | #Constraints: 35963 477.02/478.80 c #Conflicts: 269000 | #Constraints: 36963 477.02/478.80 c INPROCESSING 477.02/478.80 c GARBAGE COLLECT 477.02/478.80 c rational objective 147 507.71/509.64 c #Conflicts: 270000 | #Constraints: 19917 507.71/509.64 c #Conflicts: 271000 | #Constraints: 20917 507.71/509.64 c #Conflicts: 272000 | #Constraints: 21917 507.71/509.64 c #Conflicts: 273000 | #Constraints: 22917 507.71/509.64 c #Conflicts: 274000 | #Constraints: 23917 507.71/509.64 c #Conflicts: 275000 | #Constraints: 24917 507.71/509.64 c #Conflicts: 276000 | #Constraints: 25917 507.71/509.64 c #Conflicts: 277000 | #Constraints: 26917 507.71/509.64 c #Conflicts: 278000 | #Constraints: 27917 507.71/509.64 c #Conflicts: 279000 | #Constraints: 28917 507.71/509.64 c #Conflicts: 280000 | #Constraints: 29917 507.71/509.64 c #Conflicts: 281000 | #Constraints: 30917 507.71/509.64 c #Conflicts: 282000 | #Constraints: 31917 507.71/509.64 c INPROCESSING 507.71/509.64 c GARBAGE COLLECT 507.71/509.64 c rational objective 147 534.82/536.86 c #Conflicts: 283000 | #Constraints: 17760 534.82/536.86 c #Conflicts: 284000 | #Constraints: 18760 534.82/536.86 c #Conflicts: 285000 | #Constraints: 19760 534.82/536.86 c #Conflicts: 286000 | #Constraints: 20760 534.82/536.86 c #Conflicts: 287000 | #Constraints: 21760 534.82/536.86 c #Conflicts: 288000 | #Constraints: 22760 534.82/536.86 c #Conflicts: 289000 | #Constraints: 23760 534.82/536.86 c #Conflicts: 290000 | #Constraints: 24760 534.82/536.86 c #Conflicts: 291000 | #Constraints: 25760 534.82/536.86 c #Conflicts: 292000 | #Constraints: 26760 534.82/536.86 c #Conflicts: 293000 | #Constraints: 27760 534.82/536.86 c #Conflicts: 294000 | #Constraints: 28760 534.82/536.86 c INPROCESSING 534.82/536.86 c GARBAGE COLLECT 534.82/536.86 c rational objective 147 696.41/699.08 c #Conflicts: 295000 | #Constraints: 15926 696.41/699.08 c #Conflicts: 296000 | #Constraints: 16928 696.41/699.08 c #Conflicts: 297000 | #Constraints: 17928 696.41/699.08 c #Conflicts: 298000 | #Constraints: 18928 696.41/699.08 c #Conflicts: 299000 | #Constraints: 19928 696.41/699.08 c #Conflicts: 300000 | #Constraints: 20928 696.41/699.08 c #Conflicts: 301000 | #Constraints: 21928 696.41/699.08 c #Conflicts: 302000 | #Constraints: 22928 696.41/699.08 c #Conflicts: 303000 | #Constraints: 23928 696.41/699.08 c #Conflicts: 304000 | #Constraints: 24928 696.41/699.08 c #Conflicts: 305000 | #Constraints: 25934 696.41/699.08 c #Conflicts: 306000 | #Constraints: 26943 696.41/699.08 c #Conflicts: 307000 | #Constraints: 27943 696.41/699.08 c #Conflicts: 308000 | #Constraints: 28943 696.41/699.08 c #Conflicts: 309000 | #Constraints: 29967 696.41/699.08 c #Conflicts: 310000 | #Constraints: 30967 696.41/699.08 c #Conflicts: 311000 | #Constraints: 31967 696.41/699.08 c #Conflicts: 312000 | #Constraints: 32967 696.41/699.08 c #Conflicts: 313000 | #Constraints: 33967 696.41/699.08 c #Conflicts: 314000 | #Constraints: 34967 696.41/699.08 c #Conflicts: 315000 | #Constraints: 35967 696.41/699.08 c #Conflicts: 316000 | #Constraints: 36967 696.41/699.08 c #Conflicts: 317000 | #Constraints: 37967 696.41/699.08 c #Conflicts: 318000 | #Constraints: 38967 696.41/699.08 c #Conflicts: 319000 | #Constraints: 39967 696.41/699.08 c #Conflicts: 320000 | #Constraints: 40967 696.41/699.08 c #Conflicts: 321000 | #Constraints: 41967 696.41/699.08 c #Conflicts: 322000 | #Constraints: 42967 696.41/699.08 c #Conflicts: 323000 | #Constraints: 43967 696.41/699.08 c #Conflicts: 324000 | #Constraints: 44967 696.41/699.08 c #Conflicts: 325000 | #Constraints: 45967 696.41/699.08 c #Conflicts: 326000 | #Constraints: 46967 696.41/699.08 c #Conflicts: 327000 | #Constraints: 47967 696.41/699.08 c #Conflicts: 328000 | #Constraints: 48967 696.41/699.08 c #Conflicts: 329000 | #Constraints: 49967 696.41/699.08 c #Conflicts: 330000 | #Constraints: 50967 696.41/699.08 c #Conflicts: 331000 | #Constraints: 51967 696.41/699.08 c #Conflicts: 332000 | #Constraints: 52967 696.41/699.08 c #Conflicts: 333000 | #Constraints: 53967 696.41/699.08 c #Conflicts: 334000 | #Constraints: 54967 696.41/699.08 c #Conflicts: 335000 | #Constraints: 55967 696.41/699.08 c #Conflicts: 336000 | #Constraints: 56967 696.41/699.08 c INPROCESSING 696.41/699.08 c GARBAGE COLLECT 696.41/699.08 c rational objective 147 781.69/784.68 c #Conflicts: 337000 | #Constraints: 30191 781.69/784.68 c #Conflicts: 338000 | #Constraints: 31191 781.69/784.68 c #Conflicts: 339000 | #Constraints: 32191 781.69/784.68 c #Conflicts: 340000 | #Constraints: 33191 781.69/784.68 c #Conflicts: 341000 | #Constraints: 34191 781.69/784.68 c #Conflicts: 342000 | #Constraints: 35191 781.69/784.68 c #Conflicts: 343000 | #Constraints: 36191 781.69/784.68 c #Conflicts: 344000 | #Constraints: 37191 781.69/784.68 c #Conflicts: 345000 | #Constraints: 38191 781.69/784.68 c #Conflicts: 346000 | #Constraints: 39191 781.69/784.68 c #Conflicts: 347000 | #Constraints: 40191 781.69/784.68 c #Conflicts: 348000 | #Constraints: 41191 781.69/784.68 c #Conflicts: 349000 | #Constraints: 42191 781.69/784.68 c INPROCESSING 781.69/784.68 c GARBAGE COLLECT 781.69/784.68 c rational objective 147 828.22/831.35 c #Conflicts: 350000 | #Constraints: 22495 828.22/831.35 c #Conflicts: 351000 | #Constraints: 23496 828.22/831.35 c #Conflicts: 352000 | #Constraints: 24496 828.22/831.35 c #Conflicts: 353000 | #Constraints: 25496 828.22/831.35 c #Conflicts: 354000 | #Constraints: 26496 828.22/831.35 c #Conflicts: 355000 | #Constraints: 27496 828.22/831.35 c #Conflicts: 356000 | #Constraints: 28496 828.22/831.35 c #Conflicts: 357000 | #Constraints: 29496 828.22/831.35 c #Conflicts: 358000 | #Constraints: 30496 828.22/831.35 c #Conflicts: 359000 | #Constraints: 31496 828.22/831.35 c #Conflicts: 360000 | #Constraints: 32496 828.22/831.35 c #Conflicts: 361000 | #Constraints: 33496 828.22/831.35 c #Conflicts: 362000 | #Constraints: 34496 828.22/831.35 c #Conflicts: 363000 | #Constraints: 35496 828.22/831.35 c INPROCESSING 828.22/831.35 c GARBAGE COLLECT 828.22/831.35 c rational objective 147 873.16/876.44 c #Conflicts: 364000 | #Constraints: 19142 873.16/876.44 c #Conflicts: 365000 | #Constraints: 20142 873.16/876.44 c #Conflicts: 366000 | #Constraints: 21142 873.16/876.44 c #Conflicts: 367000 | #Constraints: 22142 873.16/876.44 c #Conflicts: 368000 | #Constraints: 23142 873.16/876.44 c #Conflicts: 369000 | #Constraints: 24143 873.16/876.44 c #Conflicts: 370000 | #Constraints: 25143 873.16/876.44 c #Conflicts: 371000 | #Constraints: 26143 873.16/876.44 c #Conflicts: 372000 | #Constraints: 27143 873.16/876.44 c #Conflicts: 373000 | #Constraints: 28143 873.16/876.44 c #Conflicts: 374000 | #Constraints: 29143 873.16/876.44 c #Conflicts: 375000 | #Constraints: 30143 873.16/876.44 c #Conflicts: 376000 | #Constraints: 31143 873.16/876.44 c #Conflicts: 377000 | #Constraints: 32143 873.16/876.44 c #Conflicts: 378000 | #Constraints: 33143 873.16/876.44 c INPROCESSING 873.16/876.44 c GARBAGE COLLECT 873.16/876.44 c rational objective 147 1051.00/1054.91 c #Conflicts: 379000 | #Constraints: 18374 1051.00/1054.91 c #Conflicts: 380000 | #Constraints: 19374 1051.00/1054.91 c #Conflicts: 381000 | #Constraints: 20374 1051.00/1054.91 c #Conflicts: 382000 | #Constraints: 21374 1051.00/1054.91 c #Conflicts: 383000 | #Constraints: 22374 1051.00/1054.91 c #Conflicts: 384000 | #Constraints: 23374 1051.00/1054.91 c #Conflicts: 385000 | #Constraints: 24374 1051.00/1054.91 c bounds 195 >= 148 @ 886.96 1051.00/1054.91 c #Conflicts: 386000 | #Constraints: 25422 1051.00/1054.91 c #Conflicts: 387000 | #Constraints: 26422 1051.00/1054.91 c #Conflicts: 388000 | #Constraints: 27422 1051.00/1054.91 c #Conflicts: 389000 | #Constraints: 28422 1051.00/1054.91 c #Conflicts: 390000 | #Constraints: 29422 1051.00/1054.91 c #Conflicts: 391000 | #Constraints: 30422 1051.00/1054.91 c #Conflicts: 392000 | #Constraints: 31422 1051.00/1054.91 c #Conflicts: 393000 | #Constraints: 32422 1051.00/1054.91 c #Conflicts: 394000 | #Constraints: 33422 1051.00/1054.91 c #Conflicts: 395000 | #Constraints: 34422 1051.00/1054.91 c #Conflicts: 396000 | #Constraints: 35422 1051.00/1054.91 c #Conflicts: 397000 | #Constraints: 36422 1051.00/1054.91 c #Conflicts: 398000 | #Constraints: 37422 1051.00/1054.92 c #Conflicts: 399000 | #Constraints: 38423 1051.00/1054.92 c #Conflicts: 400000 | #Constraints: 39423 1051.00/1054.92 c #Conflicts: 401000 | #Constraints: 40423 1051.00/1054.92 c #Conflicts: 402000 | #Constraints: 41423 1051.00/1054.92 c #Conflicts: 403000 | #Constraints: 42423 1051.00/1054.92 c #Conflicts: 404000 | #Constraints: 43423 1051.00/1054.92 c #Conflicts: 405000 | #Constraints: 44423 1051.00/1054.92 c #Conflicts: 406000 | #Constraints: 45444 1051.00/1054.92 c #Conflicts: 407000 | #Constraints: 46444 1051.00/1054.92 c #Conflicts: 408000 | #Constraints: 47444 1051.00/1054.92 c #Conflicts: 409000 | #Constraints: 48444 1051.00/1054.92 c #Conflicts: 410000 | #Constraints: 49444 1051.00/1054.92 c #Conflicts: 411000 | #Constraints: 50444 1051.00/1054.92 c #Conflicts: 412000 | #Constraints: 51445 1051.00/1054.92 c #Conflicts: 413000 | #Constraints: 52445 1051.00/1054.92 c #Conflicts: 414000 | #Constraints: 53445 1051.00/1054.92 c #Conflicts: 415000 | #Constraints: 54445 1051.00/1054.92 c #Conflicts: 416000 | #Constraints: 55445 1051.00/1054.92 c #Conflicts: 417000 | #Constraints: 56445 1051.00/1054.92 c #Conflicts: 418000 | #Constraints: 57445 1051.00/1054.92 c #Conflicts: 419000 | #Constraints: 58445 1051.00/1054.92 c #Conflicts: 420000 | #Constraints: 59445 1051.00/1054.92 c #Conflicts: 421000 | #Constraints: 60445 1051.00/1054.92 c #Conflicts: 422000 | #Constraints: 61460 1051.00/1054.92 c #Conflicts: 423000 | #Constraints: 62464 1051.00/1054.92 c #Conflicts: 424000 | #Constraints: 63464 1051.00/1054.92 c INPROCESSING 1051.00/1054.92 c GARBAGE COLLECT 1051.00/1054.92 c rational objective 148 1155.12/1159.43 c #Conflicts: 425000 | #Constraints: 33056 1155.12/1159.43 c #Conflicts: 426000 | #Constraints: 34056 1155.12/1159.43 c #Conflicts: 427000 | #Constraints: 35056 1155.12/1159.43 c #Conflicts: 428000 | #Constraints: 36056 1155.12/1159.43 c #Conflicts: 429000 | #Constraints: 37056 1155.12/1159.43 c #Conflicts: 430000 | #Constraints: 38056 1155.12/1159.43 c #Conflicts: 431000 | #Constraints: 39056 1155.12/1159.43 c #Conflicts: 432000 | #Constraints: 40056 1155.12/1159.43 c #Conflicts: 433000 | #Constraints: 41056 1155.12/1159.43 c #Conflicts: 434000 | #Constraints: 42056 1155.12/1159.43 c #Conflicts: 435000 | #Constraints: 43056 1155.12/1159.43 c #Conflicts: 436000 | #Constraints: 44056 1155.12/1159.43 c #Conflicts: 437000 | #Constraints: 45056 1155.12/1159.43 c #Conflicts: 438000 | #Constraints: 46056 1155.12/1159.43 c #Conflicts: 439000 | #Constraints: 47056 1155.12/1159.43 c #Conflicts: 440000 | #Constraints: 48056 1155.12/1159.43 c INPROCESSING 1155.12/1159.43 c GARBAGE COLLECT 1155.12/1159.43 c rational objective 148 1206.13/1210.66 c #Conflicts: 441000 | #Constraints: 25698 1206.13/1210.66 c #Conflicts: 442000 | #Constraints: 26698 1206.13/1210.66 c #Conflicts: 443000 | #Constraints: 27699 1206.13/1210.66 c #Conflicts: 444000 | #Constraints: 28699 1206.13/1210.66 c #Conflicts: 445000 | #Constraints: 29699 1206.13/1210.66 c #Conflicts: 446000 | #Constraints: 30699 1206.13/1210.66 c #Conflicts: 447000 | #Constraints: 31699 1206.13/1210.66 c #Conflicts: 448000 | #Constraints: 32699 1206.13/1210.66 c #Conflicts: 449000 | #Constraints: 33699 1206.13/1210.66 c #Conflicts: 450000 | #Constraints: 34699 1206.13/1210.66 c #Conflicts: 451000 | #Constraints: 35699 1206.13/1210.66 c #Conflicts: 452000 | #Constraints: 36699 1206.13/1210.66 c #Conflicts: 453000 | #Constraints: 37699 1206.13/1210.66 c #Conflicts: 454000 | #Constraints: 38700 1206.13/1210.66 c #Conflicts: 455000 | #Constraints: 39700 1206.13/1210.66 c #Conflicts: 456000 | #Constraints: 40700 1206.13/1210.66 c INPROCESSING 1206.13/1210.66 c GARBAGE COLLECT 1206.13/1210.66 c rational objective 148 1466.70/1472.17 c #Conflicts: 457000 | #Constraints: 22157 1466.70/1472.17 c #Conflicts: 458000 | #Constraints: 23157 1466.70/1472.17 c #Conflicts: 459000 | #Constraints: 24157 1466.70/1472.17 c #Conflicts: 460000 | #Constraints: 25157 1466.70/1472.17 c #Conflicts: 461000 | #Constraints: 26157 1466.70/1472.17 c #Conflicts: 462000 | #Constraints: 27157 1466.70/1472.17 c #Conflicts: 463000 | #Constraints: 28157 1466.70/1472.17 c #Conflicts: 464000 | #Constraints: 29157 1466.70/1472.17 c #Conflicts: 465000 | #Constraints: 30157 1466.70/1472.17 c #Conflicts: 466000 | #Constraints: 31157 1466.70/1472.17 c #Conflicts: 467000 | #Constraints: 32157 1466.70/1472.17 c #Conflicts: 468000 | #Constraints: 33157 1466.70/1472.17 c #Conflicts: 469000 | #Constraints: 34157 1466.70/1472.17 c #Conflicts: 470000 | #Constraints: 35158 1466.70/1472.17 c #Conflicts: 471000 | #Constraints: 36158 1466.70/1472.17 c #Conflicts: 472000 | #Constraints: 37158 1466.70/1472.17 c #Conflicts: 473000 | #Constraints: 38158 1466.70/1472.17 c #Conflicts: 474000 | #Constraints: 39159 1466.70/1472.17 c #Conflicts: 475000 | #Constraints: 40159 1466.70/1472.17 c #Conflicts: 476000 | #Constraints: 41159 1466.70/1472.17 c #Conflicts: 477000 | #Constraints: 42159 1466.70/1472.17 c #Conflicts: 478000 | #Constraints: 43159 1466.70/1472.17 c #Conflicts: 479000 | #Constraints: 44160 1466.70/1472.17 c #Conflicts: 480000 | #Constraints: 45163 1466.70/1472.17 c #Conflicts: 481000 | #Constraints: 46164 1466.70/1472.17 c #Conflicts: 482000 | #Constraints: 47165 1466.70/1472.17 c #Conflicts: 483000 | #Constraints: 48165 1466.70/1472.17 c #Conflicts: 484000 | #Constraints: 49167 1466.70/1472.17 c #Conflicts: 485000 | #Constraints: 50167 1466.70/1472.17 c #Conflicts: 486000 | #Constraints: 51167 1466.70/1472.17 c #Conflicts: 487000 | #Constraints: 52167 1466.70/1472.17 c #Conflicts: 488000 | #Constraints: 53167 1466.70/1472.17 c #Conflicts: 489000 | #Constraints: 54167 1466.70/1472.17 c #Conflicts: 490000 | #Constraints: 55167 1466.70/1472.17 c #Conflicts: 491000 | #Constraints: 56167 1466.70/1472.17 c #Conflicts: 492000 | #Constraints: 57167 1466.70/1472.17 c #Conflicts: 493000 | #Constraints: 58167 1466.70/1472.17 c #Conflicts: 494000 | #Constraints: 59167 1466.70/1472.17 c #Conflicts: 495000 | #Constraints: 60167 1466.70/1472.17 c #Conflicts: 496000 | #Constraints: 61167 1466.70/1472.17 c #Conflicts: 497000 | #Constraints: 62168 1466.70/1472.17 c #Conflicts: 498000 | #Constraints: 63168 1466.70/1472.17 c #Conflicts: 499000 | #Constraints: 64169 1466.70/1472.17 c #Conflicts: 500000 | #Constraints: 65169 1466.70/1472.17 c #Conflicts: 501000 | #Constraints: 66169 1466.70/1472.17 c #Conflicts: 502000 | #Constraints: 67170 1466.70/1472.17 c #Conflicts: 503000 | #Constraints: 68170 1466.70/1472.17 c #Conflicts: 504000 | #Constraints: 69170 1466.70/1472.17 c #Conflicts: 505000 | #Constraints: 70170 1466.70/1472.17 c #Conflicts: 506000 | #Constraints: 71170 1466.70/1472.17 c #Conflicts: 507000 | #Constraints: 72170 1466.70/1472.17 c INPROCESSING 1466.70/1472.17 c GARBAGE COLLECT 1466.70/1472.17 c rational objective 148 1514.81/1520.49 c #Conflicts: 508000 | #Constraints: 37903 1514.81/1520.49 c #Conflicts: 509000 | #Constraints: 38903 1514.81/1520.49 c #Conflicts: 510000 | #Constraints: 39903 1514.81/1520.49 c #Conflicts: 511000 | #Constraints: 40903 1514.81/1520.49 c #Conflicts: 512000 | #Constraints: 41903 1514.81/1520.49 c #Conflicts: 513000 | #Constraints: 42915 1514.81/1520.49 c #Conflicts: 514000 | #Constraints: 43915 1514.81/1520.49 c #Conflicts: 515000 | #Constraints: 44915 1514.81/1520.49 c #Conflicts: 516000 | #Constraints: 45915 1514.81/1520.49 c #Conflicts: 517000 | #Constraints: 46915 1514.81/1520.49 c #Conflicts: 518000 | #Constraints: 47915 1514.81/1520.49 c #Conflicts: 519000 | #Constraints: 48915 1514.81/1520.49 c #Conflicts: 520000 | #Constraints: 49915 1514.81/1520.49 c #Conflicts: 521000 | #Constraints: 50915 1514.81/1520.49 c #Conflicts: 522000 | #Constraints: 51915 1514.81/1520.49 c #Conflicts: 523000 | #Constraints: 52915 1514.81/1520.49 c #Conflicts: 524000 | #Constraints: 53915 1514.81/1520.49 c INPROCESSING 1514.81/1520.49 c GARBAGE COLLECT 1514.81/1520.49 c rational objective 148 1568.62/1574.47 c #Conflicts: 525000 | #Constraints: 28680 1568.62/1574.47 c #Conflicts: 526000 | #Constraints: 29680 1568.62/1574.47 c #Conflicts: 527000 | #Constraints: 30688 1568.62/1574.47 c #Conflicts: 528000 | #Constraints: 31688 1568.62/1574.47 c #Conflicts: 529000 | #Constraints: 32688 1568.62/1574.47 c #Conflicts: 530000 | #Constraints: 33688 1568.62/1574.47 c #Conflicts: 531000 | #Constraints: 34689 1568.62/1574.47 c #Conflicts: 532000 | #Constraints: 35689 1568.62/1574.47 c #Conflicts: 533000 | #Constraints: 36689 1568.62/1574.47 c #Conflicts: 534000 | #Constraints: 37719 1568.62/1574.47 c #Conflicts: 535000 | #Constraints: 38719 1568.62/1574.47 c #Conflicts: 536000 | #Constraints: 39719 1568.62/1574.47 c #Conflicts: 537000 | #Constraints: 40719 1568.62/1574.47 c #Conflicts: 538000 | #Constraints: 41719 1568.62/1574.47 c #Conflicts: 539000 | #Constraints: 42719 1568.62/1574.47 c #Conflicts: 540000 | #Constraints: 43719 1568.62/1574.47 c #Conflicts: 541000 | #Constraints: 44720 1568.62/1574.47 c INPROCESSING 1568.62/1574.47 c GARBAGE COLLECT 1568.62/1574.47 c rational objective 148 1957.68/1964.96 c #Conflicts: 542000 | #Constraints: 25208 1957.68/1964.96 c #Conflicts: 543000 | #Constraints: 26208 1957.68/1964.96 c #Conflicts: 544000 | #Constraints: 27209 1957.68/1964.96 c #Conflicts: 545000 | #Constraints: 28237 1957.68/1964.96 c #Conflicts: 546000 | #Constraints: 29238 1957.68/1964.96 c #Conflicts: 547000 | #Constraints: 30238 1957.68/1964.96 c #Conflicts: 548000 | #Constraints: 31238 1957.68/1964.96 c #Conflicts: 549000 | #Constraints: 32238 1957.68/1964.96 c #Conflicts: 550000 | #Constraints: 33238 1957.68/1964.96 c #Conflicts: 551000 | #Constraints: 34238 1957.68/1964.96 c #Conflicts: 552000 | #Constraints: 35238 1957.68/1964.96 c #Conflicts: 553000 | #Constraints: 36238 1957.68/1964.96 c #Conflicts: 554000 | #Constraints: 37238 1957.68/1964.96 c #Conflicts: 555000 | #Constraints: 38240 1957.68/1964.96 c #Conflicts: 556000 | #Constraints: 39240 1957.68/1964.96 c #Conflicts: 557000 | #Constraints: 40241 1957.68/1964.96 c #Conflicts: 558000 | #Constraints: 41241 1957.68/1964.96 c #Conflicts: 559000 | #Constraints: 42242 1957.68/1964.96 c #Conflicts: 560000 | #Constraints: 43242 1957.68/1964.96 c #Conflicts: 561000 | #Constraints: 44242 1957.68/1964.96 c #Conflicts: 562000 | #Constraints: 45242 1957.68/1964.96 c #Conflicts: 563000 | #Constraints: 46242 1957.68/1964.96 c #Conflicts: 564000 | #Constraints: 47242 1957.68/1964.96 c #Conflicts: 565000 | #Constraints: 48243 1957.68/1964.96 c #Conflicts: 566000 | #Constraints: 49243 1957.68/1964.96 c #Conflicts: 567000 | #Constraints: 50243 1957.68/1964.96 c #Conflicts: 568000 | #Constraints: 51243 1957.68/1964.96 c #Conflicts: 569000 | #Constraints: 52243 1957.68/1964.96 c #Conflicts: 570000 | #Constraints: 53243 1957.68/1964.96 c #Conflicts: 571000 | #Constraints: 54243 1957.68/1964.96 c #Conflicts: 572000 | #Constraints: 55243 1957.68/1964.96 c #Conflicts: 573000 | #Constraints: 56243 1957.68/1964.96 c #Conflicts: 574000 | #Constraints: 57243 1957.68/1964.96 c #Conflicts: 575000 | #Constraints: 58243 1957.68/1964.96 c #Conflicts: 576000 | #Constraints: 59243 1957.68/1964.96 c #Conflicts: 577000 | #Constraints: 60243 1957.68/1964.96 c #Conflicts: 578000 | #Constraints: 61243 1957.68/1964.96 c #Conflicts: 579000 | #Constraints: 62243 1957.68/1964.96 c #Conflicts: 580000 | #Constraints: 63243 1957.68/1964.96 c #Conflicts: 581000 | #Constraints: 64243 1957.68/1964.96 c #Conflicts: 582000 | #Constraints: 65243 1957.68/1964.96 c #Conflicts: 583000 | #Constraints: 66243 1957.68/1964.96 c #Conflicts: 584000 | #Constraints: 67243 1957.68/1964.96 c #Conflicts: 585000 | #Constraints: 68243 1957.68/1964.96 c #Conflicts: 586000 | #Constraints: 69243 1957.68/1964.96 c #Conflicts: 587000 | #Constraints: 70243 1957.68/1964.96 c #Conflicts: 588000 | #Constraints: 71243 1957.68/1964.96 c #Conflicts: 589000 | #Constraints: 72243 1957.68/1964.96 c #Conflicts: 590000 | #Constraints: 73243 1957.68/1964.96 c #Conflicts: 591000 | #Constraints: 74243 1957.68/1964.96 c #Conflicts: 592000 | #Constraints: 75243 1957.68/1964.96 c #Conflicts: 593000 | #Constraints: 76243 1957.68/1964.96 c #Conflicts: 594000 | #Constraints: 77243 1957.68/1964.96 c #Conflicts: 595000 | #Constraints: 78244 1957.68/1964.96 c #Conflicts: 596000 | #Constraints: 79244 1957.68/1964.96 c INPROCESSING 1957.68/1964.96 c GARBAGE COLLECT 1957.68/1964.96 c rational objective 148 2160.15/2168.11 c #Conflicts: 597000 | #Constraints: 41168 2160.15/2168.11 c #Conflicts: 598000 | #Constraints: 42168 2160.15/2168.11 c #Conflicts: 599000 | #Constraints: 43168 2160.15/2168.11 c #Conflicts: 600000 | #Constraints: 44168 2160.15/2168.11 c #Conflicts: 601000 | #Constraints: 45168 2160.15/2168.11 c #Conflicts: 602000 | #Constraints: 46168 2160.15/2168.11 c #Conflicts: 603000 | #Constraints: 47169 2160.15/2168.11 c #Conflicts: 604000 | #Constraints: 48169 2160.15/2168.11 c #Conflicts: 605000 | #Constraints: 49169 2160.15/2168.11 c #Conflicts: 606000 | #Constraints: 50170 2160.15/2168.11 c #Conflicts: 607000 | #Constraints: 51170 2160.15/2168.11 c #Conflicts: 608000 | #Constraints: 52170 2160.15/2168.11 c #Conflicts: 609000 | #Constraints: 53170 2160.15/2168.11 c #Conflicts: 610000 | #Constraints: 54170 2160.15/2168.11 c #Conflicts: 611000 | #Constraints: 55170 2160.15/2168.11 c #Conflicts: 612000 | #Constraints: 56170 2160.15/2168.11 c #Conflicts: 613000 | #Constraints: 57170 2160.15/2168.11 c #Conflicts: 614000 | #Constraints: 58170 2160.15/2168.11 c INPROCESSING 2160.15/2168.11 c GARBAGE COLLECT 2160.15/2168.11 c rational objective 148 2250.92/2259.28 c #Conflicts: 615000 | #Constraints: 30449 2250.92/2259.28 c #Conflicts: 616000 | #Constraints: 31449 2250.92/2259.28 c #Conflicts: 617000 | #Constraints: 32449 2250.92/2259.28 c #Conflicts: 618000 | #Constraints: 33449 2250.92/2259.28 c #Conflicts: 619000 | #Constraints: 34449 2250.92/2259.28 c #Conflicts: 620000 | #Constraints: 35449 2250.92/2259.28 c #Conflicts: 621000 | #Constraints: 36449 2250.92/2259.28 c #Conflicts: 622000 | #Constraints: 37449 2250.92/2259.28 c #Conflicts: 623000 | #Constraints: 38449 2250.92/2259.28 c #Conflicts: 624000 | #Constraints: 39449 2250.92/2259.28 c #Conflicts: 625000 | #Constraints: 40449 2250.92/2259.28 c #Conflicts: 626000 | #Constraints: 41449 2250.92/2259.28 c #Conflicts: 627000 | #Constraints: 42449 2250.92/2259.28 c #Conflicts: 628000 | #Constraints: 43449 2250.92/2259.28 c #Conflicts: 629000 | #Constraints: 44449 2250.92/2259.28 c #Conflicts: 630000 | #Constraints: 45449 2250.92/2259.28 c #Conflicts: 631000 | #Constraints: 46449 2250.92/2259.28 c #Conflicts: 632000 | #Constraints: 47449 2250.92/2259.28 c #Conflicts: 633000 | #Constraints: 48449 2250.92/2259.28 c INPROCESSING 2250.92/2259.28 c GARBAGE COLLECT 2250.92/2259.28 c rational objective 148 2686.52/2696.41 c #Conflicts: 634000 | #Constraints: 28046 2686.52/2696.41 c #Conflicts: 635000 | #Constraints: 29046 2686.52/2696.41 c #Conflicts: 636000 | #Constraints: 30046 2686.52/2696.41 c #Conflicts: 637000 | #Constraints: 31046 2686.52/2696.41 c #Conflicts: 638000 | #Constraints: 32046 2686.52/2696.41 c #Conflicts: 639000 | #Constraints: 33046 2686.52/2696.41 c #Conflicts: 640000 | #Constraints: 34046 2686.52/2696.41 c #Conflicts: 641000 | #Constraints: 35046 2686.52/2696.41 c #Conflicts: 642000 | #Constraints: 36046 2686.52/2696.41 c #Conflicts: 643000 | #Constraints: 37046 2686.52/2696.41 c #Conflicts: 644000 | #Constraints: 38046 2686.52/2696.41 c #Conflicts: 645000 | #Constraints: 39046 2686.52/2696.41 c #Conflicts: 646000 | #Constraints: 40046 2686.52/2696.41 c #Conflicts: 647000 | #Constraints: 41046 2686.52/2696.41 c #Conflicts: 648000 | #Constraints: 42046 2686.52/2696.41 c #Conflicts: 649000 | #Constraints: 43046 2686.52/2696.41 c #Conflicts: 650000 | #Constraints: 44046 2686.52/2696.41 c #Conflicts: 651000 | #Constraints: 45046 2686.52/2696.41 c #Conflicts: 652000 | #Constraints: 46046 2686.52/2696.41 c #Conflicts: 653000 | #Constraints: 47046 2686.52/2696.41 c #Conflicts: 654000 | #Constraints: 48046 2686.52/2696.41 c #Conflicts: 655000 | #Constraints: 49046 2686.52/2696.41 c #Conflicts: 656000 | #Constraints: 50046 2686.52/2696.41 c #Conflicts: 657000 | #Constraints: 51046 2686.52/2696.41 c #Conflicts: 658000 | #Constraints: 52046 2686.52/2696.41 c #Conflicts: 659000 | #Constraints: 53046 2686.52/2696.41 c #Conflicts: 660000 | #Constraints: 54046 2686.52/2696.41 c #Conflicts: 661000 | #Constraints: 55046 2686.52/2696.41 c #Conflicts: 662000 | #Constraints: 56046 2686.52/2696.41 c #Conflicts: 663000 | #Constraints: 57046 2686.52/2696.41 c #Conflicts: 664000 | #Constraints: 58046 2686.52/2696.41 c #Conflicts: 665000 | #Constraints: 59046 2686.52/2696.41 c #Conflicts: 666000 | #Constraints: 60046 2686.52/2696.41 c #Conflicts: 667000 | #Constraints: 61046 2686.52/2696.41 c #Conflicts: 668000 | #Constraints: 62046 2686.52/2696.41 c #Conflicts: 669000 | #Constraints: 63046 2686.52/2696.41 c #Conflicts: 670000 | #Constraints: 64046 2686.52/2696.41 c #Conflicts: 671000 | #Constraints: 65046 2686.52/2696.41 c #Conflicts: 672000 | #Constraints: 66046 2686.52/2696.41 c #Conflicts: 673000 | #Constraints: 67046 2686.52/2696.41 c #Conflicts: 674000 | #Constraints: 68046 2686.52/2696.41 c #Conflicts: 675000 | #Constraints: 69046 2686.52/2696.41 c #Conflicts: 676000 | #Constraints: 70046 2686.52/2696.41 c #Conflicts: 677000 | #Constraints: 71046 2686.52/2696.41 c #Conflicts: 678000 | #Constraints: 72047 2686.52/2696.41 c #Conflicts: 679000 | #Constraints: 73047 2686.52/2696.41 c #Conflicts: 680000 | #Constraints: 74047 2686.52/2696.41 c #Conflicts: 681000 | #Constraints: 75047 2686.52/2696.41 c #Conflicts: 682000 | #Constraints: 76047 2686.52/2696.41 c #Conflicts: 683000 | #Constraints: 77047 2686.52/2696.41 c #Conflicts: 684000 | #Constraints: 78047 2686.52/2696.41 c #Conflicts: 685000 | #Constraints: 79047 2686.52/2696.41 c #Conflicts: 686000 | #Constraints: 80047 2686.52/2696.41 c #Conflicts: 687000 | #Constraints: 81049 2686.52/2696.41 c #Conflicts: 688000 | #Constraints: 82049 2686.52/2696.41 c #Conflicts: 689000 | #Constraints: 83051 2686.52/2696.41 c #Conflicts: 690000 | #Constraints: 84051 2686.52/2696.41 c #Conflicts: 691000 | #Constraints: 85051 2686.52/2696.41 c #Conflicts: 692000 | #Constraints: 86051 2686.52/2696.41 c #Conflicts: 693000 | #Constraints: 87051 2686.52/2696.41 c INPROCESSING 2686.52/2696.41 c GARBAGE COLLECT 2686.52/2696.41 c rational objective 148 2760.04/2770.21 c #Conflicts: 694000 | #Constraints: 45349 2760.04/2770.21 c #Conflicts: 695000 | #Constraints: 46349 2760.04/2770.21 c #Conflicts: 696000 | #Constraints: 47370 2760.04/2770.21 c #Conflicts: 697000 | #Constraints: 48374 2760.04/2770.21 c #Conflicts: 698000 | #Constraints: 49383 2760.04/2770.21 c #Conflicts: 699000 | #Constraints: 50408 2760.04/2770.21 c #Conflicts: 700000 | #Constraints: 51416 2760.04/2770.21 c #Conflicts: 701000 | #Constraints: 52416 2760.04/2770.21 c #Conflicts: 702000 | #Constraints: 53416 2760.04/2770.21 c #Conflicts: 703000 | #Constraints: 54416 2760.04/2770.21 c #Conflicts: 704000 | #Constraints: 55416 2760.04/2770.21 c #Conflicts: 705000 | #Constraints: 56416 2760.04/2770.21 c #Conflicts: 706000 | #Constraints: 57416 2760.04/2770.21 c #Conflicts: 707000 | #Constraints: 58416 2760.04/2770.21 c #Conflicts: 708000 | #Constraints: 59416 2760.04/2770.21 c #Conflicts: 709000 | #Constraints: 60416 2760.04/2770.21 c #Conflicts: 710000 | #Constraints: 61416 2760.04/2770.21 c #Conflicts: 711000 | #Constraints: 62416 2760.04/2770.21 c #Conflicts: 712000 | #Constraints: 63416 2760.04/2770.21 c #Conflicts: 713000 | #Constraints: 64416 2760.04/2770.21 c INPROCESSING 2760.04/2770.21 c GARBAGE COLLECT 2760.04/2770.21 c rational objective 148 3241.64/3253.61 c #Conflicts: 714000 | #Constraints: 33945 3241.64/3253.61 c #Conflicts: 715000 | #Constraints: 34949 3241.64/3253.61 c #Conflicts: 716000 | #Constraints: 35977 3241.64/3253.61 c #Conflicts: 717000 | #Constraints: 36994 3241.64/3253.61 c #Conflicts: 718000 | #Constraints: 38002 3241.64/3253.61 c #Conflicts: 719000 | #Constraints: 39022 3241.64/3253.61 c #Conflicts: 720000 | #Constraints: 40022 3241.64/3253.61 c #Conflicts: 721000 | #Constraints: 41022 3241.64/3253.61 c #Conflicts: 722000 | #Constraints: 42022 3241.64/3253.61 c #Conflicts: 723000 | #Constraints: 43022 3241.64/3253.61 c #Conflicts: 724000 | #Constraints: 44022 3241.64/3253.61 c #Conflicts: 725000 | #Constraints: 45022 3241.64/3253.61 c #Conflicts: 726000 | #Constraints: 46022 3241.64/3253.61 c #Conflicts: 727000 | #Constraints: 47022 3241.64/3253.61 c #Conflicts: 728000 | #Constraints: 48022 3241.64/3253.61 c #Conflicts: 729000 | #Constraints: 49022 3241.64/3253.61 c #Conflicts: 730000 | #Constraints: 50022 3241.64/3253.61 c #Conflicts: 731000 | #Constraints: 51022 3241.64/3253.61 c #Conflicts: 732000 | #Constraints: 52022 3241.64/3253.61 c #Conflicts: 733000 | #Constraints: 53022 3241.64/3253.61 c #Conflicts: 734000 | #Constraints: 54022 3241.64/3253.61 c #Conflicts: 735000 | #Constraints: 55022 3241.64/3253.61 c #Conflicts: 736000 | #Constraints: 56022 3241.64/3253.61 c #Conflicts: 737000 | #Constraints: 57022 3241.64/3253.61 c #Conflicts: 738000 | #Constraints: 58022 3241.64/3253.61 c #Conflicts: 739000 | #Constraints: 59022 3241.64/3253.61 c #Conflicts: 740000 | #Constraints: 60070 3241.64/3253.61 c #Conflicts: 741000 | #Constraints: 61078 3241.64/3253.61 c #Conflicts: 742000 | #Constraints: 62084 3241.64/3253.61 c #Conflicts: 743000 | #Constraints: 63100 3241.64/3253.61 c #Conflicts: 744000 | #Constraints: 64122 3241.64/3253.61 c #Conflicts: 745000 | #Constraints: 65132 3241.64/3253.61 c #Conflicts: 746000 | #Constraints: 66133 3241.64/3253.61 c #Conflicts: 747000 | #Constraints: 67202 3241.64/3253.61 c #Conflicts: 748000 | #Constraints: 68202 3241.64/3253.61 c #Conflicts: 749000 | #Constraints: 69202 3241.64/3253.61 c #Conflicts: 750000 | #Constraints: 70202 3241.64/3253.61 c #Conflicts: 751000 | #Constraints: 71202 3241.64/3253.61 c #Conflicts: 752000 | #Constraints: 72202 3241.64/3253.61 c #Conflicts: 753000 | #Constraints: 73202 3241.64/3253.61 c #Conflicts: 754000 | #Constraints: 74202 3241.64/3253.61 c #Conflicts: 755000 | #Constraints: 75247 3241.64/3253.61 c #Conflicts: 756000 | #Constraints: 76280 3241.64/3253.61 c #Conflicts: 757000 | #Constraints: 77340 3241.64/3253.61 c #Conflicts: 758000 | #Constraints: 78371 3241.64/3253.61 c #Conflicts: 759000 | #Constraints: 79373 3241.64/3253.61 c #Conflicts: 760000 | #Constraints: 80384 3241.64/3253.61 c #Conflicts: 761000 | #Constraints: 81388 3241.64/3253.61 c #Conflicts: 762000 | #Constraints: 82395 3241.64/3253.61 c #Conflicts: 763000 | #Constraints: 83465 3241.64/3253.61 c #Conflicts: 764000 | #Constraints: 84576 3241.64/3253.61 c #Conflicts: 765000 | #Constraints: 85651 3241.64/3253.61 c #Conflicts: 766000 | #Constraints: 86681 3241.64/3253.61 c #Conflicts: 767000 | #Constraints: 87817 3241.64/3253.61 c #Conflicts: 768000 | #Constraints: 88843 3241.64/3253.61 c #Conflicts: 769000 | #Constraints: 89845 3241.64/3253.61 c #Conflicts: 770000 | #Constraints: 90853 3241.64/3253.61 c #Conflicts: 771000 | #Constraints: 91881 3241.64/3253.61 c #Conflicts: 772000 | #Constraints: 92922 3241.64/3253.61 c #Conflicts: 773000 | #Constraints: 93927 3241.64/3253.61 c #Conflicts: 774000 | #Constraints: 94943 3241.64/3253.61 c #Conflicts: 775000 | #Constraints: 96013 3241.64/3253.61 c INPROCESSING 3241.64/3253.61 c GARBAGE COLLECT 3241.64/3253.61 c rational objective 148 3499.56/3512.51 c #Conflicts: 776000 | #Constraints: 49484 3499.56/3512.51 c #Conflicts: 777000 | #Constraints: 50484 3499.56/3512.51 c #Conflicts: 778000 | #Constraints: 51484 3499.56/3512.51 c #Conflicts: 779000 | #Constraints: 52484 3499.56/3512.51 c #Conflicts: 780000 | #Constraints: 53484 3499.56/3512.51 c #Conflicts: 781000 | #Constraints: 54484 3499.56/3512.51 c #Conflicts: 782000 | #Constraints: 55484 3499.56/3512.51 c #Conflicts: 783000 | #Constraints: 56484 3499.56/3512.51 c #Conflicts: 784000 | #Constraints: 57484 3499.56/3512.51 c #Conflicts: 785000 | #Constraints: 58484 3499.56/3512.51 c #Conflicts: 786000 | #Constraints: 59484 3499.56/3512.51 c #Conflicts: 787000 | #Constraints: 60484 3499.56/3512.51 c #Conflicts: 788000 | #Constraints: 61484 3499.56/3512.51 c #Conflicts: 789000 | #Constraints: 62484 3499.56/3512.51 c #Conflicts: 790000 | #Constraints: 63484 3499.56/3512.51 c #Conflicts: 791000 | #Constraints: 64484 3499.56/3512.51 c #Conflicts: 792000 | #Constraints: 65484 3499.56/3512.51 c #Conflicts: 793000 | #Constraints: 66484 3499.56/3512.51 c #Conflicts: 794000 | #Constraints: 67484 3499.56/3512.51 c #Conflicts: 795000 | #Constraints: 68485 3499.56/3512.51 c #Conflicts: 796000 | #Constraints: 69485 3499.56/3512.51 c INPROCESSING 3499.56/3512.51 c GARBAGE COLLECT 3499.56/3512.51 c rational objective 148 3600.08/3613.40 c #Conflicts: 797000 | #Constraints: 36175 3600.08/3613.40 c #Conflicts: 798000 | #Constraints: 37175 3600.08/3613.40 c #Conflicts: 799000 | #Constraints: 38175 3600.08/3613.40 c #Conflicts: 800000 | #Constraints: 39177 3600.08/3613.40 c #Conflicts: 801000 | #Constraints: 40178 3600.08/3613.40 c #Conflicts: 802000 | #Constraints: 41178 3600.08/3613.40 c #Conflicts: 803000 | #Constraints: 42178 3600.08/3613.40 c #Conflicts: 804000 | #Constraints: 43178 3600.08/3613.40 c #Conflicts: 805000 | #Constraints: 44178 3600.08/3613.40 c #Conflicts: 806000 | #Constraints: 45178 3600.08/3613.40 c #Conflicts: 807000 | #Constraints: 46178 3600.08/3613.40 c #Conflicts: 808000 | #Constraints: 47178 3600.08/3613.40 c #Conflicts: 809000 | #Constraints: 48178 3600.08/3613.40 c #Conflicts: 810000 | #Constraints: 49178 3600.08/3613.40 c #Conflicts: 811000 | #Constraints: 50178 3600.08/3613.40 c #Conflicts: 812000 | #Constraints: 51178 3600.08/3613.40 c Program interrupted by user. 3600.08/3613.40 c cpu time 3583.47 s 3600.08/3613.40 c deterministic time 345368790883 3.45e+11 3600.08/3613.40 c optimization time 100.058 s 3600.08/3613.40 c total solve time 3483.41 s 3600.08/3613.40 c core-guided solve time 1887.25 s 3600.08/3613.40 c propagation time 3083.72 s 3600.08/3613.40 c conflict analysis time 450.77 s 3600.08/3613.40 c propagations 112074382 3600.08/3613.40 c resolve steps 7104566 3600.08/3613.40 c decisions 5449919 3600.08/3613.40 c conflicts 812549 3600.08/3613.40 c restarts 1753 3600.08/3613.40 c inprocessing phases 48 3600.08/3613.40 c input clauses 308 3600.08/3613.40 c input cardinalities 332 3600.08/3613.40 c input general constraints 899 3600.08/3613.40 c input average constraint length 64.21 3600.08/3613.40 c input average constraint degree 24.54 3600.08/3613.40 c learned clauses 295063 3600.08/3613.40 c learned cardinalities 5571 3600.08/3613.40 c learned general constraints 513906 3600.08/3613.40 c learned average constraint length 186.45 3600.08/3613.40 c learned average constraint degree 24014483.22 3600.08/3613.40 c watched constraints 339449 3600.08/3613.40 c counting constraints 175356 3600.08/3613.40 c gcd simplifications 96350 3600.08/3613.40 c detected cardinalities 2074 3600.08/3613.40 c weakened non-implied lits 35193156 3600.08/3613.40 c weakened non-implying lits 77456 3600.08/3613.40 c original variables 476 3600.08/3613.40 c clausal propagations 12775302 3600.08/3613.40 c cardinality propagations 6435190 3600.08/3613.40 c watched propagations 16940692 3600.08/3613.40 c counting propagations 74153867 3600.08/3613.40 c watch lookups 58714886625 3600.08/3613.40 c watch backjump lookups 52334072215 3600.08/3613.40 c watch checks 215130842156 3600.08/3613.40 c propagation checks 18340986724 3600.08/3613.40 c constraint additions 611230433 3600.08/3613.40 c trail pops 118336641 3600.08/3613.40 c formula constraints 476 3600.08/3613.40 c learned constraints 812560 3600.08/3613.40 c bound constraints 185 3600.08/3613.40 c core-guided constraints 878 3600.08/3613.40 c encountered formula constraints 1150942 3600.08/3613.40 c encountered learned constraints 5789431 3600.08/3613.40 c encountered bound constraints 97 3600.08/3613.40 c encountered core-guided constraints 975841 3600.08/3613.40 c LP total time 70.8577 s 3600.08/3613.40 c LP solve time 64.87 s 3600.08/3613.40 c LP constraints added 526 3600.08/3613.40 c LP constraints removed 46 3600.08/3613.40 c LP pivots internal 817496 3600.08/3613.40 c LP pivots root 94291 3600.08/3613.40 c LP calls 9397 3600.08/3613.40 c LP optimalities 5747 3600.08/3613.40 c LP no pivot count 163 3600.08/3613.40 c LP infeasibilities 3513 3600.08/3613.40 c LP valid Farkas constraints 1929 3600.08/3613.40 c LP learned Farkas constraints 1 3600.08/3613.40 c LP basis resets 133 3600.08/3613.40 c LP cycling count 133 3600.08/3613.40 c LP singular count 0 3600.08/3613.40 c LP no primal count 0 3600.08/3613.40 c LP no farkas count 0 3600.08/3613.40 c LP other issue count 0 3600.08/3613.40 c LP Gomory cuts 50 3600.08/3613.40 c LP learned cuts 0 3600.08/3613.40 c LP deleted cuts 46 3600.08/3613.40 c LP encountered Gomory constraints 0 3600.08/3613.40 c LP encountered Farkas constraints 801 3600.08/3613.40 c LP encountered learned Farkas constraints 2 3600.08/3613.40 c CG auxiliary variables introduced 342 3600.08/3613.40 c CG solutions found 37 3600.08/3613.40 c CG cores constructed 148 3600.08/3613.40 c CG core cardinality constraints returned 0 3600.08/3613.40 c CG unit cores 0 3600.08/3613.40 c CG single cores 148 3600.08/3613.40 c CG blocks removed during cardinality reduction 0 3600.08/3613.40 c CG first core best 0 3600.08/3613.40 c CG decision core best 0 3600.08/3613.40 c CG core reduction tie 0 3600.08/3613.40 c CG core degree average 1.00 3600.08/3613.40 c CG core slack average 4.04 3600.08/3613.40 s SATISFIABLE 3600.08/3613.40 v x1 -x2 x3 -x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 x29 x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 x68 x69 x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 x133 -x134 x135 x136 x137 x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 x153 x154 x155 -x156 -x157 -x158 x159 x160 x161 -x162 x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 x186 x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 x199 -x200 -x201 -x202 x203 x204 x205 -x206 -x207 -x208 -x209 -x210 x211 x212 x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 x232 x233 x234 x235 x236 x237 -x238 x239 -x240 -x241 -x242 x243 -x244 x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x290 -x291 -x292 x293 -x294 -x295 x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 x308 -x309 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 x320 -x321 x322 x323 x324 -x325 x326 -x327 x328 -x329 -x330 x331 x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 -x341 x342 x343 -x344 x345 x346 x347 x348 x349 -x350 x351 -x352 -x353 -x354 x355 x356 x357 -x358 -x359 x360 x361 x362 -x363 -x364 x365 -x366 x367 x368 -x369 x370 -x371 -x372 -x373 x374 -x375 x376 x377 x378 x379 x380 -x381 x382 -x383 x384 -x385 x386 x387 -x388 -x389 x390 x391 x392 x393 x394 -x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 -x405 -x406 x407 -x408 x409 x410 x411 -x412 -x413 x414 -x415 x416 x417 x418 x419 -x420 x421 x422 x423 x424 x425 x426 -x427 -x428 x429 -x430 x431 x432 -x433 x434 -x435 x436 -x437 x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447 -x448 x449 x450 -x451 x452 -x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 -x463 x464 x465 x466 -x467 x468 -x469 -x470 x471 -x472 -x473 -x474 x475 -x476
OK 195
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61220 MiB free)
memory of node 1: 64510 MiB (61608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455122-1721458669/watcher-4455122-1721458669 -o /tmp/evaluation-result-4455122-1721458669/solver-4455122-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057474 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455122-1721458669.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057561, runsolver pid=1057558
[startup+0.100767 s]*
/proc/loadavg: 4.12 4.11 4.04 6/254 1057563
/proc/meminfo: memFree=125769832/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=38440 memory=8640 CPUtime=0.09 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 624 0 0 0 9 0 0 0 20 0 1 0 198026085 39362560 2160 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 9610 2160 1747 922 0 1562 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38440 KiB
Current children cumulated memory: 8640 KiB
[startup+0.205768 s]*
/proc/loadavg: 4.11 4.11 4.04 8/259 1057573
/proc/meminfo: memFree=125747444/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=39236 memory=10152 CPUtime=0.19 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 991 0 0 0 17 2 0 0 20 0 1 0 198026085 40177664 2538 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 9809 2538 1779 922 0 1761 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39236 KiB
Current children cumulated memory: 10152 KiB
[startup+0.304965 s]*
/proc/loadavg: 4.11 4.11 4.04 7/259 1057573
/proc/meminfo: memFree=125738536/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=41744 memory=15524 CPUtime=0.29 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 1798 0 0 0 27 2 0 0 20 0 1 0 198026085 42745856 3881 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 10436 3881 1795 922 0 2388 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41744 KiB
Current children cumulated memory: 15524 KiB
[startup+0.700158 s]
/proc/loadavg: 4.11 4.11 4.04 7/259 1057573
/proc/meminfo: memFree=125725900/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=44980 memory=19084 CPUtime=0.68 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 2718 0 0 0 63 5 0 0 20 0 1 0 198026085 46059520 4771 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 11245 4771 1811 922 0 3197 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 19084 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.11 4.04 7/259 1057573
/proc/meminfo: memFree=125704304/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=47036 memory=21168 CPUtime=1.47 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 3214 0 0 0 139 8 0 0 20 0 1 0 198026085 48164864 5292 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 11759 5292 1875 922 0 3711 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47036 KiB
Current children cumulated memory: 21168 KiB
[startup+3.105 s]
/proc/loadavg: 4.11 4.11 4.04 7/259 1057574
/proc/meminfo: memFree=125389140/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=54396 memory=27908 CPUtime=3.08 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 4621 0 0 0 294 14 0 0 20 0 1 0 198026085 55701504 6977 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 13599 6977 1875 922 0 5551 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54396 KiB
Current children cumulated memory: 27908 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.11 4.04 7/259 1057574
/proc/meminfo: memFree=125373036/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=60800 memory=30912 CPUtime=6.26 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 5519 0 0 0 597 29 0 0 20 0 1 0 198026085 62259200 7728 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 15200 7728 1957 922 0 7152 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 60800 KiB
Current children cumulated memory: 30912 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.12 4.05 7/259 1057574
/proc/meminfo: memFree=125270556/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=65592 memory=37172 CPUtime=12.64 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 6582 0 0 0 1215 49 0 0 20 0 1 0 198026085 67166208 9293 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 16398 9293 1957 922 0 8350 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65592 KiB
Current children cumulated memory: 37172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.05 7/259 1057578
/proc/meminfo: memFree=125087720/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=108304 memory=77056 CPUtime=25.39 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 12448 0 0 0 2465 74 0 0 20 0 1 0 198026085 110903296 19264 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 27076 19264 1957 922 0 19028 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 108304 KiB
Current children cumulated memory: 77056 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.10 4.05 7/259 1057581
/proc/meminfo: memFree=124995076/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=113380 memory=82044 CPUtime=50.9 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 13710 0 0 0 4967 123 0 0 20 0 1 0 198026085 116101120 20511 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 28345 20511 1957 922 0 20297 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 113380 KiB
Current children cumulated memory: 82044 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.15 4.06 7/259 1057589
/proc/meminfo: memFree=124937800/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=134596 memory=85928 CPUtime=101.91 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 15022 0 0 0 9995 196 0 0 20 0 1 0 198026085 137826304 21482 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 33649 21482 1957 922 0 25601 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 134596 KiB
Current children cumulated memory: 85928 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.17 4.08 7/261 1057604
/proc/meminfo: memFree=124419760/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=148464 memory=110064 CPUtime=161.69 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 18036 0 0 0 15899 270 0 0 20 0 1 0 198026085 152027136 27516 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 37116 27516 1957 922 0 29068 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 148464 KiB
Current children cumulated memory: 110064 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.08 7/259 1057626
/proc/meminfo: memFree=124228784/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=211140 memory=149212 CPUtime=221.46 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 25017 0 0 0 21814 332 0 0 20 0 1 0 198026085 216207360 37303 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 52785 37303 1957 922 0 44737 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 211140 KiB
Current children cumulated memory: 149212 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.08 7/259 1057637
/proc/meminfo: memFree=124187608/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=216556 memory=162140 CPUtime=281.25 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 26209 0 0 0 27761 364 0 0 20 0 1 0 198026085 221753344 40535 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 54139 40535 1957 922 0 46091 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 216556 KiB
Current children cumulated memory: 162140 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.08 7/257 1057647
/proc/meminfo: memFree=124147348/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=216556 memory=162400 CPUtime=341.03 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 26269 0 0 0 33680 423 0 0 20 0 1 0 198026085 221753344 40600 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 54139 40600 1957 922 0 46091 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 216556 KiB
Current children cumulated memory: 162400 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 7/257 1057659
/proc/meminfo: memFree=123816160/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=230020 memory=176720 CPUtime=400.8 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 28893 0 0 0 39627 453 0 0 20 0 1 0 198026085 235540480 44180 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 57505 44180 1957 922 0 49457 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 230020 KiB
Current children cumulated memory: 176720 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/257 1057669
/proc/meminfo: memFree=123779760/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=236240 memory=187604 CPUtime=460.59 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 30060 0 0 0 45583 476 0 0 20 0 1 0 198026085 241909760 46901 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
################
# More data... #
################
Current children cumulated memory: 362392 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/259 1058734
/proc/meminfo: memFree=122526596/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=488740 memory=362392 CPUtime=2851.8 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 56462 0 0 0 283698 1482 0 0 20 0 1 0 198026085 500469760 90598 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 122185 90598 1957 922 0 114137 0
Current children cumulated CPU time: 2851.8 s
Current children cumulated vsize: 488740 KiB
Current children cumulated memory: 362392 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.09 7/256 1058745
/proc/meminfo: memFree=122295268/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=488740 memory=362392 CPUtime=2911.57 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 56640 0 0 0 289657 1500 0 0 20 0 1 0 198026085 500469760 90598 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 122185 90598 1957 922 0 114137 0
Current children cumulated CPU time: 2911.57 s
Current children cumulated vsize: 488740 KiB
Current children cumulated memory: 362392 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/256 1058757
/proc/meminfo: memFree=122268240/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=488740 memory=362392 CPUtime=2971.35 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 56818 0 0 0 295618 1517 0 0 20 0 1 0 198026085 500469760 90598 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 122185 90598 1957 922 0 114137 0
Current children cumulated CPU time: 2971.35 s
Current children cumulated vsize: 488740 KiB
Current children cumulated memory: 362392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 7/256 1058768
/proc/meminfo: memFree=122251344/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=489700 memory=362960 CPUtime=3031.13 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 57147 0 0 0 301581 1532 0 0 20 0 1 0 198026085 501452800 90740 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 122425 90740 1957 922 0 114377 0
Current children cumulated CPU time: 3031.13 s
Current children cumulated vsize: 489700 KiB
Current children cumulated memory: 362960 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/256 1058778
/proc/meminfo: memFree=122235128/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=492004 memory=364096 CPUtime=3090.9 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 57651 0 0 0 307547 1543 0 0 20 0 1 0 198026085 503812096 91024 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 123001 91024 1957 922 0 114953 0
Current children cumulated CPU time: 3090.9 s
Current children cumulated vsize: 492004 KiB
Current children cumulated memory: 364096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/258 1058792
/proc/meminfo: memFree=122205348/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=516708 memory=387936 CPUtime=3150.68 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 61143 0 0 0 313510 1558 0 0 20 0 1 0 198026085 529108992 96984 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 129177 96984 1957 922 0 121129 0
Current children cumulated CPU time: 3150.68 s
Current children cumulated vsize: 516708 KiB
Current children cumulated memory: 387936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 7/258 1058804
/proc/meminfo: memFree=122187000/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=532580 memory=408580 CPUtime=3210.46 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 63826 0 0 0 319476 1570 0 0 20 0 1 0 198026085 545361920 102145 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 133145 102145 1957 922 0 125097 0
Current children cumulated CPU time: 3210.46 s
Current children cumulated vsize: 532580 KiB
Current children cumulated memory: 408580 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/258 1058814
/proc/meminfo: memFree=122176124/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418580 CPUtime=3270.23 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 64862 0 0 0 325440 1583 0 0 20 0 1 0 198026085 549715968 104645 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104645 1957 922 0 126160 0
Current children cumulated CPU time: 3270.23 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/257 1058824
/proc/meminfo: memFree=122175588/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418588 CPUtime=3330.01 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 64951 0 0 0 331406 1595 0 0 20 0 1 0 198026085 549715968 104647 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104647 1957 922 0 126160 0
Current children cumulated CPU time: 3330.01 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 7/257 1058836
/proc/meminfo: memFree=122174952/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418588 CPUtime=3389.78 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 65040 0 0 0 337373 1605 0 0 20 0 1 0 198026085 549715968 104647 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104647 1957 922 0 126160 0
Current children cumulated CPU time: 3389.78 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/257 1059229
/proc/meminfo: memFree=122157944/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418588 CPUtime=3449.56 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 65129 0 0 0 343339 1617 0 0 20 0 1 0 198026085 549715968 104647 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104647 1957 922 0 126160 0
Current children cumulated CPU time: 3449.56 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/257 1059240
/proc/meminfo: memFree=122149432/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418588 CPUtime=3509.32 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 65218 0 0 0 349303 1629 0 0 20 0 1 0 198026085 549715968 104647 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104647 1957 922 0 126160 0
Current children cumulated CPU time: 3509.32 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 7/257 1059252
/proc/meminfo: memFree=122138532/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418588 CPUtime=3569.1 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 65307 0 0 0 355259 1651 0 0 20 0 1 0 198026085 549715968 104647 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104647 1957 922 0 126160 0
Current children cumulated CPU time: 3569.1 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059397
/proc/meminfo: memFree=125080244/131524600 swapFree=130799640/131071996
[pid=1057561] ppid=1057558 vsize=536832 memory=418588 CPUtime=3600.08 cores=0,2
/proc/1057561/stat : 1057561 (roundingsat) R 1057558 1057561 1057331 0 -1 4194304 65396 0 0 0 358347 1661 0 0 20 0 1 0 198026085 549715968 104647 134679101440 4194304 7968373 140730510045648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 35991552 140730510050236 140730510050400 140730510050400 140730510057417 0
/proc/1057561/statm: 134208 104647 1957 922 0 126160 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 536832 KiB
Current children cumulated memory: 418588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.41 s]
# the end of solver process 1057561 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.48 s, system=16.6267 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.41
CPU time (s): 3600.1
CPU user time (s): 3583.48
CPU system time (s): 16.6267
CPU usage (%): 99.6317
Max. virtual memory (cumulated for all children) (KiB): 536832
Max. memory (cumulated for all children) (KiB): 418588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.48
system time used= 16.6267
maximum resident set size= 418588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 25254
# summary of solver processes directly reported to runsolver:
# pid: 1057561
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.48
# total CPU system time (s): 16.6267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4816 second user time and 16.3823 second system time
The end
Begin job on nodeC014 at 2024-07-20 08:58:02 IDJOB=4455122 IDBENCH=147547 IDSOLVER=3084 FILE ID=nodeC014/4455122-1721458669 RUNJOBID= nodeC014-1721458682-1057474 SLURM_JOB_ID= 7545705 Free space on /tmp= 890024 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455122-1721458669/watcher-4455122-1721458669 -o /tmp/evaluation-result-4455122-1721458669/solver-4455122-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057474 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455122-1721458669.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=1589648537 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3523.506 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3616.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3467.275 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3543.025 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3529.592 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3507.529 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3488.766 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3555.914 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125782840 kB MemAvailable: 129972348 kB Buffers: 507836 kB Cached: 4477280 kB SwapCached: 12848 kB Active: 1535308 kB Inactive: 3578424 kB Active(anon): 9116 kB Inactive(anon): 149508 kB Active(file): 1526192 kB Inactive(file): 3428916 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 130799640 kB Dirty: 20100 kB Writeback: 12 kB AnonPages: 120300 kB Mapped: 51204 kB Shmem: 29680 kB KReclaimable: 148096 kB Slab: 251116 kB SReclaimable: 148096 kB SUnreclaim: 103020 kB KernelStack: 3920 kB PageTables: 9868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 736216 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 36672 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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: 303828 kB DirectMap2M: 38266880 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 889956 MiB End job on nodeC014 at 2024-07-20 09:58:15