| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 186 | 3600.07 | 3608.8 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 465 |
| Total number of constraints | 465 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 465 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 465 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 465 #constraints 465 0.31/0.36 c bounds 466 >= 0 @ 0.002384 0.31/0.36 c bounds 229 >= 0 @ 0.251507 0.31/0.36 c bounds 229 >= 1 @ 0.251507 0.31/0.36 c bounds 229 >= 2 @ 0.251507 0.31/0.36 c bounds 229 >= 3 @ 0.251507 0.31/0.36 c bounds 229 >= 4 @ 0.25157 0.31/0.36 c bounds 229 >= 5 @ 0.25173 0.31/0.36 c bounds 229 >= 6 @ 0.251891 0.31/0.36 c bounds 229 >= 7 @ 0.252076 0.31/0.36 c bounds 229 >= 8 @ 0.252264 0.31/0.36 c bounds 229 >= 9 @ 0.252457 0.31/0.36 c bounds 229 >= 10 @ 0.252658 0.31/0.36 c bounds 229 >= 11 @ 0.252872 0.31/0.36 c bounds 229 >= 12 @ 0.253077 0.31/0.36 c bounds 229 >= 13 @ 0.253291 0.31/0.36 c bounds 229 >= 14 @ 0.253508 0.31/0.36 c bounds 229 >= 15 @ 0.253725 0.31/0.36 c bounds 229 >= 16 @ 0.253938 0.31/0.36 c bounds 229 >= 17 @ 0.254152 0.31/0.36 c bounds 229 >= 18 @ 0.254365 0.31/0.36 c bounds 229 >= 19 @ 0.254585 0.31/0.36 c bounds 229 >= 20 @ 0.254803 0.31/0.36 c bounds 229 >= 21 @ 0.255037 0.31/0.36 c bounds 229 >= 22 @ 0.255269 0.31/0.36 c bounds 229 >= 23 @ 0.255514 0.31/0.36 c bounds 229 >= 24 @ 0.255752 0.31/0.36 c bounds 229 >= 25 @ 0.256009 0.31/0.36 c bounds 229 >= 26 @ 0.256255 0.31/0.36 c bounds 228 >= 26 @ 0.30118 0.31/0.36 c bounds 228 >= 27 @ 0.30148 0.31/0.36 c bounds 228 >= 28 @ 0.301763 0.31/0.36 c bounds 228 >= 29 @ 0.302046 0.31/0.36 c bounds 228 >= 30 @ 0.302342 0.31/0.36 c bounds 228 >= 31 @ 0.302631 0.31/0.36 c bounds 228 >= 32 @ 0.30293 0.31/0.36 c bounds 228 >= 33 @ 0.30322 0.31/0.36 c bounds 228 >= 34 @ 0.30353 0.31/0.36 c bounds 228 >= 35 @ 0.303837 0.31/0.36 c bounds 228 >= 36 @ 0.304158 0.31/0.36 c bounds 228 >= 37 @ 0.304476 0.31/0.36 c bounds 228 >= 38 @ 0.304809 0.31/0.36 c bounds 228 >= 39 @ 0.305136 0.31/0.36 c bounds 228 >= 40 @ 0.30547 0.31/0.36 c bounds 228 >= 41 @ 0.305803 0.31/0.36 c bounds 228 >= 42 @ 0.306135 0.31/0.36 c bounds 228 >= 43 @ 0.306462 0.31/0.36 c bounds 228 >= 44 @ 0.3068 0.31/0.36 c bounds 228 >= 45 @ 0.307116 0.31/0.36 c bounds 228 >= 46 @ 0.307181 0.31/0.36 c bounds 228 >= 47 @ 0.307565 0.31/0.36 c bounds 228 >= 48 @ 0.307898 0.31/0.36 c bounds 228 >= 49 @ 0.308237 0.31/0.36 c bounds 228 >= 50 @ 0.3086 0.31/0.36 c bounds 228 >= 51 @ 0.308953 0.31/0.36 c bounds 228 >= 52 @ 0.309174 0.31/0.36 c bounds 228 >= 53 @ 0.309174 0.31/0.36 c bounds 228 >= 54 @ 0.309174 0.31/0.36 c bounds 228 >= 55 @ 0.309392 0.31/0.36 c bounds 228 >= 56 @ 0.309785 0.31/0.36 c bounds 228 >= 57 @ 0.310137 0.31/0.36 c bounds 228 >= 58 @ 0.310517 0.31/0.36 c bounds 228 >= 59 @ 0.310884 0.31/0.36 c bounds 228 >= 60 @ 0.31126 0.31/0.36 c bounds 228 >= 61 @ 0.311645 0.31/0.36 c bounds 228 >= 62 @ 0.312026 0.31/0.36 c bounds 228 >= 63 @ 0.312152 0.31/0.36 c bounds 228 >= 64 @ 0.312152 0.31/0.36 c bounds 228 >= 65 @ 0.312152 0.31/0.36 c bounds 228 >= 66 @ 0.312517 0.31/0.36 c bounds 228 >= 67 @ 0.31292 0.31/0.36 c bounds 228 >= 68 @ 0.313292 0.31/0.36 c bounds 228 >= 69 @ 0.313673 0.31/0.36 c bounds 228 >= 70 @ 0.314063 0.31/0.36 c bounds 228 >= 71 @ 0.314136 0.31/0.36 c bounds 228 >= 72 @ 0.314136 0.31/0.36 c bounds 228 >= 73 @ 0.314208 0.31/0.36 c bounds 228 >= 74 @ 0.314605 0.31/0.36 c bounds 228 >= 75 @ 0.314993 0.31/0.36 c bounds 228 >= 76 @ 0.315373 0.31/0.36 c bounds 228 >= 77 @ 0.315744 0.31/0.36 c bounds 228 >= 78 @ 0.316126 0.31/0.36 c bounds 228 >= 79 @ 0.316512 0.31/0.36 c bounds 228 >= 80 @ 0.316905 0.31/0.36 c bounds 228 >= 81 @ 0.317115 0.31/0.36 c bounds 228 >= 82 @ 0.317115 0.31/0.36 c bounds 228 >= 83 @ 0.317115 0.31/0.36 c bounds 228 >= 84 @ 0.317526 0.31/0.36 c bounds 228 >= 85 @ 0.317923 0.31/0.36 c bounds 228 >= 86 @ 0.318106 0.31/0.36 c bounds 228 >= 87 @ 0.318106 0.31/0.36 c bounds 228 >= 88 @ 0.318134 0.31/0.36 c bounds 228 >= 89 @ 0.318514 0.31/0.36 c bounds 228 >= 90 @ 0.318871 0.31/0.36 c bounds 228 >= 91 @ 0.319284 0.31/0.36 c bounds 228 >= 92 @ 0.319648 0.31/0.36 c bounds 228 >= 93 @ 0.320018 0.31/0.36 c bounds 228 >= 94 @ 0.320093 0.31/0.36 c bounds 228 >= 95 @ 0.320093 0.31/0.36 c bounds 228 >= 96 @ 0.320093 0.31/0.36 c bounds 228 >= 97 @ 0.320093 0.31/0.36 c bounds 228 >= 98 @ 0.320093 0.31/0.36 c bounds 228 >= 99 @ 0.32049 0.31/0.36 c bounds 228 >= 100 @ 0.320852 0.31/0.36 c bounds 228 >= 101 @ 0.321218 0.31/0.36 c bounds 228 >= 102 @ 0.32166 0.31/0.36 c bounds 228 >= 103 @ 0.322049 0.31/0.36 c bounds 228 >= 104 @ 0.322442 0.31/0.36 c bounds 228 >= 105 @ 0.322852 0.31/0.36 c bounds 228 >= 106 @ 0.323068 0.31/0.36 c bounds 228 >= 107 @ 0.323068 0.31/0.36 c bounds 228 >= 108 @ 0.323163 0.31/0.36 c bounds 228 >= 109 @ 0.323595 0.31/0.36 c bounds 228 >= 110 @ 0.324015 0.31/0.36 c bounds 228 >= 111 @ 0.324425 0.31/0.36 c bounds 228 >= 112 @ 0.324873 0.31/0.36 c bounds 228 >= 113 @ 0.325055 0.31/0.36 c bounds 228 >= 114 @ 0.325055 0.31/0.36 c bounds 228 >= 115 @ 0.325141 0.31/0.36 c bounds 228 >= 116 @ 0.325574 0.31/0.36 c bounds 228 >= 117 @ 0.325993 0.31/0.36 c bounds 228 >= 118 @ 0.326469 0.31/0.36 c bounds 228 >= 119 @ 0.326905 0.31/0.36 c bounds 228 >= 120 @ 0.327318 0.31/0.36 c bounds 228 >= 121 @ 0.327699 0.31/0.36 c bounds 228 >= 122 @ 0.3281 0.31/0.36 c bounds 228 >= 123 @ 0.328505 0.31/0.36 c bounds 228 >= 124 @ 0.328905 0.31/0.36 c bounds 228 >= 125 @ 0.329479 0.31/0.36 c bounds 228 >= 126 @ 0.330147 0.31/0.36 c bounds 228 >= 127 @ 0.330697 0.31/0.36 c bounds 228 >= 128 @ 0.331349 0.31/0.36 c bounds 228 >= 129 @ 0.332076 0.31/0.36 c bounds 228 >= 130 @ 0.332716 0.31/0.36 c bounds 228 >= 131 @ 0.333405 0.31/0.36 c bounds 228 >= 132 @ 0.334175 0.31/0.36 c bounds 228 >= 133 @ 0.335518 0.31/0.36 c bounds 228 >= 134 @ 0.335995 1.09/1.12 c bounds 228 >= 135 @ 0.336985 1.09/1.12 c bounds 228 >= 136 @ 0.340594 1.09/1.12 c bounds 228 >= 137 @ 0.341686 1.09/1.12 c bounds 228 >= 138 @ 0.345829 1.09/1.12 c bounds 228 >= 139 @ 0.356059 1.09/1.12 c bounds 227 >= 139 @ 0.378534 1.09/1.12 c bounds 227 >= 140 @ 0.393322 1.09/1.12 c bounds 227 >= 141 @ 0.452638 1.09/1.12 c bounds 226 >= 141 @ 0.471899 1.09/1.12 c bounds 225 >= 141 @ 0.487218 1.09/1.12 c bounds 224 >= 141 @ 0.497204 1.09/1.12 c bounds 223 >= 141 @ 0.502361 1.09/1.12 c #Conflicts: 1000 | #Constraints: 2245 1.09/1.12 c bounds 222 >= 141 @ 0.538521 1.09/1.12 c #Conflicts: 2000 | #Constraints: 3246 1.09/1.12 c INPROCESSING 1.09/1.12 c GARBAGE COLLECT 1.09/1.12 c rational objective 141 1.88/1.92 c bounds 221 >= 141 @ 1.1653 1.88/1.92 c bounds 220 >= 141 @ 1.16765 1.88/1.92 c bounds 219 >= 141 @ 1.16951 1.88/1.92 c bounds 218 >= 141 @ 1.17354 1.88/1.92 c bounds 217 >= 141 @ 1.18452 1.88/1.92 c #Conflicts: 3000 | #Constraints: 3161 1.88/1.92 c bounds 216 >= 141 @ 1.51728 1.88/1.92 c bounds 216 >= 142 @ 1.52684 1.88/1.92 c #Conflicts: 4000 | #Constraints: 4198 1.88/1.92 c INPROCESSING 1.88/1.92 c GARBAGE COLLECT 1.88/1.92 c rational objective 142 2.78/2.82 c bounds 215 >= 142 @ 1.90021 2.78/2.82 c bounds 214 >= 142 @ 1.90167 2.78/2.82 c bounds 213 >= 142 @ 1.90369 2.78/2.82 c bounds 212 >= 142 @ 1.90621 2.78/2.82 c bounds 211 >= 142 @ 1.90913 2.78/2.82 c bounds 210 >= 142 @ 1.91195 2.78/2.82 c bounds 209 >= 142 @ 1.91794 2.78/2.82 c bounds 208 >= 142 @ 1.92664 2.78/2.82 c bounds 207 >= 142 @ 1.99496 2.78/2.82 c #Conflicts: 5000 | #Constraints: 3623 2.78/2.82 c #Conflicts: 6000 | #Constraints: 4623 2.78/2.82 c INPROCESSING 2.78/2.82 c GARBAGE COLLECT 2.78/2.82 c rational objective 142 3.58/3.69 c bounds 206 >= 142 @ 2.84264 3.58/3.69 c bounds 205 >= 142 @ 2.85399 3.58/3.69 c bounds 204 >= 142 @ 2.87605 3.58/3.69 c #Conflicts: 7000 | #Constraints: 3641 3.58/3.69 c #Conflicts: 8000 | #Constraints: 4641 3.58/3.69 c #Conflicts: 9000 | #Constraints: 5641 3.58/3.69 c INPROCESSING 3.58/3.69 c GARBAGE COLLECT 3.58/3.69 c rational objective 142 4.68/4.74 c #Conflicts: 10000 | #Constraints: 4312 4.68/4.74 c bounds 204 >= 143 @ 4.14933 4.68/4.74 c #Conflicts: 11000 | #Constraints: 5372 4.68/4.74 c bounds 203 >= 143 @ 4.19013 4.68/4.74 c #Conflicts: 12000 | #Constraints: 6373 4.68/4.74 c INPROCESSING 4.68/4.74 c GARBAGE COLLECT 4.68/4.74 c rational objective 143 5.98/6.06 c bounds 202 >= 143 @ 4.77743 5.98/6.06 c #Conflicts: 13000 | #Constraints: 4801 5.98/6.06 c bounds 201 >= 143 @ 4.96014 5.98/6.06 c #Conflicts: 14000 | #Constraints: 5802 5.98/6.06 c #Conflicts: 15000 | #Constraints: 6802 5.98/6.06 c INPROCESSING 5.98/6.06 c GARBAGE COLLECT 5.98/6.06 c rational objective 143 7.07/7.14 c bounds 200 >= 143 @ 5.83304 7.07/7.14 c bounds 199 >= 143 @ 5.85854 7.07/7.14 c bounds 198 >= 143 @ 6.04327 7.07/7.14 c bounds 197 >= 143 @ 6.05183 7.07/7.14 c #Conflicts: 16000 | #Constraints: 5074 7.07/7.14 c #Conflicts: 17000 | #Constraints: 6074 7.07/7.14 c #Conflicts: 18000 | #Constraints: 7074 7.07/7.14 c INPROCESSING 7.07/7.14 c GARBAGE COLLECT 7.07/7.14 c rational objective 143 8.56/8.64 c #Conflicts: 19000 | #Constraints: 5057 8.56/8.64 c #Conflicts: 20000 | #Constraints: 6057 8.56/8.64 c #Conflicts: 21000 | #Constraints: 7057 8.56/8.64 c INPROCESSING 8.56/8.64 c GARBAGE COLLECT 8.56/8.64 c rational objective 143 16.95/17.10 c bounds 196 >= 143 @ 8.29514 16.95/17.10 c bounds 195 >= 143 @ 8.30069 16.95/17.10 c #Conflicts: 22000 | #Constraints: 4905 16.95/17.10 c #Conflicts: 23000 | #Constraints: 5905 16.95/17.10 c bounds 194 >= 143 @ 8.79241 16.95/17.10 c bounds 193 >= 143 @ 8.97297 16.95/17.10 c bounds 192 >= 143 @ 8.99128 16.95/17.10 c #Conflicts: 24000 | #Constraints: 6908 16.95/17.10 c bounds 191 >= 143 @ 9.00447 16.95/17.10 c bounds 190 >= 143 @ 9.02323 16.95/17.10 c #Conflicts: 25000 | #Constraints: 7910 16.95/17.10 c bounds 189 >= 143 @ 9.6779 16.95/17.10 c #Conflicts: 26000 | #Constraints: 8911 16.95/17.10 c #Conflicts: 27000 | #Constraints: 9911 16.95/17.10 c #Conflicts: 28000 | #Constraints: 10911 16.95/17.10 c #Conflicts: 29000 | #Constraints: 11911 16.95/17.10 c bounds 189 >= 144 @ 13.2196 16.95/17.10 c #Conflicts: 30000 | #Constraints: 12950 16.95/17.10 c #Conflicts: 31000 | #Constraints: 13950 16.95/17.10 c #Conflicts: 32000 | #Constraints: 14950 16.95/17.10 c #Conflicts: 33000 | #Constraints: 15950 16.95/17.10 c INPROCESSING 16.95/17.10 c GARBAGE COLLECT 16.95/17.10 c rational objective 144 20.42/20.52 c #Conflicts: 34000 | #Constraints: 9467 20.42/20.52 c #Conflicts: 35000 | #Constraints: 10467 20.42/20.52 c #Conflicts: 36000 | #Constraints: 11467 20.42/20.52 c #Conflicts: 37000 | #Constraints: 12467 20.42/20.52 c #Conflicts: 38000 | #Constraints: 13467 20.42/20.52 c INPROCESSING 20.42/20.52 c GARBAGE COLLECT 20.42/20.52 c rational objective 144 23.12/23.21 c #Conflicts: 39000 | #Constraints: 8429 23.12/23.21 c #Conflicts: 40000 | #Constraints: 9503 23.12/23.21 c #Conflicts: 41000 | #Constraints: 10526 23.12/23.21 c #Conflicts: 42000 | #Constraints: 11527 23.12/23.21 c INPROCESSING 23.12/23.21 c GARBAGE COLLECT 23.12/23.21 c rational objective 144 38.77/38.95 c #Conflicts: 43000 | #Constraints: 6957 38.77/38.95 c #Conflicts: 44000 | #Constraints: 7957 38.77/38.95 c #Conflicts: 45000 | #Constraints: 8957 38.77/38.95 c #Conflicts: 46000 | #Constraints: 10008 38.77/38.95 c bounds 188 >= 144 @ 24.1138 38.77/38.95 c #Conflicts: 47000 | #Constraints: 11035 38.77/38.95 c #Conflicts: 48000 | #Constraints: 12036 38.77/38.95 c #Conflicts: 49000 | #Constraints: 13036 38.77/38.95 c #Conflicts: 50000 | #Constraints: 14036 38.77/38.95 c #Conflicts: 51000 | #Constraints: 15036 38.77/38.95 c #Conflicts: 52000 | #Constraints: 16036 38.77/38.95 c #Conflicts: 53000 | #Constraints: 17036 38.77/38.95 c #Conflicts: 54000 | #Constraints: 18036 38.77/38.95 c #Conflicts: 55000 | #Constraints: 19037 38.77/38.95 c #Conflicts: 56000 | #Constraints: 20038 38.77/38.95 c bounds 188 >= 145 @ 35.5325 38.77/38.95 c #Conflicts: 57000 | #Constraints: 21080 38.77/38.95 c #Conflicts: 58000 | #Constraints: 22123 38.77/38.95 c INPROCESSING 38.77/38.95 c GARBAGE COLLECT 38.77/38.95 c rational objective 145 44.45/44.62 c #Conflicts: 59000 | #Constraints: 12382 44.45/44.62 c #Conflicts: 60000 | #Constraints: 13382 44.45/44.62 c #Conflicts: 61000 | #Constraints: 14394 44.45/44.62 c #Conflicts: 62000 | #Constraints: 15394 44.45/44.62 c #Conflicts: 63000 | #Constraints: 16476 44.45/44.62 c #Conflicts: 64000 | #Constraints: 17513 44.45/44.62 c #Conflicts: 65000 | #Constraints: 18591 44.45/44.62 c INPROCESSING 44.45/44.62 c GARBAGE COLLECT 44.45/44.62 c rational objective 145 49.95/50.17 c #Conflicts: 66000 | #Constraints: 10958 49.95/50.17 c #Conflicts: 67000 | #Constraints: 11958 49.95/50.17 c #Conflicts: 68000 | #Constraints: 12958 49.95/50.17 c #Conflicts: 69000 | #Constraints: 13958 49.95/50.17 c #Conflicts: 70000 | #Constraints: 14958 49.95/50.17 c #Conflicts: 71000 | #Constraints: 15958 49.95/50.17 c INPROCESSING 49.95/50.17 c GARBAGE COLLECT 49.95/50.17 c rational objective 145 70.08/70.32 c #Conflicts: 72000 | #Constraints: 9503 70.08/70.32 c #Conflicts: 73000 | #Constraints: 10503 70.08/70.32 c #Conflicts: 74000 | #Constraints: 11503 70.08/70.32 c #Conflicts: 75000 | #Constraints: 12503 70.08/70.32 c #Conflicts: 76000 | #Constraints: 13503 70.08/70.32 c #Conflicts: 77000 | #Constraints: 14503 70.08/70.32 c #Conflicts: 78000 | #Constraints: 15503 70.08/70.32 c #Conflicts: 79000 | #Constraints: 16503 70.08/70.32 c #Conflicts: 80000 | #Constraints: 17503 70.08/70.32 c #Conflicts: 81000 | #Constraints: 18503 70.08/70.32 c #Conflicts: 82000 | #Constraints: 19503 70.08/70.32 c #Conflicts: 83000 | #Constraints: 20503 70.08/70.32 c #Conflicts: 84000 | #Constraints: 21503 70.08/70.32 c #Conflicts: 85000 | #Constraints: 22503 70.08/70.32 c #Conflicts: 86000 | #Constraints: 23503 70.08/70.32 c #Conflicts: 87000 | #Constraints: 24503 70.08/70.32 c #Conflicts: 88000 | #Constraints: 25503 70.08/70.32 c #Conflicts: 89000 | #Constraints: 26503 70.08/70.32 c #Conflicts: 90000 | #Constraints: 27503 70.08/70.32 c #Conflicts: 91000 | #Constraints: 28503 70.08/70.32 c INPROCESSING 70.08/70.32 c GARBAGE COLLECT 70.08/70.32 c rational objective 145 88.83/89.17 c #Conflicts: 92000 | #Constraints: 15674 88.83/89.17 c #Conflicts: 93000 | #Constraints: 16674 88.83/89.17 c #Conflicts: 94000 | #Constraints: 17674 88.83/89.17 c #Conflicts: 95000 | #Constraints: 18674 88.83/89.17 c #Conflicts: 96000 | #Constraints: 19674 88.83/89.17 c #Conflicts: 97000 | #Constraints: 20674 88.83/89.17 c #Conflicts: 98000 | #Constraints: 21674 88.83/89.17 c #Conflicts: 99000 | #Constraints: 22674 88.83/89.17 c INPROCESSING 88.83/89.17 c GARBAGE COLLECT 88.83/89.17 c rational objective 145 99.19/99.52 c #Conflicts: 100000 | #Constraints: 12971 99.19/99.52 c #Conflicts: 101000 | #Constraints: 13971 99.19/99.52 c #Conflicts: 102000 | #Constraints: 14971 99.19/99.52 c #Conflicts: 103000 | #Constraints: 15971 99.19/99.52 c #Conflicts: 104000 | #Constraints: 16971 99.19/99.52 c #Conflicts: 105000 | #Constraints: 17971 99.19/99.52 c #Conflicts: 106000 | #Constraints: 18971 99.19/99.52 c #Conflicts: 107000 | #Constraints: 19971 99.19/99.52 c INPROCESSING 99.19/99.52 c GARBAGE COLLECT 99.19/99.52 c rational objective 145 148.13/148.66 c #Conflicts: 108000 | #Constraints: 11909 148.13/148.66 c #Conflicts: 109000 | #Constraints: 12909 148.13/148.66 c #Conflicts: 110000 | #Constraints: 13909 148.13/148.66 c #Conflicts: 111000 | #Constraints: 14909 148.13/148.66 c #Conflicts: 112000 | #Constraints: 15909 148.13/148.66 c #Conflicts: 113000 | #Constraints: 16909 148.13/148.66 c #Conflicts: 114000 | #Constraints: 17909 148.13/148.66 c #Conflicts: 115000 | #Constraints: 18909 148.13/148.66 c #Conflicts: 116000 | #Constraints: 19909 148.13/148.66 c #Conflicts: 117000 | #Constraints: 20909 148.13/148.66 c #Conflicts: 118000 | #Constraints: 21909 148.13/148.66 c #Conflicts: 119000 | #Constraints: 22909 148.13/148.66 c #Conflicts: 120000 | #Constraints: 23909 148.13/148.66 c #Conflicts: 121000 | #Constraints: 24909 148.13/148.66 c #Conflicts: 122000 | #Constraints: 25909 148.13/148.66 c #Conflicts: 123000 | #Constraints: 26909 148.13/148.66 c #Conflicts: 124000 | #Constraints: 27909 148.13/148.66 c #Conflicts: 125000 | #Constraints: 28909 148.13/148.66 c #Conflicts: 126000 | #Constraints: 29909 148.13/148.66 c #Conflicts: 127000 | #Constraints: 30909 148.13/148.66 c #Conflicts: 128000 | #Constraints: 31909 148.13/148.66 c #Conflicts: 129000 | #Constraints: 32909 148.13/148.66 c #Conflicts: 130000 | #Constraints: 33909 148.13/148.66 c #Conflicts: 131000 | #Constraints: 34939 148.13/148.66 c INPROCESSING 148.13/148.66 c GARBAGE COLLECT 148.13/148.66 c rational objective 145 181.82/182.44 c #Conflicts: 132000 | #Constraints: 18945 181.82/182.44 c #Conflicts: 133000 | #Constraints: 19945 181.82/182.44 c #Conflicts: 134000 | #Constraints: 20945 181.82/182.44 c #Conflicts: 135000 | #Constraints: 21945 181.82/182.44 c #Conflicts: 136000 | #Constraints: 22945 181.82/182.44 c #Conflicts: 137000 | #Constraints: 23945 181.82/182.44 c #Conflicts: 138000 | #Constraints: 24945 181.82/182.44 c #Conflicts: 139000 | #Constraints: 25945 181.82/182.44 c #Conflicts: 140000 | #Constraints: 26945 181.82/182.44 c INPROCESSING 181.82/182.44 c GARBAGE COLLECT 181.82/182.44 c rational objective 145 197.28/197.99 c #Conflicts: 141000 | #Constraints: 14918 197.28/197.99 c #Conflicts: 142000 | #Constraints: 15918 197.28/197.99 c #Conflicts: 143000 | #Constraints: 16918 197.28/197.99 c #Conflicts: 144000 | #Constraints: 17918 197.28/197.99 c #Conflicts: 145000 | #Constraints: 18918 197.28/197.99 c #Conflicts: 146000 | #Constraints: 19918 197.28/197.99 c #Conflicts: 147000 | #Constraints: 20918 197.28/197.99 c #Conflicts: 148000 | #Constraints: 21918 197.28/197.99 c #Conflicts: 149000 | #Constraints: 22918 197.28/197.99 c #Conflicts: 150000 | #Constraints: 23918 197.28/197.99 c INPROCESSING 197.28/197.99 c GARBAGE COLLECT 197.28/197.99 c rational objective 145 265.94/266.70 c #Conflicts: 151000 | #Constraints: 14380 265.94/266.70 c #Conflicts: 152000 | #Constraints: 15380 265.94/266.70 c #Conflicts: 153000 | #Constraints: 16380 265.94/266.70 c #Conflicts: 154000 | #Constraints: 17380 265.94/266.70 c #Conflicts: 155000 | #Constraints: 18380 265.94/266.70 c #Conflicts: 156000 | #Constraints: 19380 265.94/266.70 c #Conflicts: 157000 | #Constraints: 20380 265.94/266.70 c #Conflicts: 158000 | #Constraints: 21380 265.94/266.70 c #Conflicts: 159000 | #Constraints: 22380 265.94/266.70 c #Conflicts: 160000 | #Constraints: 23380 265.94/266.70 c #Conflicts: 161000 | #Constraints: 24380 265.94/266.70 c #Conflicts: 162000 | #Constraints: 25380 265.94/266.70 c #Conflicts: 163000 | #Constraints: 26380 265.94/266.70 c #Conflicts: 164000 | #Constraints: 27380 265.94/266.70 c #Conflicts: 165000 | #Constraints: 28380 265.94/266.70 c #Conflicts: 166000 | #Constraints: 29380 265.94/266.70 c #Conflicts: 167000 | #Constraints: 30380 265.94/266.70 c #Conflicts: 168000 | #Constraints: 31380 265.94/266.70 c #Conflicts: 169000 | #Constraints: 32380 265.94/266.70 c #Conflicts: 170000 | #Constraints: 33380 265.94/266.70 c #Conflicts: 171000 | #Constraints: 34380 265.94/266.70 c #Conflicts: 172000 | #Constraints: 35380 265.94/266.70 c #Conflicts: 173000 | #Constraints: 36380 265.94/266.70 c #Conflicts: 174000 | #Constraints: 37380 265.94/266.70 c #Conflicts: 175000 | #Constraints: 38380 265.94/266.70 c #Conflicts: 176000 | #Constraints: 39380 265.94/266.70 c #Conflicts: 177000 | #Constraints: 40380 265.94/266.70 c bounds 188 >= 146 @ 262.115 265.94/266.70 c #Conflicts: 178000 | #Constraints: 41431 265.94/266.70 c INPROCESSING 265.94/266.70 c GARBAGE COLLECT 265.94/266.70 c rational objective 146 281.49/282.37 c #Conflicts: 179000 | #Constraints: 22152 281.49/282.37 c #Conflicts: 180000 | #Constraints: 23152 281.49/282.37 c #Conflicts: 181000 | #Constraints: 24152 281.49/282.37 c #Conflicts: 182000 | #Constraints: 25152 281.49/282.37 c #Conflicts: 183000 | #Constraints: 26152 281.49/282.37 c #Conflicts: 184000 | #Constraints: 27152 281.49/282.37 c #Conflicts: 185000 | #Constraints: 28152 281.49/282.37 c #Conflicts: 186000 | #Constraints: 29152 281.49/282.37 c #Conflicts: 187000 | #Constraints: 30152 281.49/282.37 c #Conflicts: 188000 | #Constraints: 31152 281.49/282.37 c #Conflicts: 189000 | #Constraints: 32152 281.49/282.37 c INPROCESSING 281.49/282.37 c GARBAGE COLLECT 281.49/282.37 c rational objective 146 357.03/358.05 c #Conflicts: 190000 | #Constraints: 17674 357.03/358.05 c #Conflicts: 191000 | #Constraints: 18674 357.03/358.05 c #Conflicts: 192000 | #Constraints: 19674 357.03/358.05 c #Conflicts: 193000 | #Constraints: 20674 357.03/358.05 c #Conflicts: 194000 | #Constraints: 21674 357.03/358.05 c #Conflicts: 195000 | #Constraints: 22674 357.03/358.05 c #Conflicts: 196000 | #Constraints: 23674 357.03/358.05 c #Conflicts: 197000 | #Constraints: 24674 357.03/358.05 c #Conflicts: 198000 | #Constraints: 25674 357.03/358.05 c #Conflicts: 199000 | #Constraints: 26674 357.03/358.05 c #Conflicts: 200000 | #Constraints: 27674 357.03/358.05 c #Conflicts: 201000 | #Constraints: 28674 357.03/358.05 c #Conflicts: 202000 | #Constraints: 29674 357.03/358.05 c #Conflicts: 203000 | #Constraints: 30674 357.03/358.05 c #Conflicts: 204000 | #Constraints: 31674 357.03/358.05 c #Conflicts: 205000 | #Constraints: 32674 357.03/358.05 c #Conflicts: 206000 | #Constraints: 33674 357.03/358.05 c #Conflicts: 207000 | #Constraints: 34674 357.03/358.05 c #Conflicts: 208000 | #Constraints: 35674 357.03/358.05 c #Conflicts: 209000 | #Constraints: 36674 357.03/358.05 c #Conflicts: 210000 | #Constraints: 37674 357.03/358.05 c #Conflicts: 211000 | #Constraints: 38764 357.03/358.05 c #Conflicts: 212000 | #Constraints: 39764 357.03/358.05 c #Conflicts: 213000 | #Constraints: 40764 357.03/358.05 c #Conflicts: 214000 | #Constraints: 41764 357.03/358.05 c #Conflicts: 215000 | #Constraints: 42764 357.03/358.05 c #Conflicts: 216000 | #Constraints: 43764 357.03/358.05 c #Conflicts: 217000 | #Constraints: 44764 357.03/358.05 c #Conflicts: 218000 | #Constraints: 45764 357.03/358.05 c #Conflicts: 219000 | #Constraints: 46764 357.03/358.05 c #Conflicts: 220000 | #Constraints: 47764 357.03/358.05 c INPROCESSING 357.03/358.05 c GARBAGE COLLECT 357.03/358.05 c rational objective 146 524.25/525.68 c #Conflicts: 221000 | #Constraints: 25193 524.25/525.68 c #Conflicts: 222000 | #Constraints: 26193 524.25/525.68 c #Conflicts: 223000 | #Constraints: 27193 524.25/525.68 c #Conflicts: 224000 | #Constraints: 28193 524.25/525.68 c #Conflicts: 225000 | #Constraints: 29193 524.25/525.68 c #Conflicts: 226000 | #Constraints: 30193 524.25/525.68 c #Conflicts: 227000 | #Constraints: 31193 524.25/525.68 c #Conflicts: 228000 | #Constraints: 32193 524.25/525.68 c #Conflicts: 229000 | #Constraints: 33193 524.25/525.68 c #Conflicts: 230000 | #Constraints: 34194 524.25/525.68 c #Conflicts: 231000 | #Constraints: 35194 524.25/525.68 c #Conflicts: 232000 | #Constraints: 36194 524.25/525.68 c INPROCESSING 524.25/525.68 c GARBAGE COLLECT 524.25/525.68 c #Conflicts: 233000 | #Constraints: 19464 524.25/525.68 c #Conflicts: 234000 | #Constraints: 20467 524.25/525.68 c #Conflicts: 235000 | #Constraints: 21467 524.25/525.68 c #Conflicts: 236000 | #Constraints: 22467 524.25/525.68 c #Conflicts: 237000 | #Constraints: 23467 524.25/525.68 c #Conflicts: 238000 | #Constraints: 24467 524.25/525.68 c #Conflicts: 239000 | #Constraints: 25467 524.25/525.68 c #Conflicts: 240000 | #Constraints: 26467 524.25/525.68 c #Conflicts: 241000 | #Constraints: 27467 524.25/525.68 c #Conflicts: 242000 | #Constraints: 28467 524.25/525.68 c #Conflicts: 243000 | #Constraints: 29467 524.25/525.68 c #Conflicts: 244000 | #Constraints: 30467 524.25/525.68 c #Conflicts: 245000 | #Constraints: 31467 524.25/525.68 c #Conflicts: 246000 | #Constraints: 32467 524.25/525.68 c #Conflicts: 247000 | #Constraints: 33467 524.25/525.68 c #Conflicts: 248000 | #Constraints: 34467 524.25/525.68 c #Conflicts: 249000 | #Constraints: 35468 524.25/525.68 c #Conflicts: 250000 | #Constraints: 36468 524.25/525.68 c #Conflicts: 251000 | #Constraints: 37468 524.25/525.68 c #Conflicts: 252000 | #Constraints: 38470 524.25/525.68 c #Conflicts: 253000 | #Constraints: 39470 524.25/525.68 c #Conflicts: 254000 | #Constraints: 40470 524.25/525.68 c #Conflicts: 255000 | #Constraints: 41470 524.25/525.68 c #Conflicts: 256000 | #Constraints: 42471 524.25/525.68 c #Conflicts: 257000 | #Constraints: 43471 524.25/525.68 c #Conflicts: 258000 | #Constraints: 44471 524.25/525.68 c #Conflicts: 259000 | #Constraints: 45471 524.25/525.68 c #Conflicts: 260000 | #Constraints: 46471 524.25/525.68 c #Conflicts: 261000 | #Constraints: 47471 524.25/525.68 c #Conflicts: 262000 | #Constraints: 48471 524.25/525.68 c #Conflicts: 263000 | #Constraints: 49471 524.25/525.68 c #Conflicts: 264000 | #Constraints: 50471 524.25/525.68 c #Conflicts: 265000 | #Constraints: 51471 524.25/525.68 c #Conflicts: 266000 | #Constraints: 52471 524.25/525.68 c #Conflicts: 267000 | #Constraints: 53471 524.25/525.68 c INPROCESSING 524.25/525.68 c GARBAGE COLLECT 524.25/525.68 c rational objective 146 547.09/548.54 c #Conflicts: 268000 | #Constraints: 28263 547.09/548.54 c #Conflicts: 269000 | #Constraints: 29263 547.09/548.54 c #Conflicts: 270000 | #Constraints: 30263 547.09/548.54 c #Conflicts: 271000 | #Constraints: 31263 547.09/548.54 c #Conflicts: 272000 | #Constraints: 32263 547.09/548.54 c #Conflicts: 273000 | #Constraints: 33263 547.09/548.54 c #Conflicts: 274000 | #Constraints: 34263 547.09/548.54 c #Conflicts: 275000 | #Constraints: 35263 547.09/548.54 c #Conflicts: 276000 | #Constraints: 36263 547.09/548.54 c #Conflicts: 277000 | #Constraints: 37263 547.09/548.54 c #Conflicts: 278000 | #Constraints: 38263 547.09/548.54 c #Conflicts: 279000 | #Constraints: 39263 547.09/548.54 c #Conflicts: 280000 | #Constraints: 40299 547.09/548.54 c INPROCESSING 547.09/548.54 c GARBAGE COLLECT 547.09/548.54 c rational objective 146 653.05/654.78 c #Conflicts: 281000 | #Constraints: 22408 653.05/654.78 c #Conflicts: 282000 | #Constraints: 23408 653.05/654.78 c #Conflicts: 283000 | #Constraints: 24408 653.05/654.78 c #Conflicts: 284000 | #Constraints: 25409 653.05/654.78 c #Conflicts: 285000 | #Constraints: 26409 653.05/654.78 c #Conflicts: 286000 | #Constraints: 27409 653.05/654.78 c #Conflicts: 287000 | #Constraints: 28410 653.05/654.78 c #Conflicts: 288000 | #Constraints: 29410 653.05/654.78 c #Conflicts: 289000 | #Constraints: 30410 653.05/654.78 c #Conflicts: 290000 | #Constraints: 31410 653.05/654.78 c #Conflicts: 291000 | #Constraints: 32410 653.05/654.78 c #Conflicts: 292000 | #Constraints: 33410 653.05/654.78 c #Conflicts: 293000 | #Constraints: 34410 653.05/654.78 c #Conflicts: 294000 | #Constraints: 35410 653.05/654.78 c #Conflicts: 295000 | #Constraints: 36410 653.05/654.78 c #Conflicts: 296000 | #Constraints: 37410 653.05/654.78 c #Conflicts: 297000 | #Constraints: 38410 653.05/654.78 c #Conflicts: 298000 | #Constraints: 39410 653.05/654.78 c #Conflicts: 299000 | #Constraints: 40410 653.05/654.78 c #Conflicts: 300000 | #Constraints: 41410 653.05/654.78 c #Conflicts: 301000 | #Constraints: 42410 653.05/654.78 c #Conflicts: 302000 | #Constraints: 43410 653.05/654.78 c #Conflicts: 303000 | #Constraints: 44455 653.05/654.78 c #Conflicts: 304000 | #Constraints: 45455 653.05/654.78 c #Conflicts: 305000 | #Constraints: 46455 653.05/654.78 c #Conflicts: 306000 | #Constraints: 47455 653.05/654.78 c #Conflicts: 307000 | #Constraints: 48455 653.05/654.78 c #Conflicts: 308000 | #Constraints: 49455 653.05/654.78 c #Conflicts: 309000 | #Constraints: 50455 653.05/654.78 c #Conflicts: 310000 | #Constraints: 51455 653.05/654.78 c #Conflicts: 311000 | #Constraints: 52534 653.05/654.78 c #Conflicts: 312000 | #Constraints: 53582 653.05/654.78 c #Conflicts: 313000 | #Constraints: 54582 653.05/654.78 c #Conflicts: 314000 | #Constraints: 55582 653.05/654.78 c #Conflicts: 315000 | #Constraints: 56582 653.05/654.78 c #Conflicts: 316000 | #Constraints: 57582 653.05/654.78 c #Conflicts: 317000 | #Constraints: 58582 653.05/654.78 c #Conflicts: 318000 | #Constraints: 59582 653.05/654.78 c INPROCESSING 653.05/654.78 c GARBAGE COLLECT 653.05/654.78 c rational objective 146 747.03/748.92 c #Conflicts: 319000 | #Constraints: 31198 747.03/748.92 c #Conflicts: 320000 | #Constraints: 32199 747.03/748.92 c #Conflicts: 321000 | #Constraints: 33199 747.03/748.92 c #Conflicts: 322000 | #Constraints: 34199 747.03/748.92 c #Conflicts: 323000 | #Constraints: 35199 747.03/748.92 c #Conflicts: 324000 | #Constraints: 36199 747.03/748.92 c #Conflicts: 325000 | #Constraints: 37199 747.03/748.92 c #Conflicts: 326000 | #Constraints: 38199 747.03/748.92 c #Conflicts: 327000 | #Constraints: 39199 747.03/748.92 c #Conflicts: 328000 | #Constraints: 40199 747.03/748.92 c #Conflicts: 329000 | #Constraints: 41199 747.03/748.92 c #Conflicts: 330000 | #Constraints: 42199 747.03/748.92 c #Conflicts: 331000 | #Constraints: 43199 747.03/748.92 c #Conflicts: 332000 | #Constraints: 44199 747.03/748.92 c #Conflicts: 333000 | #Constraints: 45199 747.03/748.92 c INPROCESSING 747.03/748.92 c GARBAGE COLLECT 747.03/748.92 c rational objective 146 919.73/922.08 c #Conflicts: 334000 | #Constraints: 25157 919.73/922.08 c #Conflicts: 335000 | #Constraints: 26157 919.73/922.08 c #Conflicts: 336000 | #Constraints: 27157 919.73/922.08 c #Conflicts: 337000 | #Constraints: 28157 919.73/922.08 c #Conflicts: 338000 | #Constraints: 29157 919.73/922.08 c #Conflicts: 339000 | #Constraints: 30157 919.73/922.08 c #Conflicts: 340000 | #Constraints: 31157 919.73/922.08 c #Conflicts: 341000 | #Constraints: 32158 919.73/922.08 c #Conflicts: 342000 | #Constraints: 33158 919.73/922.08 c #Conflicts: 343000 | #Constraints: 34158 919.73/922.08 c #Conflicts: 344000 | #Constraints: 35158 919.73/922.08 c #Conflicts: 345000 | #Constraints: 36158 919.73/922.08 c #Conflicts: 346000 | #Constraints: 37158 919.73/922.08 c #Conflicts: 347000 | #Constraints: 38158 919.73/922.08 c #Conflicts: 348000 | #Constraints: 39158 919.73/922.08 c #Conflicts: 349000 | #Constraints: 40158 919.73/922.08 c #Conflicts: 350000 | #Constraints: 41158 919.73/922.08 c #Conflicts: 351000 | #Constraints: 42158 919.73/922.08 c #Conflicts: 352000 | #Constraints: 43158 919.73/922.08 c #Conflicts: 353000 | #Constraints: 44158 919.73/922.08 c #Conflicts: 354000 | #Constraints: 45158 919.73/922.08 c #Conflicts: 355000 | #Constraints: 46158 919.73/922.08 c #Conflicts: 356000 | #Constraints: 47158 919.73/922.08 c #Conflicts: 357000 | #Constraints: 48158 919.73/922.08 c #Conflicts: 358000 | #Constraints: 49158 919.73/922.08 c #Conflicts: 359000 | #Constraints: 50158 919.73/922.08 c #Conflicts: 360000 | #Constraints: 51158 919.73/922.08 c #Conflicts: 361000 | #Constraints: 52158 919.73/922.08 c #Conflicts: 362000 | #Constraints: 53158 919.73/922.08 c #Conflicts: 363000 | #Constraints: 54158 919.73/922.08 c #Conflicts: 364000 | #Constraints: 55158 919.73/922.08 c #Conflicts: 365000 | #Constraints: 56158 919.73/922.08 c #Conflicts: 366000 | #Constraints: 57158 919.73/922.08 c #Conflicts: 367000 | #Constraints: 58158 919.73/922.08 c #Conflicts: 368000 | #Constraints: 59158 919.73/922.08 c #Conflicts: 369000 | #Constraints: 60158 919.73/922.08 c #Conflicts: 370000 | #Constraints: 61158 919.73/922.08 c #Conflicts: 371000 | #Constraints: 62158 919.73/922.08 c #Conflicts: 372000 | #Constraints: 63158 919.73/922.08 c #Conflicts: 373000 | #Constraints: 64158 919.73/922.08 c #Conflicts: 374000 | #Constraints: 65158 919.73/922.08 c INPROCESSING 919.73/922.08 c GARBAGE COLLECT 919.73/922.08 c rational objective 146 1036.46/1039.01 c #Conflicts: 375000 | #Constraints: 34234 1036.46/1039.01 c #Conflicts: 376000 | #Constraints: 35234 1036.46/1039.01 c #Conflicts: 377000 | #Constraints: 36234 1036.46/1039.01 c #Conflicts: 378000 | #Constraints: 37234 1036.46/1039.01 c #Conflicts: 379000 | #Constraints: 38234 1036.46/1039.01 c #Conflicts: 380000 | #Constraints: 39234 1036.46/1039.01 c #Conflicts: 381000 | #Constraints: 40234 1036.46/1039.01 c #Conflicts: 382000 | #Constraints: 41234 1036.46/1039.01 c #Conflicts: 383000 | #Constraints: 42234 1036.46/1039.01 c #Conflicts: 384000 | #Constraints: 43234 1036.46/1039.01 c #Conflicts: 385000 | #Constraints: 44234 1036.46/1039.01 c #Conflicts: 386000 | #Constraints: 45234 1036.46/1039.01 c #Conflicts: 387000 | #Constraints: 46234 1036.46/1039.01 c #Conflicts: 388000 | #Constraints: 47234 1036.46/1039.01 c #Conflicts: 389000 | #Constraints: 48234 1036.46/1039.01 c #Conflicts: 390000 | #Constraints: 49234 1036.46/1039.01 c INPROCESSING 1036.46/1039.01 c GARBAGE COLLECT 1036.46/1039.01 c rational objective 146 1312.11/1315.35 c #Conflicts: 391000 | #Constraints: 27430 1312.11/1315.35 c #Conflicts: 392000 | #Constraints: 28430 1312.11/1315.35 c #Conflicts: 393000 | #Constraints: 29430 1312.11/1315.35 c #Conflicts: 394000 | #Constraints: 30431 1312.11/1315.35 c #Conflicts: 395000 | #Constraints: 31431 1312.11/1315.35 c #Conflicts: 396000 | #Constraints: 32432 1312.11/1315.35 c #Conflicts: 397000 | #Constraints: 33432 1312.11/1315.35 c #Conflicts: 398000 | #Constraints: 34432 1312.11/1315.35 c #Conflicts: 399000 | #Constraints: 35432 1312.11/1315.35 c #Conflicts: 400000 | #Constraints: 36432 1312.11/1315.35 c #Conflicts: 401000 | #Constraints: 37432 1312.11/1315.35 c #Conflicts: 402000 | #Constraints: 38432 1312.11/1315.35 c #Conflicts: 403000 | #Constraints: 39432 1312.11/1315.35 c #Conflicts: 404000 | #Constraints: 40432 1312.11/1315.35 c #Conflicts: 405000 | #Constraints: 41432 1312.11/1315.35 c #Conflicts: 406000 | #Constraints: 42432 1312.11/1315.35 c #Conflicts: 407000 | #Constraints: 43432 1312.11/1315.35 c #Conflicts: 408000 | #Constraints: 44432 1312.11/1315.35 c #Conflicts: 409000 | #Constraints: 45433 1312.11/1315.35 c #Conflicts: 410000 | #Constraints: 46433 1312.11/1315.35 c #Conflicts: 411000 | #Constraints: 47433 1312.11/1315.35 c #Conflicts: 412000 | #Constraints: 48433 1312.11/1315.35 c #Conflicts: 413000 | #Constraints: 49433 1312.11/1315.35 c #Conflicts: 414000 | #Constraints: 50433 1312.11/1315.35 c #Conflicts: 415000 | #Constraints: 51433 1312.11/1315.35 c #Conflicts: 416000 | #Constraints: 52433 1312.11/1315.35 c #Conflicts: 417000 | #Constraints: 53433 1312.11/1315.35 c #Conflicts: 418000 | #Constraints: 54433 1312.11/1315.35 c #Conflicts: 419000 | #Constraints: 55433 1312.11/1315.35 c #Conflicts: 420000 | #Constraints: 56433 1312.11/1315.35 c #Conflicts: 421000 | #Constraints: 57433 1312.11/1315.35 c #Conflicts: 422000 | #Constraints: 58433 1312.11/1315.35 c #Conflicts: 423000 | #Constraints: 59433 1312.11/1315.35 c #Conflicts: 424000 | #Constraints: 60433 1312.11/1315.35 c #Conflicts: 425000 | #Constraints: 61433 1312.11/1315.35 c #Conflicts: 426000 | #Constraints: 62433 1312.11/1315.35 c #Conflicts: 427000 | #Constraints: 63433 1312.11/1315.35 c #Conflicts: 428000 | #Constraints: 64434 1312.11/1315.35 c #Conflicts: 429000 | #Constraints: 65434 1312.11/1315.35 c #Conflicts: 430000 | #Constraints: 66435 1312.11/1315.35 c #Conflicts: 431000 | #Constraints: 67435 1312.11/1315.35 c #Conflicts: 432000 | #Constraints: 68435 1312.11/1315.35 c #Conflicts: 433000 | #Constraints: 69435 1312.11/1315.35 c #Conflicts: 434000 | #Constraints: 70435 1312.11/1315.35 c INPROCESSING 1312.11/1315.35 c GARBAGE COLLECT 1312.11/1315.35 c rational objective 146 1383.35/1386.78 c #Conflicts: 435000 | #Constraints: 36991 1383.35/1386.78 c #Conflicts: 436000 | #Constraints: 37991 1383.35/1386.78 c #Conflicts: 437000 | #Constraints: 38991 1383.35/1386.78 c #Conflicts: 438000 | #Constraints: 39991 1383.35/1386.78 c #Conflicts: 439000 | #Constraints: 40991 1383.35/1386.78 c #Conflicts: 440000 | #Constraints: 41991 1383.35/1386.78 c #Conflicts: 441000 | #Constraints: 42991 1383.35/1386.78 c #Conflicts: 442000 | #Constraints: 43991 1383.35/1386.78 c #Conflicts: 443000 | #Constraints: 44991 1383.35/1386.78 c #Conflicts: 444000 | #Constraints: 45991 1383.35/1386.78 c #Conflicts: 445000 | #Constraints: 46991 1383.35/1386.78 c #Conflicts: 446000 | #Constraints: 47991 1383.35/1386.78 c #Conflicts: 447000 | #Constraints: 48991 1383.35/1386.78 c #Conflicts: 448000 | #Constraints: 49991 1383.35/1386.78 c #Conflicts: 449000 | #Constraints: 50991 1383.35/1386.78 c #Conflicts: 450000 | #Constraints: 51991 1383.35/1386.78 c #Conflicts: 451000 | #Constraints: 52991 1383.35/1386.78 c INPROCESSING 1383.35/1386.78 c GARBAGE COLLECT 1383.35/1386.78 c rational objective 146 1704.92/1709.12 c #Conflicts: 452000 | #Constraints: 32262 1704.92/1709.12 c #Conflicts: 453000 | #Constraints: 33262 1704.92/1709.12 c #Conflicts: 454000 | #Constraints: 34262 1704.92/1709.12 c #Conflicts: 455000 | #Constraints: 35262 1704.92/1709.12 c #Conflicts: 456000 | #Constraints: 36353 1704.92/1709.12 c #Conflicts: 457000 | #Constraints: 37353 1704.92/1709.12 c #Conflicts: 458000 | #Constraints: 38353 1704.92/1709.12 c #Conflicts: 459000 | #Constraints: 39353 1704.92/1709.12 c #Conflicts: 460000 | #Constraints: 40353 1704.92/1709.12 c #Conflicts: 461000 | #Constraints: 41353 1704.92/1709.12 c #Conflicts: 462000 | #Constraints: 42353 1704.92/1709.12 c #Conflicts: 463000 | #Constraints: 43353 1704.92/1709.12 c #Conflicts: 464000 | #Constraints: 44353 1704.92/1709.12 c #Conflicts: 465000 | #Constraints: 45353 1704.92/1709.12 c #Conflicts: 466000 | #Constraints: 46353 1704.92/1709.12 c #Conflicts: 467000 | #Constraints: 47353 1704.92/1709.12 c #Conflicts: 468000 | #Constraints: 48353 1704.92/1709.12 c #Conflicts: 469000 | #Constraints: 49353 1704.92/1709.12 c #Conflicts: 470000 | #Constraints: 50353 1704.92/1709.12 c #Conflicts: 471000 | #Constraints: 51353 1704.92/1709.12 c #Conflicts: 472000 | #Constraints: 52353 1704.92/1709.12 c #Conflicts: 473000 | #Constraints: 53353 1704.92/1709.12 c #Conflicts: 474000 | #Constraints: 54353 1704.92/1709.12 c #Conflicts: 475000 | #Constraints: 55353 1704.92/1709.12 c #Conflicts: 476000 | #Constraints: 56353 1704.92/1709.12 c #Conflicts: 477000 | #Constraints: 57353 1704.92/1709.12 c #Conflicts: 478000 | #Constraints: 58353 1704.92/1709.12 c #Conflicts: 479000 | #Constraints: 59353 1704.92/1709.12 c #Conflicts: 480000 | #Constraints: 60353 1704.92/1709.12 c #Conflicts: 481000 | #Constraints: 61353 1704.92/1709.12 c #Conflicts: 482000 | #Constraints: 62353 1704.92/1709.12 c #Conflicts: 483000 | #Constraints: 63353 1704.92/1709.12 c #Conflicts: 484000 | #Constraints: 64438 1704.92/1709.12 c #Conflicts: 485000 | #Constraints: 65438 1704.92/1709.12 c #Conflicts: 486000 | #Constraints: 66438 1704.92/1709.12 c #Conflicts: 487000 | #Constraints: 67438 1704.92/1709.12 c #Conflicts: 488000 | #Constraints: 68438 1704.92/1709.12 c #Conflicts: 489000 | #Constraints: 69438 1704.92/1709.12 c #Conflicts: 490000 | #Constraints: 70661 1704.92/1709.12 c #Conflicts: 491000 | #Constraints: 71661 1704.92/1709.12 c #Conflicts: 492000 | #Constraints: 72661 1704.92/1709.12 c #Conflicts: 493000 | #Constraints: 73661 1704.92/1709.12 c #Conflicts: 494000 | #Constraints: 74661 1704.92/1709.12 c #Conflicts: 495000 | #Constraints: 75661 1704.92/1709.12 c #Conflicts: 496000 | #Constraints: 76661 1704.92/1709.12 c #Conflicts: 497000 | #Constraints: 77661 1704.92/1709.12 c #Conflicts: 498000 | #Constraints: 78661 1704.92/1709.12 c INPROCESSING 1704.92/1709.12 c GARBAGE COLLECT 1704.92/1709.12 c rational objective 146 1922.55/1927.45 c #Conflicts: 499000 | #Constraints: 40882 1922.55/1927.45 c #Conflicts: 500000 | #Constraints: 41882 1922.55/1927.45 c #Conflicts: 501000 | #Constraints: 42882 1922.55/1927.45 c #Conflicts: 502000 | #Constraints: 43882 1922.55/1927.45 c #Conflicts: 503000 | #Constraints: 44882 1922.55/1927.45 c #Conflicts: 504000 | #Constraints: 45882 1922.55/1927.45 c #Conflicts: 505000 | #Constraints: 46882 1922.55/1927.45 c #Conflicts: 506000 | #Constraints: 47882 1922.55/1927.45 c #Conflicts: 507000 | #Constraints: 48882 1922.55/1927.45 c #Conflicts: 508000 | #Constraints: 49882 1922.55/1927.45 c #Conflicts: 509000 | #Constraints: 50882 1922.55/1927.45 c #Conflicts: 510000 | #Constraints: 51882 1922.55/1927.45 c #Conflicts: 511000 | #Constraints: 52882 1922.55/1927.45 c #Conflicts: 512000 | #Constraints: 53882 1922.55/1927.45 c #Conflicts: 513000 | #Constraints: 54882 1922.55/1927.45 c #Conflicts: 514000 | #Constraints: 55882 1922.55/1927.45 c #Conflicts: 515000 | #Constraints: 56882 1922.55/1927.45 c #Conflicts: 516000 | #Constraints: 57882 1922.55/1927.45 c INPROCESSING 1922.55/1927.45 c GARBAGE COLLECT 1922.55/1927.45 c rational objective 146 2388.47/2394.47 c #Conflicts: 517000 | #Constraints: 33985 2388.47/2394.47 c #Conflicts: 518000 | #Constraints: 34985 2388.47/2394.47 c #Conflicts: 519000 | #Constraints: 35985 2388.47/2394.47 c #Conflicts: 520000 | #Constraints: 36985 2388.47/2394.47 c #Conflicts: 521000 | #Constraints: 37985 2388.47/2394.47 c #Conflicts: 522000 | #Constraints: 38985 2388.47/2394.47 c #Conflicts: 523000 | #Constraints: 39985 2388.47/2394.47 c #Conflicts: 524000 | #Constraints: 40985 2388.47/2394.47 c #Conflicts: 525000 | #Constraints: 41985 2388.47/2394.47 c #Conflicts: 526000 | #Constraints: 42985 2388.47/2394.47 c #Conflicts: 527000 | #Constraints: 43985 2388.47/2394.47 c #Conflicts: 528000 | #Constraints: 44985 2388.47/2394.47 c #Conflicts: 529000 | #Constraints: 45985 2388.47/2394.47 c #Conflicts: 530000 | #Constraints: 46985 2388.47/2394.47 c #Conflicts: 531000 | #Constraints: 47985 2388.47/2394.47 c #Conflicts: 532000 | #Constraints: 48985 2388.47/2394.47 c #Conflicts: 533000 | #Constraints: 49985 2388.47/2394.47 c #Conflicts: 534000 | #Constraints: 50985 2388.47/2394.47 c #Conflicts: 535000 | #Constraints: 51985 2388.47/2394.47 c #Conflicts: 536000 | #Constraints: 52985 2388.47/2394.47 c #Conflicts: 537000 | #Constraints: 53985 2388.47/2394.47 c #Conflicts: 538000 | #Constraints: 54985 2388.47/2394.47 c #Conflicts: 539000 | #Constraints: 55985 2388.47/2394.47 c #Conflicts: 540000 | #Constraints: 56985 2388.47/2394.47 c #Conflicts: 541000 | #Constraints: 57985 2388.47/2394.47 c #Conflicts: 542000 | #Constraints: 58985 2388.47/2394.47 c #Conflicts: 543000 | #Constraints: 59985 2388.47/2394.47 c #Conflicts: 544000 | #Constraints: 60985 2388.47/2394.47 c #Conflicts: 545000 | #Constraints: 61985 2388.47/2394.47 c #Conflicts: 546000 | #Constraints: 62985 2388.47/2394.47 c #Conflicts: 547000 | #Constraints: 63985 2388.47/2394.47 c #Conflicts: 548000 | #Constraints: 64985 2388.47/2394.47 c #Conflicts: 549000 | #Constraints: 65985 2388.47/2394.47 c #Conflicts: 550000 | #Constraints: 66985 2388.47/2394.47 c #Conflicts: 551000 | #Constraints: 67985 2388.47/2394.47 c #Conflicts: 552000 | #Constraints: 68986 2388.47/2394.47 c #Conflicts: 553000 | #Constraints: 69986 2388.47/2394.47 c #Conflicts: 554000 | #Constraints: 70987 2388.47/2394.47 c #Conflicts: 555000 | #Constraints: 71987 2388.47/2394.47 c #Conflicts: 556000 | #Constraints: 72987 2388.47/2394.47 c #Conflicts: 557000 | #Constraints: 73987 2388.47/2394.47 c #Conflicts: 558000 | #Constraints: 74987 2388.47/2394.47 c #Conflicts: 559000 | #Constraints: 75987 2388.47/2394.47 c #Conflicts: 560000 | #Constraints: 76987 2388.47/2394.47 c #Conflicts: 561000 | #Constraints: 77987 2388.47/2394.47 c #Conflicts: 562000 | #Constraints: 78987 2388.47/2394.47 c #Conflicts: 563000 | #Constraints: 79987 2388.47/2394.47 c #Conflicts: 564000 | #Constraints: 80987 2388.47/2394.47 c #Conflicts: 565000 | #Constraints: 81987 2388.47/2394.47 c #Conflicts: 566000 | #Constraints: 82987 2388.47/2394.47 c #Conflicts: 567000 | #Constraints: 83987 2388.47/2394.47 c INPROCESSING 2388.47/2394.47 c GARBAGE COLLECT 2388.47/2394.47 c rational objective 146 2500.61/2506.85 c #Conflicts: 568000 | #Constraints: 43792 2500.61/2506.85 c #Conflicts: 569000 | #Constraints: 44792 2500.61/2506.85 c #Conflicts: 570000 | #Constraints: 45792 2500.61/2506.85 c #Conflicts: 571000 | #Constraints: 46792 2500.61/2506.85 c #Conflicts: 572000 | #Constraints: 47792 2500.61/2506.85 c #Conflicts: 573000 | #Constraints: 48792 2500.61/2506.85 c #Conflicts: 574000 | #Constraints: 49792 2500.61/2506.85 c #Conflicts: 575000 | #Constraints: 50792 2500.61/2506.85 c #Conflicts: 576000 | #Constraints: 51792 2500.61/2506.85 c #Conflicts: 577000 | #Constraints: 52792 2500.61/2506.85 c #Conflicts: 578000 | #Constraints: 53792 2500.61/2506.85 c #Conflicts: 579000 | #Constraints: 54792 2500.61/2506.85 c bounds 187 >= 146 @ 2450.86 2500.61/2506.85 c #Conflicts: 580000 | #Constraints: 55793 2500.61/2506.85 c #Conflicts: 581000 | #Constraints: 56794 2500.61/2506.85 c bounds 186 >= 146 @ 2461.63 2500.61/2506.85 c #Conflicts: 582000 | #Constraints: 57795 2500.61/2506.85 c #Conflicts: 583000 | #Constraints: 58796 2500.61/2506.85 c #Conflicts: 584000 | #Constraints: 59796 2500.61/2506.85 c #Conflicts: 585000 | #Constraints: 60796 2500.61/2506.85 c #Conflicts: 586000 | #Constraints: 61796 2500.61/2506.85 c INPROCESSING 2500.61/2506.85 c GARBAGE COLLECT 2500.61/2506.85 c rational objective 146 2831.15/2838.11 c #Conflicts: 587000 | #Constraints: 39037 2831.15/2838.11 c #Conflicts: 588000 | #Constraints: 40037 2831.15/2838.11 c #Conflicts: 589000 | #Constraints: 41037 2831.15/2838.11 c #Conflicts: 590000 | #Constraints: 42037 2831.15/2838.11 c #Conflicts: 591000 | #Constraints: 43037 2831.15/2838.11 c #Conflicts: 592000 | #Constraints: 44037 2831.15/2838.11 c #Conflicts: 593000 | #Constraints: 45037 2831.15/2838.11 c #Conflicts: 594000 | #Constraints: 46037 2831.15/2838.11 c #Conflicts: 595000 | #Constraints: 47037 2831.15/2838.11 c #Conflicts: 596000 | #Constraints: 48037 2831.15/2838.11 c #Conflicts: 597000 | #Constraints: 49037 2831.15/2838.11 c #Conflicts: 598000 | #Constraints: 50037 2831.15/2838.11 c #Conflicts: 599000 | #Constraints: 51101 2831.15/2838.11 c #Conflicts: 600000 | #Constraints: 52101 2831.15/2838.11 c #Conflicts: 601000 | #Constraints: 53101 2831.15/2838.11 c #Conflicts: 602000 | #Constraints: 54101 2831.15/2838.11 c #Conflicts: 603000 | #Constraints: 55101 2831.15/2838.11 c #Conflicts: 604000 | #Constraints: 56101 2831.15/2838.11 c #Conflicts: 605000 | #Constraints: 57101 2831.15/2838.11 c #Conflicts: 606000 | #Constraints: 58101 2831.15/2838.11 c #Conflicts: 607000 | #Constraints: 59101 2831.15/2838.11 c #Conflicts: 608000 | #Constraints: 60101 2831.15/2838.11 c #Conflicts: 609000 | #Constraints: 61101 2831.15/2838.11 c #Conflicts: 610000 | #Constraints: 62101 2831.15/2838.11 c #Conflicts: 611000 | #Constraints: 63101 2831.15/2838.11 c #Conflicts: 612000 | #Constraints: 64101 2831.15/2838.11 c #Conflicts: 613000 | #Constraints: 65101 2831.15/2838.11 c #Conflicts: 614000 | #Constraints: 66101 2831.15/2838.11 c #Conflicts: 615000 | #Constraints: 67101 2831.15/2838.11 c #Conflicts: 616000 | #Constraints: 68101 2831.15/2838.11 c #Conflicts: 617000 | #Constraints: 69101 2831.15/2838.11 c #Conflicts: 618000 | #Constraints: 70101 2831.15/2838.11 c #Conflicts: 619000 | #Constraints: 71101 2831.15/2838.11 c #Conflicts: 620000 | #Constraints: 72101 2831.15/2838.11 c #Conflicts: 621000 | #Constraints: 73101 2831.15/2838.11 c #Conflicts: 622000 | #Constraints: 74101 2831.15/2838.11 c #Conflicts: 623000 | #Constraints: 75101 2831.15/2838.11 c #Conflicts: 624000 | #Constraints: 76101 2831.15/2838.11 c #Conflicts: 625000 | #Constraints: 77101 2831.15/2838.11 c #Conflicts: 626000 | #Constraints: 78101 2831.15/2838.11 c #Conflicts: 627000 | #Constraints: 79101 2831.15/2838.11 c #Conflicts: 628000 | #Constraints: 80101 2831.15/2838.11 c #Conflicts: 629000 | #Constraints: 81101 2831.15/2838.11 c #Conflicts: 630000 | #Constraints: 82101 2831.15/2838.11 c #Conflicts: 631000 | #Constraints: 83101 2831.15/2838.11 c #Conflicts: 632000 | #Constraints: 84101 2831.15/2838.11 c #Conflicts: 633000 | #Constraints: 85101 2831.15/2838.11 c #Conflicts: 634000 | #Constraints: 86101 2831.15/2838.11 c #Conflicts: 635000 | #Constraints: 87101 2831.15/2838.11 c #Conflicts: 636000 | #Constraints: 88101 2831.15/2838.11 c #Conflicts: 637000 | #Constraints: 89101 2831.15/2838.11 c #Conflicts: 638000 | #Constraints: 90101 2831.15/2838.11 c #Conflicts: 639000 | #Constraints: 91101 2831.15/2838.11 c #Conflicts: 640000 | #Constraints: 92101 2831.15/2838.11 c INPROCESSING 2831.15/2838.11 c GARBAGE COLLECT 2831.15/2838.11 c rational objective 146 3092.63/3100.28 c #Conflicts: 641000 | #Constraints: 47703 3092.63/3100.28 c #Conflicts: 642000 | #Constraints: 48703 3092.63/3100.28 c #Conflicts: 643000 | #Constraints: 49703 3092.63/3100.28 c #Conflicts: 644000 | #Constraints: 50703 3092.63/3100.28 c #Conflicts: 645000 | #Constraints: 51703 3092.63/3100.28 c #Conflicts: 646000 | #Constraints: 52703 3092.63/3100.28 c #Conflicts: 647000 | #Constraints: 53703 3092.63/3100.28 c #Conflicts: 648000 | #Constraints: 54703 3092.63/3100.28 c #Conflicts: 649000 | #Constraints: 55703 3092.63/3100.28 c #Conflicts: 650000 | #Constraints: 56703 3092.63/3100.28 c #Conflicts: 651000 | #Constraints: 57703 3092.63/3100.28 c #Conflicts: 652000 | #Constraints: 58703 3092.63/3100.28 c #Conflicts: 653000 | #Constraints: 59703 3092.63/3100.28 c #Conflicts: 654000 | #Constraints: 60703 3092.63/3100.28 c #Conflicts: 655000 | #Constraints: 61703 3092.63/3100.28 c #Conflicts: 656000 | #Constraints: 62703 3092.63/3100.28 c #Conflicts: 657000 | #Constraints: 63703 3092.63/3100.28 c #Conflicts: 658000 | #Constraints: 64703 3092.63/3100.28 c #Conflicts: 659000 | #Constraints: 65703 3092.63/3100.28 c #Conflicts: 660000 | #Constraints: 66703 3092.63/3100.28 c #Conflicts: 661000 | #Constraints: 67703 3092.63/3100.28 c INPROCESSING 3092.63/3100.28 c GARBAGE COLLECT 3092.63/3100.28 c rational objective 146 3600.06/3608.80 c 3600.06/3608.80 s SATISFIABLE 3600.06/3608.80 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 3600.06/3608.80 c #Conflicts: 662000 | #Constraints: 42125 3600.06/3608.80 c #Conflicts: 663000 | #Constraints: 43125 3600.06/3608.80 c #Conflicts: 664000 | #Constraints: 44125 3600.06/3608.80 c #Conflicts: 665000 | #Constraints: 45125 3600.06/3608.80 c #Conflicts: 666000 | #Constraints: 46125 3600.06/3608.80 c #Conflicts: 667000 | #Constraints: 47125 3600.06/3608.80 c #Conflicts: 668000 | #Constraints: 48125 3600.06/3608.80 c #Conflicts: 669000 | #Constraints: 49125 3600.06/3608.80 c #Conflicts: 670000 | #Constraints: 50125 3600.06/3608.80 c #Conflicts: 671000 | #Constraints: 51125 3600.06/3608.80 c #Conflicts: 672000 | #Constraints: 52125 3600.06/3608.80 c #Conflicts: 673000 | #Constraints: 53125 3600.06/3608.80 c #Conflicts: 674000 | #Constraints: 54125 3600.06/3608.80 c #Conflicts: 675000 | #Constraints: 55125 3600.06/3608.80 c #Conflicts: 676000 | #Constraints: 56125 3600.06/3608.80 c #Conflicts: 677000 | #Constraints: 57125 3600.06/3608.80 c #Conflicts: 678000 | #Constraints: 58125 3600.06/3608.80 c #Conflicts: 679000 | #Constraints: 59125 3600.06/3608.80 c #Conflicts: 680000 | #Constraints: 60125 3600.06/3608.80 c #Conflicts: 681000 | #Constraints: 61125 3600.06/3608.80 c #Conflicts: 682000 | #Constraints: 62125 3600.06/3608.80 c #Conflicts: 683000 | #Constraints: 63125 3600.06/3608.80 c #Conflicts: 684000 | #Constraints: 64125 3600.06/3608.80 c #Conflicts: 685000 | #Constraints: 65125 3600.06/3608.80 c #Conflicts: 686000 | #Constraints: 66125 3600.06/3608.80 c #Conflicts: 687000 | #Constraints: 67125 3600.06/3608.80 c #Conflicts: 688000 | #Constraints: 68125 3600.06/3608.80 c #Conflicts: 689000 | #Constraints: 69125 3600.06/3608.80 c #Conflicts: 690000 | #Constraints: 70125 3600.06/3608.80 c #Conflicts: 691000 | #Constraints: 71125 3600.06/3608.80 c #Conflicts: 692000 | #Constraints: 72125 3600.06/3608.80 c #Conflicts: 693000 | #Constraints: 73125 3600.06/3608.80 c #Conflicts: 694000 | #Constraints: 74125 3600.06/3608.80 c #Conflicts: 695000 | #Constraints: 75125 3600.06/3608.80 c #Conflicts: 696000 | #Constraints: 76125 3600.06/3608.80 c #Conflicts: 697000 | #Constraints: 77125 3600.06/3608.80 c #Conflicts: 698000 | #Constraints: 78125 3600.06/3608.80 c #Conflicts: 699000 | #Constraints: 79125 3600.06/3608.80 c #Conflicts: 700000 | #Constraints: 80125 3600.06/3608.80 c #Conflicts: 701000 | #Constraints: 81125 3600.06/3608.80 c #Conflicts: 702000 | #Constraints: 82125 3600.06/3608.80 c #Conflicts: 703000 | #Constraints: 83125 3600.06/3608.80 c #Conflicts: 704000 | #Constraints: 84125
OK 186
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: 64059 MiB (61938 MiB free)
memory of node 1: 64510 MiB (63638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429405-1721048407/watcher-4429405-1721048407 -o /tmp/evaluation-result-4429405-1721048407/solver-4429405-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793283 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429405-1721048407.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=793314, runsolver pid=793311
[startup+0.100097 s]*
/proc/loadavg: 1.25 2.37 2.84 7/245 793345
/proc/meminfo: memFree=128583328/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=38536 memory=8704 CPUtime=0.1 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 661 0 1 0 10 0 0 0 20 0 1 0 157000322 39460864 2176 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 9634 2176 1725 922 0 1586 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 8704 KiB
[startup+0.213148 s]*
/proc/loadavg: 1.25 2.37 2.84 5/245 793345
/proc/meminfo: memFree=128581836/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=38708 memory=8704 CPUtime=0.21 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 685 0 1 0 21 0 0 0 20 0 1 0 157000322 39636992 2176 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 9677 2176 1725 922 0 1629 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38708 KiB
Current children cumulated memory: 8704 KiB
[startup+0.312138 s]*
/proc/loadavg: 1.25 2.37 2.84 5/245 793345
/proc/meminfo: memFree=128579696/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=39368 memory=10132 CPUtime=0.31 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 1005 0 1 0 30 1 0 0 20 0 1 0 157000322 40312832 2533 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 9842 2533 1755 922 0 1794 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39368 KiB
Current children cumulated memory: 10132 KiB
[startup+0.700282 s]
/proc/loadavg: 1.25 2.37 2.84 5/245 793345
/proc/meminfo: memFree=128576544/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=41768 memory=15288 CPUtime=0.69 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 1735 0 1 0 61 8 0 0 20 0 1 0 157000322 42770432 3822 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 10442 3822 1811 922 0 2394 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 15288 KiB
[startup+1.50027 s]
/proc/loadavg: 1.47 2.39 2.85 5/245 793345
/proc/meminfo: memFree=128552696/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=44404 memory=17988 CPUtime=1.49 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 2437 0 1 0 137 12 0 0 20 0 1 0 157000322 45469696 4497 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 11101 4497 1827 922 0 3053 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44404 KiB
Current children cumulated memory: 17988 KiB
[startup+3.11273 s]
/proc/loadavg: 1.47 2.39 2.85 5/245 793345
/proc/meminfo: memFree=128526784/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=47052 memory=21416 CPUtime=3.09 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 3240 0 1 0 289 20 0 0 20 0 1 0 157000322 48181248 5354 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 11763 5354 1827 922 0 3715 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 21416 KiB
[startup+6.30028 s]
/proc/loadavg: 1.67 2.42 2.86 5/245 793345
/proc/meminfo: memFree=128502604/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=53352 memory=27184 CPUtime=6.27 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 4719 0 1 0 594 33 0 0 20 0 1 0 157000322 54632448 6796 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 13338 6796 1827 922 0 5290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53352 KiB
Current children cumulated memory: 27184 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.45 2.86 5/245 793347
/proc/meminfo: memFree=128454372/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=73120 memory=41096 CPUtime=12.65 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 7211 0 1 0 1212 53 0 0 20 0 1 0 157000322 74874880 10274 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 18280 10274 1827 922 0 10232 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73120 KiB
Current children cumulated memory: 41096 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.50 2.88 5/244 793348
/proc/meminfo: memFree=128379948/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=93976 memory=57392 CPUtime=25.41 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 9902 0 1 0 2457 84 0 0 20 0 1 0 157000322 96231424 14348 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 23494 14348 1898 922 0 15446 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 93976 KiB
Current children cumulated memory: 57392 KiB
[startup+51.1127 s]
/proc/loadavg: 2.96 2.66 2.92 5/244 793364
/proc/meminfo: memFree=128310364/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=99152 memory=61432 CPUtime=50.94 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 11192 0 1 0 4966 128 0 0 20 0 1 0 157000322 101531648 15358 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 24788 15358 1898 922 0 16740 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 99152 KiB
Current children cumulated memory: 61432 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.90 2.99 5/243 793372
/proc/meminfo: memFree=128240412/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=145104 memory=104620 CPUtime=101.98 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 17418 0 1 0 10007 191 0 0 20 0 1 0 157000322 148586496 26155 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 36276 26155 1898 922 0 28228 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 145104 KiB
Current children cumulated memory: 104620 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.13 3.06 5/243 793383
/proc/meminfo: memFree=128120452/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=200840 memory=140376 CPUtime=161.79 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 23190 0 1 0 15939 240 0 0 20 0 1 0 157000322 205660160 35094 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 50210 35094 1898 922 0 42162 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 200840 KiB
Current children cumulated memory: 140376 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.31 3.13 5/241 793393
/proc/meminfo: memFree=128079116/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=201212 memory=151764 CPUtime=221.63 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 23360 0 1 0 21877 286 0 0 20 0 1 0 157000322 206041088 37941 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 50303 37941 1898 922 0 42255 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 201212 KiB
Current children cumulated memory: 151764 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.45 3.19 5/241 793404
/proc/meminfo: memFree=128039760/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=206276 memory=155248 CPUtime=281.49 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 24241 0 1 0 27824 325 0 0 20 0 1 0 157000322 211226624 38812 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 51569 38812 1898 922 0 43521 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 206276 KiB
Current children cumulated memory: 155248 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.61 3.27 5/241 793415
/proc/meminfo: memFree=127939312/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=215464 memory=167428 CPUtime=341.36 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 25833 0 1 0 33767 369 0 0 20 0 1 0 157000322 220635136 41857 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 53866 41857 1898 922 0 45818 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 215464 KiB
Current children cumulated memory: 167428 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.70 3.32 5/241 793425
/proc/meminfo: memFree=127857036/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=225216 memory=179868 CPUtime=401.22 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 27473 0 1 0 39726 396 0 0 20 0 1 0 157000322 230621184 44967 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 56304 44967 1898 922 0 48256 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 225216 KiB
Current children cumulated memory: 179868 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.79 3.38 5/241 793435
/proc/meminfo: memFree=127846596/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=225216 memory=179932 CPUtime=461.09 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 27537 0 1 0 45673 436 0 0 20 0 1 0 157000322 230621184 44983 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 56304 44983 1898 922 0 48256 0
################
# More data... #
################
Current children cumulated memory: 350556 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/241 794595
/proc/meminfo: memFree=127105392/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=363016 CPUtime=2855.28 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53094 0 1 0 284319 1209 0 0 20 0 1 0 157000322 490516480 90754 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 90754 1898 922 0 111707 0
Current children cumulated CPU time: 2855.28 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 363016 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/241 794605
/proc/meminfo: memFree=127084564/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=363016 CPUtime=2915.14 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53206 0 1 0 290295 1219 0 0 20 0 1 0 157000322 490516480 90754 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 90754 1898 922 0 111707 0
Current children cumulated CPU time: 2915.14 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 363016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/241 794617
/proc/meminfo: memFree=127067868/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=363016 CPUtime=2975 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53321 0 1 0 296272 1228 0 0 20 0 1 0 157000322 490516480 90754 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 90754 1898 922 0 111707 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 363016 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/243 794631
/proc/meminfo: memFree=127061168/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=363016 CPUtime=3034.87 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53436 0 1 0 302247 1240 0 0 20 0 1 0 157000322 490516480 90754 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 90754 1898 922 0 111707 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 363016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 794641
/proc/meminfo: memFree=127059540/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=363672 CPUtime=3094.73 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53554 0 1 0 308224 1249 0 0 20 0 1 0 157000322 490516480 90918 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 90918 1898 922 0 111707 0
Current children cumulated CPU time: 3094.73 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 363672 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/243 794652
/proc/meminfo: memFree=127041588/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=381356 CPUtime=3154.6 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53684 0 1 0 314196 1264 0 0 20 0 1 0 157000322 490516480 95339 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 95339 1898 922 0 111707 0
Current children cumulated CPU time: 3154.6 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 381356 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/243 794662
/proc/meminfo: memFree=127041100/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=381356 CPUtime=3214.46 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53817 0 1 0 320170 1276 0 0 20 0 1 0 157000322 490516480 95339 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 95339 1898 922 0 111707 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 381356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/243 794673
/proc/meminfo: memFree=127040664/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=381368 CPUtime=3274.32 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 53949 0 1 0 326144 1288 0 0 20 0 1 0 157000322 490516480 95342 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 95342 1898 922 0 111707 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 381368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.11 5/243 795067
/proc/meminfo: memFree=127040120/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=381368 CPUtime=3334.19 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 54082 0 1 0 332119 1300 0 0 20 0 1 0 157000322 490516480 95342 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 95342 1898 922 0 111707 0
Current children cumulated CPU time: 3334.19 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 381368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 795077
/proc/meminfo: memFree=127037632/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479020 memory=381368 CPUtime=3394.05 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 54215 0 1 0 338094 1311 0 0 20 0 1 0 157000322 490516480 95342 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119755 95342 1898 922 0 111707 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 479020 KiB
Current children cumulated memory: 381368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 795087
/proc/meminfo: memFree=127015772/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479632 memory=381572 CPUtime=3453.91 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 54417 0 1 0 344071 1320 0 0 20 0 1 0 157000322 491143168 95393 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119908 95393 1898 922 0 111860 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 479632 KiB
Current children cumulated memory: 381572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/243 795265
/proc/meminfo: memFree=127008960/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=479888 memory=381644 CPUtime=3513.76 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 54588 0 1 0 350046 1330 0 0 20 0 1 0 157000322 491405312 95411 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 119972 95411 1898 922 0 111924 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 479888 KiB
Current children cumulated memory: 381644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/243 795276
/proc/meminfo: memFree=127002112/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=480656 memory=382192 CPUtime=3573.62 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 54829 0 1 0 356022 1340 0 0 20 0 1 0 157000322 492191744 95548 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 120164 95548 1898 922 0 112116 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 480656 KiB
Current children cumulated memory: 382192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 795283
/proc/meminfo: memFree=127001148/131655788 swapFree=131071996/131071996
[pid=793314] ppid=793311 vsize=480912 memory=382328 CPUtime=3600.06 cores=4,6
/proc/793314/stat : 793314 (roundingsat) R 793311 793314 793272 0 -1 4194304 54879 0 1 0 358663 1343 0 0 20 0 1 0 157000322 492453888 95582 134679101440 4194304 7968869 140729534107280 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 19238912 140729534108606 140729534108770 140729534108770 140729534115785 0
/proc/793314/statm: 120228 95582 1898 922 0 112180 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 480912 KiB
Current children cumulated memory: 382328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 793314 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3586.63 s, system=13.4381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3608.8
CPU time (s): 3600.07
CPU user time (s): 3586.63
CPU system time (s): 13.4381
CPU usage (%): 99.758
Max. virtual memory (cumulated for all children) (KiB): 480912
Max. memory (cumulated for all children) (KiB): 382328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.63
system time used= 13.4381
maximum resident set size= 382328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54888
page faults= 1
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 2733
# summary of solver processes directly reported to runsolver:
# pid: 793314
# total CPU time (s): 3600.07
# total CPU user time (s): 3586.63
# total CPU system time (s): 13.4381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9898 second user time and 35.0021 second system time
The end
Begin job on nodeC009 at 2024-07-15 15:00:19 IDJOB=4429405 IDBENCH=147540 IDSOLVER=3051 FILE ID=nodeC009/4429405-1721048407 RUNJOBID= nodeC009-1721048419-793283 SLURM_JOB_ID= 7505463 Free space on /tmp= 723768 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429405-1721048407/watcher-4429405-1721048407 -o /tmp/evaluation-result-4429405-1721048407/solver-4429405-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793283 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429405-1721048407.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=1422166639 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.339 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.329 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.381 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.324 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3232.686 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.319 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.337 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128607452 kB MemAvailable: 129925612 kB Buffers: 364736 kB Cached: 1782148 kB SwapCached: 0 kB Active: 579256 kB Inactive: 1918860 kB Active(anon): 1360 kB Inactive(anon): 387568 kB Active(file): 577896 kB Inactive(file): 1531292 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5224 kB Writeback: 0 kB AnonPages: 351064 kB Mapped: 103564 kB Shmem: 37700 kB KReclaimable: 98008 kB Slab: 194392 kB SReclaimable: 98008 kB SUnreclaim: 96384 kB KernelStack: 3680 kB PageTables: 9180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 731384 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51424 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 181064 kB DirectMap2M: 17549312 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723748 MiB End job on nodeC009 at 2024-07-15 16:00:28