| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 191 | 3600.09 | 3609.61 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| 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 | 179 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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 470 #constraints 470 0.09/0.17 c bounds - >= 0 @ 0.000719 0.09/0.17 c bounds 224 >= 0 @ 0.131198 0.09/0.17 c bounds 224 >= 1 @ 0.131287 0.09/0.17 c bounds 224 >= 2 @ 0.131366 0.09/0.17 c bounds 224 >= 3 @ 0.131424 0.09/0.17 c bounds 224 >= 4 @ 0.131484 0.09/0.17 c bounds 224 >= 5 @ 0.13154 0.09/0.17 c bounds 224 >= 6 @ 0.131604 0.09/0.17 c bounds 224 >= 7 @ 0.131666 0.09/0.17 c bounds 224 >= 8 @ 0.131736 0.09/0.17 c bounds 224 >= 9 @ 0.131811 0.09/0.17 c bounds 224 >= 10 @ 0.131887 0.09/0.17 c bounds 224 >= 11 @ 0.131961 0.09/0.17 c bounds 224 >= 12 @ 0.132039 0.09/0.17 c bounds 224 >= 13 @ 0.132123 0.09/0.17 c bounds 224 >= 14 @ 0.132211 0.09/0.17 c bounds 224 >= 15 @ 0.132296 0.09/0.17 c bounds 224 >= 16 @ 0.132383 0.09/0.17 c bounds 224 >= 17 @ 0.132471 0.09/0.17 c bounds 224 >= 18 @ 0.132562 0.09/0.17 c bounds 224 >= 19 @ 0.132649 0.09/0.17 c bounds 224 >= 20 @ 0.132742 0.09/0.17 c bounds 224 >= 21 @ 0.132832 0.09/0.17 c bounds 224 >= 22 @ 0.132924 0.09/0.17 c bounds 224 >= 23 @ 0.133025 0.09/0.17 c bounds 224 >= 24 @ 0.133146 0.09/0.17 c bounds 224 >= 25 @ 0.13324 0.09/0.17 c bounds 224 >= 26 @ 0.133337 0.09/0.17 c bounds 224 >= 27 @ 0.133432 0.09/0.17 c bounds 224 >= 28 @ 0.133528 0.09/0.17 c bounds 224 >= 29 @ 0.133624 0.09/0.17 c bounds 223 >= 29 @ 0.149533 0.09/0.17 c bounds 223 >= 30 @ 0.149651 0.09/0.17 c bounds 223 >= 31 @ 0.149762 0.09/0.17 c bounds 223 >= 32 @ 0.149869 0.09/0.17 c bounds 223 >= 33 @ 0.149978 0.09/0.17 c bounds 223 >= 34 @ 0.150115 0.09/0.17 c bounds 223 >= 35 @ 0.150235 0.09/0.17 c bounds 223 >= 36 @ 0.150363 0.09/0.17 c bounds 223 >= 37 @ 0.150476 0.09/0.17 c bounds 223 >= 38 @ 0.150588 0.09/0.17 c bounds 223 >= 39 @ 0.15071 0.09/0.17 c bounds 223 >= 40 @ 0.150871 0.09/0.17 c bounds 223 >= 41 @ 0.151244 0.09/0.17 c bounds 223 >= 42 @ 0.151369 0.09/0.17 c bounds 223 >= 43 @ 0.151487 0.09/0.17 c bounds 223 >= 44 @ 0.151601 0.09/0.17 c bounds 223 >= 45 @ 0.151714 0.09/0.17 c bounds 223 >= 46 @ 0.151826 0.09/0.17 c bounds 223 >= 47 @ 0.151938 0.09/0.17 c bounds 223 >= 48 @ 0.152063 0.09/0.17 c bounds 223 >= 49 @ 0.152181 0.09/0.17 c bounds 223 >= 50 @ 0.152298 0.09/0.17 c bounds 223 >= 51 @ 0.15242 0.09/0.17 c bounds 223 >= 52 @ 0.15256 0.09/0.17 c bounds 223 >= 53 @ 0.152703 0.09/0.17 c bounds 223 >= 54 @ 0.152839 0.09/0.17 c bounds 223 >= 55 @ 0.152979 0.09/0.17 c bounds 223 >= 56 @ 0.153125 0.09/0.17 c bounds 223 >= 57 @ 0.15327 0.09/0.17 c bounds 223 >= 58 @ 0.153416 0.09/0.17 c bounds 223 >= 59 @ 0.153567 0.09/0.17 c bounds 223 >= 60 @ 0.153715 0.09/0.17 c bounds 223 >= 61 @ 0.153871 0.09/0.17 c bounds 223 >= 62 @ 0.154047 0.09/0.17 c bounds 223 >= 63 @ 0.154206 0.09/0.17 c bounds 223 >= 64 @ 0.154389 0.09/0.17 c bounds 223 >= 65 @ 0.154542 0.09/0.17 c bounds 223 >= 66 @ 0.154702 0.09/0.18 c bounds 223 >= 67 @ 0.154852 0.09/0.18 c bounds 223 >= 68 @ 0.155025 0.09/0.18 c bounds 223 >= 69 @ 0.155187 0.09/0.18 c bounds 223 >= 70 @ 0.155355 0.09/0.18 c bounds 223 >= 71 @ 0.155515 0.09/0.18 c bounds 223 >= 72 @ 0.155677 0.09/0.18 c bounds 223 >= 73 @ 0.155841 0.09/0.18 c bounds 223 >= 74 @ 0.156006 0.09/0.18 c bounds 223 >= 75 @ 0.156173 0.09/0.18 c bounds 223 >= 76 @ 0.156342 0.09/0.18 c bounds 223 >= 77 @ 0.156504 0.09/0.18 c bounds 223 >= 78 @ 0.156666 0.09/0.18 c bounds 223 >= 79 @ 0.156828 0.09/0.18 c bounds 223 >= 80 @ 0.156994 0.09/0.18 c bounds 223 >= 81 @ 0.157157 0.09/0.18 c bounds 223 >= 82 @ 0.157324 0.09/0.18 c bounds 223 >= 83 @ 0.157507 0.09/0.18 c bounds 223 >= 84 @ 0.157686 0.09/0.18 c bounds 223 >= 85 @ 0.157855 0.09/0.18 c bounds 223 >= 86 @ 0.158046 0.09/0.18 c bounds 223 >= 87 @ 0.158217 0.09/0.18 c bounds 223 >= 88 @ 0.158405 0.09/0.18 c bounds 223 >= 89 @ 0.158566 0.09/0.18 c bounds 223 >= 90 @ 0.158734 0.09/0.18 c bounds 223 >= 91 @ 0.158899 0.09/0.18 c bounds 223 >= 92 @ 0.158978 0.09/0.18 c bounds 223 >= 93 @ 0.158978 0.09/0.18 c bounds 223 >= 94 @ 0.158978 0.09/0.18 c bounds 223 >= 95 @ 0.158978 0.09/0.18 c bounds 223 >= 96 @ 0.158978 0.09/0.18 c bounds 223 >= 97 @ 0.158978 0.09/0.18 c bounds 223 >= 98 @ 0.158978 0.09/0.18 c bounds 223 >= 99 @ 0.158978 0.09/0.18 c bounds 223 >= 100 @ 0.158978 0.09/0.18 c bounds 223 >= 101 @ 0.158978 0.09/0.18 c bounds 223 >= 102 @ 0.158978 0.09/0.18 c bounds 223 >= 103 @ 0.159031 0.09/0.18 c bounds 223 >= 104 @ 0.159217 0.09/0.18 c bounds 223 >= 105 @ 0.159404 0.09/0.18 c bounds 223 >= 106 @ 0.159596 0.09/0.18 c bounds 223 >= 107 @ 0.159775 0.09/0.18 c bounds 223 >= 108 @ 0.159946 0.09/0.18 c bounds 223 >= 109 @ 0.159971 0.09/0.18 c bounds 223 >= 110 @ 0.159971 0.09/0.18 c bounds 223 >= 111 @ 0.159971 0.09/0.18 c bounds 223 >= 112 @ 0.159971 0.09/0.18 c bounds 223 >= 113 @ 0.160017 0.09/0.18 c bounds 223 >= 114 @ 0.160223 0.09/0.18 c bounds 223 >= 115 @ 0.160415 0.09/0.18 c bounds 223 >= 116 @ 0.160612 0.09/0.18 c bounds 223 >= 117 @ 0.160809 0.09/0.18 c bounds 223 >= 118 @ 0.160996 0.09/0.18 c bounds 223 >= 119 @ 0.161173 0.09/0.18 c bounds 223 >= 120 @ 0.161356 0.09/0.18 c bounds 223 >= 121 @ 0.161537 0.09/0.18 c bounds 223 >= 122 @ 0.161726 0.09/0.18 c bounds 223 >= 123 @ 0.161922 0.09/0.18 c bounds 223 >= 124 @ 0.161961 0.09/0.18 c bounds 223 >= 125 @ 0.161961 0.09/0.18 c bounds 223 >= 126 @ 0.161961 0.09/0.18 c bounds 223 >= 127 @ 0.161961 0.09/0.18 c bounds 223 >= 128 @ 0.161961 0.09/0.18 c bounds 223 >= 129 @ 0.161961 0.09/0.18 c bounds 223 >= 130 @ 0.161961 0.09/0.18 c bounds 223 >= 131 @ 0.161961 0.09/0.18 c bounds 223 >= 132 @ 0.161961 0.09/0.18 c bounds 223 >= 133 @ 0.161961 0.09/0.18 c bounds 223 >= 134 @ 0.161961 0.50/0.55 c bounds 223 >= 135 @ 0.162254 0.50/0.55 c bounds 223 >= 136 @ 0.162866 0.50/0.55 c bounds 223 >= 137 @ 0.162943 0.50/0.55 c bounds 223 >= 138 @ 0.162943 0.50/0.55 c bounds 223 >= 139 @ 0.163587 0.50/0.55 c bounds 223 >= 140 @ 0.164933 0.50/0.55 c bounds 223 >= 141 @ 0.165229 0.50/0.55 c bounds 223 >= 142 @ 0.166784 0.50/0.55 c bounds 222 >= 142 @ 0.175114 0.50/0.55 c bounds 222 >= 143 @ 0.176941 0.50/0.55 c bounds 222 >= 144 @ 0.182752 0.50/0.55 c bounds 221 >= 144 @ 0.185083 0.50/0.55 c bounds 220 >= 144 @ 0.186544 0.50/0.55 c bounds 219 >= 144 @ 0.18786 0.50/0.55 c #Conflicts: 1000 | #Constraints: 2183 0.50/0.55 c bounds 219 >= 145 @ 0.263831 0.50/0.55 c bounds 218 >= 145 @ 0.290022 0.50/0.55 c bounds 217 >= 145 @ 0.328786 0.50/0.55 c bounds 216 >= 145 @ 0.338874 0.50/0.55 c bounds 215 >= 145 @ 0.358569 0.50/0.55 c #Conflicts: 2000 | #Constraints: 3280 0.50/0.55 c INPROCESSING 0.50/0.55 c GARBAGE COLLECT 0.50/0.55 c rational objective 145 1.19/1.26 c bounds 214 >= 145 @ 0.624906 1.19/1.26 c #Conflicts: 3000 | #Constraints: 3172 1.19/1.26 c bounds 213 >= 145 @ 0.815752 1.19/1.26 c #Conflicts: 4000 | #Constraints: 4173 1.19/1.26 c INPROCESSING 1.19/1.26 c GARBAGE COLLECT 1.19/1.26 c rational objective 145 1.99/2.07 c bounds 212 >= 145 @ 1.32396 1.99/2.07 c bounds 211 >= 145 @ 1.35342 1.99/2.07 c #Conflicts: 5000 | #Constraints: 3611 1.99/2.07 c #Conflicts: 6000 | #Constraints: 4611 1.99/2.07 c bounds 210 >= 145 @ 1.79181 1.99/2.07 c INPROCESSING 1.99/2.07 c GARBAGE COLLECT 1.99/2.07 c rational objective 145 2.99/3.05 c bounds 210 >= 146 @ 2.07263 2.99/3.05 c #Conflicts: 7000 | #Constraints: 3695 2.99/3.05 c #Conflicts: 8000 | #Constraints: 4695 2.99/3.05 c bounds 210 >= 147 @ 2.56565 2.99/3.05 c bounds 209 >= 147 @ 2.57813 2.99/3.05 c #Conflicts: 9000 | #Constraints: 5729 2.99/3.05 c INPROCESSING 2.99/3.05 c GARBAGE COLLECT 2.99/3.05 c rational objective 147 4.09/4.18 c #Conflicts: 10000 | #Constraints: 4390 4.09/4.18 c #Conflicts: 11000 | #Constraints: 5390 4.09/4.18 c #Conflicts: 12000 | #Constraints: 6390 4.09/4.18 c INPROCESSING 4.09/4.18 c GARBAGE COLLECT 4.09/4.18 c rational objective 147 5.08/5.16 c #Conflicts: 13000 | #Constraints: 4891 5.08/5.16 c #Conflicts: 14000 | #Constraints: 5891 5.08/5.16 c #Conflicts: 15000 | #Constraints: 6891 5.08/5.16 c INPROCESSING 5.08/5.16 c GARBAGE COLLECT 5.08/5.16 c rational objective 147 6.58/6.63 c bounds 209 >= 148 @ 5.27588 6.58/6.63 c #Conflicts: 16000 | #Constraints: 5117 6.58/6.63 c #Conflicts: 17000 | #Constraints: 6117 6.58/6.63 c #Conflicts: 18000 | #Constraints: 7117 6.58/6.63 c INPROCESSING 6.58/6.63 c GARBAGE COLLECT 6.58/6.63 c rational objective 148 15.35/15.43 c bounds 208 >= 148 @ 6.43135 15.35/15.43 c #Conflicts: 19000 | #Constraints: 5162 15.35/15.43 c bounds 207 >= 148 @ 6.61195 15.35/15.43 c bounds 206 >= 148 @ 6.6453 15.35/15.43 c bounds 205 >= 148 @ 6.65918 15.35/15.43 c #Conflicts: 20000 | #Constraints: 6165 15.35/15.43 c #Conflicts: 21000 | #Constraints: 7165 15.35/15.43 c #Conflicts: 22000 | #Constraints: 8165 15.35/15.43 c #Conflicts: 23000 | #Constraints: 9165 15.35/15.43 c #Conflicts: 24000 | #Constraints: 10165 15.35/15.43 c bounds 204 >= 148 @ 8.92442 15.35/15.43 c #Conflicts: 25000 | #Constraints: 11166 15.35/15.43 c #Conflicts: 26000 | #Constraints: 12166 15.35/15.43 c #Conflicts: 27000 | #Constraints: 13166 15.35/15.43 c #Conflicts: 28000 | #Constraints: 14166 15.35/15.43 c INPROCESSING 15.35/15.43 c GARBAGE COLLECT 15.35/15.43 c rational objective 148 17.65/17.79 c bounds 203 >= 148 @ 15.0676 17.65/17.79 c bounds 202 >= 148 @ 15.0764 17.65/17.79 c #Conflicts: 29000 | #Constraints: 8399 17.65/17.79 c bounds 201 >= 148 @ 15.1561 17.65/17.79 c #Conflicts: 30000 | #Constraints: 9401 17.65/17.79 c #Conflicts: 31000 | #Constraints: 10401 17.65/17.79 c #Conflicts: 32000 | #Constraints: 11401 17.65/17.79 c #Conflicts: 33000 | #Constraints: 12401 17.65/17.79 c INPROCESSING 17.65/17.79 c GARBAGE COLLECT 17.65/17.79 c rational objective 148 19.84/19.92 c #Conflicts: 34000 | #Constraints: 7700 19.84/19.92 c #Conflicts: 35000 | #Constraints: 8700 19.84/19.92 c #Conflicts: 36000 | #Constraints: 9700 19.84/19.92 c #Conflicts: 37000 | #Constraints: 10700 19.84/19.92 c #Conflicts: 38000 | #Constraints: 11700 19.84/19.92 c INPROCESSING 19.84/19.92 c GARBAGE COLLECT 19.84/19.92 c rational objective 148 26.23/26.35 c #Conflicts: 39000 | #Constraints: 7510 26.23/26.35 c #Conflicts: 40000 | #Constraints: 8510 26.23/26.35 c #Conflicts: 41000 | #Constraints: 9510 26.23/26.35 c #Conflicts: 42000 | #Constraints: 10511 26.23/26.35 c INPROCESSING 26.23/26.35 c GARBAGE COLLECT 26.23/26.35 c #Conflicts: 43000 | #Constraints: 6527 26.23/26.35 c #Conflicts: 44000 | #Constraints: 7527 26.23/26.35 c #Conflicts: 45000 | #Constraints: 8527 26.23/26.35 c #Conflicts: 46000 | #Constraints: 9534 26.23/26.35 c #Conflicts: 47000 | #Constraints: 10657 26.23/26.35 c #Conflicts: 48000 | #Constraints: 11658 26.23/26.35 c INPROCESSING 26.23/26.35 c GARBAGE COLLECT 26.23/26.35 c rational objective 148 30.62/30.70 c #Conflicts: 49000 | #Constraints: 7488 30.62/30.70 c #Conflicts: 50000 | #Constraints: 8488 30.62/30.70 c #Conflicts: 51000 | #Constraints: 9489 30.62/30.70 c bounds 200 >= 148 @ 27.1796 30.62/30.70 c #Conflicts: 52000 | #Constraints: 10491 30.62/30.70 c bounds 200 >= 149 @ 27.789 30.62/30.70 c #Conflicts: 53000 | #Constraints: 11536 30.62/30.70 c INPROCESSING 30.62/30.70 c GARBAGE COLLECT 30.62/30.70 c rational objective 149 34.11/34.23 c #Conflicts: 54000 | #Constraints: 7350 34.11/34.23 c #Conflicts: 55000 | #Constraints: 8350 34.11/34.23 c #Conflicts: 56000 | #Constraints: 9350 34.11/34.23 c #Conflicts: 57000 | #Constraints: 10350 34.11/34.23 c #Conflicts: 58000 | #Constraints: 11350 34.11/34.23 c INPROCESSING 34.11/34.23 c GARBAGE COLLECT 34.11/34.23 c rational objective 149 50.97/51.10 c #Conflicts: 59000 | #Constraints: 7024 50.97/51.10 c #Conflicts: 60000 | #Constraints: 8024 50.97/51.10 c #Conflicts: 61000 | #Constraints: 9032 50.97/51.10 c #Conflicts: 62000 | #Constraints: 10032 50.97/51.10 c #Conflicts: 63000 | #Constraints: 11032 50.97/51.10 c #Conflicts: 64000 | #Constraints: 12032 50.97/51.10 c bounds 199 >= 149 @ 35.4058 50.97/51.10 c #Conflicts: 65000 | #Constraints: 13033 50.97/51.10 c #Conflicts: 66000 | #Constraints: 14033 50.97/51.10 c #Conflicts: 67000 | #Constraints: 15033 50.97/51.10 c #Conflicts: 68000 | #Constraints: 16033 50.97/51.10 c #Conflicts: 69000 | #Constraints: 17033 50.97/51.10 c #Conflicts: 70000 | #Constraints: 18033 50.97/51.10 c #Conflicts: 71000 | #Constraints: 19033 50.97/51.10 c #Conflicts: 72000 | #Constraints: 20033 50.97/51.10 c #Conflicts: 73000 | #Constraints: 21033 50.97/51.10 c #Conflicts: 74000 | #Constraints: 22033 50.97/51.10 c #Conflicts: 75000 | #Constraints: 23033 50.97/51.10 c #Conflicts: 76000 | #Constraints: 24033 50.97/51.10 c #Conflicts: 77000 | #Constraints: 25033 50.97/51.10 c #Conflicts: 78000 | #Constraints: 26033 50.97/51.10 c INPROCESSING 50.97/51.10 c GARBAGE COLLECT 50.97/51.10 c rational objective 149 70.01/70.20 c #Conflicts: 79000 | #Constraints: 14703 70.01/70.20 c #Conflicts: 80000 | #Constraints: 15703 70.01/70.20 c #Conflicts: 81000 | #Constraints: 16703 70.01/70.20 c #Conflicts: 82000 | #Constraints: 17703 70.01/70.20 c #Conflicts: 83000 | #Constraints: 18703 70.01/70.20 c #Conflicts: 84000 | #Constraints: 19703 70.01/70.20 c INPROCESSING 70.01/70.20 c GARBAGE COLLECT 70.01/70.20 c rational objective 149 78.59/78.84 c #Conflicts: 85000 | #Constraints: 11214 78.59/78.84 c #Conflicts: 86000 | #Constraints: 12216 78.59/78.84 c #Conflicts: 87000 | #Constraints: 13216 78.59/78.84 c #Conflicts: 88000 | #Constraints: 14216 78.59/78.84 c #Conflicts: 89000 | #Constraints: 15217 78.59/78.84 c #Conflicts: 90000 | #Constraints: 16217 78.59/78.84 c #Conflicts: 91000 | #Constraints: 17217 78.59/78.84 c INPROCESSING 78.59/78.84 c GARBAGE COLLECT 78.59/78.84 c rational objective 149 88.27/88.52 c #Conflicts: 92000 | #Constraints: 9956 88.27/88.52 c #Conflicts: 93000 | #Constraints: 10956 88.27/88.52 c #Conflicts: 94000 | #Constraints: 11956 88.27/88.52 c #Conflicts: 95000 | #Constraints: 12956 88.27/88.52 c #Conflicts: 96000 | #Constraints: 13956 88.27/88.52 c #Conflicts: 97000 | #Constraints: 14956 88.27/88.52 c bounds 198 >= 149 @ 80.2168 88.27/88.52 c #Conflicts: 98000 | #Constraints: 15957 88.27/88.52 c #Conflicts: 99000 | #Constraints: 16983 88.27/88.52 c INPROCESSING 88.27/88.52 c GARBAGE COLLECT 88.27/88.52 c #Conflicts: 100000 | #Constraints: 10166 88.27/88.52 c #Conflicts: 101000 | #Constraints: 11168 88.27/88.52 c #Conflicts: 102000 | #Constraints: 12168 88.27/88.52 c #Conflicts: 103000 | #Constraints: 13168 88.27/88.52 c #Conflicts: 104000 | #Constraints: 14168 88.27/88.52 c #Conflicts: 105000 | #Constraints: 15168 88.27/88.52 c #Conflicts: 106000 | #Constraints: 16207 88.27/88.52 c INPROCESSING 88.27/88.52 c GARBAGE COLLECT 88.27/88.52 c rational objective 149 96.16/96.41 c #Conflicts: 107000 | #Constraints: 9584 96.16/96.41 c #Conflicts: 108000 | #Constraints: 10584 96.16/96.41 c #Conflicts: 109000 | #Constraints: 11584 96.16/96.41 c #Conflicts: 110000 | #Constraints: 12584 96.16/96.41 c #Conflicts: 111000 | #Constraints: 13584 96.16/96.41 c #Conflicts: 112000 | #Constraints: 14584 96.16/96.41 c #Conflicts: 113000 | #Constraints: 15584 96.16/96.41 c #Conflicts: 114000 | #Constraints: 16584 96.16/96.41 c INPROCESSING 96.16/96.41 c GARBAGE COLLECT 96.16/96.41 c rational objective 149 167.09/167.54 c #Conflicts: 115000 | #Constraints: 10061 167.09/167.54 c #Conflicts: 116000 | #Constraints: 11061 167.09/167.54 c #Conflicts: 117000 | #Constraints: 12061 167.09/167.54 c #Conflicts: 118000 | #Constraints: 13061 167.09/167.54 c #Conflicts: 119000 | #Constraints: 14061 167.09/167.54 c #Conflicts: 120000 | #Constraints: 15061 167.09/167.54 c bounds 197 >= 149 @ 97.7351 167.09/167.54 c #Conflicts: 121000 | #Constraints: 16062 167.09/167.54 c #Conflicts: 122000 | #Constraints: 17062 167.09/167.54 c bounds 196 >= 149 @ 99.801 167.09/167.54 c #Conflicts: 123000 | #Constraints: 18063 167.09/167.54 c #Conflicts: 124000 | #Constraints: 19063 167.09/167.54 c #Conflicts: 125000 | #Constraints: 20063 167.09/167.54 c #Conflicts: 126000 | #Constraints: 21063 167.09/167.54 c #Conflicts: 127000 | #Constraints: 22063 167.09/167.54 c #Conflicts: 128000 | #Constraints: 23063 167.09/167.54 c #Conflicts: 129000 | #Constraints: 24063 167.09/167.54 c #Conflicts: 130000 | #Constraints: 25063 167.09/167.54 c #Conflicts: 131000 | #Constraints: 26063 167.09/167.54 c #Conflicts: 132000 | #Constraints: 27063 167.09/167.54 c #Conflicts: 133000 | #Constraints: 28063 167.09/167.54 c #Conflicts: 134000 | #Constraints: 29063 167.09/167.54 c #Conflicts: 135000 | #Constraints: 30063 167.09/167.54 c #Conflicts: 136000 | #Constraints: 31063 167.09/167.54 c #Conflicts: 137000 | #Constraints: 32063 167.09/167.54 c #Conflicts: 138000 | #Constraints: 33063 167.09/167.54 c #Conflicts: 139000 | #Constraints: 34063 167.09/167.54 c #Conflicts: 140000 | #Constraints: 35063 167.09/167.54 c INPROCESSING 167.09/167.54 c GARBAGE COLLECT 167.09/167.54 c rational objective 149 178.06/178.50 c #Conflicts: 141000 | #Constraints: 18932 178.06/178.50 c #Conflicts: 142000 | #Constraints: 19932 178.06/178.50 c #Conflicts: 143000 | #Constraints: 20932 178.06/178.50 c #Conflicts: 144000 | #Constraints: 21932 178.06/178.50 c #Conflicts: 145000 | #Constraints: 22932 178.06/178.50 c #Conflicts: 146000 | #Constraints: 23932 178.06/178.50 c #Conflicts: 147000 | #Constraints: 24932 178.06/178.50 c #Conflicts: 148000 | #Constraints: 25932 178.06/178.50 c #Conflicts: 149000 | #Constraints: 26932 178.06/178.50 c INPROCESSING 178.06/178.50 c GARBAGE COLLECT 178.06/178.50 c rational objective 149 187.24/187.76 c #Conflicts: 150000 | #Constraints: 14845 187.24/187.76 c #Conflicts: 151000 | #Constraints: 15845 187.24/187.76 c #Conflicts: 152000 | #Constraints: 16845 187.24/187.76 c #Conflicts: 153000 | #Constraints: 17845 187.24/187.76 c #Conflicts: 154000 | #Constraints: 18845 187.24/187.76 c #Conflicts: 155000 | #Constraints: 19845 187.24/187.76 c #Conflicts: 156000 | #Constraints: 20845 187.24/187.76 c #Conflicts: 157000 | #Constraints: 21845 187.24/187.76 c #Conflicts: 158000 | #Constraints: 22845 187.24/187.76 c INPROCESSING 187.24/187.76 c GARBAGE COLLECT 187.24/187.76 c rational objective 149 196.02/196.50 c #Conflicts: 159000 | #Constraints: 12803 196.02/196.50 c #Conflicts: 160000 | #Constraints: 13803 196.02/196.50 c #Conflicts: 161000 | #Constraints: 14803 196.02/196.50 c #Conflicts: 162000 | #Constraints: 15803 196.02/196.50 c #Conflicts: 163000 | #Constraints: 16803 196.02/196.50 c #Conflicts: 164000 | #Constraints: 17803 196.02/196.50 c #Conflicts: 165000 | #Constraints: 18803 196.02/196.50 c #Conflicts: 166000 | #Constraints: 19803 196.02/196.50 c #Conflicts: 167000 | #Constraints: 20803 196.02/196.50 c bounds 195 >= 149 @ 192.115 196.02/196.50 c #Conflicts: 168000 | #Constraints: 21804 196.02/196.50 c INPROCESSING 196.02/196.50 c GARBAGE COLLECT 196.02/196.50 c rational objective 149 205.51/206.06 c #Conflicts: 169000 | #Constraints: 12585 205.51/206.06 c #Conflicts: 170000 | #Constraints: 13585 205.51/206.06 c #Conflicts: 171000 | #Constraints: 14585 205.51/206.06 c #Conflicts: 172000 | #Constraints: 15585 205.51/206.06 c #Conflicts: 173000 | #Constraints: 16585 205.51/206.06 c #Conflicts: 174000 | #Constraints: 17585 205.51/206.06 c #Conflicts: 175000 | #Constraints: 18585 205.51/206.06 c #Conflicts: 176000 | #Constraints: 19585 205.51/206.06 c #Conflicts: 177000 | #Constraints: 20585 205.51/206.06 c INPROCESSING 205.51/206.06 c GARBAGE COLLECT 205.51/206.06 c rational objective 149 220.16/220.72 c #Conflicts: 178000 | #Constraints: 11727 220.16/220.72 c #Conflicts: 179000 | #Constraints: 12727 220.16/220.72 c #Conflicts: 180000 | #Constraints: 13727 220.16/220.72 c #Conflicts: 181000 | #Constraints: 14727 220.16/220.72 c #Conflicts: 182000 | #Constraints: 15727 220.16/220.72 c #Conflicts: 183000 | #Constraints: 16727 220.16/220.72 c #Conflicts: 184000 | #Constraints: 17727 220.16/220.72 c #Conflicts: 185000 | #Constraints: 18727 220.16/220.72 c #Conflicts: 186000 | #Constraints: 19727 220.16/220.72 c #Conflicts: 187000 | #Constraints: 20727 220.16/220.72 c INPROCESSING 220.16/220.72 c GARBAGE COLLECT 220.16/220.72 c rational objective 149 291.87/292.64 c #Conflicts: 188000 | #Constraints: 12019 291.87/292.64 c bounds 194 >= 149 @ 217.571 291.87/292.64 c #Conflicts: 189000 | #Constraints: 13020 291.87/292.64 c #Conflicts: 190000 | #Constraints: 14020 291.87/292.64 c bounds 193 >= 149 @ 218.653 291.87/292.64 c #Conflicts: 191000 | #Constraints: 15021 291.87/292.64 c #Conflicts: 192000 | #Constraints: 16021 291.87/292.64 c #Conflicts: 193000 | #Constraints: 17063 291.87/292.64 c #Conflicts: 194000 | #Constraints: 18063 291.87/292.64 c #Conflicts: 195000 | #Constraints: 19063 291.87/292.64 c #Conflicts: 196000 | #Constraints: 20063 291.87/292.64 c #Conflicts: 197000 | #Constraints: 21063 291.87/292.64 c #Conflicts: 198000 | #Constraints: 22063 291.87/292.64 c #Conflicts: 199000 | #Constraints: 23063 291.87/292.64 c #Conflicts: 200000 | #Constraints: 24063 291.87/292.64 c #Conflicts: 201000 | #Constraints: 25063 291.87/292.64 c #Conflicts: 202000 | #Constraints: 26063 291.87/292.64 c #Conflicts: 203000 | #Constraints: 27063 291.87/292.64 c #Conflicts: 204000 | #Constraints: 28063 291.87/292.64 c #Conflicts: 205000 | #Constraints: 29063 291.87/292.64 c #Conflicts: 206000 | #Constraints: 30063 291.87/292.64 c #Conflicts: 207000 | #Constraints: 31063 291.87/292.64 c #Conflicts: 208000 | #Constraints: 32063 291.87/292.64 c #Conflicts: 209000 | #Constraints: 33063 291.87/292.64 c #Conflicts: 210000 | #Constraints: 34063 291.87/292.64 c #Conflicts: 211000 | #Constraints: 35063 291.87/292.64 c #Conflicts: 212000 | #Constraints: 36063 291.87/292.64 c #Conflicts: 213000 | #Constraints: 37063 291.87/292.64 c #Conflicts: 214000 | #Constraints: 38063 291.87/292.64 c #Conflicts: 215000 | #Constraints: 39063 291.87/292.64 c #Conflicts: 216000 | #Constraints: 40063 291.87/292.64 c #Conflicts: 217000 | #Constraints: 41063 291.87/292.64 c #Conflicts: 218000 | #Constraints: 42063 291.87/292.64 c #Conflicts: 219000 | #Constraints: 43063 291.87/292.64 c #Conflicts: 220000 | #Constraints: 44063 291.87/292.64 c #Conflicts: 221000 | #Constraints: 45063 291.87/292.64 c INPROCESSING 291.87/292.64 c GARBAGE COLLECT 291.87/292.64 c rational objective 149 349.80/350.79 c #Conflicts: 222000 | #Constraints: 24021 349.80/350.79 c #Conflicts: 223000 | #Constraints: 25021 349.80/350.79 c #Conflicts: 224000 | #Constraints: 26021 349.80/350.79 c #Conflicts: 225000 | #Constraints: 27021 349.80/350.79 c #Conflicts: 226000 | #Constraints: 28021 349.80/350.79 c #Conflicts: 227000 | #Constraints: 29021 349.80/350.79 c #Conflicts: 228000 | #Constraints: 30021 349.80/350.79 c #Conflicts: 229000 | #Constraints: 31021 349.80/350.79 c #Conflicts: 230000 | #Constraints: 32021 349.80/350.79 c #Conflicts: 231000 | #Constraints: 33021 349.80/350.79 c #Conflicts: 232000 | #Constraints: 34022 349.80/350.79 c INPROCESSING 349.80/350.79 c GARBAGE COLLECT 349.80/350.79 c rational objective 149 382.01/383.02 c #Conflicts: 233000 | #Constraints: 18575 382.01/383.02 c #Conflicts: 234000 | #Constraints: 19575 382.01/383.02 c #Conflicts: 235000 | #Constraints: 20575 382.01/383.02 c #Conflicts: 236000 | #Constraints: 21577 382.01/383.02 c #Conflicts: 237000 | #Constraints: 22577 382.01/383.02 c #Conflicts: 238000 | #Constraints: 23577 382.01/383.02 c #Conflicts: 239000 | #Constraints: 24577 382.01/383.02 c #Conflicts: 240000 | #Constraints: 25577 382.01/383.02 c bounds 193 >= 150 @ 368.932 382.01/383.02 c #Conflicts: 241000 | #Constraints: 26628 382.01/383.02 c #Conflicts: 242000 | #Constraints: 27629 382.01/383.02 c #Conflicts: 243000 | #Constraints: 28629 382.01/383.02 c INPROCESSING 382.01/383.02 c GARBAGE COLLECT 382.01/383.02 c rational objective 150 407.84/408.90 c #Conflicts: 244000 | #Constraints: 15798 407.84/408.90 c #Conflicts: 245000 | #Constraints: 16798 407.84/408.90 c #Conflicts: 246000 | #Constraints: 17798 407.84/408.90 c #Conflicts: 247000 | #Constraints: 18798 407.84/408.90 c #Conflicts: 248000 | #Constraints: 19798 407.84/408.90 c #Conflicts: 249000 | #Constraints: 20798 407.84/408.90 c #Conflicts: 250000 | #Constraints: 21798 407.84/408.90 c #Conflicts: 251000 | #Constraints: 22798 407.84/408.90 c #Conflicts: 252000 | #Constraints: 23798 407.84/408.90 c #Conflicts: 253000 | #Constraints: 24798 407.84/408.90 c #Conflicts: 254000 | #Constraints: 25798 407.84/408.90 c #Conflicts: 255000 | #Constraints: 26798 407.84/408.90 c INPROCESSING 407.84/408.90 c GARBAGE COLLECT 407.84/408.90 c rational objective 150 569.75/571.38 c #Conflicts: 256000 | #Constraints: 15190 569.75/571.38 c #Conflicts: 257000 | #Constraints: 16190 569.75/571.38 c #Conflicts: 258000 | #Constraints: 17190 569.75/571.38 c #Conflicts: 259000 | #Constraints: 18190 569.75/571.38 c #Conflicts: 260000 | #Constraints: 19190 569.75/571.38 c #Conflicts: 261000 | #Constraints: 20190 569.75/571.38 c #Conflicts: 262000 | #Constraints: 21190 569.75/571.38 c #Conflicts: 263000 | #Constraints: 22190 569.75/571.38 c #Conflicts: 264000 | #Constraints: 23190 569.75/571.38 c #Conflicts: 265000 | #Constraints: 24232 569.75/571.38 c #Conflicts: 266000 | #Constraints: 25232 569.75/571.38 c #Conflicts: 267000 | #Constraints: 26232 569.75/571.38 c #Conflicts: 268000 | #Constraints: 27232 569.75/571.38 c #Conflicts: 269000 | #Constraints: 28232 569.75/571.38 c #Conflicts: 270000 | #Constraints: 29232 569.75/571.38 c #Conflicts: 271000 | #Constraints: 30232 569.75/571.38 c #Conflicts: 272000 | #Constraints: 31232 569.75/571.38 c #Conflicts: 273000 | #Constraints: 32232 569.75/571.38 c #Conflicts: 274000 | #Constraints: 33232 569.75/571.38 c #Conflicts: 275000 | #Constraints: 34232 569.75/571.38 c #Conflicts: 276000 | #Constraints: 35232 569.75/571.38 c #Conflicts: 277000 | #Constraints: 36232 569.75/571.38 c #Conflicts: 278000 | #Constraints: 37232 569.75/571.38 c #Conflicts: 279000 | #Constraints: 38232 569.75/571.38 c #Conflicts: 280000 | #Constraints: 39232 569.75/571.38 c #Conflicts: 281000 | #Constraints: 40232 569.75/571.38 c #Conflicts: 282000 | #Constraints: 41232 569.75/571.38 c #Conflicts: 283000 | #Constraints: 42232 569.75/571.38 c #Conflicts: 284000 | #Constraints: 43232 569.75/571.38 c #Conflicts: 285000 | #Constraints: 44232 569.75/571.38 c bounds 192 >= 150 @ 469.829 569.75/571.38 c #Conflicts: 286000 | #Constraints: 45233 569.75/571.38 c #Conflicts: 287000 | #Constraints: 46233 569.75/571.38 c #Conflicts: 288000 | #Constraints: 47233 569.75/571.38 c #Conflicts: 289000 | #Constraints: 48233 569.75/571.38 c #Conflicts: 290000 | #Constraints: 49233 569.75/571.38 c #Conflicts: 291000 | #Constraints: 50233 569.75/571.38 c #Conflicts: 292000 | #Constraints: 51233 569.75/571.38 c #Conflicts: 293000 | #Constraints: 52233 569.75/571.38 c #Conflicts: 294000 | #Constraints: 53233 569.75/571.38 c INPROCESSING 569.75/571.38 c GARBAGE COLLECT 569.75/571.38 c rational objective 150 601.96/603.67 c #Conflicts: 295000 | #Constraints: 28159 601.96/603.67 c #Conflicts: 296000 | #Constraints: 29159 601.96/603.67 c #Conflicts: 297000 | #Constraints: 30159 601.96/603.67 c #Conflicts: 298000 | #Constraints: 31159 601.96/603.67 c #Conflicts: 299000 | #Constraints: 32159 601.96/603.67 c #Conflicts: 300000 | #Constraints: 33159 601.96/603.67 c #Conflicts: 301000 | #Constraints: 34159 601.96/603.67 c #Conflicts: 302000 | #Constraints: 35159 601.96/603.67 c #Conflicts: 303000 | #Constraints: 36159 601.96/603.67 c #Conflicts: 304000 | #Constraints: 37159 601.96/603.67 c #Conflicts: 305000 | #Constraints: 38159 601.96/603.67 c #Conflicts: 306000 | #Constraints: 39159 601.96/603.67 c #Conflicts: 307000 | #Constraints: 40159 601.96/603.67 c INPROCESSING 601.96/603.67 c GARBAGE COLLECT 601.96/603.67 c rational objective 150 644.14/645.95 c #Conflicts: 308000 | #Constraints: 21685 644.14/645.95 c #Conflicts: 309000 | #Constraints: 22685 644.14/645.95 c #Conflicts: 310000 | #Constraints: 23685 644.14/645.95 c #Conflicts: 311000 | #Constraints: 24686 644.14/645.95 c #Conflicts: 312000 | #Constraints: 25686 644.14/645.95 c #Conflicts: 313000 | #Constraints: 26686 644.14/645.95 c #Conflicts: 314000 | #Constraints: 27686 644.14/645.95 c #Conflicts: 315000 | #Constraints: 28687 644.14/645.95 c #Conflicts: 316000 | #Constraints: 29687 644.14/645.95 c #Conflicts: 317000 | #Constraints: 30687 644.14/645.95 c #Conflicts: 318000 | #Constraints: 31687 644.14/645.95 c #Conflicts: 319000 | #Constraints: 32687 644.14/645.95 c #Conflicts: 320000 | #Constraints: 33687 644.14/645.95 c INPROCESSING 644.14/645.95 c GARBAGE COLLECT 644.14/645.95 c rational objective 150 676.75/678.69 c #Conflicts: 321000 | #Constraints: 18589 676.75/678.69 c #Conflicts: 322000 | #Constraints: 19589 676.75/678.69 c #Conflicts: 323000 | #Constraints: 20589 676.75/678.69 c #Conflicts: 324000 | #Constraints: 21589 676.75/678.69 c #Conflicts: 325000 | #Constraints: 22589 676.75/678.69 c #Conflicts: 326000 | #Constraints: 23589 676.75/678.69 c #Conflicts: 327000 | #Constraints: 24589 676.75/678.69 c #Conflicts: 328000 | #Constraints: 25589 676.75/678.69 c #Conflicts: 329000 | #Constraints: 26589 676.75/678.69 c #Conflicts: 330000 | #Constraints: 27589 676.75/678.69 c #Conflicts: 331000 | #Constraints: 28589 676.75/678.69 c #Conflicts: 332000 | #Constraints: 29589 676.75/678.69 c #Conflicts: 333000 | #Constraints: 30589 676.75/678.69 c INPROCESSING 676.75/678.69 c GARBAGE COLLECT 676.75/678.69 c rational objective 150 898.11/900.53 c #Conflicts: 334000 | #Constraints: 16901 898.11/900.53 c #Conflicts: 335000 | #Constraints: 17901 898.11/900.53 c #Conflicts: 336000 | #Constraints: 18901 898.11/900.53 c #Conflicts: 337000 | #Constraints: 19901 898.11/900.53 c #Conflicts: 338000 | #Constraints: 20901 898.11/900.53 c #Conflicts: 339000 | #Constraints: 21901 898.11/900.53 c #Conflicts: 340000 | #Constraints: 22901 898.11/900.53 c #Conflicts: 341000 | #Constraints: 23901 898.11/900.53 c #Conflicts: 342000 | #Constraints: 24901 898.11/900.53 c #Conflicts: 343000 | #Constraints: 25901 898.11/900.53 c #Conflicts: 344000 | #Constraints: 26901 898.11/900.53 c #Conflicts: 345000 | #Constraints: 27901 898.11/900.53 c #Conflicts: 346000 | #Constraints: 28901 898.11/900.53 c #Conflicts: 347000 | #Constraints: 29901 898.11/900.53 c #Conflicts: 348000 | #Constraints: 30901 898.11/900.53 c #Conflicts: 349000 | #Constraints: 31901 898.11/900.53 c #Conflicts: 350000 | #Constraints: 32901 898.11/900.53 c #Conflicts: 351000 | #Constraints: 33901 898.11/900.53 c #Conflicts: 352000 | #Constraints: 34901 898.11/900.53 c #Conflicts: 353000 | #Constraints: 35901 898.11/900.53 c #Conflicts: 354000 | #Constraints: 36901 898.11/900.53 c #Conflicts: 355000 | #Constraints: 37901 898.11/900.53 c #Conflicts: 356000 | #Constraints: 38901 898.11/900.53 c #Conflicts: 357000 | #Constraints: 39901 898.11/900.53 c #Conflicts: 358000 | #Constraints: 40901 898.11/900.53 c #Conflicts: 359000 | #Constraints: 41901 898.11/900.53 c #Conflicts: 360000 | #Constraints: 42901 898.11/900.53 c #Conflicts: 361000 | #Constraints: 43901 898.11/900.53 c #Conflicts: 362000 | #Constraints: 44901 898.11/900.53 c #Conflicts: 363000 | #Constraints: 45901 898.11/900.53 c #Conflicts: 364000 | #Constraints: 46901 898.11/900.53 c #Conflicts: 365000 | #Constraints: 47901 898.11/900.53 c #Conflicts: 366000 | #Constraints: 48901 898.11/900.53 c #Conflicts: 367000 | #Constraints: 49901 898.11/900.53 c #Conflicts: 368000 | #Constraints: 50901 898.11/900.53 c #Conflicts: 369000 | #Constraints: 51902 898.11/900.53 c #Conflicts: 370000 | #Constraints: 52902 898.11/900.53 c #Conflicts: 371000 | #Constraints: 53902 898.11/900.53 c #Conflicts: 372000 | #Constraints: 54902 898.11/900.53 c #Conflicts: 373000 | #Constraints: 55903 898.11/900.53 c #Conflicts: 374000 | #Constraints: 56904 898.11/900.53 c #Conflicts: 375000 | #Constraints: 57905 898.11/900.53 c #Conflicts: 376000 | #Constraints: 58905 898.11/900.53 c #Conflicts: 377000 | #Constraints: 59905 898.11/900.53 c #Conflicts: 378000 | #Constraints: 60905 898.11/900.53 c INPROCESSING 898.11/900.53 c GARBAGE COLLECT 898.11/900.53 c rational objective 150 936.61/939.17 c #Conflicts: 379000 | #Constraints: 32249 936.61/939.17 c #Conflicts: 380000 | #Constraints: 33249 936.61/939.17 c #Conflicts: 381000 | #Constraints: 34249 936.61/939.17 c #Conflicts: 382000 | #Constraints: 35249 936.61/939.17 c #Conflicts: 383000 | #Constraints: 36249 936.61/939.17 c #Conflicts: 384000 | #Constraints: 37249 936.61/939.17 c #Conflicts: 385000 | #Constraints: 38249 936.61/939.17 c #Conflicts: 386000 | #Constraints: 39249 936.61/939.17 c #Conflicts: 387000 | #Constraints: 40249 936.61/939.17 c #Conflicts: 388000 | #Constraints: 41249 936.61/939.17 c #Conflicts: 389000 | #Constraints: 42256 936.61/939.17 c #Conflicts: 390000 | #Constraints: 43289 936.61/939.17 c #Conflicts: 391000 | #Constraints: 44289 936.61/939.17 c #Conflicts: 392000 | #Constraints: 45313 936.61/939.17 c INPROCESSING 936.61/939.17 c GARBAGE COLLECT 936.61/939.17 c rational objective 150 982.89/985.50 c #Conflicts: 393000 | #Constraints: 24166 982.89/985.50 c #Conflicts: 394000 | #Constraints: 25166 982.89/985.50 c #Conflicts: 395000 | #Constraints: 26166 982.89/985.50 c #Conflicts: 396000 | #Constraints: 27183 982.89/985.50 c #Conflicts: 397000 | #Constraints: 28304 982.89/985.50 c #Conflicts: 398000 | #Constraints: 29352 982.89/985.50 c #Conflicts: 399000 | #Constraints: 30412 982.89/985.50 c #Conflicts: 400000 | #Constraints: 31454 982.89/985.50 c #Conflicts: 401000 | #Constraints: 32454 982.89/985.50 c #Conflicts: 402000 | #Constraints: 33454 982.89/985.50 c #Conflicts: 403000 | #Constraints: 34454 982.89/985.50 c #Conflicts: 404000 | #Constraints: 35454 982.89/985.50 c #Conflicts: 405000 | #Constraints: 36454 982.89/985.50 c #Conflicts: 406000 | #Constraints: 37454 982.89/985.50 c #Conflicts: 407000 | #Constraints: 38454 982.89/985.50 c INPROCESSING 982.89/985.50 c GARBAGE COLLECT 982.89/985.50 c rational objective 150 1256.14/1259.47 c #Conflicts: 408000 | #Constraints: 20944 1256.14/1259.47 c #Conflicts: 409000 | #Constraints: 21944 1256.14/1259.47 c #Conflicts: 410000 | #Constraints: 22944 1256.14/1259.47 c #Conflicts: 411000 | #Constraints: 23944 1256.14/1259.47 c #Conflicts: 412000 | #Constraints: 24944 1256.14/1259.47 c #Conflicts: 413000 | #Constraints: 25945 1256.14/1259.47 c #Conflicts: 414000 | #Constraints: 26946 1256.14/1259.47 c #Conflicts: 415000 | #Constraints: 27946 1256.14/1259.47 c #Conflicts: 416000 | #Constraints: 28946 1256.14/1259.47 c #Conflicts: 417000 | #Constraints: 29946 1256.14/1259.47 c #Conflicts: 418000 | #Constraints: 30946 1256.14/1259.47 c #Conflicts: 419000 | #Constraints: 31946 1256.14/1259.47 c #Conflicts: 420000 | #Constraints: 32946 1256.14/1259.47 c #Conflicts: 421000 | #Constraints: 33946 1256.14/1259.47 c #Conflicts: 422000 | #Constraints: 34946 1256.14/1259.47 c #Conflicts: 423000 | #Constraints: 35946 1256.14/1259.47 c #Conflicts: 424000 | #Constraints: 36946 1256.14/1259.47 c #Conflicts: 425000 | #Constraints: 37946 1256.14/1259.47 c #Conflicts: 426000 | #Constraints: 38946 1256.14/1259.47 c #Conflicts: 427000 | #Constraints: 39946 1256.14/1259.47 c #Conflicts: 428000 | #Constraints: 40946 1256.14/1259.47 c #Conflicts: 429000 | #Constraints: 41946 1256.14/1259.47 c #Conflicts: 430000 | #Constraints: 42946 1256.14/1259.47 c #Conflicts: 431000 | #Constraints: 43946 1256.14/1259.47 c #Conflicts: 432000 | #Constraints: 44946 1256.14/1259.47 c #Conflicts: 433000 | #Constraints: 45946 1256.14/1259.47 c #Conflicts: 434000 | #Constraints: 46946 1256.14/1259.47 c #Conflicts: 435000 | #Constraints: 47947 1256.14/1259.47 c #Conflicts: 436000 | #Constraints: 48947 1256.14/1259.47 c #Conflicts: 437000 | #Constraints: 49947 1256.14/1259.47 c #Conflicts: 438000 | #Constraints: 51010 1256.14/1259.47 c #Conflicts: 439000 | #Constraints: 52010 1256.14/1259.47 c #Conflicts: 440000 | #Constraints: 53010 1256.14/1259.47 c #Conflicts: 441000 | #Constraints: 54010 1256.14/1259.47 c #Conflicts: 442000 | #Constraints: 55010 1256.14/1259.47 c #Conflicts: 443000 | #Constraints: 56010 1256.14/1259.47 c #Conflicts: 444000 | #Constraints: 57010 1256.14/1259.47 c #Conflicts: 445000 | #Constraints: 58010 1256.14/1259.47 c #Conflicts: 446000 | #Constraints: 59010 1256.14/1259.47 c #Conflicts: 447000 | #Constraints: 60012 1256.14/1259.47 c #Conflicts: 448000 | #Constraints: 61047 1256.14/1259.47 c #Conflicts: 449000 | #Constraints: 62047 1256.14/1259.47 c #Conflicts: 450000 | #Constraints: 63067 1256.14/1259.47 c #Conflicts: 451000 | #Constraints: 64067 1256.14/1259.47 c #Conflicts: 452000 | #Constraints: 65067 1256.14/1259.47 c #Conflicts: 453000 | #Constraints: 66067 1256.14/1259.47 c #Conflicts: 454000 | #Constraints: 67067 1256.14/1259.47 c #Conflicts: 455000 | #Constraints: 68067 1256.14/1259.47 c #Conflicts: 456000 | #Constraints: 69067 1256.14/1259.47 c INPROCESSING 1256.14/1259.47 c GARBAGE COLLECT 1256.14/1259.47 c rational objective 150 1384.02/1387.66 c #Conflicts: 457000 | #Constraints: 36268 1384.02/1387.66 c #Conflicts: 458000 | #Constraints: 37268 1384.02/1387.66 c #Conflicts: 459000 | #Constraints: 38268 1384.02/1387.66 c #Conflicts: 460000 | #Constraints: 39268 1384.02/1387.66 c #Conflicts: 461000 | #Constraints: 40268 1384.02/1387.66 c #Conflicts: 462000 | #Constraints: 41268 1384.02/1387.66 c #Conflicts: 463000 | #Constraints: 42268 1384.02/1387.66 c #Conflicts: 464000 | #Constraints: 43268 1384.02/1387.66 c #Conflicts: 465000 | #Constraints: 44268 1384.02/1387.66 c #Conflicts: 466000 | #Constraints: 45268 1384.02/1387.66 c #Conflicts: 467000 | #Constraints: 46268 1384.02/1387.66 c #Conflicts: 468000 | #Constraints: 47268 1384.02/1387.66 c #Conflicts: 469000 | #Constraints: 48268 1384.02/1387.66 c #Conflicts: 470000 | #Constraints: 49268 1384.02/1387.66 c #Conflicts: 471000 | #Constraints: 50268 1384.02/1387.66 c INPROCESSING 1384.02/1387.66 c GARBAGE COLLECT 1384.02/1387.66 c rational objective 150 1460.45/1464.26 c #Conflicts: 472000 | #Constraints: 26484 1460.45/1464.26 c #Conflicts: 473000 | #Constraints: 27484 1460.45/1464.26 c #Conflicts: 474000 | #Constraints: 28484 1460.45/1464.26 c #Conflicts: 475000 | #Constraints: 29484 1460.45/1464.26 c #Conflicts: 476000 | #Constraints: 30484 1460.45/1464.26 c #Conflicts: 477000 | #Constraints: 31484 1460.45/1464.26 c #Conflicts: 478000 | #Constraints: 32484 1460.45/1464.26 c #Conflicts: 479000 | #Constraints: 33484 1460.45/1464.26 c #Conflicts: 480000 | #Constraints: 34484 1460.45/1464.26 c #Conflicts: 481000 | #Constraints: 35484 1460.45/1464.26 c #Conflicts: 482000 | #Constraints: 36484 1460.45/1464.26 c #Conflicts: 483000 | #Constraints: 37484 1460.45/1464.26 c #Conflicts: 484000 | #Constraints: 38484 1460.45/1464.26 c #Conflicts: 485000 | #Constraints: 39484 1460.45/1464.26 c #Conflicts: 486000 | #Constraints: 40484 1460.45/1464.26 c #Conflicts: 487000 | #Constraints: 41484 1460.45/1464.26 c #Conflicts: 488000 | #Constraints: 42484 1460.45/1464.26 c INPROCESSING 1460.45/1464.26 c GARBAGE COLLECT 1460.45/1464.26 c rational objective 150 1855.49/1860.24 c #Conflicts: 489000 | #Constraints: 23284 1855.49/1860.24 c #Conflicts: 490000 | #Constraints: 24284 1855.49/1860.24 c #Conflicts: 491000 | #Constraints: 25284 1855.49/1860.24 c #Conflicts: 492000 | #Constraints: 26284 1855.49/1860.24 c #Conflicts: 493000 | #Constraints: 27284 1855.49/1860.24 c #Conflicts: 494000 | #Constraints: 28284 1855.49/1860.24 c #Conflicts: 495000 | #Constraints: 29284 1855.49/1860.24 c #Conflicts: 496000 | #Constraints: 30284 1855.49/1860.24 c #Conflicts: 497000 | #Constraints: 31284 1855.49/1860.24 c #Conflicts: 498000 | #Constraints: 32284 1855.49/1860.24 c #Conflicts: 499000 | #Constraints: 33284 1855.49/1860.24 c #Conflicts: 500000 | #Constraints: 34284 1855.49/1860.24 c #Conflicts: 501000 | #Constraints: 35284 1855.49/1860.24 c #Conflicts: 502000 | #Constraints: 36284 1855.49/1860.24 c #Conflicts: 503000 | #Constraints: 37284 1855.49/1860.24 c #Conflicts: 504000 | #Constraints: 38284 1855.49/1860.24 c #Conflicts: 505000 | #Constraints: 39284 1855.49/1860.24 c #Conflicts: 506000 | #Constraints: 40284 1855.49/1860.24 c #Conflicts: 507000 | #Constraints: 41284 1855.49/1860.24 c #Conflicts: 508000 | #Constraints: 42284 1855.49/1860.24 c #Conflicts: 509000 | #Constraints: 43284 1855.49/1860.24 c #Conflicts: 510000 | #Constraints: 44284 1855.49/1860.24 c #Conflicts: 511000 | #Constraints: 45284 1855.49/1860.24 c #Conflicts: 512000 | #Constraints: 46284 1855.49/1860.24 c #Conflicts: 513000 | #Constraints: 47284 1855.49/1860.24 c #Conflicts: 514000 | #Constraints: 48284 1855.49/1860.24 c #Conflicts: 515000 | #Constraints: 49284 1855.49/1860.24 c #Conflicts: 516000 | #Constraints: 50284 1855.49/1860.24 c #Conflicts: 517000 | #Constraints: 51284 1855.49/1860.24 c #Conflicts: 518000 | #Constraints: 52284 1855.49/1860.24 c #Conflicts: 519000 | #Constraints: 53284 1855.49/1860.24 c #Conflicts: 520000 | #Constraints: 54285 1855.49/1860.24 c #Conflicts: 521000 | #Constraints: 55286 1855.49/1860.24 c #Conflicts: 522000 | #Constraints: 56286 1855.49/1860.24 c #Conflicts: 523000 | #Constraints: 57286 1855.49/1860.24 c #Conflicts: 524000 | #Constraints: 58287 1855.49/1860.24 c #Conflicts: 525000 | #Constraints: 59287 1855.49/1860.24 c #Conflicts: 526000 | #Constraints: 60287 1855.49/1860.24 c #Conflicts: 527000 | #Constraints: 61287 1855.49/1860.24 c #Conflicts: 528000 | #Constraints: 62287 1855.49/1860.24 c #Conflicts: 529000 | #Constraints: 63287 1855.49/1860.24 c #Conflicts: 530000 | #Constraints: 64287 1855.49/1860.24 c #Conflicts: 531000 | #Constraints: 65287 1855.49/1860.24 c #Conflicts: 532000 | #Constraints: 66287 1855.49/1860.24 c #Conflicts: 533000 | #Constraints: 67287 1855.49/1860.24 c #Conflicts: 534000 | #Constraints: 68287 1855.49/1860.24 c #Conflicts: 535000 | #Constraints: 69287 1855.49/1860.24 c #Conflicts: 536000 | #Constraints: 70287 1855.49/1860.24 c #Conflicts: 537000 | #Constraints: 71287 1855.49/1860.24 c #Conflicts: 538000 | #Constraints: 72287 1855.49/1860.24 c #Conflicts: 539000 | #Constraints: 73287 1855.49/1860.24 c #Conflicts: 540000 | #Constraints: 74287 1855.49/1860.24 c #Conflicts: 541000 | #Constraints: 75287 1855.49/1860.24 c INPROCESSING 1855.49/1860.24 c GARBAGE COLLECT 1855.49/1860.24 c rational objective 150 1914.04/1918.97 c #Conflicts: 542000 | #Constraints: 39337 1914.04/1918.97 c #Conflicts: 543000 | #Constraints: 40337 1914.04/1918.97 c #Conflicts: 544000 | #Constraints: 41337 1914.04/1918.97 c #Conflicts: 545000 | #Constraints: 42337 1914.04/1918.97 c #Conflicts: 546000 | #Constraints: 43339 1914.04/1918.97 c #Conflicts: 547000 | #Constraints: 44385 1914.04/1918.97 c #Conflicts: 548000 | #Constraints: 45458 1914.04/1918.97 c #Conflicts: 549000 | #Constraints: 46487 1914.04/1918.97 c #Conflicts: 550000 | #Constraints: 47499 1914.04/1918.97 c #Conflicts: 551000 | #Constraints: 48499 1914.04/1918.97 c #Conflicts: 552000 | #Constraints: 49499 1914.04/1918.97 c #Conflicts: 553000 | #Constraints: 50499 1914.04/1918.97 c #Conflicts: 554000 | #Constraints: 51499 1914.04/1918.97 c #Conflicts: 555000 | #Constraints: 52499 1914.04/1918.97 c #Conflicts: 556000 | #Constraints: 53499 1914.04/1918.97 c #Conflicts: 557000 | #Constraints: 54499 1914.04/1918.97 c #Conflicts: 558000 | #Constraints: 55528 1914.04/1918.97 c INPROCESSING 1914.04/1918.97 c GARBAGE COLLECT 1914.04/1918.97 c rational objective 150 1969.40/1974.45 c #Conflicts: 559000 | #Constraints: 29178 1969.40/1974.45 c #Conflicts: 560000 | #Constraints: 30178 1969.40/1974.45 c #Conflicts: 561000 | #Constraints: 31178 1969.40/1974.45 c #Conflicts: 562000 | #Constraints: 32178 1969.40/1974.45 c #Conflicts: 563000 | #Constraints: 33178 1969.40/1974.45 c #Conflicts: 564000 | #Constraints: 34179 1969.40/1974.45 c #Conflicts: 565000 | #Constraints: 35179 1969.40/1974.45 c #Conflicts: 566000 | #Constraints: 36179 1969.40/1974.45 c #Conflicts: 567000 | #Constraints: 37179 1969.40/1974.45 c #Conflicts: 568000 | #Constraints: 38179 1969.40/1974.45 c #Conflicts: 569000 | #Constraints: 39179 1969.40/1974.45 c #Conflicts: 570000 | #Constraints: 40179 1969.40/1974.45 c #Conflicts: 571000 | #Constraints: 41179 1969.40/1974.45 c #Conflicts: 572000 | #Constraints: 42179 1969.40/1974.45 c #Conflicts: 573000 | #Constraints: 43179 1969.40/1974.45 c #Conflicts: 574000 | #Constraints: 44180 1969.40/1974.45 c #Conflicts: 575000 | #Constraints: 45180 1969.40/1974.45 c #Conflicts: 576000 | #Constraints: 46180 1969.40/1974.45 c INPROCESSING 1969.40/1974.45 c GARBAGE COLLECT 1969.40/1974.45 c rational objective 150 2489.42/2495.98 c #Conflicts: 577000 | #Constraints: 27220 2489.42/2495.98 c #Conflicts: 578000 | #Constraints: 28220 2489.42/2495.98 c #Conflicts: 579000 | #Constraints: 29220 2489.42/2495.98 c #Conflicts: 580000 | #Constraints: 30220 2489.42/2495.98 c #Conflicts: 581000 | #Constraints: 31220 2489.42/2495.98 c #Conflicts: 582000 | #Constraints: 32220 2489.42/2495.98 c #Conflicts: 583000 | #Constraints: 33220 2489.42/2495.98 c #Conflicts: 584000 | #Constraints: 34220 2489.42/2495.98 c #Conflicts: 585000 | #Constraints: 35221 2489.42/2495.98 c #Conflicts: 586000 | #Constraints: 36221 2489.42/2495.98 c #Conflicts: 587000 | #Constraints: 37222 2489.42/2495.98 c #Conflicts: 588000 | #Constraints: 38222 2489.42/2495.98 c #Conflicts: 589000 | #Constraints: 39222 2489.42/2495.98 c #Conflicts: 590000 | #Constraints: 40222 2489.42/2495.98 c #Conflicts: 591000 | #Constraints: 41222 2489.42/2495.98 c #Conflicts: 592000 | #Constraints: 42222 2489.42/2495.98 c #Conflicts: 593000 | #Constraints: 43222 2489.42/2495.98 c #Conflicts: 594000 | #Constraints: 44222 2489.42/2495.98 c #Conflicts: 595000 | #Constraints: 45222 2489.42/2495.98 c #Conflicts: 596000 | #Constraints: 46222 2489.42/2495.98 c #Conflicts: 597000 | #Constraints: 47222 2489.42/2495.98 c #Conflicts: 598000 | #Constraints: 48222 2489.42/2495.98 c #Conflicts: 599000 | #Constraints: 49222 2489.42/2495.98 c #Conflicts: 600000 | #Constraints: 50222 2489.42/2495.98 c #Conflicts: 601000 | #Constraints: 51222 2489.42/2495.98 c #Conflicts: 602000 | #Constraints: 52223 2489.42/2495.98 c #Conflicts: 603000 | #Constraints: 53223 2489.42/2495.98 c #Conflicts: 604000 | #Constraints: 54223 2489.42/2495.98 c #Conflicts: 605000 | #Constraints: 55223 2489.42/2495.98 c #Conflicts: 606000 | #Constraints: 56223 2489.42/2495.98 c #Conflicts: 607000 | #Constraints: 57223 2489.42/2495.98 c #Conflicts: 608000 | #Constraints: 58223 2489.42/2495.98 c #Conflicts: 609000 | #Constraints: 59223 2489.42/2495.98 c #Conflicts: 610000 | #Constraints: 60223 2489.42/2495.98 c #Conflicts: 611000 | #Constraints: 61223 2489.42/2495.98 c #Conflicts: 612000 | #Constraints: 62223 2489.42/2495.98 c #Conflicts: 613000 | #Constraints: 63223 2489.42/2495.98 c #Conflicts: 614000 | #Constraints: 64223 2489.42/2495.98 c #Conflicts: 615000 | #Constraints: 65223 2489.42/2495.98 c #Conflicts: 616000 | #Constraints: 66223 2489.42/2495.98 c #Conflicts: 617000 | #Constraints: 67223 2489.42/2495.98 c #Conflicts: 618000 | #Constraints: 68223 2489.42/2495.98 c #Conflicts: 619000 | #Constraints: 69223 2489.42/2495.98 c #Conflicts: 620000 | #Constraints: 70223 2489.42/2495.98 c #Conflicts: 621000 | #Constraints: 71223 2489.42/2495.98 c #Conflicts: 622000 | #Constraints: 72223 2489.42/2495.98 c #Conflicts: 623000 | #Constraints: 73224 2489.42/2495.98 c #Conflicts: 624000 | #Constraints: 74225 2489.42/2495.98 c #Conflicts: 625000 | #Constraints: 75225 2489.42/2495.98 c #Conflicts: 626000 | #Constraints: 76225 2489.42/2495.98 c #Conflicts: 627000 | #Constraints: 77225 2489.42/2495.98 c #Conflicts: 628000 | #Constraints: 78225 2489.42/2495.98 c #Conflicts: 629000 | #Constraints: 79225 2489.42/2495.98 c #Conflicts: 630000 | #Constraints: 80225 2489.42/2495.98 c #Conflicts: 631000 | #Constraints: 81226 2489.42/2495.98 c #Conflicts: 632000 | #Constraints: 82226 2489.42/2495.98 c #Conflicts: 633000 | #Constraints: 83226 2489.42/2495.98 c INPROCESSING 2489.42/2495.98 c GARBAGE COLLECT 2489.42/2495.98 c rational objective 150 2564.60/2571.35 c #Conflicts: 634000 | #Constraints: 43120 2564.60/2571.35 c #Conflicts: 635000 | #Constraints: 44120 2564.60/2571.35 c #Conflicts: 636000 | #Constraints: 45120 2564.60/2571.35 c #Conflicts: 637000 | #Constraints: 46120 2564.60/2571.35 c #Conflicts: 638000 | #Constraints: 47120 2564.60/2571.35 c #Conflicts: 639000 | #Constraints: 48120 2564.60/2571.35 c #Conflicts: 640000 | #Constraints: 49120 2564.60/2571.35 c #Conflicts: 641000 | #Constraints: 50127 2564.60/2571.35 c #Conflicts: 642000 | #Constraints: 51127 2564.60/2571.35 c #Conflicts: 643000 | #Constraints: 52127 2564.60/2571.35 c #Conflicts: 644000 | #Constraints: 53127 2564.60/2571.35 c #Conflicts: 645000 | #Constraints: 54127 2564.60/2571.35 c #Conflicts: 646000 | #Constraints: 55127 2564.60/2571.35 c #Conflicts: 647000 | #Constraints: 56127 2564.60/2571.35 c #Conflicts: 648000 | #Constraints: 57127 2564.60/2571.35 c #Conflicts: 649000 | #Constraints: 58127 2564.60/2571.35 c #Conflicts: 650000 | #Constraints: 59127 2564.60/2571.35 c #Conflicts: 651000 | #Constraints: 60127 2564.60/2571.35 c #Conflicts: 652000 | #Constraints: 61127 2564.60/2571.35 c INPROCESSING 2564.60/2571.35 c GARBAGE COLLECT 2564.60/2571.35 c rational objective 150 2926.87/2934.68 c #Conflicts: 653000 | #Constraints: 32030 2926.87/2934.68 c #Conflicts: 654000 | #Constraints: 33030 2926.87/2934.68 c #Conflicts: 655000 | #Constraints: 34030 2926.87/2934.68 c #Conflicts: 656000 | #Constraints: 35030 2926.87/2934.68 c #Conflicts: 657000 | #Constraints: 36031 2926.87/2934.68 c #Conflicts: 658000 | #Constraints: 37031 2926.87/2934.68 c #Conflicts: 659000 | #Constraints: 38031 2926.87/2934.68 c #Conflicts: 660000 | #Constraints: 39031 2926.87/2934.68 c #Conflicts: 661000 | #Constraints: 40031 2926.87/2934.68 c #Conflicts: 662000 | #Constraints: 41031 2926.87/2934.68 c #Conflicts: 663000 | #Constraints: 42031 2926.87/2934.68 c #Conflicts: 664000 | #Constraints: 43031 2926.87/2934.68 c #Conflicts: 665000 | #Constraints: 44031 2926.87/2934.68 c #Conflicts: 666000 | #Constraints: 45031 2926.87/2934.68 c #Conflicts: 667000 | #Constraints: 46031 2926.87/2934.68 c #Conflicts: 668000 | #Constraints: 47031 2926.87/2934.68 c #Conflicts: 669000 | #Constraints: 48031 2926.87/2934.68 c #Conflicts: 670000 | #Constraints: 49031 2926.87/2934.68 c #Conflicts: 671000 | #Constraints: 50031 2926.87/2934.68 c #Conflicts: 672000 | #Constraints: 51031 2926.87/2934.68 c #Conflicts: 673000 | #Constraints: 52031 2926.87/2934.68 c #Conflicts: 674000 | #Constraints: 53193 2926.87/2934.68 c #Conflicts: 675000 | #Constraints: 54358 2926.87/2934.68 c #Conflicts: 676000 | #Constraints: 55401 2926.87/2934.68 c #Conflicts: 677000 | #Constraints: 56401 2926.87/2934.68 c #Conflicts: 678000 | #Constraints: 57407 2926.87/2934.68 c #Conflicts: 679000 | #Constraints: 58438 2926.87/2934.68 c #Conflicts: 680000 | #Constraints: 59462 2926.87/2934.68 c #Conflicts: 681000 | #Constraints: 60462 2926.87/2934.68 c #Conflicts: 682000 | #Constraints: 61462 2926.87/2934.68 c #Conflicts: 683000 | #Constraints: 62462 2926.87/2934.68 c #Conflicts: 684000 | #Constraints: 63462 2926.87/2934.68 c #Conflicts: 685000 | #Constraints: 64462 2926.87/2934.68 c #Conflicts: 686000 | #Constraints: 65462 2926.87/2934.68 c #Conflicts: 687000 | #Constraints: 66462 2926.87/2934.68 c #Conflicts: 688000 | #Constraints: 67462 2926.87/2934.68 c #Conflicts: 689000 | #Constraints: 68462 2926.87/2934.68 c #Conflicts: 690000 | #Constraints: 69462 2926.87/2934.68 c #Conflicts: 691000 | #Constraints: 70462 2926.87/2934.68 c #Conflicts: 692000 | #Constraints: 71462 2926.87/2934.68 c #Conflicts: 693000 | #Constraints: 72463 2926.87/2934.68 c #Conflicts: 694000 | #Constraints: 73480 2926.87/2934.68 c #Conflicts: 695000 | #Constraints: 74480 2926.87/2934.68 c #Conflicts: 696000 | #Constraints: 75480 2926.87/2934.68 c #Conflicts: 697000 | #Constraints: 76480 2926.87/2934.68 c #Conflicts: 698000 | #Constraints: 77480 2926.87/2934.68 c #Conflicts: 699000 | #Constraints: 78480 2926.87/2934.68 c #Conflicts: 700000 | #Constraints: 79481 2926.87/2934.68 c #Conflicts: 701000 | #Constraints: 80500 2926.87/2934.68 c #Conflicts: 702000 | #Constraints: 81575 2926.87/2934.68 c #Conflicts: 703000 | #Constraints: 82601 2926.87/2934.68 c #Conflicts: 704000 | #Constraints: 83601 2926.87/2934.68 c #Conflicts: 705000 | #Constraints: 84601 2926.87/2934.68 c #Conflicts: 706000 | #Constraints: 85601 2926.87/2934.68 c #Conflicts: 707000 | #Constraints: 86601 2926.87/2934.68 c #Conflicts: 708000 | #Constraints: 87601 2926.87/2934.68 c #Conflicts: 709000 | #Constraints: 88601 2926.87/2934.68 c #Conflicts: 710000 | #Constraints: 89601 2926.87/2934.68 c #Conflicts: 711000 | #Constraints: 90601 2926.87/2934.68 c #Conflicts: 712000 | #Constraints: 91601 2926.87/2934.68 c #Conflicts: 713000 | #Constraints: 92601 2926.87/2934.68 c INPROCESSING 2926.87/2934.68 c GARBAGE COLLECT 2926.87/2934.68 c rational objective 150 3231.64/3240.25 c #Conflicts: 714000 | #Constraints: 48022 3231.64/3240.25 c #Conflicts: 715000 | #Constraints: 49022 3231.64/3240.25 c #Conflicts: 716000 | #Constraints: 50022 3231.64/3240.25 c #Conflicts: 717000 | #Constraints: 51022 3231.64/3240.25 c #Conflicts: 718000 | #Constraints: 52022 3231.64/3240.25 c #Conflicts: 719000 | #Constraints: 53022 3231.64/3240.25 c #Conflicts: 720000 | #Constraints: 54022 3231.64/3240.25 c #Conflicts: 721000 | #Constraints: 55022 3231.64/3240.25 c #Conflicts: 722000 | #Constraints: 56022 3231.64/3240.25 c #Conflicts: 723000 | #Constraints: 57022 3231.64/3240.25 c #Conflicts: 724000 | #Constraints: 58022 3231.64/3240.25 c #Conflicts: 725000 | #Constraints: 59022 3231.64/3240.25 c #Conflicts: 726000 | #Constraints: 60022 3231.64/3240.25 c #Conflicts: 727000 | #Constraints: 61022 3231.64/3240.25 c #Conflicts: 728000 | #Constraints: 62022 3231.64/3240.25 c #Conflicts: 729000 | #Constraints: 63022 3231.64/3240.25 c #Conflicts: 730000 | #Constraints: 64022 3231.64/3240.25 c #Conflicts: 731000 | #Constraints: 65022 3231.64/3240.25 c #Conflicts: 732000 | #Constraints: 66022 3231.64/3240.25 c #Conflicts: 733000 | #Constraints: 67022 3231.64/3240.25 c INPROCESSING 3231.64/3240.25 c GARBAGE COLLECT 3231.64/3240.25 c rational objective 150 3326.59/3335.40 c #Conflicts: 734000 | #Constraints: 35216 3326.59/3335.40 c #Conflicts: 735000 | #Constraints: 36216 3326.59/3335.40 c #Conflicts: 736000 | #Constraints: 37217 3326.59/3335.40 c #Conflicts: 737000 | #Constraints: 38243 3326.59/3335.40 c #Conflicts: 738000 | #Constraints: 39339 3326.59/3335.40 c #Conflicts: 739000 | #Constraints: 40427 3326.59/3335.40 c #Conflicts: 740000 | #Constraints: 41447 3326.59/3335.40 c #Conflicts: 741000 | #Constraints: 42492 3326.59/3335.40 c #Conflicts: 742000 | #Constraints: 43605 3326.59/3335.40 c #Conflicts: 743000 | #Constraints: 44659 3326.59/3335.40 c #Conflicts: 744000 | #Constraints: 45659 3326.59/3335.40 c #Conflicts: 745000 | #Constraints: 46659 3326.59/3335.40 c #Conflicts: 746000 | #Constraints: 47659 3326.59/3335.40 c #Conflicts: 747000 | #Constraints: 48659 3326.59/3335.40 c #Conflicts: 748000 | #Constraints: 49659 3326.59/3335.40 c #Conflicts: 749000 | #Constraints: 50659 3326.59/3335.40 c #Conflicts: 750000 | #Constraints: 51659 3326.59/3335.40 c #Conflicts: 751000 | #Constraints: 52661 3326.59/3335.40 c #Conflicts: 752000 | #Constraints: 53661 3326.59/3335.40 c #Conflicts: 753000 | #Constraints: 54661 3326.59/3335.40 c INPROCESSING 3326.59/3335.40 c GARBAGE COLLECT 3326.59/3335.40 c rational objective 150 3600.06/3609.60 c #Conflicts: 754000 | #Constraints: 32727 3600.06/3609.60 c #Conflicts: 755000 | #Constraints: 33727 3600.06/3609.60 c #Conflicts: 756000 | #Constraints: 34727 3600.06/3609.60 c #Conflicts: 757000 | #Constraints: 35727 3600.06/3609.60 c #Conflicts: 758000 | #Constraints: 36727 3600.06/3609.60 c #Conflicts: 759000 | #Constraints: 37727 3600.06/3609.60 c #Conflicts: 760000 | #Constraints: 38727 3600.06/3609.60 c #Conflicts: 761000 | #Constraints: 39727 3600.06/3609.60 c #Conflicts: 762000 | #Constraints: 40727 3600.06/3609.60 c bounds 191 >= 150 @ 3344.15 3600.06/3609.60 c #Conflicts: 763000 | #Constraints: 41728 3600.06/3609.60 c #Conflicts: 764000 | #Constraints: 42728 3600.06/3609.60 c #Conflicts: 765000 | #Constraints: 43728 3600.06/3609.60 c #Conflicts: 766000 | #Constraints: 44728 3600.06/3609.60 c #Conflicts: 767000 | #Constraints: 45728 3600.06/3609.60 c #Conflicts: 768000 | #Constraints: 46728 3600.06/3609.60 c #Conflicts: 769000 | #Constraints: 47728 3600.06/3609.60 c #Conflicts: 770000 | #Constraints: 48728 3600.06/3609.60 c #Conflicts: 771000 | #Constraints: 49728 3600.06/3609.60 c #Conflicts: 772000 | #Constraints: 50728 3600.06/3609.60 c #Conflicts: 773000 | #Constraints: 51728 3600.06/3609.60 c #Conflicts: 774000 | #Constraints: 52728 3600.06/3609.60 c #Conflicts: 775000 | #Constraints: 53728 3600.06/3609.60 c #Conflicts: 776000 | #Constraints: 54728 3600.06/3609.60 c #Conflicts: 777000 | #Constraints: 55728 3600.06/3609.60 c #Conflicts: 778000 | #Constraints: 56728 3600.06/3609.60 c #Conflicts: 779000 | #Constraints: 57728 3600.06/3609.60 c #Conflicts: 780000 | #Constraints: 58728 3600.06/3609.60 c #Conflicts: 781000 | #Constraints: 59728 3600.06/3609.60 c #Conflicts: 782000 | #Constraints: 60728 3600.06/3609.60 c Program interrupted by user. 3600.06/3609.60 c cpu time 3585.36 s 3600.06/3609.60 c deterministic time 326405626290 3.26e+11 3600.06/3609.60 c optimization time 241.22 s 3600.06/3609.60 c total solve time 3344.14 s 3600.06/3609.60 c core-guided solve time 2028.36 s 3600.06/3609.60 c propagation time 3103.09 s 3600.06/3609.60 c conflict analysis time 446.785 s 3600.06/3609.60 c propagations 108175167 3600.06/3609.60 c resolve steps 7095807 3600.06/3609.60 c decisions 5551519 3600.06/3609.60 c conflicts 782685 3600.06/3609.60 c restarts 1660 3600.06/3609.60 c inprocessing phases 48 3600.06/3609.60 c input clauses 294 3600.06/3609.60 c input cardinalities 333 3600.06/3609.60 c input general constraints 879 3600.06/3609.60 c input average constraint length 64.00 3600.06/3609.60 c input average constraint degree 24.27 3600.06/3609.60 c learned clauses 280425 3600.06/3609.60 c learned cardinalities 5867 3600.06/3609.60 c learned general constraints 498570 3600.06/3609.60 c learned average constraint length 195.53 3600.06/3609.60 c learned average constraint degree 31271696.78 3600.06/3609.60 c watched constraints 323396 3600.06/3609.60 c counting constraints 176053 3600.06/3609.60 c gcd simplifications 99476 3600.06/3609.60 c detected cardinalities 2562 3600.06/3609.60 c weakened non-implied lits 33660031 3600.06/3609.60 c weakened non-implying lits 62842 3600.06/3609.60 c original variables 470 3600.06/3609.60 c clausal propagations 12733374 3600.06/3609.60 c cardinality propagations 6422323 3600.06/3609.60 c watched propagations 14011697 3600.06/3609.60 c counting propagations 73244813 3600.06/3609.60 c watch lookups 63514437089 3600.06/3609.60 c watch backjump lookups 58015266220 3600.06/3609.60 c watch checks 185673230366 3600.06/3609.60 c propagation checks 18376859688 3600.06/3609.60 c constraint additions 596780911 3600.06/3609.60 c trail pops 114509082 3600.06/3609.60 c formula constraints 470 3600.06/3609.60 c learned constraints 782697 3600.06/3609.60 c bound constraints 184 3600.06/3609.60 c core-guided constraints 852 3600.06/3609.60 c encountered formula constraints 1226629 3600.06/3609.60 c encountered learned constraints 5738881 3600.06/3609.60 c encountered bound constraints 70 3600.06/3609.60 c encountered core-guided constraints 912668 3600.06/3609.60 c LP total time 61.7329 s 3600.06/3609.60 c LP solve time 54.9 s 3600.06/3609.60 c LP constraints added 526 3600.06/3609.60 c LP constraints removed 53 3600.06/3609.60 c LP pivots internal 783860 3600.06/3609.60 c LP pivots root 32387 3600.06/3609.60 c LP calls 7999 3600.06/3609.60 c LP optimalities 5680 3600.06/3609.60 c LP no pivot count 209 3600.06/3609.60 c LP infeasibilities 2197 3600.06/3609.60 c LP valid Farkas constraints 2107 3600.06/3609.60 c LP learned Farkas constraints 2 3600.06/3609.60 c LP basis resets 118 3600.06/3609.60 c LP cycling count 118 3600.06/3609.60 c LP singular count 0 3600.06/3609.60 c LP no primal count 0 3600.06/3609.60 c LP no farkas count 0 3600.06/3609.60 c LP other issue count 0 3600.06/3609.60 c LP Gomory cuts 56 3600.06/3609.60 c LP learned cuts 0 3600.06/3609.60 c LP deleted cuts 53 3600.06/3609.60 c LP encountered Gomory constraints 0 3600.06/3609.60 c LP encountered Farkas constraints 237 3600.06/3609.60 c LP encountered learned Farkas constraints 5 3600.06/3609.60 c CG auxiliary variables introduced 334 3600.06/3609.60 c CG solutions found 34 3600.06/3609.60 c CG cores constructed 150 3600.06/3609.60 c CG core cardinality constraints returned 0 3600.06/3609.60 c CG unit cores 0 3600.06/3609.60 c CG single cores 150 3600.06/3609.60 c CG blocks removed during cardinality reduction 0 3600.06/3609.60 c CG first core best 0 3600.06/3609.60 c CG decision core best 0 3600.06/3609.60 c CG core reduction tie 0 3600.06/3609.60 c CG core degree average 1.00 3600.06/3609.60 c CG core slack average 3.77 3600.06/3609.60 s SATISFIABLE 3600.06/3609.60 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
OK 191
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62495 MiB free)
memory of node 1: 64473 MiB (62016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455127-1721458552/watcher-4455127-1721458552 -o /tmp/evaluation-result-4455127-1721458552/solver-4455127-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053048 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455127-1721458552.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1053101, runsolver pid=1053091
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 3.91 4.10 4.07 6/256 1053111
/proc/meminfo: memFree=127491384/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=38700 memory=8568 CPUtime=0.09 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 655 0 0 0 9 0 0 0 20 0 1 0 198020183 39628800 2142 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 9675 2142 1729 922 0 1627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38700 KiB
Current children cumulated memory: 8568 KiB
[startup+0.205885 s]*
/proc/loadavg: 3.91 4.10 4.07 6/256 1053111
/proc/meminfo: memFree=127478764/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=40140 memory=11200 CPUtime=0.2 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 1270 0 0 0 18 2 0 0 20 0 1 0 198020183 41103360 2800 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 10035 2800 1761 922 0 1987 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40140 KiB
Current children cumulated memory: 11200 KiB
[startup+0.304867 s]*
/proc/loadavg: 3.91 4.10 4.07 5/256 1053111
/proc/meminfo: memFree=127468324/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=40800 memory=14356 CPUtime=0.3 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 1495 0 0 0 27 3 0 0 20 0 1 0 198020183 41779200 3589 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 10200 3589 1777 922 0 2152 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40800 KiB
Current children cumulated memory: 14356 KiB
[startup+0.700163 s]
/proc/loadavg: 3.91 4.10 4.07 5/256 1053111
/proc/meminfo: memFree=127458684/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=45044 memory=18568 CPUtime=0.69 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 2555 0 0 0 64 5 0 0 20 0 1 0 198020183 46125056 4642 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 11261 4642 1793 922 0 3213 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45044 KiB
Current children cumulated memory: 18568 KiB
[startup+1.50016 s]
/proc/loadavg: 3.91 4.10 4.07 6/256 1053113
/proc/meminfo: memFree=127448724/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=47216 memory=21464 CPUtime=1.49 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 3202 0 0 0 141 8 0 0 20 0 1 0 198020183 48349184 5366 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 11804 5366 1856 922 0 3756 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47216 KiB
Current children cumulated memory: 21464 KiB
[startup+3.10629 s]
/proc/loadavg: 3.91 4.10 4.07 6/256 1053113
/proc/meminfo: memFree=127427028/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=52232 memory=25320 CPUtime=3.09 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 4159 0 0 0 293 16 0 0 20 0 1 0 198020183 53485568 6330 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 13058 6330 1856 922 0 5010 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52232 KiB
Current children cumulated memory: 25320 KiB
[startup+6.30017 s]
/proc/loadavg: 3.92 4.10 4.07 6/256 1053113
/proc/meminfo: memFree=127403940/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=60156 memory=32428 CPUtime=6.28 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 5469 0 0 0 600 28 0 0 20 0 1 0 198020183 61599744 8107 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 15039 8107 1856 922 0 6991 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 60156 KiB
Current children cumulated memory: 32428 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.12 4.08 6/256 1053115
/proc/meminfo: memFree=127353048/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=82212 memory=53460 CPUtime=12.66 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 9376 0 0 0 1224 42 0 0 20 0 1 0 198020183 84185088 13365 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 20553 13365 1939 922 0 12505 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82212 KiB
Current children cumulated memory: 53460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.11 4.08 6/256 1053116
/proc/meminfo: memFree=127290644/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=82904 memory=54224 CPUtime=25.43 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 9586 0 0 0 2470 73 0 0 20 0 1 0 198020183 84893696 13556 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 20726 13556 1939 922 0 12678 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 82904 KiB
Current children cumulated memory: 54224 KiB
[startup+51.1063 s]
/proc/loadavg: 4.00 4.10 4.08 6/256 1053121
/proc/meminfo: memFree=127208164/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=141956 memory=100916 CPUtime=50.97 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 16731 0 0 0 4965 132 0 0 20 0 1 0 198020183 145362944 25229 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 35489 25229 1939 922 0 27441 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 141956 KiB
Current children cumulated memory: 100916 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.08 6/256 1053129
/proc/meminfo: memFree=127119568/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=143148 memory=107996 CPUtime=102.05 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 17032 0 0 0 10005 200 0 0 20 0 1 0 198020183 146583552 26999 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 35787 26999 1939 922 0 27739 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 143148 KiB
Current children cumulated memory: 107996 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/259 1053310
/proc/meminfo: memFree=127009112/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=148640 memory=111792 CPUtime=161.91 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 18115 0 0 0 15963 228 0 0 20 0 1 0 198020183 152207360 27948 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 37160 27948 1939 922 0 29112 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 148640 KiB
Current children cumulated memory: 111792 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.08 6/259 1053321
/proc/meminfo: memFree=126986676/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=151064 memory=114232 CPUtime=221.76 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 18730 0 0 0 21868 308 0 0 20 0 1 0 198020183 154689536 28558 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 37766 28558 1939 922 0 29718 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 151064 KiB
Current children cumulated memory: 114232 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.09 6/260 1053335
/proc/meminfo: memFree=126875740/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=204204 memory=156908 CPUtime=281.59 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 23337 0 0 0 27803 356 0 0 20 0 1 0 198020183 209104896 39227 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 51051 39227 1939 922 0 43003 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 204204 KiB
Current children cumulated memory: 156908 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/259 1053356
/proc/meminfo: memFree=126807132/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=206948 memory=163768 CPUtime=341.42 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 24103 0 0 0 33761 381 0 0 20 0 1 0 198020183 211914752 40942 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 51737 40942 1939 922 0 43689 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 206948 KiB
Current children cumulated memory: 163768 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/259 1053367
/proc/meminfo: memFree=126761700/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=208820 memory=165436 CPUtime=401.26 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 24559 0 0 0 39705 421 0 0 20 0 1 0 198020183 213831680 41359 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 52205 41359 1939 922 0 44157 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 208820 KiB
Current children cumulated memory: 165436 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/257 1053378
/proc/meminfo: memFree=126750680/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=221536 memory=173444 CPUtime=461.09 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 26597 0 0 0 45637 472 0 0 20 0 1 0 198020183 226852864 43361 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 55384 43361 1939 922 0 47336 0
################
# More data... #
################
Current children cumulated memory: 330184 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/256 1054425
/proc/meminfo: memFree=126093780/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=385984 memory=352308 CPUtime=2854.77 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 50078 0 0 0 284192 1285 0 0 20 0 1 0 198020183 395247616 88077 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 96496 88077 1987 922 0 88448 0
Current children cumulated CPU time: 2854.77 s
Current children cumulated vsize: 385984 KiB
Current children cumulated memory: 352308 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/256 1054437
/proc/meminfo: memFree=126075268/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=472976 memory=368692 CPUtime=2914.6 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 51697 0 0 0 290163 1297 0 0 20 0 1 0 198020183 484327424 92173 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118244 92173 1987 922 0 110196 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 472976 KiB
Current children cumulated memory: 368692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/254 1054447
/proc/meminfo: memFree=126068328/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=472976 memory=373240 CPUtime=2974.42 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 52159 0 0 0 296135 1307 0 0 20 0 1 0 198020183 484327424 93310 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118244 93310 1987 922 0 110196 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 472976 KiB
Current children cumulated memory: 373240 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 1054457
/proc/meminfo: memFree=126044992/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=472976 memory=373240 CPUtime=3034.25 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 52357 0 0 0 302106 1319 0 0 20 0 1 0 198020183 484327424 93310 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118244 93310 1987 922 0 110196 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 472976 KiB
Current children cumulated memory: 373240 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/254 1054468
/proc/meminfo: memFree=126044460/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=472976 memory=373240 CPUtime=3094.09 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 52555 0 0 0 308079 1330 0 0 20 0 1 0 198020183 484327424 93310 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118244 93310 1987 922 0 110196 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 472976 KiB
Current children cumulated memory: 373240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/254 1054478
/proc/meminfo: memFree=126044952/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=472976 memory=373240 CPUtime=3153.94 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 52753 0 0 0 314052 1342 0 0 20 0 1 0 198020183 484327424 93310 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118244 93310 1987 922 0 110196 0
Current children cumulated CPU time: 3153.94 s
Current children cumulated vsize: 472976 KiB
Current children cumulated memory: 373240 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 1054488
/proc/meminfo: memFree=126038904/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=472976 memory=373240 CPUtime=3213.78 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 52951 0 0 0 320027 1351 0 0 20 0 1 0 198020183 484327424 93310 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118244 93310 1987 922 0 110196 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 472976 KiB
Current children cumulated memory: 373240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/257 1054503
/proc/meminfo: memFree=126037456/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3273.63 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 53199 0 0 0 325982 1381 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/257 1054514
/proc/meminfo: memFree=126019492/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3333.48 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 53397 0 0 0 331943 1405 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/257 1054524
/proc/meminfo: memFree=126015700/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3393.32 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 53595 0 0 0 337907 1425 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/258 1054536
/proc/meminfo: memFree=126012116/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3453.17 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 53793 0 0 0 343876 1441 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/258 1054547
/proc/meminfo: memFree=126002360/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3513.01 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 53991 0 0 0 349847 1454 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 1054940
/proc/meminfo: memFree=125997844/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3572.84 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 54189 0 0 0 355816 1468 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.10 4.09 6/257 1054944
/proc/meminfo: memFree=125997500/131524600 swapFree=131070704/131071996
[pid=1053101] ppid=1053091 vsize=473304 memory=373440 CPUtime=3600.06 cores=4,6
/proc/1053101/stat : 1053101 (roundingsat) R 1053091 1053101 1053037 0 -1 4194304 54288 0 0 0 358534 1472 0 0 20 0 1 0 198020183 484663296 93360 134679101440 4194304 7968373 140727764991472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41598976 140727764992956 140727764993120 140727764993120 140727765000137 0
/proc/1053101/statm: 118326 93360 1987 922 0 110278 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 473304 KiB
Current children cumulated memory: 373440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 1053101 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.36 s, system=14.7352 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.09
CPU user time (s): 3585.36
CPU system time (s): 14.7352
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 474332
Max. memory (cumulated for all children) (KiB): 374100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.36
system time used= 14.7352
maximum resident set size= 374100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54298
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= 65
involuntary context switches= 2845
# summary of solver processes directly reported to runsolver:
# pid: 1053101
# total CPU time (s): 3600.09
# total CPU user time (s): 3585.36
# total CPU system time (s): 14.7352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56213 second user time and 19.9466 second system time
The end
Begin job on nodeC023 at 2024-07-20 08:56:05 IDJOB=4455127 IDBENCH=147543 IDSOLVER=3084 FILE ID=nodeC023/4455127-1721458552 RUNJOBID= nodeC023-1721458565-1053048 SLURM_JOB_ID= 7545704 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.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-4455127-1721458552/watcher-4455127-1721458552 -o /tmp/evaluation-result-4455127-1721458552/solver-4455127-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053048 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455127-1721458552.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=658974107 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3771.912 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3722.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3608.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3576.285 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.216 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3825.589 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3745.078 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3703.760 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127502076 kB MemAvailable: 129751824 kB Buffers: 593608 kB Cached: 2491988 kB SwapCached: 80 kB Active: 1247248 kB Inactive: 2206776 kB Active(anon): 1484 kB Inactive(anon): 412676 kB Active(file): 1245764 kB Inactive(file): 1794100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 20884 kB Writeback: 0 kB AnonPages: 368476 kB Mapped: 106524 kB Shmem: 45728 kB KReclaimable: 99412 kB Slab: 193496 kB SReclaimable: 99412 kB SUnreclaim: 94084 kB KernelStack: 3872 kB PageTables: 9448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 792240 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890064 MiB End job on nodeC023 at 2024-07-20 09:56:15