| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 193 | 3600.11 | 3609.41 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 0daa95194506fa379fbbdb25b381edfb |
| 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 | 180 |
| 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 | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 473 #constraints 473 0.69/0.74 c bounds 474 >= 0 @ 0.007846 0.69/0.74 c bounds 230 >= 0 @ 0.410474 0.69/0.74 c bounds 230 >= 1 @ 0.410724 0.69/0.74 c bounds 230 >= 2 @ 0.410903 0.69/0.74 c bounds 230 >= 3 @ 0.411073 0.69/0.74 c bounds 230 >= 4 @ 0.411239 0.69/0.74 c bounds 230 >= 5 @ 0.411408 0.69/0.74 c bounds 230 >= 6 @ 0.411596 0.69/0.74 c bounds 230 >= 7 @ 0.411784 0.69/0.74 c bounds 230 >= 8 @ 0.411981 0.69/0.74 c bounds 230 >= 9 @ 0.412172 0.69/0.74 c bounds 230 >= 10 @ 0.412379 0.69/0.74 c bounds 230 >= 11 @ 0.412463 0.69/0.74 c bounds 230 >= 12 @ 0.412463 0.69/0.74 c bounds 230 >= 13 @ 0.412463 0.69/0.74 c bounds 230 >= 14 @ 0.412463 0.69/0.74 c bounds 230 >= 15 @ 0.412664 0.69/0.74 c bounds 230 >= 16 @ 0.412953 0.69/0.74 c bounds 230 >= 17 @ 0.413239 0.69/0.74 c bounds 230 >= 18 @ 0.413543 0.69/0.74 c bounds 230 >= 19 @ 0.413834 0.69/0.74 c bounds 230 >= 20 @ 0.414139 0.69/0.74 c bounds 230 >= 21 @ 0.414464 0.69/0.74 c bounds 230 >= 22 @ 0.414795 0.69/0.74 c bounds 230 >= 23 @ 0.41512 0.69/0.74 c bounds 230 >= 24 @ 0.415457 0.69/0.74 c bounds 230 >= 25 @ 0.415785 0.69/0.74 c bounds 230 >= 26 @ 0.416115 0.69/0.74 c bounds 230 >= 27 @ 0.416432 0.69/0.74 c bounds 229 >= 27 @ 0.432409 0.69/0.74 c bounds 229 >= 28 @ 0.432743 0.69/0.74 c bounds 229 >= 29 @ 0.433086 0.69/0.74 c bounds 229 >= 30 @ 0.433429 0.69/0.74 c bounds 229 >= 31 @ 0.433742 0.69/0.74 c bounds 229 >= 32 @ 0.434058 0.69/0.74 c bounds 229 >= 33 @ 0.434374 0.69/0.74 c bounds 229 >= 34 @ 0.434706 0.69/0.74 c bounds 229 >= 35 @ 0.43504 0.69/0.74 c bounds 229 >= 36 @ 0.435393 0.69/0.74 c bounds 229 >= 37 @ 0.435742 0.69/0.74 c bounds 229 >= 38 @ 0.436205 0.69/0.74 c bounds 229 >= 39 @ 0.436905 0.69/0.74 c bounds 229 >= 40 @ 0.437288 0.69/0.74 c bounds 229 >= 41 @ 0.437348 0.69/0.74 c bounds 229 >= 42 @ 0.437348 0.69/0.74 c bounds 229 >= 43 @ 0.437429 0.69/0.74 c bounds 229 >= 44 @ 0.437796 0.69/0.74 c bounds 229 >= 45 @ 0.438152 0.69/0.74 c bounds 229 >= 46 @ 0.438501 0.69/0.74 c bounds 229 >= 47 @ 0.438887 0.69/0.74 c bounds 229 >= 48 @ 0.439275 0.69/0.74 c bounds 229 >= 49 @ 0.43966 0.69/0.74 c bounds 229 >= 50 @ 0.440041 0.69/0.74 c bounds 229 >= 51 @ 0.440336 0.69/0.74 c bounds 229 >= 52 @ 0.440336 0.69/0.74 c bounds 229 >= 53 @ 0.440336 0.69/0.74 c bounds 229 >= 54 @ 0.440336 0.69/0.74 c bounds 229 >= 55 @ 0.440336 0.69/0.74 c bounds 229 >= 56 @ 0.440429 0.69/0.74 c bounds 229 >= 57 @ 0.440812 0.69/0.74 c bounds 229 >= 58 @ 0.441194 0.69/0.74 c bounds 229 >= 59 @ 0.441333 0.69/0.74 c bounds 229 >= 60 @ 0.441333 0.69/0.74 c bounds 229 >= 61 @ 0.441416 0.69/0.74 c bounds 229 >= 62 @ 0.441816 0.69/0.74 c bounds 229 >= 63 @ 0.442205 0.69/0.74 c bounds 229 >= 64 @ 0.442329 0.69/0.74 c bounds 229 >= 65 @ 0.442329 0.69/0.74 c bounds 229 >= 66 @ 0.442417 0.69/0.74 c bounds 229 >= 67 @ 0.442811 0.69/0.74 c bounds 229 >= 68 @ 0.443191 0.69/0.74 c bounds 229 >= 69 @ 0.443326 0.69/0.74 c bounds 229 >= 70 @ 0.443326 0.69/0.74 c bounds 229 >= 71 @ 0.443423 0.69/0.74 c bounds 229 >= 72 @ 0.443834 0.69/0.74 c bounds 229 >= 73 @ 0.444223 0.69/0.74 c bounds 229 >= 74 @ 0.444322 0.69/0.74 c bounds 229 >= 75 @ 0.444322 0.69/0.74 c bounds 229 >= 76 @ 0.444324 0.69/0.74 c bounds 229 >= 77 @ 0.444324 0.69/0.74 c bounds 229 >= 78 @ 0.444359 0.69/0.74 c bounds 229 >= 79 @ 0.444789 0.69/0.74 c bounds 229 >= 80 @ 0.445206 0.69/0.74 c bounds 229 >= 81 @ 0.44532 0.69/0.74 c bounds 229 >= 82 @ 0.44532 0.69/0.74 c bounds 229 >= 83 @ 0.445531 0.69/0.74 c bounds 229 >= 84 @ 0.445977 0.69/0.74 c bounds 229 >= 85 @ 0.446424 0.69/0.74 c bounds 229 >= 86 @ 0.446882 0.69/0.74 c bounds 229 >= 87 @ 0.447361 0.69/0.74 c bounds 229 >= 88 @ 0.447862 0.69/0.74 c bounds 229 >= 89 @ 0.448304 0.69/0.74 c bounds 229 >= 90 @ 0.448761 0.69/0.74 c bounds 229 >= 91 @ 0.449229 0.69/0.74 c bounds 229 >= 92 @ 0.4493 0.69/0.74 c bounds 229 >= 93 @ 0.4493 0.69/0.74 c bounds 229 >= 94 @ 0.449653 0.69/0.74 c bounds 229 >= 95 @ 0.450135 0.69/0.74 c bounds 229 >= 96 @ 0.450626 0.69/0.74 c bounds 229 >= 97 @ 0.451128 0.69/0.74 c bounds 229 >= 98 @ 0.451618 0.69/0.74 c bounds 229 >= 99 @ 0.452145 0.69/0.74 c bounds 229 >= 100 @ 0.452658 0.69/0.74 c bounds 229 >= 101 @ 0.45315 0.69/0.74 c bounds 229 >= 102 @ 0.453636 0.69/0.74 c bounds 229 >= 103 @ 0.45411 0.69/0.74 c bounds 229 >= 104 @ 0.454615 0.69/0.74 c bounds 229 >= 105 @ 0.455189 0.69/0.74 c bounds 229 >= 106 @ 0.455273 0.69/0.74 c bounds 229 >= 107 @ 0.455273 0.69/0.74 c bounds 229 >= 108 @ 0.455275 0.69/0.74 c bounds 229 >= 109 @ 0.455313 0.69/0.74 c bounds 229 >= 110 @ 0.45583 0.69/0.74 c bounds 229 >= 111 @ 0.456331 0.69/0.74 c bounds 229 >= 112 @ 0.456868 0.69/0.74 c bounds 229 >= 113 @ 0.457416 0.69/0.74 c bounds 229 >= 114 @ 0.457948 0.69/0.74 c bounds 229 >= 115 @ 0.458262 0.69/0.74 c bounds 229 >= 116 @ 0.458262 0.69/0.74 c bounds 229 >= 117 @ 0.458263 0.69/0.74 c bounds 229 >= 118 @ 0.458263 0.69/0.74 c bounds 229 >= 119 @ 0.458605 0.69/0.74 c bounds 228 >= 119 @ 0.665791 0.69/0.74 c bounds 228 >= 120 @ 0.666609 0.69/0.74 c bounds 228 >= 121 @ 0.667309 0.69/0.74 c bounds 228 >= 122 @ 0.668112 0.69/0.74 c bounds 228 >= 123 @ 0.668204 0.69/0.74 c bounds 228 >= 124 @ 0.668206 0.69/0.74 c bounds 228 >= 125 @ 0.668294 0.69/0.74 c bounds 228 >= 126 @ 0.66895 0.69/0.74 c bounds 228 >= 127 @ 0.669801 0.69/0.74 c bounds 228 >= 128 @ 0.670721 0.69/0.74 c bounds 228 >= 129 @ 0.671592 0.69/0.74 c bounds 228 >= 130 @ 0.672588 0.69/0.74 c bounds 228 >= 131 @ 0.673574 0.69/0.74 c bounds 228 >= 132 @ 0.674632 0.69/0.74 c bounds 228 >= 133 @ 0.676199 1.48/1.59 c bounds 228 >= 134 @ 0.678069 1.48/1.59 c bounds 228 >= 135 @ 0.681141 1.48/1.59 c bounds 228 >= 136 @ 0.693093 1.48/1.59 c bounds 228 >= 137 @ 0.696678 1.48/1.59 c bounds 228 >= 138 @ 0.715243 1.48/1.59 c bounds 228 >= 139 @ 0.743493 1.48/1.59 c #Conflicts: 1000 | #Constraints: 2170 1.48/1.59 c bounds 228 >= 140 @ 0.839442 1.48/1.59 c bounds 227 >= 140 @ 0.888959 1.48/1.59 c bounds 226 >= 140 @ 0.903877 1.48/1.59 c #Conflicts: 2000 | #Constraints: 3217 1.48/1.59 c INPROCESSING 1.48/1.59 c GARBAGE COLLECT 1.48/1.59 c rational objective 140.89 2.38/2.42 c bounds 225 >= 140 @ 1.61639 2.38/2.42 c bounds 224 >= 140 @ 1.65295 2.38/2.42 c bounds 223 >= 140 @ 1.66192 2.38/2.42 c bounds 222 >= 140 @ 1.73413 2.38/2.42 c bounds 221 >= 140 @ 1.73905 2.38/2.42 c #Conflicts: 3000 | #Constraints: 3117 2.38/2.42 c bounds 220 >= 140 @ 1.83257 2.38/2.42 c bounds 220 >= 141 @ 2.0065 2.38/2.42 c #Conflicts: 4000 | #Constraints: 4169 2.38/2.42 c INPROCESSING 2.38/2.42 c GARBAGE COLLECT 2.38/2.42 c rational objective 141 3.09/3.16 c bounds 219 >= 141 @ 2.38354 3.09/3.16 c #Conflicts: 5000 | #Constraints: 3559 3.09/3.16 c #Conflicts: 6000 | #Constraints: 4559 3.09/3.16 c bounds 218 >= 141 @ 2.85237 3.09/3.16 c INPROCESSING 3.09/3.16 c GARBAGE COLLECT 3.09/3.16 c rational objective 141 4.09/4.17 c #Conflicts: 7000 | #Constraints: 3588 4.09/4.17 c #Conflicts: 8000 | #Constraints: 4588 4.09/4.17 c bounds 218 >= 142 @ 3.60175 4.09/4.17 c bounds 217 >= 142 @ 3.66495 4.09/4.17 c bounds 216 >= 142 @ 3.67482 4.09/4.17 c #Conflicts: 9000 | #Constraints: 5635 4.09/4.17 c INPROCESSING 4.09/4.17 c GARBAGE COLLECT 4.09/4.17 c rational objective 142 5.27/5.33 c bounds 215 >= 142 @ 4.29828 5.27/5.33 c #Conflicts: 10000 | #Constraints: 4321 5.27/5.33 c bounds 214 >= 142 @ 4.36841 5.27/5.33 c #Conflicts: 11000 | #Constraints: 5322 5.27/5.33 c #Conflicts: 12000 | #Constraints: 6322 5.27/5.33 c INPROCESSING 5.27/5.33 c GARBAGE COLLECT 5.27/5.33 c rational objective 142 6.37/6.41 c bounds 213 >= 142 @ 5.23175 6.37/6.41 c bounds 212 >= 142 @ 5.36433 6.37/6.41 c #Conflicts: 13000 | #Constraints: 4828 6.37/6.41 c #Conflicts: 14000 | #Constraints: 5828 6.37/6.41 c #Conflicts: 15000 | #Constraints: 6828 6.37/6.41 c INPROCESSING 6.37/6.41 c GARBAGE COLLECT 6.37/6.41 c rational objective 142 9.16/9.20 c #Conflicts: 16000 | #Constraints: 5025 9.16/9.20 c #Conflicts: 17000 | #Constraints: 6025 9.16/9.20 c bounds 212 >= 143 @ 7.37677 9.16/9.20 c #Conflicts: 18000 | #Constraints: 7082 9.16/9.20 c INPROCESSING 9.16/9.20 c GARBAGE COLLECT 9.16/9.20 c bounds 211 >= 143 @ 7.6216 9.16/9.20 c bounds 210 >= 143 @ 7.62609 9.16/9.20 c #Conflicts: 19000 | #Constraints: 5074 9.16/9.20 c bounds 209 >= 143 @ 7.8312 9.16/9.20 c bounds 208 >= 143 @ 7.99662 9.16/9.20 c #Conflicts: 20000 | #Constraints: 6076 9.16/9.20 c #Conflicts: 21000 | #Constraints: 7076 9.16/9.20 c INPROCESSING 9.16/9.20 c GARBAGE COLLECT 9.16/9.20 c rational objective 143 11.46/11.51 c #Conflicts: 22000 | #Constraints: 4876 11.46/11.51 c #Conflicts: 23000 | #Constraints: 5876 11.46/11.51 c #Conflicts: 24000 | #Constraints: 6877 11.46/11.51 c #Conflicts: 25000 | #Constraints: 7877 11.46/11.51 c INPROCESSING 11.46/11.51 c GARBAGE COLLECT 11.46/11.51 c rational objective 143 20.04/20.15 c #Conflicts: 26000 | #Constraints: 5543 20.04/20.15 c #Conflicts: 27000 | #Constraints: 6543 20.04/20.15 c #Conflicts: 28000 | #Constraints: 7543 20.04/20.15 c #Conflicts: 29000 | #Constraints: 8543 20.04/20.15 c #Conflicts: 30000 | #Constraints: 9543 20.04/20.15 c #Conflicts: 31000 | #Constraints: 10543 20.04/20.15 c #Conflicts: 32000 | #Constraints: 11543 20.04/20.15 c #Conflicts: 33000 | #Constraints: 12543 20.04/20.15 c #Conflicts: 34000 | #Constraints: 13543 20.04/20.15 c #Conflicts: 35000 | #Constraints: 14543 20.04/20.15 c #Conflicts: 36000 | #Constraints: 15543 20.04/20.15 c #Conflicts: 37000 | #Constraints: 16543 20.04/20.15 c #Conflicts: 38000 | #Constraints: 17543 20.04/20.15 c INPROCESSING 20.04/20.15 c GARBAGE COLLECT 20.04/20.15 c rational objective 143 27.02/27.18 c #Conflicts: 39000 | #Constraints: 10411 27.02/27.18 c #Conflicts: 40000 | #Constraints: 11411 27.02/27.18 c #Conflicts: 41000 | #Constraints: 12411 27.02/27.18 c #Conflicts: 42000 | #Constraints: 13411 27.02/27.18 c INPROCESSING 27.02/27.18 c GARBAGE COLLECT 27.02/27.18 c rational objective 143 31.20/31.36 c #Conflicts: 43000 | #Constraints: 7962 31.20/31.36 c #Conflicts: 44000 | #Constraints: 8962 31.20/31.36 c bounds 208 >= 144 @ 27.664 31.20/31.36 c #Conflicts: 45000 | #Constraints: 10004 31.20/31.36 c #Conflicts: 46000 | #Constraints: 11004 31.20/31.36 c #Conflicts: 47000 | #Constraints: 12004 31.20/31.36 c #Conflicts: 48000 | #Constraints: 13004 31.20/31.36 c INPROCESSING 31.20/31.36 c GARBAGE COLLECT 31.20/31.36 c rational objective 144 34.01/34.18 c bounds 207 >= 144 @ 30.4814 34.01/34.18 c #Conflicts: 49000 | #Constraints: 8231 34.01/34.18 c bounds 206 >= 144 @ 31.035 34.01/34.18 c #Conflicts: 50000 | #Constraints: 9232 34.01/34.18 c #Conflicts: 51000 | #Constraints: 10232 34.01/34.18 c bounds 205 >= 144 @ 31.5247 34.01/34.18 c #Conflicts: 52000 | #Constraints: 11233 34.01/34.18 c #Conflicts: 53000 | #Constraints: 12233 34.01/34.18 c INPROCESSING 34.01/34.18 c GARBAGE COLLECT 34.01/34.18 c rational objective 144 52.05/52.23 c #Conflicts: 54000 | #Constraints: 7626 52.05/52.23 c #Conflicts: 55000 | #Constraints: 8626 52.05/52.23 c #Conflicts: 56000 | #Constraints: 9628 52.05/52.23 c #Conflicts: 57000 | #Constraints: 10628 52.05/52.23 c #Conflicts: 58000 | #Constraints: 11628 52.05/52.23 c #Conflicts: 59000 | #Constraints: 12628 52.05/52.23 c #Conflicts: 60000 | #Constraints: 13628 52.05/52.23 c #Conflicts: 61000 | #Constraints: 14628 52.05/52.23 c #Conflicts: 62000 | #Constraints: 15628 52.05/52.23 c #Conflicts: 63000 | #Constraints: 16628 52.05/52.23 c #Conflicts: 64000 | #Constraints: 17628 52.05/52.23 c #Conflicts: 65000 | #Constraints: 18628 52.05/52.23 c #Conflicts: 66000 | #Constraints: 19628 52.05/52.23 c #Conflicts: 67000 | #Constraints: 20628 52.05/52.23 c #Conflicts: 68000 | #Constraints: 21628 52.05/52.23 c bounds 205 >= 145 @ 48.6452 52.05/52.23 c #Conflicts: 69000 | #Constraints: 22670 52.05/52.23 c #Conflicts: 70000 | #Constraints: 23670 52.05/52.23 c bounds 204 >= 145 @ 49.5837 52.05/52.23 c #Conflicts: 71000 | #Constraints: 24671 52.05/52.23 c INPROCESSING 52.05/52.23 c GARBAGE COLLECT 52.05/52.23 c rational objective 145 57.34/57.56 c #Conflicts: 72000 | #Constraints: 13821 57.34/57.56 c #Conflicts: 73000 | #Constraints: 14821 57.34/57.56 c bounds 203 >= 145 @ 52.0465 57.34/57.56 c #Conflicts: 74000 | #Constraints: 15822 57.34/57.56 c bounds 202 >= 145 @ 52.4099 57.34/57.56 c bounds 201 >= 145 @ 52.6728 57.34/57.56 c #Conflicts: 75000 | #Constraints: 16824 57.34/57.56 c bounds 200 >= 145 @ 53.4199 57.34/57.56 c #Conflicts: 76000 | #Constraints: 17825 57.34/57.56 c bounds 199 >= 145 @ 54.2928 57.34/57.56 c #Conflicts: 77000 | #Constraints: 18826 57.34/57.56 c #Conflicts: 78000 | #Constraints: 19826 57.34/57.56 c INPROCESSING 57.34/57.56 c GARBAGE COLLECT 57.34/57.56 c rational objective 145 68.01/68.21 c #Conflicts: 79000 | #Constraints: 11593 68.01/68.21 c #Conflicts: 80000 | #Constraints: 12593 68.01/68.21 c #Conflicts: 81000 | #Constraints: 13593 68.01/68.21 c #Conflicts: 82000 | #Constraints: 14593 68.01/68.21 c #Conflicts: 83000 | #Constraints: 15593 68.01/68.21 c #Conflicts: 84000 | #Constraints: 16593 68.01/68.21 c INPROCESSING 68.01/68.21 c GARBAGE COLLECT 68.01/68.21 c rational objective 145 101.42/101.76 c #Conflicts: 85000 | #Constraints: 9586 101.42/101.76 c #Conflicts: 86000 | #Constraints: 10587 101.42/101.76 c #Conflicts: 87000 | #Constraints: 11587 101.42/101.76 c #Conflicts: 88000 | #Constraints: 12587 101.42/101.76 c #Conflicts: 89000 | #Constraints: 13587 101.42/101.76 c #Conflicts: 90000 | #Constraints: 14587 101.42/101.76 c #Conflicts: 91000 | #Constraints: 15587 101.42/101.76 c #Conflicts: 92000 | #Constraints: 16587 101.42/101.76 c #Conflicts: 93000 | #Constraints: 17587 101.42/101.76 c #Conflicts: 94000 | #Constraints: 18587 101.42/101.76 c #Conflicts: 95000 | #Constraints: 19587 101.42/101.76 c #Conflicts: 96000 | #Constraints: 20587 101.42/101.76 c #Conflicts: 97000 | #Constraints: 21587 101.42/101.76 c #Conflicts: 98000 | #Constraints: 22587 101.42/101.76 c #Conflicts: 99000 | #Constraints: 23587 101.42/101.76 c #Conflicts: 100000 | #Constraints: 24587 101.42/101.76 c #Conflicts: 101000 | #Constraints: 25587 101.42/101.76 c #Conflicts: 102000 | #Constraints: 26587 101.42/101.76 c #Conflicts: 103000 | #Constraints: 27587 101.42/101.76 c #Conflicts: 104000 | #Constraints: 28587 101.42/101.76 c #Conflicts: 105000 | #Constraints: 29587 101.42/101.76 c #Conflicts: 106000 | #Constraints: 30587 101.42/101.76 c #Conflicts: 107000 | #Constraints: 31587 101.42/101.76 c INPROCESSING 101.42/101.76 c GARBAGE COLLECT 101.42/101.76 c rational objective 145 108.60/108.99 c bounds 198 >= 145 @ 99.5796 108.60/108.99 c bounds 197 >= 145 @ 99.59 108.60/108.99 c bounds 196 >= 145 @ 99.6482 108.60/108.99 c #Conflicts: 108000 | #Constraints: 17485 108.60/108.99 c #Conflicts: 109000 | #Constraints: 18485 108.60/108.99 c #Conflicts: 110000 | #Constraints: 19485 108.60/108.99 c bounds 195 >= 145 @ 101.563 108.60/108.99 c #Conflicts: 111000 | #Constraints: 20486 108.60/108.99 c #Conflicts: 112000 | #Constraints: 21486 108.60/108.99 c #Conflicts: 113000 | #Constraints: 22486 108.60/108.99 c #Conflicts: 114000 | #Constraints: 23486 108.60/108.99 c #Conflicts: 115000 | #Constraints: 24486 108.60/108.99 c INPROCESSING 108.60/108.99 c GARBAGE COLLECT 108.60/108.99 c rational objective 145 167.34/167.90 c #Conflicts: 116000 | #Constraints: 13822 167.34/167.90 c #Conflicts: 117000 | #Constraints: 14822 167.34/167.90 c #Conflicts: 118000 | #Constraints: 15822 167.34/167.90 c #Conflicts: 119000 | #Constraints: 16822 167.34/167.90 c #Conflicts: 120000 | #Constraints: 17822 167.34/167.90 c #Conflicts: 121000 | #Constraints: 18822 167.34/167.90 c #Conflicts: 122000 | #Constraints: 19822 167.34/167.90 c #Conflicts: 123000 | #Constraints: 20822 167.34/167.90 c #Conflicts: 124000 | #Constraints: 21822 167.34/167.90 c #Conflicts: 125000 | #Constraints: 22822 167.34/167.90 c #Conflicts: 126000 | #Constraints: 23822 167.34/167.90 c #Conflicts: 127000 | #Constraints: 24822 167.34/167.90 c #Conflicts: 128000 | #Constraints: 25822 167.34/167.90 c #Conflicts: 129000 | #Constraints: 26822 167.34/167.90 c #Conflicts: 130000 | #Constraints: 27822 167.34/167.90 c #Conflicts: 131000 | #Constraints: 28822 167.34/167.90 c #Conflicts: 132000 | #Constraints: 29822 167.34/167.90 c #Conflicts: 133000 | #Constraints: 30822 167.34/167.90 c #Conflicts: 134000 | #Constraints: 31822 167.34/167.90 c bounds 194 >= 145 @ 135.194 167.34/167.90 c #Conflicts: 135000 | #Constraints: 32823 167.34/167.90 c #Conflicts: 136000 | #Constraints: 33823 167.34/167.90 c #Conflicts: 137000 | #Constraints: 34823 167.34/167.90 c #Conflicts: 138000 | #Constraints: 35823 167.34/167.90 c #Conflicts: 139000 | #Constraints: 36823 167.34/167.90 c #Conflicts: 140000 | #Constraints: 37823 167.34/167.90 c INPROCESSING 167.34/167.90 c GARBAGE COLLECT 167.34/167.90 c rational objective 145 175.43/175.99 c #Conflicts: 141000 | #Constraints: 20382 175.43/175.99 c #Conflicts: 142000 | #Constraints: 21382 175.43/175.99 c #Conflicts: 143000 | #Constraints: 22382 175.43/175.99 c #Conflicts: 144000 | #Constraints: 23382 175.43/175.99 c #Conflicts: 145000 | #Constraints: 24382 175.43/175.99 c #Conflicts: 146000 | #Constraints: 25382 175.43/175.99 c #Conflicts: 147000 | #Constraints: 26382 175.43/175.99 c #Conflicts: 148000 | #Constraints: 27382 175.43/175.99 c bounds 193 >= 145 @ 171.393 175.43/175.99 c #Conflicts: 149000 | #Constraints: 28383 175.43/175.99 c #Conflicts: 150000 | #Constraints: 29383 175.43/175.99 c INPROCESSING 175.43/175.99 c GARBAGE COLLECT 175.43/175.99 c rational objective 145 185.51/186.02 c #Conflicts: 151000 | #Constraints: 16365 185.51/186.02 c #Conflicts: 152000 | #Constraints: 17365 185.51/186.02 c #Conflicts: 153000 | #Constraints: 18365 185.51/186.02 c #Conflicts: 154000 | #Constraints: 19365 185.51/186.02 c #Conflicts: 155000 | #Constraints: 20365 185.51/186.02 c #Conflicts: 156000 | #Constraints: 21365 185.51/186.02 c #Conflicts: 157000 | #Constraints: 22365 185.51/186.02 c #Conflicts: 158000 | #Constraints: 23365 185.51/186.02 c #Conflicts: 159000 | #Constraints: 24368 185.51/186.02 c INPROCESSING 185.51/186.02 c GARBAGE COLLECT 185.51/186.02 c rational objective 145 257.51/258.24 c #Conflicts: 160000 | #Constraints: 13580 257.51/258.24 c #Conflicts: 161000 | #Constraints: 14585 257.51/258.24 c #Conflicts: 162000 | #Constraints: 15586 257.51/258.24 c #Conflicts: 163000 | #Constraints: 16587 257.51/258.24 c #Conflicts: 164000 | #Constraints: 17587 257.51/258.24 c #Conflicts: 165000 | #Constraints: 18587 257.51/258.24 c #Conflicts: 166000 | #Constraints: 19587 257.51/258.24 c #Conflicts: 167000 | #Constraints: 20587 257.51/258.24 c #Conflicts: 168000 | #Constraints: 21587 257.51/258.24 c #Conflicts: 169000 | #Constraints: 22587 257.51/258.24 c #Conflicts: 170000 | #Constraints: 23587 257.51/258.24 c #Conflicts: 171000 | #Constraints: 24587 257.51/258.24 c #Conflicts: 172000 | #Constraints: 25587 257.51/258.24 c #Conflicts: 173000 | #Constraints: 26587 257.51/258.24 c #Conflicts: 174000 | #Constraints: 27587 257.51/258.24 c #Conflicts: 175000 | #Constraints: 28587 257.51/258.24 c #Conflicts: 176000 | #Constraints: 29587 257.51/258.24 c #Conflicts: 177000 | #Constraints: 30587 257.51/258.24 c #Conflicts: 178000 | #Constraints: 31587 257.51/258.24 c #Conflicts: 179000 | #Constraints: 32587 257.51/258.24 c #Conflicts: 180000 | #Constraints: 33587 257.51/258.24 c #Conflicts: 181000 | #Constraints: 34587 257.51/258.24 c #Conflicts: 182000 | #Constraints: 35587 257.51/258.24 c #Conflicts: 183000 | #Constraints: 36587 257.51/258.24 c #Conflicts: 184000 | #Constraints: 37587 257.51/258.24 c #Conflicts: 185000 | #Constraints: 38587 257.51/258.24 c #Conflicts: 186000 | #Constraints: 39587 257.51/258.24 c #Conflicts: 187000 | #Constraints: 40587 257.51/258.24 c #Conflicts: 188000 | #Constraints: 41587 257.51/258.24 c #Conflicts: 189000 | #Constraints: 42587 257.51/258.24 c INPROCESSING 257.51/258.24 c GARBAGE COLLECT 257.51/258.24 c rational objective 145 270.08/270.90 c #Conflicts: 190000 | #Constraints: 22961 270.08/270.90 c #Conflicts: 191000 | #Constraints: 23961 270.08/270.90 c #Conflicts: 192000 | #Constraints: 24961 270.08/270.90 c #Conflicts: 193000 | #Constraints: 25962 270.08/270.90 c #Conflicts: 194000 | #Constraints: 26967 270.08/270.90 c #Conflicts: 195000 | #Constraints: 27967 270.08/270.90 c #Conflicts: 196000 | #Constraints: 28967 270.08/270.90 c #Conflicts: 197000 | #Constraints: 29967 270.08/270.90 c #Conflicts: 198000 | #Constraints: 30967 270.08/270.90 c #Conflicts: 199000 | #Constraints: 31967 270.08/270.90 c #Conflicts: 200000 | #Constraints: 32968 270.08/270.90 c INPROCESSING 270.08/270.90 c GARBAGE COLLECT 270.08/270.90 c rational objective 145 284.36/285.16 c #Conflicts: 201000 | #Constraints: 18142 284.36/285.16 c #Conflicts: 202000 | #Constraints: 19142 284.36/285.16 c #Conflicts: 203000 | #Constraints: 20142 284.36/285.16 c #Conflicts: 204000 | #Constraints: 21142 284.36/285.16 c #Conflicts: 205000 | #Constraints: 22142 284.36/285.16 c #Conflicts: 206000 | #Constraints: 23142 284.36/285.16 c #Conflicts: 207000 | #Constraints: 24142 284.36/285.16 c #Conflicts: 208000 | #Constraints: 25142 284.36/285.16 c #Conflicts: 209000 | #Constraints: 26142 284.36/285.16 c #Conflicts: 210000 | #Constraints: 27143 284.36/285.16 c #Conflicts: 211000 | #Constraints: 28143 284.36/285.16 c INPROCESSING 284.36/285.16 c GARBAGE COLLECT 284.36/285.16 c rational objective 145 381.10/382.18 c #Conflicts: 212000 | #Constraints: 15663 381.10/382.18 c #Conflicts: 213000 | #Constraints: 16663 381.10/382.18 c #Conflicts: 214000 | #Constraints: 17663 381.10/382.18 c #Conflicts: 215000 | #Constraints: 18663 381.10/382.18 c #Conflicts: 216000 | #Constraints: 19663 381.10/382.18 c #Conflicts: 217000 | #Constraints: 20663 381.10/382.18 c #Conflicts: 218000 | #Constraints: 21663 381.10/382.18 c #Conflicts: 219000 | #Constraints: 22663 381.10/382.18 c #Conflicts: 220000 | #Constraints: 23663 381.10/382.18 c #Conflicts: 221000 | #Constraints: 24663 381.10/382.18 c #Conflicts: 222000 | #Constraints: 25663 381.10/382.18 c #Conflicts: 223000 | #Constraints: 26663 381.10/382.18 c #Conflicts: 224000 | #Constraints: 27663 381.10/382.18 c #Conflicts: 225000 | #Constraints: 28674 381.10/382.18 c #Conflicts: 226000 | #Constraints: 29674 381.10/382.18 c #Conflicts: 227000 | #Constraints: 30674 381.10/382.18 c #Conflicts: 228000 | #Constraints: 31674 381.10/382.18 c #Conflicts: 229000 | #Constraints: 32675 381.10/382.18 c #Conflicts: 230000 | #Constraints: 33675 381.10/382.18 c #Conflicts: 231000 | #Constraints: 34676 381.10/382.18 c #Conflicts: 232000 | #Constraints: 35676 381.10/382.18 c #Conflicts: 233000 | #Constraints: 36676 381.10/382.18 c #Conflicts: 234000 | #Constraints: 37676 381.10/382.18 c #Conflicts: 235000 | #Constraints: 38676 381.10/382.18 c #Conflicts: 236000 | #Constraints: 39677 381.10/382.18 c #Conflicts: 237000 | #Constraints: 40677 381.10/382.18 c #Conflicts: 238000 | #Constraints: 41677 381.10/382.18 c #Conflicts: 239000 | #Constraints: 42677 381.10/382.18 c #Conflicts: 240000 | #Constraints: 43677 381.10/382.18 c #Conflicts: 241000 | #Constraints: 44677 381.10/382.18 c #Conflicts: 242000 | #Constraints: 45677 381.10/382.18 c #Conflicts: 243000 | #Constraints: 46677 381.10/382.18 c #Conflicts: 244000 | #Constraints: 47678 381.10/382.18 c #Conflicts: 245000 | #Constraints: 48678 381.10/382.18 c INPROCESSING 381.10/382.18 c GARBAGE COLLECT 381.10/382.18 c rational objective 145 441.32/442.52 c #Conflicts: 246000 | #Constraints: 26031 441.32/442.52 c #Conflicts: 247000 | #Constraints: 27032 441.32/442.52 c #Conflicts: 248000 | #Constraints: 28032 441.32/442.52 c #Conflicts: 249000 | #Constraints: 29033 441.32/442.52 c #Conflicts: 250000 | #Constraints: 30034 441.32/442.52 c #Conflicts: 251000 | #Constraints: 31034 441.32/442.52 c #Conflicts: 252000 | #Constraints: 32034 441.32/442.52 c #Conflicts: 253000 | #Constraints: 33034 441.32/442.52 c #Conflicts: 254000 | #Constraints: 34034 441.32/442.52 c #Conflicts: 255000 | #Constraints: 35034 441.32/442.52 c #Conflicts: 256000 | #Constraints: 36034 441.32/442.52 c #Conflicts: 257000 | #Constraints: 37034 441.32/442.52 c INPROCESSING 441.32/442.52 c GARBAGE COLLECT 441.32/442.52 c rational objective 145 473.34/474.66 c #Conflicts: 258000 | #Constraints: 20088 473.34/474.66 c #Conflicts: 259000 | #Constraints: 21088 473.34/474.66 c #Conflicts: 260000 | #Constraints: 22088 473.34/474.66 c #Conflicts: 261000 | #Constraints: 23088 473.34/474.66 c #Conflicts: 262000 | #Constraints: 24088 473.34/474.66 c #Conflicts: 263000 | #Constraints: 25088 473.34/474.66 c #Conflicts: 264000 | #Constraints: 26088 473.34/474.66 c #Conflicts: 265000 | #Constraints: 27088 473.34/474.66 c #Conflicts: 266000 | #Constraints: 28088 473.34/474.66 c #Conflicts: 267000 | #Constraints: 29088 473.34/474.66 c #Conflicts: 268000 | #Constraints: 30088 473.34/474.66 c #Conflicts: 269000 | #Constraints: 31088 473.34/474.66 c #Conflicts: 270000 | #Constraints: 32088 473.34/474.66 c INPROCESSING 473.34/474.66 c GARBAGE COLLECT 473.34/474.66 c rational objective 145 561.71/563.21 c #Conflicts: 271000 | #Constraints: 17820 561.71/563.21 c #Conflicts: 272000 | #Constraints: 18820 561.71/563.21 c #Conflicts: 273000 | #Constraints: 19820 561.71/563.21 c #Conflicts: 274000 | #Constraints: 20820 561.71/563.21 c #Conflicts: 275000 | #Constraints: 21820 561.71/563.21 c #Conflicts: 276000 | #Constraints: 22820 561.71/563.21 c #Conflicts: 277000 | #Constraints: 23820 561.71/563.21 c #Conflicts: 278000 | #Constraints: 24820 561.71/563.21 c #Conflicts: 279000 | #Constraints: 25820 561.71/563.21 c #Conflicts: 280000 | #Constraints: 26820 561.71/563.21 c #Conflicts: 281000 | #Constraints: 27820 561.71/563.21 c #Conflicts: 282000 | #Constraints: 28820 561.71/563.21 c #Conflicts: 283000 | #Constraints: 29820 561.71/563.21 c #Conflicts: 284000 | #Constraints: 30820 561.71/563.21 c #Conflicts: 285000 | #Constraints: 31820 561.71/563.21 c #Conflicts: 286000 | #Constraints: 32820 561.71/563.21 c #Conflicts: 287000 | #Constraints: 33820 561.71/563.21 c #Conflicts: 288000 | #Constraints: 34820 561.71/563.21 c #Conflicts: 289000 | #Constraints: 35820 561.71/563.21 c #Conflicts: 290000 | #Constraints: 36820 561.71/563.21 c bounds 193 >= 146 @ 518.838 561.71/563.21 c #Conflicts: 291000 | #Constraints: 37856 561.71/563.21 c #Conflicts: 292000 | #Constraints: 38856 561.71/563.21 c #Conflicts: 293000 | #Constraints: 39856 561.71/563.21 c #Conflicts: 294000 | #Constraints: 40856 561.71/563.21 c #Conflicts: 295000 | #Constraints: 41856 561.71/563.21 c #Conflicts: 296000 | #Constraints: 42945 561.71/563.21 c #Conflicts: 297000 | #Constraints: 43945 561.71/563.21 c #Conflicts: 298000 | #Constraints: 44945 561.71/563.21 c #Conflicts: 299000 | #Constraints: 45945 561.71/563.21 c #Conflicts: 300000 | #Constraints: 46945 561.71/563.21 c #Conflicts: 301000 | #Constraints: 47945 561.71/563.21 c #Conflicts: 302000 | #Constraints: 48945 561.71/563.21 c #Conflicts: 303000 | #Constraints: 49945 561.71/563.21 c #Conflicts: 304000 | #Constraints: 50945 561.71/563.21 c #Conflicts: 305000 | #Constraints: 51945 561.71/563.21 c #Conflicts: 306000 | #Constraints: 52971 561.71/563.21 c #Conflicts: 307000 | #Constraints: 54001 561.71/563.21 c #Conflicts: 308000 | #Constraints: 55015 561.71/563.21 c INPROCESSING 561.71/563.21 c GARBAGE COLLECT 561.71/563.21 c rational objective 146 608.79/610.40 c #Conflicts: 309000 | #Constraints: 29213 608.79/610.40 c #Conflicts: 310000 | #Constraints: 30214 608.79/610.40 c #Conflicts: 311000 | #Constraints: 31214 608.79/610.40 c #Conflicts: 312000 | #Constraints: 32214 608.79/610.40 c #Conflicts: 313000 | #Constraints: 33214 608.79/610.40 c #Conflicts: 314000 | #Constraints: 34214 608.79/610.40 c #Conflicts: 315000 | #Constraints: 35214 608.79/610.40 c #Conflicts: 316000 | #Constraints: 36214 608.79/610.40 c #Conflicts: 317000 | #Constraints: 37215 608.79/610.40 c #Conflicts: 318000 | #Constraints: 38215 608.79/610.40 c #Conflicts: 319000 | #Constraints: 39215 608.79/610.40 c #Conflicts: 320000 | #Constraints: 40216 608.79/610.40 c #Conflicts: 321000 | #Constraints: 41216 608.79/610.40 c INPROCESSING 608.79/610.40 c GARBAGE COLLECT 608.79/610.40 c rational objective 146 629.14/630.81 c #Conflicts: 322000 | #Constraints: 21943 629.14/630.81 c #Conflicts: 323000 | #Constraints: 22943 629.14/630.81 c #Conflicts: 324000 | #Constraints: 23943 629.14/630.81 c #Conflicts: 325000 | #Constraints: 24943 629.14/630.81 c #Conflicts: 326000 | #Constraints: 25944 629.14/630.81 c #Conflicts: 327000 | #Constraints: 26946 629.14/630.81 c #Conflicts: 328000 | #Constraints: 27963 629.14/630.81 c #Conflicts: 329000 | #Constraints: 28966 629.14/630.81 c #Conflicts: 330000 | #Constraints: 29966 629.14/630.81 c #Conflicts: 331000 | #Constraints: 30966 629.14/630.81 c #Conflicts: 332000 | #Constraints: 31966 629.14/630.81 c #Conflicts: 333000 | #Constraints: 32966 629.14/630.81 c #Conflicts: 334000 | #Constraints: 33997 629.14/630.81 c #Conflicts: 335000 | #Constraints: 34998 629.14/630.81 c #Conflicts: 336000 | #Constraints: 35999 629.14/630.81 c INPROCESSING 629.14/630.81 c GARBAGE COLLECT 629.14/630.81 c rational objective 146 773.54/775.64 c #Conflicts: 337000 | #Constraints: 19860 773.54/775.64 c #Conflicts: 338000 | #Constraints: 20860 773.54/775.64 c #Conflicts: 339000 | #Constraints: 21860 773.54/775.64 c #Conflicts: 340000 | #Constraints: 22860 773.54/775.64 c #Conflicts: 341000 | #Constraints: 23860 773.54/775.64 c #Conflicts: 342000 | #Constraints: 24871 773.54/775.64 c #Conflicts: 343000 | #Constraints: 25880 773.54/775.64 c #Conflicts: 344000 | #Constraints: 26882 773.54/775.64 c #Conflicts: 345000 | #Constraints: 27883 773.54/775.64 c #Conflicts: 346000 | #Constraints: 28885 773.54/775.64 c #Conflicts: 347000 | #Constraints: 29885 773.54/775.64 c #Conflicts: 348000 | #Constraints: 30885 773.54/775.64 c #Conflicts: 349000 | #Constraints: 31885 773.54/775.64 c #Conflicts: 350000 | #Constraints: 32885 773.54/775.64 c #Conflicts: 351000 | #Constraints: 33886 773.54/775.64 c #Conflicts: 352000 | #Constraints: 34886 773.54/775.64 c #Conflicts: 353000 | #Constraints: 35886 773.54/775.64 c #Conflicts: 354000 | #Constraints: 36886 773.54/775.64 c #Conflicts: 355000 | #Constraints: 37899 773.54/775.64 c #Conflicts: 356000 | #Constraints: 38904 773.54/775.64 c #Conflicts: 357000 | #Constraints: 39904 773.54/775.64 c #Conflicts: 358000 | #Constraints: 40904 773.54/775.64 c #Conflicts: 359000 | #Constraints: 41904 773.54/775.64 c #Conflicts: 360000 | #Constraints: 42904 773.54/775.64 c #Conflicts: 361000 | #Constraints: 43909 773.54/775.64 c #Conflicts: 362000 | #Constraints: 44924 773.54/775.64 c #Conflicts: 363000 | #Constraints: 45924 773.54/775.64 c #Conflicts: 364000 | #Constraints: 46924 773.54/775.64 c #Conflicts: 365000 | #Constraints: 47925 773.54/775.64 c #Conflicts: 366000 | #Constraints: 48926 773.54/775.64 c #Conflicts: 367000 | #Constraints: 49943 773.54/775.64 c #Conflicts: 368000 | #Constraints: 50943 773.54/775.64 c #Conflicts: 369000 | #Constraints: 51944 773.54/775.64 c #Conflicts: 370000 | #Constraints: 52957 773.54/775.64 c #Conflicts: 371000 | #Constraints: 53957 773.54/775.64 c #Conflicts: 372000 | #Constraints: 54957 773.54/775.64 c #Conflicts: 373000 | #Constraints: 55957 773.54/775.64 c #Conflicts: 374000 | #Constraints: 56957 773.54/775.64 c #Conflicts: 375000 | #Constraints: 57957 773.54/775.64 c #Conflicts: 376000 | #Constraints: 58959 773.54/775.64 c #Conflicts: 377000 | #Constraints: 59959 773.54/775.64 c #Conflicts: 378000 | #Constraints: 60989 773.54/775.64 c INPROCESSING 773.54/775.64 c GARBAGE COLLECT 773.54/775.64 c rational objective 146 879.45/881.81 c #Conflicts: 379000 | #Constraints: 32101 879.45/881.81 c #Conflicts: 380000 | #Constraints: 33101 879.45/881.81 c #Conflicts: 381000 | #Constraints: 34101 879.45/881.81 c #Conflicts: 382000 | #Constraints: 35101 879.45/881.81 c #Conflicts: 383000 | #Constraints: 36101 879.45/881.81 c #Conflicts: 384000 | #Constraints: 37101 879.45/881.81 c #Conflicts: 385000 | #Constraints: 38101 879.45/881.81 c #Conflicts: 386000 | #Constraints: 39101 879.45/881.81 c #Conflicts: 387000 | #Constraints: 40101 879.45/881.81 c #Conflicts: 388000 | #Constraints: 41101 879.45/881.81 c #Conflicts: 389000 | #Constraints: 42101 879.45/881.81 c #Conflicts: 390000 | #Constraints: 43101 879.45/881.81 c #Conflicts: 391000 | #Constraints: 44101 879.45/881.81 c #Conflicts: 392000 | #Constraints: 45101 879.45/881.81 c #Conflicts: 393000 | #Constraints: 46101 879.45/881.81 c INPROCESSING 879.45/881.81 c GARBAGE COLLECT 879.45/881.81 c rational objective 146 926.43/928.96 c #Conflicts: 394000 | #Constraints: 24540 926.43/928.96 c #Conflicts: 395000 | #Constraints: 25540 926.43/928.96 c #Conflicts: 396000 | #Constraints: 26541 926.43/928.96 c #Conflicts: 397000 | #Constraints: 27541 926.43/928.96 c #Conflicts: 398000 | #Constraints: 28541 926.43/928.96 c #Conflicts: 399000 | #Constraints: 29541 926.43/928.96 c #Conflicts: 400000 | #Constraints: 30541 926.43/928.96 c #Conflicts: 401000 | #Constraints: 31541 926.43/928.96 c #Conflicts: 402000 | #Constraints: 32542 926.43/928.96 c #Conflicts: 403000 | #Constraints: 33542 926.43/928.96 c #Conflicts: 404000 | #Constraints: 34542 926.43/928.96 c #Conflicts: 405000 | #Constraints: 35542 926.43/928.96 c #Conflicts: 406000 | #Constraints: 36542 926.43/928.96 c #Conflicts: 407000 | #Constraints: 37542 926.43/928.96 c #Conflicts: 408000 | #Constraints: 38542 926.43/928.96 c #Conflicts: 409000 | #Constraints: 39542 926.43/928.96 c INPROCESSING 926.43/928.96 c GARBAGE COLLECT 926.43/928.96 c rational objective 146 1152.15/1155.21 c #Conflicts: 410000 | #Constraints: 22772 1152.15/1155.21 c #Conflicts: 411000 | #Constraints: 23772 1152.15/1155.21 c #Conflicts: 412000 | #Constraints: 24772 1152.15/1155.21 c #Conflicts: 413000 | #Constraints: 25772 1152.15/1155.21 c #Conflicts: 414000 | #Constraints: 26772 1152.15/1155.21 c #Conflicts: 415000 | #Constraints: 27772 1152.15/1155.21 c #Conflicts: 416000 | #Constraints: 28772 1152.15/1155.21 c #Conflicts: 417000 | #Constraints: 29772 1152.15/1155.21 c #Conflicts: 418000 | #Constraints: 30772 1152.15/1155.21 c #Conflicts: 419000 | #Constraints: 31772 1152.15/1155.21 c #Conflicts: 420000 | #Constraints: 32772 1152.15/1155.21 c #Conflicts: 421000 | #Constraints: 33772 1152.15/1155.21 c #Conflicts: 422000 | #Constraints: 34772 1152.15/1155.21 c #Conflicts: 423000 | #Constraints: 35772 1152.15/1155.21 c #Conflicts: 424000 | #Constraints: 36772 1152.15/1155.21 c #Conflicts: 425000 | #Constraints: 37772 1152.15/1155.21 c #Conflicts: 426000 | #Constraints: 38772 1152.15/1155.21 c #Conflicts: 427000 | #Constraints: 39772 1152.15/1155.21 c #Conflicts: 428000 | #Constraints: 40772 1152.15/1155.21 c #Conflicts: 429000 | #Constraints: 41772 1152.15/1155.22 c #Conflicts: 430000 | #Constraints: 42772 1152.15/1155.22 c #Conflicts: 431000 | #Constraints: 43772 1152.15/1155.22 c #Conflicts: 432000 | #Constraints: 44772 1152.15/1155.22 c #Conflicts: 433000 | #Constraints: 45772 1152.15/1155.22 c #Conflicts: 434000 | #Constraints: 46772 1152.15/1155.22 c #Conflicts: 435000 | #Constraints: 47772 1152.15/1155.22 c #Conflicts: 436000 | #Constraints: 48772 1152.15/1155.22 c #Conflicts: 437000 | #Constraints: 49772 1152.15/1155.22 c #Conflicts: 438000 | #Constraints: 50772 1152.15/1155.22 c #Conflicts: 439000 | #Constraints: 51772 1152.15/1155.22 c #Conflicts: 440000 | #Constraints: 52772 1152.15/1155.22 c #Conflicts: 441000 | #Constraints: 53772 1152.15/1155.22 c #Conflicts: 442000 | #Constraints: 54772 1152.15/1155.22 c #Conflicts: 443000 | #Constraints: 55772 1152.15/1155.22 c #Conflicts: 444000 | #Constraints: 56772 1152.15/1155.22 c #Conflicts: 445000 | #Constraints: 57773 1152.15/1155.22 c #Conflicts: 446000 | #Constraints: 58773 1152.15/1155.22 c #Conflicts: 447000 | #Constraints: 59773 1152.15/1155.22 c #Conflicts: 448000 | #Constraints: 60773 1152.15/1155.22 c #Conflicts: 449000 | #Constraints: 61773 1152.15/1155.22 c #Conflicts: 450000 | #Constraints: 62773 1152.15/1155.22 c #Conflicts: 451000 | #Constraints: 63773 1152.15/1155.22 c #Conflicts: 452000 | #Constraints: 64773 1152.15/1155.22 c #Conflicts: 453000 | #Constraints: 65773 1152.15/1155.22 c #Conflicts: 454000 | #Constraints: 66773 1152.15/1155.22 c #Conflicts: 455000 | #Constraints: 67773 1152.15/1155.22 c INPROCESSING 1152.15/1155.22 c GARBAGE COLLECT 1152.15/1155.22 c rational objective 146 1440.96/1444.83 c #Conflicts: 456000 | #Constraints: 35388 1440.96/1444.83 c #Conflicts: 457000 | #Constraints: 36480 1440.96/1444.83 c #Conflicts: 458000 | #Constraints: 37590 1440.96/1444.83 c #Conflicts: 459000 | #Constraints: 38591 1440.96/1444.83 c #Conflicts: 460000 | #Constraints: 39596 1440.96/1444.83 c #Conflicts: 461000 | #Constraints: 40617 1440.96/1444.83 c #Conflicts: 462000 | #Constraints: 41617 1440.96/1444.83 c #Conflicts: 463000 | #Constraints: 42927 1440.96/1444.83 c #Conflicts: 464000 | #Constraints: 43964 1440.96/1444.83 c #Conflicts: 465000 | #Constraints: 45006 1440.96/1444.83 c #Conflicts: 466000 | #Constraints: 46109 1440.96/1444.83 c #Conflicts: 467000 | #Constraints: 47114 1440.96/1444.83 c #Conflicts: 468000 | #Constraints: 48172 1440.96/1444.83 c #Conflicts: 469000 | #Constraints: 49189 1440.96/1444.83 c #Conflicts: 470000 | #Constraints: 50200 1440.96/1444.83 c #Conflicts: 471000 | #Constraints: 51232 1440.96/1444.83 c #Conflicts: 472000 | #Constraints: 52255 1440.96/1444.83 c INPROCESSING 1440.96/1444.83 c GARBAGE COLLECT 1440.96/1444.83 c #Conflicts: 473000 | #Constraints: 27612 1440.96/1444.83 c #Conflicts: 474000 | #Constraints: 28622 1440.96/1444.83 c #Conflicts: 475000 | #Constraints: 29630 1440.96/1444.83 c #Conflicts: 476000 | #Constraints: 30630 1440.96/1444.83 c #Conflicts: 477000 | #Constraints: 31630 1440.96/1444.83 c #Conflicts: 478000 | #Constraints: 32630 1440.96/1444.83 c #Conflicts: 479000 | #Constraints: 33681 1440.96/1444.83 c #Conflicts: 480000 | #Constraints: 34753 1440.96/1444.83 c #Conflicts: 481000 | #Constraints: 35928 1440.96/1444.83 c #Conflicts: 482000 | #Constraints: 37427 1440.96/1444.83 c #Conflicts: 483000 | #Constraints: 38494 1440.96/1444.83 c #Conflicts: 484000 | #Constraints: 39515 1440.96/1444.83 c #Conflicts: 485000 | #Constraints: 40629 1440.96/1444.83 c #Conflicts: 486000 | #Constraints: 41675 1440.96/1444.83 c #Conflicts: 487000 | #Constraints: 42696 1440.96/1444.83 c #Conflicts: 488000 | #Constraints: 43696 1440.96/1444.83 c #Conflicts: 489000 | #Constraints: 44696 1440.96/1444.83 c #Conflicts: 490000 | #Constraints: 45696 1440.96/1444.83 c #Conflicts: 491000 | #Constraints: 46720 1440.96/1444.83 c #Conflicts: 492000 | #Constraints: 47737 1440.96/1444.83 c #Conflicts: 493000 | #Constraints: 48754 1440.96/1444.83 c #Conflicts: 494000 | #Constraints: 49754 1440.96/1444.83 c #Conflicts: 495000 | #Constraints: 50754 1440.96/1444.83 c #Conflicts: 496000 | #Constraints: 51774 1440.96/1444.83 c #Conflicts: 497000 | #Constraints: 52855 1440.96/1444.83 c #Conflicts: 498000 | #Constraints: 54006 1440.96/1444.83 c #Conflicts: 499000 | #Constraints: 55052 1440.96/1444.83 c #Conflicts: 500000 | #Constraints: 56052 1440.96/1444.83 c #Conflicts: 501000 | #Constraints: 57052 1440.96/1444.83 c #Conflicts: 502000 | #Constraints: 58052 1440.96/1444.83 c #Conflicts: 503000 | #Constraints: 59052 1440.96/1444.83 c #Conflicts: 504000 | #Constraints: 60052 1440.96/1444.83 c #Conflicts: 505000 | #Constraints: 61072 1440.96/1444.83 c #Conflicts: 506000 | #Constraints: 62072 1440.96/1444.83 c #Conflicts: 507000 | #Constraints: 63087 1440.96/1444.83 c #Conflicts: 508000 | #Constraints: 64092 1440.96/1444.83 c #Conflicts: 509000 | #Constraints: 65130 1440.96/1444.83 c #Conflicts: 510000 | #Constraints: 66141 1440.96/1444.83 c #Conflicts: 511000 | #Constraints: 67193 1440.96/1444.83 c #Conflicts: 512000 | #Constraints: 68220 1440.96/1444.83 c #Conflicts: 513000 | #Constraints: 69248 1440.96/1444.83 c #Conflicts: 514000 | #Constraints: 70299 1440.96/1444.83 c #Conflicts: 515000 | #Constraints: 71451 1440.96/1444.83 c #Conflicts: 516000 | #Constraints: 72451 1440.96/1444.83 c #Conflicts: 517000 | #Constraints: 73451 1440.96/1444.83 c #Conflicts: 518000 | #Constraints: 74451 1440.96/1444.83 c #Conflicts: 519000 | #Constraints: 75537 1440.96/1444.83 c #Conflicts: 520000 | #Constraints: 76537 1440.96/1444.83 c #Conflicts: 521000 | #Constraints: 77537 1440.96/1444.83 c #Conflicts: 522000 | #Constraints: 78583 1440.96/1444.83 c INPROCESSING 1440.96/1444.83 c GARBAGE COLLECT 1440.96/1444.83 c rational objective 146 1598.44/1602.72 c #Conflicts: 523000 | #Constraints: 41010 1598.44/1602.72 c #Conflicts: 524000 | #Constraints: 42010 1598.44/1602.72 c #Conflicts: 525000 | #Constraints: 43010 1598.44/1602.72 c #Conflicts: 526000 | #Constraints: 44010 1598.44/1602.72 c #Conflicts: 527000 | #Constraints: 45010 1598.44/1602.72 c #Conflicts: 528000 | #Constraints: 46010 1598.44/1602.72 c #Conflicts: 529000 | #Constraints: 47011 1598.44/1602.72 c #Conflicts: 530000 | #Constraints: 48011 1598.44/1602.72 c #Conflicts: 531000 | #Constraints: 49011 1598.44/1602.72 c #Conflicts: 532000 | #Constraints: 50012 1598.44/1602.72 c #Conflicts: 533000 | #Constraints: 51012 1598.44/1602.72 c #Conflicts: 534000 | #Constraints: 52012 1598.44/1602.72 c #Conflicts: 535000 | #Constraints: 53013 1598.44/1602.72 c #Conflicts: 536000 | #Constraints: 54013 1598.44/1602.72 c #Conflicts: 537000 | #Constraints: 55013 1598.44/1602.72 c #Conflicts: 538000 | #Constraints: 56013 1598.44/1602.72 c #Conflicts: 539000 | #Constraints: 57013 1598.44/1602.72 c #Conflicts: 540000 | #Constraints: 58013 1598.44/1602.72 c INPROCESSING 1598.44/1602.72 c GARBAGE COLLECT 1598.44/1602.72 c rational objective 146 1694.04/1698.64 c #Conflicts: 541000 | #Constraints: 30709 1694.04/1698.64 c #Conflicts: 542000 | #Constraints: 31709 1694.04/1698.64 c #Conflicts: 543000 | #Constraints: 32709 1694.04/1698.64 c #Conflicts: 544000 | #Constraints: 33709 1694.04/1698.64 c #Conflicts: 545000 | #Constraints: 34709 1694.04/1698.64 c #Conflicts: 546000 | #Constraints: 35709 1694.04/1698.64 c #Conflicts: 547000 | #Constraints: 36709 1694.04/1698.64 c #Conflicts: 548000 | #Constraints: 37709 1694.04/1698.64 c #Conflicts: 549000 | #Constraints: 38709 1694.04/1698.64 c #Conflicts: 550000 | #Constraints: 39709 1694.04/1698.64 c #Conflicts: 551000 | #Constraints: 40709 1694.04/1698.64 c #Conflicts: 552000 | #Constraints: 41709 1694.04/1698.64 c #Conflicts: 553000 | #Constraints: 42709 1694.04/1698.64 c #Conflicts: 554000 | #Constraints: 43709 1694.04/1698.64 c #Conflicts: 555000 | #Constraints: 44709 1694.04/1698.64 c #Conflicts: 556000 | #Constraints: 45709 1694.04/1698.64 c #Conflicts: 557000 | #Constraints: 46709 1694.04/1698.64 c #Conflicts: 558000 | #Constraints: 47709 1694.04/1698.64 c INPROCESSING 1694.04/1698.64 c GARBAGE COLLECT 1694.04/1698.64 c rational objective 146 1919.85/1925.07 c #Conflicts: 559000 | #Constraints: 29849 1919.85/1925.07 c #Conflicts: 560000 | #Constraints: 30849 1919.85/1925.07 c #Conflicts: 561000 | #Constraints: 31907 1919.85/1925.07 c #Conflicts: 562000 | #Constraints: 32946 1919.85/1925.07 c #Conflicts: 563000 | #Constraints: 33995 1919.85/1925.07 c #Conflicts: 564000 | #Constraints: 35003 1919.85/1925.07 c #Conflicts: 565000 | #Constraints: 36027 1919.85/1925.07 c #Conflicts: 566000 | #Constraints: 37046 1919.85/1925.07 c #Conflicts: 567000 | #Constraints: 38109 1919.85/1925.07 c #Conflicts: 568000 | #Constraints: 39154 1919.85/1925.07 c #Conflicts: 569000 | #Constraints: 40249 1919.85/1925.07 c #Conflicts: 570000 | #Constraints: 41299 1919.85/1925.07 c #Conflicts: 571000 | #Constraints: 42341 1919.85/1925.07 c #Conflicts: 572000 | #Constraints: 43370 1919.85/1925.07 c #Conflicts: 573000 | #Constraints: 44454 1919.85/1925.07 c #Conflicts: 574000 | #Constraints: 45489 1919.85/1925.07 c #Conflicts: 575000 | #Constraints: 46489 1919.85/1925.07 c #Conflicts: 576000 | #Constraints: 47524 1919.85/1925.07 c #Conflicts: 577000 | #Constraints: 48525 1919.85/1925.07 c #Conflicts: 578000 | #Constraints: 49526 1919.85/1925.07 c #Conflicts: 579000 | #Constraints: 50602 1919.85/1925.07 c #Conflicts: 580000 | #Constraints: 51609 1919.85/1925.07 c #Conflicts: 581000 | #Constraints: 52614 1919.85/1925.07 c #Conflicts: 582000 | #Constraints: 53682 1919.85/1925.07 c #Conflicts: 583000 | #Constraints: 54703 1919.85/1925.07 c #Conflicts: 584000 | #Constraints: 55703 1919.85/1925.07 c #Conflicts: 585000 | #Constraints: 56716 1919.85/1925.07 c #Conflicts: 586000 | #Constraints: 57728 1919.85/1925.07 c #Conflicts: 587000 | #Constraints: 58753 1919.85/1925.07 c #Conflicts: 588000 | #Constraints: 59782 1919.85/1925.07 c #Conflicts: 589000 | #Constraints: 60785 1919.85/1925.07 c #Conflicts: 590000 | #Constraints: 61844 1919.85/1925.07 c #Conflicts: 591000 | #Constraints: 62933 1919.85/1925.07 c #Conflicts: 592000 | #Constraints: 63970 1919.85/1925.07 c #Conflicts: 593000 | #Constraints: 65037 1919.85/1925.07 c #Conflicts: 594000 | #Constraints: 66069 1919.85/1925.07 c #Conflicts: 595000 | #Constraints: 67096 1919.85/1925.07 c #Conflicts: 596000 | #Constraints: 68097 1919.85/1925.07 c #Conflicts: 597000 | #Constraints: 69117 1919.85/1925.07 c #Conflicts: 598000 | #Constraints: 70215 1919.85/1925.07 c #Conflicts: 599000 | #Constraints: 71266 1919.85/1925.07 c #Conflicts: 600000 | #Constraints: 72292 1919.85/1925.07 c #Conflicts: 601000 | #Constraints: 73391 1919.85/1925.07 c #Conflicts: 602000 | #Constraints: 74451 1919.85/1925.07 c #Conflicts: 603000 | #Constraints: 75484 1919.85/1925.07 c #Conflicts: 604000 | #Constraints: 76485 1919.85/1925.07 c #Conflicts: 605000 | #Constraints: 77510 1919.85/1925.07 c #Conflicts: 606000 | #Constraints: 78510 1919.85/1925.07 c #Conflicts: 607000 | #Constraints: 79515 1919.85/1925.07 c #Conflicts: 608000 | #Constraints: 80520 1919.85/1925.07 c #Conflicts: 609000 | #Constraints: 81520 1919.85/1925.07 c #Conflicts: 610000 | #Constraints: 82522 1919.85/1925.07 c #Conflicts: 611000 | #Constraints: 83522 1919.85/1925.07 c #Conflicts: 612000 | #Constraints: 84578 1919.85/1925.07 c INPROCESSING 1919.85/1925.07 c GARBAGE COLLECT 1919.85/1925.07 c rational objective 146 2092.04/2097.66 c #Conflicts: 613000 | #Constraints: 43866 2092.04/2097.66 c #Conflicts: 614000 | #Constraints: 44866 2092.04/2097.66 c #Conflicts: 615000 | #Constraints: 45866 2092.04/2097.66 c #Conflicts: 616000 | #Constraints: 46866 2092.04/2097.66 c #Conflicts: 617000 | #Constraints: 47866 2092.04/2097.66 c #Conflicts: 618000 | #Constraints: 48866 2092.04/2097.66 c #Conflicts: 619000 | #Constraints: 49866 2092.04/2097.66 c #Conflicts: 620000 | #Constraints: 50866 2092.04/2097.66 c #Conflicts: 621000 | #Constraints: 51866 2092.04/2097.66 c #Conflicts: 622000 | #Constraints: 52866 2092.04/2097.66 c #Conflicts: 623000 | #Constraints: 53866 2092.04/2097.66 c #Conflicts: 624000 | #Constraints: 54866 2092.04/2097.66 c #Conflicts: 625000 | #Constraints: 55866 2092.04/2097.66 c #Conflicts: 626000 | #Constraints: 56866 2092.04/2097.66 c #Conflicts: 627000 | #Constraints: 57866 2092.04/2097.66 c #Conflicts: 628000 | #Constraints: 58866 2092.04/2097.66 c #Conflicts: 629000 | #Constraints: 59866 2092.04/2097.66 c #Conflicts: 630000 | #Constraints: 60866 2092.04/2097.66 c #Conflicts: 631000 | #Constraints: 61866 2092.04/2097.66 c #Conflicts: 632000 | #Constraints: 62866 2092.04/2097.66 c INPROCESSING 2092.04/2097.66 c GARBAGE COLLECT 2092.04/2097.66 c rational objective 146 2517.42/2524.10 c #Conflicts: 633000 | #Constraints: 33226 2517.42/2524.10 c #Conflicts: 634000 | #Constraints: 34226 2517.42/2524.10 c #Conflicts: 635000 | #Constraints: 35227 2517.42/2524.10 c #Conflicts: 636000 | #Constraints: 36229 2517.42/2524.10 c #Conflicts: 637000 | #Constraints: 37229 2517.42/2524.10 c #Conflicts: 638000 | #Constraints: 38229 2517.42/2524.10 c #Conflicts: 639000 | #Constraints: 39229 2517.42/2524.10 c #Conflicts: 640000 | #Constraints: 40229 2517.42/2524.10 c #Conflicts: 641000 | #Constraints: 41229 2517.42/2524.10 c #Conflicts: 642000 | #Constraints: 42229 2517.42/2524.10 c #Conflicts: 643000 | #Constraints: 43229 2517.42/2524.10 c #Conflicts: 644000 | #Constraints: 44229 2517.42/2524.10 c #Conflicts: 645000 | #Constraints: 45229 2517.42/2524.10 c #Conflicts: 646000 | #Constraints: 46229 2517.42/2524.10 c #Conflicts: 647000 | #Constraints: 47229 2517.42/2524.10 c #Conflicts: 648000 | #Constraints: 48229 2517.42/2524.10 c #Conflicts: 649000 | #Constraints: 49229 2517.42/2524.10 c #Conflicts: 650000 | #Constraints: 50229 2517.42/2524.10 c #Conflicts: 651000 | #Constraints: 51229 2517.42/2524.10 c #Conflicts: 652000 | #Constraints: 52229 2517.42/2524.10 c #Conflicts: 653000 | #Constraints: 53229 2517.42/2524.10 c #Conflicts: 654000 | #Constraints: 54229 2517.42/2524.10 c #Conflicts: 655000 | #Constraints: 55229 2517.42/2524.10 c #Conflicts: 656000 | #Constraints: 56229 2517.42/2524.10 c #Conflicts: 657000 | #Constraints: 57229 2517.42/2524.10 c #Conflicts: 658000 | #Constraints: 58229 2517.42/2524.10 c #Conflicts: 659000 | #Constraints: 59229 2517.42/2524.10 c #Conflicts: 660000 | #Constraints: 60229 2517.42/2524.10 c #Conflicts: 661000 | #Constraints: 61230 2517.42/2524.10 c #Conflicts: 662000 | #Constraints: 62230 2517.42/2524.10 c #Conflicts: 663000 | #Constraints: 63230 2517.42/2524.10 c #Conflicts: 664000 | #Constraints: 64231 2517.42/2524.10 c #Conflicts: 665000 | #Constraints: 65232 2517.42/2524.10 c #Conflicts: 666000 | #Constraints: 66232 2517.42/2524.10 c #Conflicts: 667000 | #Constraints: 67232 2517.42/2524.10 c #Conflicts: 668000 | #Constraints: 68232 2517.42/2524.10 c #Conflicts: 669000 | #Constraints: 69232 2517.42/2524.10 c #Conflicts: 670000 | #Constraints: 70232 2517.42/2524.10 c #Conflicts: 671000 | #Constraints: 71232 2517.42/2524.10 c #Conflicts: 672000 | #Constraints: 72232 2517.42/2524.10 c #Conflicts: 673000 | #Constraints: 73232 2517.42/2524.10 c #Conflicts: 674000 | #Constraints: 74232 2517.42/2524.10 c #Conflicts: 675000 | #Constraints: 75232 2517.42/2524.10 c #Conflicts: 676000 | #Constraints: 76232 2517.42/2524.10 c #Conflicts: 677000 | #Constraints: 77232 2517.42/2524.10 c #Conflicts: 678000 | #Constraints: 78232 2517.42/2524.10 c #Conflicts: 679000 | #Constraints: 79232 2517.42/2524.10 c #Conflicts: 680000 | #Constraints: 80232 2517.42/2524.10 c #Conflicts: 681000 | #Constraints: 81232 2517.42/2524.10 c #Conflicts: 682000 | #Constraints: 82232 2517.42/2524.10 c #Conflicts: 683000 | #Constraints: 83232 2517.42/2524.10 c #Conflicts: 684000 | #Constraints: 84232 2517.42/2524.10 c #Conflicts: 685000 | #Constraints: 85232 2517.42/2524.10 c #Conflicts: 686000 | #Constraints: 86233 2517.42/2524.10 c #Conflicts: 687000 | #Constraints: 87233 2517.42/2524.10 c #Conflicts: 688000 | #Constraints: 88233 2517.42/2524.10 c INPROCESSING 2517.42/2524.10 c GARBAGE COLLECT 2517.42/2524.10 c rational objective 146 2597.82/2604.64 c #Conflicts: 689000 | #Constraints: 45522 2597.82/2604.64 c #Conflicts: 690000 | #Constraints: 46637 2597.82/2604.64 c #Conflicts: 691000 | #Constraints: 47637 2597.82/2604.64 c #Conflicts: 692000 | #Constraints: 48637 2597.82/2604.64 c #Conflicts: 693000 | #Constraints: 49643 2597.82/2604.64 c #Conflicts: 694000 | #Constraints: 50734 2597.82/2604.64 c #Conflicts: 695000 | #Constraints: 51734 2597.82/2604.64 c #Conflicts: 696000 | #Constraints: 52752 2597.82/2604.64 c #Conflicts: 697000 | #Constraints: 53794 2597.82/2604.64 c #Conflicts: 698000 | #Constraints: 54843 2597.82/2604.64 c #Conflicts: 699000 | #Constraints: 55844 2597.82/2604.64 c #Conflicts: 700000 | #Constraints: 56901 2597.82/2604.64 c #Conflicts: 701000 | #Constraints: 57901 2597.82/2604.64 c #Conflicts: 702000 | #Constraints: 58901 2597.82/2604.64 c #Conflicts: 703000 | #Constraints: 59905 2597.82/2604.64 c #Conflicts: 704000 | #Constraints: 60905 2597.82/2604.64 c #Conflicts: 705000 | #Constraints: 61905 2597.82/2604.64 c #Conflicts: 706000 | #Constraints: 62905 2597.82/2604.64 c #Conflicts: 707000 | #Constraints: 63905 2597.82/2604.64 c #Conflicts: 708000 | #Constraints: 64905 2597.82/2604.64 c #Conflicts: 709000 | #Constraints: 65905 2597.82/2604.64 c INPROCESSING 2597.82/2604.64 c GARBAGE COLLECT 2597.82/2604.64 c rational objective 146 2979.41/2987.15 c #Conflicts: 710000 | #Constraints: 35960 2979.41/2987.15 c #Conflicts: 711000 | #Constraints: 36960 2979.41/2987.15 c #Conflicts: 712000 | #Constraints: 37962 2979.41/2987.15 c #Conflicts: 713000 | #Constraints: 38964 2979.41/2987.15 c #Conflicts: 714000 | #Constraints: 39964 2979.41/2987.15 c #Conflicts: 715000 | #Constraints: 40964 2979.41/2987.15 c #Conflicts: 716000 | #Constraints: 41964 2979.41/2987.15 c #Conflicts: 717000 | #Constraints: 42964 2979.41/2987.15 c #Conflicts: 718000 | #Constraints: 43964 2979.41/2987.15 c #Conflicts: 719000 | #Constraints: 44964 2979.41/2987.15 c #Conflicts: 720000 | #Constraints: 46071 2979.41/2987.15 c #Conflicts: 721000 | #Constraints: 47071 2979.41/2987.15 c #Conflicts: 722000 | #Constraints: 48071 2979.41/2987.15 c #Conflicts: 723000 | #Constraints: 49071 2979.41/2987.15 c #Conflicts: 724000 | #Constraints: 50071 2979.41/2987.15 c #Conflicts: 725000 | #Constraints: 51088 2979.41/2987.15 c #Conflicts: 726000 | #Constraints: 52226 2979.41/2987.15 c #Conflicts: 727000 | #Constraints: 53245 2979.41/2987.15 c #Conflicts: 728000 | #Constraints: 54321 2979.41/2987.15 c #Conflicts: 729000 | #Constraints: 55349 2979.41/2987.15 c #Conflicts: 730000 | #Constraints: 56359 2979.41/2987.15 c #Conflicts: 731000 | #Constraints: 57359 2979.41/2987.15 c #Conflicts: 732000 | #Constraints: 58403 2979.41/2987.15 c #Conflicts: 733000 | #Constraints: 59415 2979.41/2987.15 c #Conflicts: 734000 | #Constraints: 60415 2979.41/2987.15 c #Conflicts: 735000 | #Constraints: 61415 2979.41/2987.15 c #Conflicts: 736000 | #Constraints: 62415 2979.41/2987.15 c #Conflicts: 737000 | #Constraints: 63424 2979.41/2987.15 c #Conflicts: 738000 | #Constraints: 64486 2979.41/2987.15 c #Conflicts: 739000 | #Constraints: 65504 2979.41/2987.15 c #Conflicts: 740000 | #Constraints: 66504 2979.41/2987.15 c #Conflicts: 741000 | #Constraints: 67610 2979.41/2987.15 c #Conflicts: 742000 | #Constraints: 68644 2979.41/2987.15 c #Conflicts: 743000 | #Constraints: 69700 2979.41/2987.15 c #Conflicts: 744000 | #Constraints: 70797 2979.41/2987.15 c #Conflicts: 745000 | #Constraints: 71817 2979.41/2987.15 c #Conflicts: 746000 | #Constraints: 72836 2979.41/2987.15 c #Conflicts: 747000 | #Constraints: 73851 2979.41/2987.15 c #Conflicts: 748000 | #Constraints: 74857 2979.41/2987.15 c #Conflicts: 749000 | #Constraints: 75963 2979.41/2987.15 c #Conflicts: 750000 | #Constraints: 77127 2979.41/2987.15 c #Conflicts: 751000 | #Constraints: 78186 2979.41/2987.15 c #Conflicts: 752000 | #Constraints: 79186 2979.41/2987.15 c #Conflicts: 753000 | #Constraints: 80216 2979.41/2987.15 c #Conflicts: 754000 | #Constraints: 81277 2979.41/2987.15 c #Conflicts: 755000 | #Constraints: 82277 2979.41/2987.15 c #Conflicts: 756000 | #Constraints: 83277 2979.41/2987.15 c #Conflicts: 757000 | #Constraints: 84277 2979.41/2987.15 c #Conflicts: 758000 | #Constraints: 85277 2979.41/2987.15 c #Conflicts: 759000 | #Constraints: 86295 2979.41/2987.15 c #Conflicts: 760000 | #Constraints: 87753 2979.41/2987.15 c #Conflicts: 761000 | #Constraints: 88768 2979.41/2987.15 c #Conflicts: 762000 | #Constraints: 89768 2979.41/2987.15 c #Conflicts: 763000 | #Constraints: 90768 2979.41/2987.15 c #Conflicts: 764000 | #Constraints: 91768 2979.41/2987.15 c #Conflicts: 765000 | #Constraints: 92768 2979.41/2987.15 c #Conflicts: 766000 | #Constraints: 93768 2979.41/2987.15 c #Conflicts: 767000 | #Constraints: 94802 2979.41/2987.15 c #Conflicts: 768000 | #Constraints: 95900 2979.41/2987.15 c #Conflicts: 769000 | #Constraints: 96900 2979.41/2987.15 c INPROCESSING 2979.41/2987.15 c GARBAGE COLLECT 2979.41/2987.15 c rational objective 146 3249.30/3257.72 c #Conflicts: 770000 | #Constraints: 49809 3249.30/3257.72 c #Conflicts: 771000 | #Constraints: 50809 3249.30/3257.72 c #Conflicts: 772000 | #Constraints: 51809 3249.30/3257.72 c #Conflicts: 773000 | #Constraints: 52809 3249.30/3257.72 c #Conflicts: 774000 | #Constraints: 53809 3249.30/3257.72 c #Conflicts: 775000 | #Constraints: 54809 3249.30/3257.72 c #Conflicts: 776000 | #Constraints: 55809 3249.30/3257.72 c #Conflicts: 777000 | #Constraints: 56809 3249.30/3257.72 c #Conflicts: 778000 | #Constraints: 57809 3249.30/3257.72 c #Conflicts: 779000 | #Constraints: 58809 3249.30/3257.72 c #Conflicts: 780000 | #Constraints: 59809 3249.30/3257.72 c #Conflicts: 781000 | #Constraints: 60809 3249.30/3257.72 c #Conflicts: 782000 | #Constraints: 61809 3249.30/3257.72 c #Conflicts: 783000 | #Constraints: 62809 3249.30/3257.72 c #Conflicts: 784000 | #Constraints: 63809 3249.30/3257.72 c #Conflicts: 785000 | #Constraints: 64809 3249.30/3257.72 c #Conflicts: 786000 | #Constraints: 65810 3249.30/3257.72 c #Conflicts: 787000 | #Constraints: 66810 3249.30/3257.72 c #Conflicts: 788000 | #Constraints: 67810 3249.30/3257.72 c #Conflicts: 789000 | #Constraints: 68810 3249.30/3257.72 c #Conflicts: 790000 | #Constraints: 69810 3249.30/3257.72 c #Conflicts: 791000 | #Constraints: 70810 3249.30/3257.72 c #Conflicts: 792000 | #Constraints: 71810 3249.30/3257.72 c INPROCESSING 3249.30/3257.72 c GARBAGE COLLECT 3249.30/3257.72 c rational objective 146 3600.09/3609.40 c 3600.09/3609.40 s SATISFIABLE 3600.09/3609.40 v ~x1 x2 ~x3 ~x4 x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 x21 ~x22 ~x23 ~x24 ~x25 x26 x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 x42 x43 ~x44 x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 x53 ~x54 ~x55 x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 x63 ~x64 x65 x66 x67 ~x68 x69 x70 ~x71 x72 ~x73 x74 ~x75 ~x76 ~x77 x78 x79 ~x80 ~x81 ~x82 ~x83 x84 ~x85 ~x86 ~x87 ~x88 x89 ~x90 x91 x92 ~x93 x94 x95 ~x96 ~x97 x98 x99 ~x100 ~x101 ~x102 ~x103 x104 ~x105 ~x106 ~x107 ~x108 ~x109 x110 x111 ~x112 ~x113 x114 ~x115 x116 x117 ~x118 ~x119 ~x120 x121 ~x122 ~x123 x124 ~x125 ~x126 x127 x128 x129 x130 x131 x132 x133 ~x134 ~x135 x136 ~x137 ~x138 x139 ~x140 x141 x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 x150 ~x151 ~x152 x153 x154 x155 ~x156 ~x157 ~x158 ~x159 x160 x161 x162 ~x163 ~x164 ~x165 x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 x173 x174 ~x175 x176 x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 x194 x195 x196 ~x197 ~x198 x199 x200 x201 x202 x203 x204 ~x205 ~x206 x207 x208 x209 ~x210 x211 ~x212 ~x213 x214 ~x215 x216 ~x217 ~x218 x219 ~x220 x221 ~x222 x223 x224 x225 ~x226 x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 x234 ~x235 ~x236 ~x237 ~x238 ~x239 x240 x241 ~x242 x243 ~x244 x245 x246 ~x247 x248 ~x249 ~x250 x251 ~x252 x253 ~x254 x255 x256 ~x257 x258 x259 x260 ~x261 x262 ~x263 ~x264 x265 x266 x267 ~x268 ~x269 ~x270 x271 ~x272 ~x273 x274 ~x275 x276 ~x277 ~x278 x279 x280 x281 ~x282 ~x283 ~x284 x285 ~x286 x287 ~x288 ~x289 x290 x291 ~x292 ~x293 x294 x295 ~x296 ~x297 x298 x299 x300 ~x301 x302 x303 ~x304 ~x305 x306 ~x307 x308 x309 ~x310 ~x311 ~x312 x313 ~x314 ~x315 x316 ~x317 ~x318 x319 ~x320 ~x321 ~x322 ~x323 x324 x325 ~x326 ~x327 ~x328 ~x329 x330 x331 ~x332 x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 x341 x342 ~x343 x344 ~x345 x346 x347 ~x348 ~x349 x350 x351 x352 ~x353 ~x354 x355 x356 x357 ~x358 x359 x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 x369 ~x370 ~x371 ~x372 x373 x374 x375 x376 x377 x378 ~x379 x380 x381 ~x382 ~x383 ~x384 ~x385 x386 x387 x388 x389 x390 x391 x392 ~x393 x394 ~x395 x396 ~x397 x398 x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 x407 ~x408 x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 x417 ~x418 ~x419 x420 x421 x422 x423 x424 ~x425 x426 ~x427 ~x428 ~x429 x430 x431 x432 ~x433 x434 ~x435 x436 x437 x438 x439 ~x440 ~x441 ~x442 ~x443 x444 x445 x446 x447 ~x448 ~x449 ~x450 x451 x452 ~x453 x454 ~x455 ~x456 ~x457 x458 ~x459 x460 ~x461 x462 x463 ~x464 x465 ~x466 x467 ~x468 x469 ~x470 x471 ~x472 ~x473 3600.09/3609.40 c #Conflicts: 793000 | #Constraints: 38810 3600.09/3609.40 c #Conflicts: 794000 | #Constraints: 39810 3600.09/3609.40 c #Conflicts: 795000 | #Constraints: 40810 3600.09/3609.40 c #Conflicts: 796000 | #Constraints: 41810 3600.09/3609.40 c #Conflicts: 797000 | #Constraints: 42810 3600.09/3609.40 c #Conflicts: 798000 | #Constraints: 43826 3600.09/3609.40 c #Conflicts: 799000 | #Constraints: 44826 3600.09/3609.40 c #Conflicts: 800000 | #Constraints: 45826 3600.09/3609.40 c #Conflicts: 801000 | #Constraints: 46826 3600.09/3609.40 c #Conflicts: 802000 | #Constraints: 47826 3600.09/3609.40 c #Conflicts: 803000 | #Constraints: 48837 3600.09/3609.40 c #Conflicts: 804000 | #Constraints: 49837 3600.09/3609.40 c #Conflicts: 805000 | #Constraints: 50837 3600.09/3609.40 c #Conflicts: 806000 | #Constraints: 51837 3600.09/3609.40 c #Conflicts: 807000 | #Constraints: 52837 3600.09/3609.40 c #Conflicts: 808000 | #Constraints: 53856 3600.09/3609.40 c #Conflicts: 809000 | #Constraints: 54873 3600.09/3609.40 c #Conflicts: 810000 | #Constraints: 55873 3600.09/3609.40 c #Conflicts: 811000 | #Constraints: 56957 3600.09/3609.40 c #Conflicts: 812000 | #Constraints: 57974 3600.09/3609.40 c #Conflicts: 813000 | #Constraints: 58974 3600.09/3609.40 c #Conflicts: 814000 | #Constraints: 59974 3600.09/3609.40 c #Conflicts: 815000 | #Constraints: 60974 3600.09/3609.40 c #Conflicts: 816000 | #Constraints: 61993 3600.09/3609.40 c #Conflicts: 817000 | #Constraints: 63031 3600.09/3609.40 c #Conflicts: 818000 | #Constraints: 64065 3600.09/3609.40 c #Conflicts: 819000 | #Constraints: 65065 3600.09/3609.40 c #Conflicts: 820000 | #Constraints: 66092 3600.09/3609.40 c #Conflicts: 821000 | #Constraints: 67133 3600.09/3609.40 c #Conflicts: 822000 | #Constraints: 68133 3600.09/3609.40 c #Conflicts: 823000 | #Constraints: 69166 3600.09/3609.40 c #Conflicts: 824000 | #Constraints: 70167 3600.09/3609.40 c #Conflicts: 825000 | #Constraints: 71167 3600.09/3609.40 c #Conflicts: 826000 | #Constraints: 72167 3600.09/3609.40 c #Conflicts: 827000 | #Constraints: 73193 3600.09/3609.40 c #Conflicts: 828000 | #Constraints: 74206 3600.09/3609.40 c #Conflicts: 829000 | #Constraints: 75237 3600.09/3609.40 c #Conflicts: 830000 | #Constraints: 76306 3600.09/3609.40 c #Conflicts: 831000 | #Constraints: 77313 3600.09/3609.40 c #Conflicts: 832000 | #Constraints: 78330 3600.09/3609.40 c #Conflicts: 833000 | #Constraints: 79360 3600.09/3609.40 c #Conflicts: 834000 | #Constraints: 80369 3600.09/3609.40 c #Conflicts: 835000 | #Constraints: 81377 3600.09/3609.40 c #Conflicts: 836000 | #Constraints: 82382 3600.09/3609.40 c #Conflicts: 837000 | #Constraints: 83382 3600.09/3609.40 c #Conflicts: 838000 | #Constraints: 84388 3600.09/3609.40 c #Conflicts: 839000 | #Constraints: 85427 3600.09/3609.40 c #Conflicts: 840000 | #Constraints: 86437 3600.09/3609.40 c #Conflicts: 841000 | #Constraints: 87439 3600.09/3609.40 c #Conflicts: 842000 | #Constraints: 88445 3600.09/3609.40 c #Conflicts: 843000 | #Constraints: 89445 3600.09/3609.40 c #Conflicts: 844000 | #Constraints: 90496 3600.09/3609.40 c #Conflicts: 845000 | #Constraints: 91498 3600.09/3609.40 c #Conflicts: 846000 | #Constraints: 92499 3600.09/3609.40 c #Conflicts: 847000 | #Constraints: 93517
OK 193
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63403 MiB free)
memory of node 1: 64473 MiB (62211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429404-1721048429/watcher-4429404-1721048429 -o /tmp/evaluation-result-4429404-1721048429/solver-4429404-1721048429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721048442-802518 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429404-1721048429.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=802567, runsolver pid=802560
Current StackSize limit: 8192 KiB
[startup+0.100907 s]*
/proc/loadavg: 3.81 4.06 4.11 6/242 802570
/proc/meminfo: memFree=128617516/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=38468 memory=8480 CPUtime=0.09 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 623 0 0 0 9 0 0 0 20 0 1 0 157001790 39391232 2120 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 9617 2120 1707 922 0 1569 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 8480 KiB
[startup+0.2133 s]*
/proc/loadavg: 3.81 4.06 4.11 5/242 802570
/proc/meminfo: memFree=128611420/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=38468 memory=8480 CPUtime=0.21 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 639 0 0 0 20 1 0 0 20 0 1 0 157001790 39391232 2120 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 9617 2120 1707 922 0 1569 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 8480 KiB
[startup+0.312441 s]*
/proc/loadavg: 3.81 4.06 4.11 5/241 802571
/proc/meminfo: memFree=128613244/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=38916 memory=8776 CPUtime=0.3 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 726 0 0 0 29 1 0 0 20 0 1 0 157001790 39849984 2194 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 9729 2194 1707 922 0 1681 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38916 KiB
Current children cumulated memory: 8776 KiB
[startup+0.700272 s]
/proc/loadavg: 3.81 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128601000/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=40896 memory=13840 CPUtime=0.69 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 1456 0 0 0 64 5 0 0 20 0 1 0 157001790 41877504 3460 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 10224 3460 1739 922 0 2176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 13840 KiB
[startup+1.50027 s]
/proc/loadavg: 3.81 4.06 4.11 6/246 802581
/proc/meminfo: memFree=128581428/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=43000 memory=16164 CPUtime=1.48 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 2002 0 0 0 136 12 0 0 20 0 1 0 157001790 44032000 4041 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 10750 4041 1816 922 0 2702 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43000 KiB
Current children cumulated memory: 16164 KiB
[startup+3.11351 s]
/proc/loadavg: 3.82 4.06 4.11 7/246 802581
/proc/meminfo: memFree=128443704/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=51800 memory=24544 CPUtime=3.09 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 4151 0 0 0 290 19 0 0 20 0 1 0 157001790 53043200 6136 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 12950 6136 1816 922 0 4902 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51800 KiB
Current children cumulated memory: 24544 KiB
[startup+6.30028 s]
/proc/loadavg: 3.82 4.06 4.11 6/246 802581
/proc/meminfo: memFree=128232432/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=58392 memory=30112 CPUtime=6.26 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 5041 0 0 0 596 30 0 0 20 0 1 0 157001790 59793408 7528 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 14598 7528 1816 922 0 6550 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 58392 KiB
Current children cumulated memory: 30112 KiB
[startup+12.7003 s]
/proc/loadavg: 3.85 4.05 4.11 6/246 802583
/proc/meminfo: memFree=128153016/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=64348 memory=35124 CPUtime=12.65 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 6407 0 0 0 1212 53 0 0 20 0 1 0 157001790 65892352 8781 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 16087 8781 1816 922 0 8039 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64348 KiB
Current children cumulated memory: 35124 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.07 4.12 6/246 802595
/proc/meminfo: memFree=127950216/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=102364 memory=70488 CPUtime=25.42 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 11595 0 0 0 2465 77 0 0 20 0 1 0 157001790 104820736 17622 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 25591 17622 1917 922 0 17543 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 102364 KiB
Current children cumulated memory: 70488 KiB
[startup+51.1135 s]
/proc/loadavg: 3.97 4.06 4.11 6/246 802600
/proc/meminfo: memFree=127861776/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=107020 memory=73920 CPUtime=50.97 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 12443 0 0 0 4968 129 0 0 20 0 1 0 157001790 109588480 18480 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 26755 18480 1917 922 0 18707 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 107020 KiB
Current children cumulated memory: 73920 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.11 6/246 802608
/proc/meminfo: memFree=127796120/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=116340 memory=81824 CPUtime=102.02 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 14461 0 0 0 9997 205 0 0 20 0 1 0 157001790 119132160 20456 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 29085 20456 1917 922 0 21037 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 116340 KiB
Current children cumulated memory: 81824 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.11 6/246 802619
/proc/meminfo: memFree=127278084/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=157996 memory=121284 CPUtime=161.86 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 19737 0 0 0 15923 263 0 0 20 0 1 0 157001790 161787904 30321 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 39499 30321 1917 922 0 31451 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 157996 KiB
Current children cumulated memory: 121284 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.10 6/244 802629
/proc/meminfo: memFree=127100420/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=159216 memory=123060 CPUtime=221.71 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 20152 0 0 0 21837 334 0 0 20 0 1 0 157001790 163037184 30765 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 39804 30765 1917 922 0 31756 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 159216 KiB
Current children cumulated memory: 123060 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.10 6/244 802640
/proc/meminfo: memFree=127049352/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=164760 memory=127776 CPUtime=281.55 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 21333 0 0 0 27767 388 0 0 20 0 1 0 157001790 168714240 31944 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 41190 31944 1917 922 0 33142 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 164760 KiB
Current children cumulated memory: 127776 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/241 802651
/proc/meminfo: memFree=127005004/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=220372 memory=158796 CPUtime=341.4 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 26575 0 0 0 33706 434 0 0 20 0 1 0 157001790 225660928 39699 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 55093 39699 1917 922 0 47045 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 220372 KiB
Current children cumulated memory: 158796 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/241 802661
/proc/meminfo: memFree=126695488/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=239620 memory=192784 CPUtime=401.24 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 30996 0 0 0 39661 463 0 0 20 0 1 0 157001790 245370880 48196 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 59905 48196 1917 922 0 51857 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 239620 KiB
Current children cumulated memory: 192784 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/241 802671
/proc/meminfo: memFree=126645860/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=239620 memory=192784 CPUtime=461.08 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 30996 0 0 0 45610 498 0 0 20 0 1 0 157001790 245370880 48196 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 59905 48196 1917 922 0 51857 0
################
# More data... #
################
Current children cumulated memory: 330096 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/241 803824
/proc/meminfo: memFree=125288600/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=387560 memory=339700 CPUtime=2854.91 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 52098 0 0 0 284037 1454 0 0 20 0 1 0 157001790 396861440 84925 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 96890 84925 1917 922 0 88842 0
Current children cumulated CPU time: 2854.91 s
Current children cumulated vsize: 387560 KiB
Current children cumulated memory: 339700 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/241 803836
/proc/meminfo: memFree=125056640/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=484516 memory=362604 CPUtime=2914.76 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 54847 0 0 0 290008 1468 0 0 20 0 1 0 157001790 496144384 90651 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 121129 90651 1917 922 0 113081 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 484516 KiB
Current children cumulated memory: 362604 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/241 803846
/proc/meminfo: memFree=124918316/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=499352 memory=384268 CPUtime=2974.6 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 57335 0 0 0 295977 1483 0 0 20 0 1 0 157001790 511336448 96067 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 124838 96067 1917 922 0 116790 0
Current children cumulated CPU time: 2974.6 s
Current children cumulated vsize: 499352 KiB
Current children cumulated memory: 384268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/244 803861
/proc/meminfo: memFree=125010888/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385280 CPUtime=3034.45 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 57616 0 0 0 301949 1496 0 0 20 0 1 0 157001790 512016384 96320 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96320 1917 922 0 116956 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/244 803871
/proc/meminfo: memFree=125005008/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385280 CPUtime=3094.3 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 57784 0 0 0 307923 1507 0 0 20 0 1 0 157001790 512016384 96320 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96320 1917 922 0 116956 0
Current children cumulated CPU time: 3094.3 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/244 803882
/proc/meminfo: memFree=125001352/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385280 CPUtime=3154.15 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 57952 0 0 0 313897 1518 0 0 20 0 1 0 157001790 512016384 96320 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96320 1917 922 0 116956 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/244 803892
/proc/meminfo: memFree=124977696/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385280 CPUtime=3213.99 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 58120 0 0 0 319870 1529 0 0 20 0 1 0 157001790 512016384 96320 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96320 1917 922 0 116956 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/244 803903
/proc/meminfo: memFree=124959736/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385280 CPUtime=3273.84 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 58288 0 0 0 325828 1556 0 0 20 0 1 0 157001790 512016384 96320 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96320 1917 922 0 116956 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/242 804297
/proc/meminfo: memFree=124951296/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385320 CPUtime=3333.68 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 58467 0 0 0 331783 1585 0 0 20 0 1 0 157001790 512016384 96330 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96330 1917 922 0 116956 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/242 804307
/proc/meminfo: memFree=124950908/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385356 CPUtime=3393.53 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 58647 0 0 0 337748 1605 0 0 20 0 1 0 157001790 512016384 96339 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96339 1917 922 0 116956 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/242 804317
/proc/meminfo: memFree=124944704/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385404 CPUtime=3453.37 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 58828 0 0 0 343714 1623 0 0 20 0 1 0 157001790 512016384 96351 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96351 1917 922 0 116956 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/244 804498
/proc/meminfo: memFree=124940384/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=500016 memory=385444 CPUtime=3513.22 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 59008 0 0 0 349687 1635 0 0 20 0 1 0 157001790 512016384 96361 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 125004 96361 1917 922 0 116956 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 385444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/245 804509
/proc/meminfo: memFree=124934600/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=504760 memory=387908 CPUtime=3573.06 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 59841 0 0 0 355658 1648 0 0 20 0 1 0 157001790 516874240 96977 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 126190 96977 1917 922 0 118142 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 504760 KiB
Current children cumulated memory: 387908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.11 4.10 4.09 6/246 804519
/proc/meminfo: memFree=124930268/131655788 swapFree=131071996/131071996
[pid=802567] ppid=802560 vsize=508936 memory=390464 CPUtime=3600.09 cores=4,6
/proc/802567/stat : 802567 (roundingsat) R 802560 802567 802507 0 -1 4194304 60577 0 0 0 358354 1655 0 0 20 0 1 0 157001790 521150464 97616 134679101440 4194304 7968869 140729003213568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 13520896 140729003217854 140729003218018 140729003218018 140729003225033 0
/proc/802567/statm: 127234 97616 1917 922 0 119186 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 508936 KiB
Current children cumulated memory: 390464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 802567 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3583.55 s, system=16.564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.41
CPU time (s): 3600.11
CPU user time (s): 3583.55
CPU system time (s): 16.564
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 508936
Max. memory (cumulated for all children) (KiB): 390464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.55
system time used= 16.564
maximum resident set size= 390464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85
involuntary context switches= 3027
# summary of solver processes directly reported to runsolver:
# pid: 802567
# total CPU time (s): 3600.11
# total CPU user time (s): 3583.55
# total CPU system time (s): 16.564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7849 second user time and 38.095 second system time
The end
Begin job on nodeC005 at 2024-07-15 15:00:42 IDJOB=4429404 IDBENCH=147549 IDSOLVER=3051 FILE ID=nodeC005/4429404-1721048429 RUNJOBID= nodeC005-1721048442-802518 SLURM_JOB_ID= 7505464 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.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-4429404-1721048429/watcher-4429404-1721048429 -o /tmp/evaluation-result-4429404-1721048429/solver-4429404-1721048429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721048442-802518 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429404-1721048429.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb RANDOM SEED=104377921 nodeC005.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.176 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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.177 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.35 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.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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.214 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.35 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 : 1197.584 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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 : 3492.296 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.35 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.177 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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.177 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128635676 kB MemAvailable: 129967340 kB Buffers: 345208 kB Cached: 1814432 kB SwapCached: 0 kB Active: 562164 kB Inactive: 1898220 kB Active(anon): 3356 kB Inactive(anon): 335436 kB Active(file): 558808 kB Inactive(file): 1562784 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19464 kB Writeback: 0 kB AnonPages: 300368 kB Mapped: 104200 kB Shmem: 37704 kB KReclaimable: 100544 kB Slab: 201144 kB SReclaimable: 100544 kB SUnreclaim: 100600 kB KernelStack: 3712 kB PageTables: 9648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 633616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52000 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 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: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723744 MiB End job on nodeC005 at 2024-07-15 16:00:51