| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.11 | 3614.52 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | b1303fc064b9de7d315268cbf770fb1d |
| 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 | 181 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 470 |
| Total number of constraints | 470 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.39 c #variables 470 #constraints 470 0.40/0.89 c bounds - >= 0 @ 0.008092 0.40/0.89 c bounds 224 >= 0 @ 0.400637 0.40/0.89 c bounds 224 >= 1 @ 0.400637 0.40/0.89 c bounds 224 >= 2 @ 0.400637 0.40/0.89 c bounds 224 >= 3 @ 0.400637 0.40/0.89 c bounds 224 >= 4 @ 0.400637 0.40/0.89 c bounds 224 >= 5 @ 0.400637 0.40/0.89 c bounds 224 >= 6 @ 0.400637 0.40/0.89 c bounds 224 >= 7 @ 0.400637 0.40/0.89 c bounds 224 >= 8 @ 0.400637 0.40/0.89 c bounds 224 >= 9 @ 0.400637 0.40/0.89 c bounds 224 >= 10 @ 0.400637 0.40/0.89 c bounds 224 >= 11 @ 0.400813 0.40/0.89 c bounds 224 >= 12 @ 0.400995 0.40/0.89 c bounds 224 >= 13 @ 0.401176 0.40/0.89 c bounds 224 >= 14 @ 0.401369 0.40/0.89 c bounds 224 >= 15 @ 0.401577 0.40/0.89 c bounds 224 >= 16 @ 0.401628 0.40/0.89 c bounds 224 >= 17 @ 0.401628 0.40/0.89 c bounds 224 >= 18 @ 0.401628 0.40/0.89 c bounds 224 >= 19 @ 0.401628 0.40/0.89 c bounds 224 >= 20 @ 0.401628 0.40/0.89 c bounds 224 >= 21 @ 0.401628 0.40/0.89 c bounds 224 >= 22 @ 0.401628 0.40/0.89 c bounds 224 >= 23 @ 0.401628 0.40/0.89 c bounds 224 >= 24 @ 0.401754 0.40/0.89 c bounds 224 >= 25 @ 0.402006 0.40/0.89 c bounds 224 >= 26 @ 0.402316 0.40/0.89 c bounds 223 >= 26 @ 0.422501 0.40/0.89 c bounds 223 >= 27 @ 0.422501 0.40/0.89 c bounds 223 >= 28 @ 0.422501 0.40/0.89 c bounds 223 >= 29 @ 0.422584 0.40/0.89 c bounds 223 >= 30 @ 0.422886 0.40/0.89 c bounds 223 >= 31 @ 0.423186 0.40/0.89 c bounds 223 >= 32 @ 0.423501 0.40/0.89 c bounds 223 >= 33 @ 0.423808 0.40/0.89 c bounds 223 >= 34 @ 0.424126 0.40/0.89 c bounds 223 >= 35 @ 0.424438 0.40/0.89 c bounds 223 >= 36 @ 0.42449 0.40/0.89 c bounds 223 >= 37 @ 0.42449 0.40/0.89 c bounds 223 >= 38 @ 0.42449 0.40/0.89 c bounds 223 >= 39 @ 0.42449 0.40/0.89 c bounds 223 >= 40 @ 0.42449 0.40/0.89 c bounds 223 >= 41 @ 0.42449 0.40/0.89 c bounds 223 >= 42 @ 0.42449 0.40/0.89 c bounds 223 >= 43 @ 0.42449 0.40/0.89 c bounds 223 >= 44 @ 0.42449 0.40/0.89 c bounds 223 >= 45 @ 0.42449 0.40/0.89 c bounds 223 >= 46 @ 0.42449 0.40/0.89 c bounds 223 >= 47 @ 0.42449 0.40/0.89 c bounds 223 >= 48 @ 0.42449 0.40/0.89 c bounds 223 >= 49 @ 0.42449 0.40/0.89 c bounds 223 >= 50 @ 0.42449 0.40/0.89 c bounds 223 >= 51 @ 0.42449 0.40/0.89 c bounds 223 >= 52 @ 0.424691 0.40/0.89 c bounds 223 >= 53 @ 0.425014 0.40/0.89 c bounds 223 >= 54 @ 0.425338 0.40/0.89 c bounds 223 >= 55 @ 0.425484 0.40/0.89 c bounds 223 >= 56 @ 0.425484 0.40/0.89 c bounds 223 >= 57 @ 0.425484 0.40/0.89 c bounds 223 >= 58 @ 0.425641 0.40/0.89 c bounds 223 >= 59 @ 0.425976 0.40/0.89 c bounds 223 >= 60 @ 0.426319 0.40/0.89 c bounds 223 >= 61 @ 0.426478 0.40/0.89 c bounds 223 >= 62 @ 0.426478 0.40/0.89 c bounds 223 >= 63 @ 0.426478 0.40/0.89 c bounds 223 >= 64 @ 0.426478 0.40/0.89 c bounds 223 >= 65 @ 0.426478 0.40/0.89 c bounds 223 >= 66 @ 0.426609 0.40/0.89 c bounds 223 >= 67 @ 0.426991 0.40/0.89 c bounds 223 >= 68 @ 0.427371 0.40/0.89 c bounds 223 >= 69 @ 0.427752 0.40/0.89 c bounds 223 >= 70 @ 0.428133 0.40/0.89 c bounds 223 >= 71 @ 0.428541 0.40/0.89 c bounds 223 >= 72 @ 0.428939 0.40/0.89 c bounds 223 >= 73 @ 0.429333 0.40/0.89 c bounds 223 >= 74 @ 0.429458 0.40/0.89 c bounds 223 >= 75 @ 0.429458 0.40/0.89 c bounds 223 >= 76 @ 0.429459 0.40/0.89 c bounds 223 >= 77 @ 0.429459 0.40/0.89 c bounds 223 >= 78 @ 0.429459 0.40/0.89 c bounds 223 >= 79 @ 0.429733 0.40/0.89 c bounds 223 >= 80 @ 0.430102 0.40/0.89 c bounds 223 >= 81 @ 0.4305 0.40/0.89 c bounds 223 >= 82 @ 0.430875 0.40/0.89 c bounds 223 >= 83 @ 0.431246 0.40/0.89 c bounds 223 >= 84 @ 0.431447 0.40/0.89 c bounds 223 >= 85 @ 0.431447 0.40/0.89 c bounds 223 >= 86 @ 0.431447 0.40/0.89 c bounds 223 >= 87 @ 0.431447 0.40/0.89 c bounds 223 >= 88 @ 0.431447 0.40/0.89 c bounds 223 >= 89 @ 0.431517 0.40/0.89 c bounds 223 >= 90 @ 0.431901 0.40/0.89 c bounds 223 >= 91 @ 0.432278 0.40/0.89 c bounds 223 >= 92 @ 0.432439 0.40/0.89 c bounds 223 >= 93 @ 0.432439 0.40/0.89 c bounds 223 >= 94 @ 0.432439 0.40/0.89 c bounds 223 >= 95 @ 0.43244 0.40/0.89 c bounds 223 >= 96 @ 0.43244 0.40/0.89 c bounds 223 >= 97 @ 0.432565 0.40/0.89 c bounds 223 >= 98 @ 0.432944 0.40/0.89 c bounds 223 >= 99 @ 0.433326 0.40/0.89 c bounds 223 >= 100 @ 0.433434 0.40/0.89 c bounds 223 >= 101 @ 0.433434 0.40/0.89 c bounds 223 >= 102 @ 0.433434 0.40/0.89 c bounds 223 >= 103 @ 0.433784 0.40/0.89 c bounds 223 >= 104 @ 0.434139 0.40/0.89 c bounds 223 >= 105 @ 0.434462 0.40/0.89 c bounds 223 >= 106 @ 0.434826 0.40/0.89 c bounds 223 >= 107 @ 0.435184 0.40/0.89 c bounds 223 >= 108 @ 0.435422 0.40/0.89 c bounds 222 >= 108 @ 0.441212 0.40/0.89 c bounds 222 >= 109 @ 0.441645 0.40/0.89 c bounds 222 >= 110 @ 0.442106 0.40/0.89 c bounds 222 >= 111 @ 0.442381 0.40/0.89 c bounds 222 >= 112 @ 0.442381 0.40/0.89 c bounds 222 >= 113 @ 0.4424 0.40/0.89 c bounds 222 >= 114 @ 0.442817 0.40/0.89 c bounds 222 >= 115 @ 0.443226 0.40/0.89 c bounds 222 >= 116 @ 0.443631 0.40/0.89 c bounds 222 >= 117 @ 0.444035 0.40/0.89 c bounds 222 >= 118 @ 0.44446 0.40/0.89 c bounds 222 >= 119 @ 0.444883 0.40/0.89 c bounds 222 >= 120 @ 0.445321 0.40/0.89 c bounds 222 >= 121 @ 0.445841 0.40/0.89 c bounds 222 >= 122 @ 0.446294 0.40/0.89 c bounds 222 >= 123 @ 0.446803 0.40/0.89 c bounds 222 >= 124 @ 0.447287 0.40/0.89 c bounds 222 >= 125 @ 0.447873 0.40/0.89 c bounds 222 >= 126 @ 0.448422 0.40/0.89 c bounds 222 >= 127 @ 0.449038 0.40/0.89 c bounds 222 >= 128 @ 0.449337 0.40/0.89 c bounds 222 >= 129 @ 0.449337 0.40/0.89 c bounds 222 >= 130 @ 0.449337 0.40/0.89 c bounds 222 >= 131 @ 0.449541 0.40/0.89 c bounds 222 >= 132 @ 0.450214 0.40/0.89 c bounds 222 >= 133 @ 0.450329 2.00/2.47 c bounds 221 >= 133 @ 0.454058 2.00/2.47 c bounds 221 >= 134 @ 0.455194 2.00/2.47 c bounds 221 >= 135 @ 0.456109 2.00/2.47 c bounds 221 >= 136 @ 0.456435 2.00/2.47 c bounds 221 >= 137 @ 0.460745 2.00/2.47 c bounds 220 >= 137 @ 0.465228 2.00/2.47 c bounds 220 >= 138 @ 0.465228 2.00/2.47 c bounds 220 >= 139 @ 0.467214 2.00/2.47 c bounds 220 >= 140 @ 0.478976 2.00/2.47 c bounds 219 >= 140 @ 0.48165 2.00/2.47 c bounds 218 >= 140 @ 0.576459 2.00/2.47 c bounds 218 >= 141 @ 0.589682 2.00/2.47 c bounds 218 >= 142 @ 0.673525 2.00/2.47 c #Conflicts: 1000 | #Constraints: 2060 2.00/2.47 c bounds 217 >= 142 @ 0.813908 2.00/2.47 c bounds 217 >= 143 @ 0.875162 2.00/2.47 c #Conflicts: 2000 | #Constraints: 3096 2.00/2.47 c INPROCESSING 2.00/2.47 c GARBAGE COLLECT 2.00/2.47 c rational objective 141.978 4.79/5.27 c bounds 216 >= 143 @ 1.89537 4.79/5.27 c bounds 215 >= 143 @ 1.8979 4.79/5.27 c bounds 214 >= 143 @ 1.90403 4.79/5.27 c bounds 213 >= 143 @ 2.0247 4.79/5.27 c #Conflicts: 3000 | #Constraints: 3146 4.79/5.27 c bounds 212 >= 143 @ 2.0919 4.79/5.27 c #Conflicts: 4000 | #Constraints: 4147 4.79/5.27 c INPROCESSING 4.79/5.27 c GARBAGE COLLECT 4.79/5.27 c bounds 212 >= 144 @ 2.43573 4.79/5.27 c #Conflicts: 5000 | #Constraints: 3592 4.79/5.27 c #Conflicts: 6000 | #Constraints: 4592 4.79/5.27 c INPROCESSING 4.79/5.27 c GARBAGE COLLECT 4.79/5.27 c bounds 211 >= 144 @ 3.41221 4.79/5.27 c bounds 210 >= 144 @ 3.423 4.79/5.27 c #Conflicts: 7000 | #Constraints: 3627 4.79/5.27 c bounds 209 >= 144 @ 3.46554 4.79/5.27 c bounds 208 >= 144 @ 3.62035 4.79/5.27 c #Conflicts: 8000 | #Constraints: 4629 4.79/5.27 c #Conflicts: 9000 | #Constraints: 5629 4.79/5.27 c INPROCESSING 4.79/5.27 c GARBAGE COLLECT 4.79/5.27 c rational objective 141.978 8.18/8.63 c #Conflicts: 10000 | #Constraints: 4308 8.18/8.63 c #Conflicts: 11000 | #Constraints: 5308 8.18/8.63 c #Conflicts: 12000 | #Constraints: 6308 8.18/8.63 c INPROCESSING 8.18/8.63 c GARBAGE COLLECT 8.18/8.63 c #Conflicts: 13000 | #Constraints: 4747 8.18/8.63 c bounds 208 >= 145 @ 6.08471 8.18/8.63 c #Conflicts: 14000 | #Constraints: 5785 8.18/8.63 c #Conflicts: 15000 | #Constraints: 6785 8.18/8.63 c INPROCESSING 8.18/8.63 c GARBAGE COLLECT 8.18/8.63 c bounds 207 >= 145 @ 6.73642 8.18/8.63 c #Conflicts: 16000 | #Constraints: 5046 8.18/8.63 c #Conflicts: 17000 | #Constraints: 6046 8.18/8.63 c #Conflicts: 18000 | #Constraints: 7046 8.18/8.63 c INPROCESSING 8.18/8.63 c GARBAGE COLLECT 8.18/8.63 c rational objective 141.978 9.97/10.40 c #Conflicts: 19000 | #Constraints: 5041 9.97/10.40 c #Conflicts: 20000 | #Constraints: 6041 9.97/10.40 c #Conflicts: 21000 | #Constraints: 7041 9.97/10.40 c INPROCESSING 9.97/10.40 c GARBAGE COLLECT 9.97/10.40 c rational objective 141.978 11.58/12.01 c #Conflicts: 22000 | #Constraints: 4890 11.58/12.01 c #Conflicts: 23000 | #Constraints: 5890 11.58/12.01 c #Conflicts: 24000 | #Constraints: 6890 11.58/12.01 c #Conflicts: 25000 | #Constraints: 7890 11.58/12.01 c INPROCESSING 11.58/12.01 c GARBAGE COLLECT 11.58/12.01 c rational objective 141.978 13.57/14.05 c #Conflicts: 26000 | #Constraints: 5459 13.57/14.05 c #Conflicts: 27000 | #Constraints: 6459 13.57/14.05 c #Conflicts: 28000 | #Constraints: 7459 13.57/14.05 c #Conflicts: 29000 | #Constraints: 8459 13.57/14.05 c INPROCESSING 13.57/14.05 c GARBAGE COLLECT 13.57/14.05 c rational objective 141.978 15.26/15.70 c bounds 206 >= 145 @ 13.0992 15.26/15.70 c #Conflicts: 30000 | #Constraints: 5904 15.26/15.70 c #Conflicts: 31000 | #Constraints: 6904 15.26/15.70 c bounds 205 >= 145 @ 13.7375 15.26/15.70 c bounds 204 >= 145 @ 13.9543 15.26/15.70 c #Conflicts: 32000 | #Constraints: 7906 15.26/15.70 c bounds 203 >= 145 @ 14.0868 15.26/15.70 c bounds 202 >= 145 @ 14.4549 15.26/15.70 c #Conflicts: 33000 | #Constraints: 8908 15.26/15.70 c INPROCESSING 15.26/15.70 c GARBAGE COLLECT 15.26/15.70 c rational objective 141.978 17.84/18.31 c #Conflicts: 34000 | #Constraints: 6066 17.84/18.31 c #Conflicts: 35000 | #Constraints: 7066 17.84/18.31 c #Conflicts: 36000 | #Constraints: 8066 17.84/18.31 c #Conflicts: 37000 | #Constraints: 9066 17.84/18.31 c INPROCESSING 17.84/18.31 c GARBAGE COLLECT 17.84/18.31 c rational objective 141.978 20.73/21.26 c #Conflicts: 38000 | #Constraints: 6059 20.73/21.26 c #Conflicts: 39000 | #Constraints: 7059 20.73/21.26 c #Conflicts: 40000 | #Constraints: 8059 20.73/21.26 c #Conflicts: 41000 | #Constraints: 9059 20.73/21.26 c bounds 202 >= 146 @ 19.7928 20.73/21.26 c INPROCESSING 20.73/21.26 c GARBAGE COLLECT 20.73/21.26 c rational objective 141.978 24.03/24.55 c #Conflicts: 42000 | #Constraints: 5939 24.03/24.55 c #Conflicts: 43000 | #Constraints: 6939 24.03/24.55 c #Conflicts: 44000 | #Constraints: 7939 24.03/24.55 c #Conflicts: 45000 | #Constraints: 8939 24.03/24.55 c #Conflicts: 46000 | #Constraints: 9939 24.03/24.55 c INPROCESSING 24.03/24.55 c GARBAGE COLLECT 24.03/24.55 c rational objective 141.978 55.61/56.26 c bounds 201 >= 146 @ 23.3459 55.61/56.26 c #Conflicts: 47000 | #Constraints: 6577 55.61/56.26 c #Conflicts: 48000 | #Constraints: 7577 55.61/56.26 c #Conflicts: 49000 | #Constraints: 8577 55.61/56.26 c bounds 200 >= 146 @ 24.6463 55.61/56.26 c #Conflicts: 50000 | #Constraints: 9578 55.61/56.26 c #Conflicts: 51000 | #Constraints: 10578 55.61/56.26 c bounds 199 >= 146 @ 25.9767 55.61/56.26 c #Conflicts: 52000 | #Constraints: 11579 55.61/56.26 c #Conflicts: 53000 | #Constraints: 12579 55.61/56.26 c #Conflicts: 54000 | #Constraints: 13579 55.61/56.26 c #Conflicts: 55000 | #Constraints: 14579 55.61/56.26 c #Conflicts: 56000 | #Constraints: 15579 55.61/56.26 c #Conflicts: 57000 | #Constraints: 16579 55.61/56.26 c #Conflicts: 58000 | #Constraints: 17579 55.61/56.26 c #Conflicts: 59000 | #Constraints: 18579 55.61/56.26 c #Conflicts: 60000 | #Constraints: 19579 55.61/56.26 c #Conflicts: 61000 | #Constraints: 20579 55.61/56.26 c #Conflicts: 62000 | #Constraints: 21579 55.61/56.26 c #Conflicts: 63000 | #Constraints: 22579 55.61/56.26 c #Conflicts: 64000 | #Constraints: 23579 55.61/56.26 c INPROCESSING 55.61/56.26 c GARBAGE COLLECT 55.61/56.26 c rational objective 141.978 60.51/61.17 c #Conflicts: 65000 | #Constraints: 13256 60.51/61.17 c #Conflicts: 66000 | #Constraints: 14256 60.51/61.17 c #Conflicts: 67000 | #Constraints: 15256 60.51/61.17 c bounds 198 >= 146 @ 56.4566 60.51/61.17 c #Conflicts: 68000 | #Constraints: 16257 60.51/61.17 c #Conflicts: 69000 | #Constraints: 17257 60.51/61.17 c #Conflicts: 70000 | #Constraints: 18257 60.51/61.17 c INPROCESSING 60.51/61.17 c GARBAGE COLLECT 60.51/61.17 c rational objective 141.978 66.08/66.74 c #Conflicts: 71000 | #Constraints: 10579 66.08/66.74 c #Conflicts: 72000 | #Constraints: 11579 66.08/66.74 c #Conflicts: 73000 | #Constraints: 12579 66.08/66.74 c #Conflicts: 74000 | #Constraints: 13579 66.08/66.74 c #Conflicts: 75000 | #Constraints: 14579 66.08/66.74 c #Conflicts: 76000 | #Constraints: 15579 66.08/66.74 c INPROCESSING 66.08/66.74 c GARBAGE COLLECT 66.08/66.74 c rational objective 141.978 71.48/72.17 c #Conflicts: 77000 | #Constraints: 9187 71.48/72.17 c #Conflicts: 78000 | #Constraints: 10187 71.48/72.17 c #Conflicts: 79000 | #Constraints: 11187 71.48/72.17 c #Conflicts: 80000 | #Constraints: 12187 71.48/72.17 c #Conflicts: 81000 | #Constraints: 13187 71.48/72.17 c #Conflicts: 82000 | #Constraints: 14187 71.48/72.17 c INPROCESSING 71.48/72.17 c GARBAGE COLLECT 71.48/72.17 c rational objective 141.978 121.00/121.87 c #Conflicts: 83000 | #Constraints: 8339 121.00/121.87 c #Conflicts: 84000 | #Constraints: 9339 121.00/121.87 c #Conflicts: 85000 | #Constraints: 10339 121.00/121.87 c #Conflicts: 86000 | #Constraints: 11339 121.00/121.87 c #Conflicts: 87000 | #Constraints: 12339 121.00/121.87 c #Conflicts: 88000 | #Constraints: 13339 121.00/121.87 c #Conflicts: 89000 | #Constraints: 14339 121.00/121.87 c #Conflicts: 90000 | #Constraints: 15339 121.00/121.87 c #Conflicts: 91000 | #Constraints: 16339 121.00/121.87 c #Conflicts: 92000 | #Constraints: 17339 121.00/121.87 c #Conflicts: 93000 | #Constraints: 18339 121.00/121.87 c #Conflicts: 94000 | #Constraints: 19339 121.00/121.87 c #Conflicts: 95000 | #Constraints: 20339 121.00/121.87 c #Conflicts: 96000 | #Constraints: 21339 121.00/121.87 c #Conflicts: 97000 | #Constraints: 22339 121.00/121.87 c #Conflicts: 98000 | #Constraints: 23339 121.00/121.87 c #Conflicts: 99000 | #Constraints: 24339 121.00/121.87 c #Conflicts: 100000 | #Constraints: 25339 121.00/121.87 c #Conflicts: 101000 | #Constraints: 26339 121.00/121.87 c #Conflicts: 102000 | #Constraints: 27339 121.00/121.87 c #Conflicts: 103000 | #Constraints: 28339 121.00/121.87 c #Conflicts: 104000 | #Constraints: 29339 121.00/121.87 c #Conflicts: 105000 | #Constraints: 30339 121.00/121.87 c #Conflicts: 106000 | #Constraints: 31339 121.00/121.87 c INPROCESSING 121.00/121.87 c GARBAGE COLLECT 121.00/121.87 c rational objective 141.978 148.50/149.40 c #Conflicts: 107000 | #Constraints: 17123 148.50/149.40 c #Conflicts: 108000 | #Constraints: 18123 148.50/149.40 c #Conflicts: 109000 | #Constraints: 19123 148.50/149.40 c #Conflicts: 110000 | #Constraints: 20123 148.50/149.40 c #Conflicts: 111000 | #Constraints: 21123 148.50/149.40 c #Conflicts: 112000 | #Constraints: 22123 148.50/149.40 c #Conflicts: 113000 | #Constraints: 23123 148.50/149.40 c #Conflicts: 114000 | #Constraints: 24123 148.50/149.40 c INPROCESSING 148.50/149.40 c GARBAGE COLLECT 148.50/149.40 c rational objective 141.978 160.86/161.81 c #Conflicts: 115000 | #Constraints: 13768 160.86/161.81 c #Conflicts: 116000 | #Constraints: 14768 160.86/161.81 c #Conflicts: 117000 | #Constraints: 15768 160.86/161.81 c #Conflicts: 118000 | #Constraints: 16768 160.86/161.81 c #Conflicts: 119000 | #Constraints: 17768 160.86/161.81 c #Conflicts: 120000 | #Constraints: 18768 160.86/161.81 c #Conflicts: 121000 | #Constraints: 19768 160.86/161.81 c INPROCESSING 160.86/161.81 c GARBAGE COLLECT 160.86/161.81 c rational objective 141.978 173.92/174.96 c #Conflicts: 122000 | #Constraints: 11213 173.92/174.96 c #Conflicts: 123000 | #Constraints: 12213 173.92/174.96 c #Conflicts: 124000 | #Constraints: 13213 173.92/174.96 c #Conflicts: 125000 | #Constraints: 14213 173.92/174.96 c #Conflicts: 126000 | #Constraints: 15213 173.92/174.96 c #Conflicts: 127000 | #Constraints: 16213 173.92/174.96 c #Conflicts: 128000 | #Constraints: 17213 173.92/174.96 c bounds 198 >= 147 @ 168.741 173.92/174.96 c #Conflicts: 129000 | #Constraints: 18272 173.92/174.96 c INPROCESSING 173.92/174.96 c GARBAGE COLLECT 173.92/174.96 c rational objective 141.978 241.91/243.17 c #Conflicts: 130000 | #Constraints: 10472 241.91/243.17 c #Conflicts: 131000 | #Constraints: 11472 241.91/243.17 c #Conflicts: 132000 | #Constraints: 12472 241.91/243.17 c #Conflicts: 133000 | #Constraints: 13472 241.91/243.17 c #Conflicts: 134000 | #Constraints: 14472 241.91/243.17 c #Conflicts: 135000 | #Constraints: 15472 241.91/243.17 c #Conflicts: 136000 | #Constraints: 16472 241.91/243.17 c #Conflicts: 137000 | #Constraints: 17472 241.91/243.17 c #Conflicts: 138000 | #Constraints: 18472 241.91/243.17 c #Conflicts: 139000 | #Constraints: 19472 241.91/243.17 c #Conflicts: 140000 | #Constraints: 20472 241.91/243.17 c #Conflicts: 141000 | #Constraints: 21472 241.91/243.17 c #Conflicts: 142000 | #Constraints: 22472 241.91/243.17 c #Conflicts: 143000 | #Constraints: 23472 241.91/243.17 c #Conflicts: 144000 | #Constraints: 24472 241.91/243.17 c #Conflicts: 145000 | #Constraints: 25472 241.91/243.17 c #Conflicts: 146000 | #Constraints: 26472 241.91/243.17 c #Conflicts: 147000 | #Constraints: 27472 241.91/243.17 c #Conflicts: 148000 | #Constraints: 28472 241.91/243.17 c #Conflicts: 149000 | #Constraints: 29472 241.91/243.17 c #Conflicts: 150000 | #Constraints: 30472 241.91/243.17 c #Conflicts: 151000 | #Constraints: 31472 241.91/243.17 c #Conflicts: 152000 | #Constraints: 32472 241.91/243.17 c #Conflicts: 153000 | #Constraints: 33472 241.91/243.17 c #Conflicts: 154000 | #Constraints: 34472 241.91/243.17 c #Conflicts: 155000 | #Constraints: 35472 241.91/243.17 c #Conflicts: 156000 | #Constraints: 36472 241.91/243.17 c #Conflicts: 157000 | #Constraints: 37472 241.91/243.17 c #Conflicts: 158000 | #Constraints: 38472 241.91/243.17 c INPROCESSING 241.91/243.17 c GARBAGE COLLECT 241.91/243.17 c rational objective 141.978 253.77/255.07 c #Conflicts: 159000 | #Constraints: 20646 253.77/255.07 c #Conflicts: 160000 | #Constraints: 21646 253.77/255.07 c #Conflicts: 161000 | #Constraints: 22646 253.77/255.07 c #Conflicts: 162000 | #Constraints: 23646 253.77/255.07 c #Conflicts: 163000 | #Constraints: 24646 253.77/255.07 c bounds 197 >= 147 @ 243.864 253.77/255.07 c #Conflicts: 164000 | #Constraints: 25647 253.77/255.07 c #Conflicts: 165000 | #Constraints: 26647 253.77/255.07 c #Conflicts: 166000 | #Constraints: 27647 253.77/255.07 c #Conflicts: 167000 | #Constraints: 28647 253.77/255.07 c #Conflicts: 168000 | #Constraints: 29647 253.77/255.07 c INPROCESSING 253.77/255.07 c GARBAGE COLLECT 253.77/255.07 c rational objective 141.978 266.84/268.17 c #Conflicts: 169000 | #Constraints: 16503 266.84/268.17 c #Conflicts: 170000 | #Constraints: 17503 266.84/268.17 c #Conflicts: 171000 | #Constraints: 18503 266.84/268.17 c #Conflicts: 172000 | #Constraints: 19503 266.84/268.17 c #Conflicts: 173000 | #Constraints: 20503 266.84/268.17 c #Conflicts: 174000 | #Constraints: 21503 266.84/268.17 c #Conflicts: 175000 | #Constraints: 22503 266.84/268.17 c #Conflicts: 176000 | #Constraints: 23503 266.84/268.17 c #Conflicts: 177000 | #Constraints: 24503 266.84/268.17 c INPROCESSING 266.84/268.17 c GARBAGE COLLECT 266.84/268.17 c rational objective 141.978 356.29/357.84 c #Conflicts: 178000 | #Constraints: 13683 356.29/357.84 c #Conflicts: 179000 | #Constraints: 14683 356.29/357.84 c #Conflicts: 180000 | #Constraints: 15683 356.29/357.84 c #Conflicts: 181000 | #Constraints: 16683 356.29/357.84 c #Conflicts: 182000 | #Constraints: 17683 356.29/357.84 c #Conflicts: 183000 | #Constraints: 18683 356.29/357.84 c #Conflicts: 184000 | #Constraints: 19683 356.29/357.84 c #Conflicts: 185000 | #Constraints: 20683 356.29/357.84 c #Conflicts: 186000 | #Constraints: 21683 356.29/357.84 c #Conflicts: 187000 | #Constraints: 22683 356.29/357.84 c #Conflicts: 188000 | #Constraints: 23683 356.29/357.84 c #Conflicts: 189000 | #Constraints: 24683 356.29/357.84 c #Conflicts: 190000 | #Constraints: 25683 356.29/357.84 c #Conflicts: 191000 | #Constraints: 26683 356.29/357.84 c #Conflicts: 192000 | #Constraints: 27683 356.29/357.84 c #Conflicts: 193000 | #Constraints: 28683 356.29/357.84 c #Conflicts: 194000 | #Constraints: 29683 356.29/357.84 c #Conflicts: 195000 | #Constraints: 30683 356.29/357.84 c #Conflicts: 196000 | #Constraints: 31683 356.29/357.84 c #Conflicts: 197000 | #Constraints: 32683 356.29/357.84 c #Conflicts: 198000 | #Constraints: 33683 356.29/357.84 c #Conflicts: 199000 | #Constraints: 34683 356.29/357.84 c #Conflicts: 200000 | #Constraints: 35683 356.29/357.84 c #Conflicts: 201000 | #Constraints: 36683 356.29/357.84 c #Conflicts: 202000 | #Constraints: 37683 356.29/357.84 c #Conflicts: 203000 | #Constraints: 38683 356.29/357.84 c #Conflicts: 204000 | #Constraints: 39683 356.29/357.84 c #Conflicts: 205000 | #Constraints: 40683 356.29/357.84 c #Conflicts: 206000 | #Constraints: 41683 356.29/357.84 c bounds 196 >= 147 @ 325.602 356.29/357.84 c #Conflicts: 207000 | #Constraints: 42684 356.29/357.84 c #Conflicts: 208000 | #Constraints: 43684 356.29/357.84 c #Conflicts: 209000 | #Constraints: 44684 356.29/357.84 c #Conflicts: 210000 | #Constraints: 45684 356.29/357.84 c INPROCESSING 356.29/357.84 c GARBAGE COLLECT 356.29/357.84 c rational objective 141.978 397.69/399.33 c #Conflicts: 211000 | #Constraints: 24286 397.69/399.33 c #Conflicts: 212000 | #Constraints: 25286 397.69/399.33 c #Conflicts: 213000 | #Constraints: 26286 397.69/399.33 c #Conflicts: 214000 | #Constraints: 27286 397.69/399.33 c #Conflicts: 215000 | #Constraints: 28286 397.69/399.33 c #Conflicts: 216000 | #Constraints: 29286 397.69/399.33 c #Conflicts: 217000 | #Constraints: 30286 397.69/399.33 c #Conflicts: 218000 | #Constraints: 31286 397.69/399.33 c #Conflicts: 219000 | #Constraints: 32286 397.69/399.33 c #Conflicts: 220000 | #Constraints: 33286 397.69/399.33 c #Conflicts: 221000 | #Constraints: 34286 397.69/399.33 c INPROCESSING 397.69/399.33 c GARBAGE COLLECT 397.69/399.33 c rational objective 141.978 423.22/424.98 c #Conflicts: 222000 | #Constraints: 18702 423.22/424.98 c #Conflicts: 223000 | #Constraints: 19702 423.22/424.98 c #Conflicts: 224000 | #Constraints: 20702 423.22/424.98 c #Conflicts: 225000 | #Constraints: 21702 423.22/424.98 c #Conflicts: 226000 | #Constraints: 22702 423.22/424.98 c #Conflicts: 227000 | #Constraints: 23702 423.22/424.98 c #Conflicts: 228000 | #Constraints: 24702 423.22/424.98 c #Conflicts: 229000 | #Constraints: 25702 423.22/424.98 c #Conflicts: 230000 | #Constraints: 26702 423.22/424.98 c #Conflicts: 231000 | #Constraints: 27702 423.22/424.98 c #Conflicts: 232000 | #Constraints: 28702 423.22/424.98 c INPROCESSING 423.22/424.98 c GARBAGE COLLECT 423.22/424.98 c rational objective 141.978 521.86/523.80 c #Conflicts: 233000 | #Constraints: 15933 521.86/523.80 c #Conflicts: 234000 | #Constraints: 16933 521.86/523.80 c #Conflicts: 235000 | #Constraints: 17933 521.86/523.80 c #Conflicts: 236000 | #Constraints: 18933 521.86/523.80 c #Conflicts: 237000 | #Constraints: 19933 521.86/523.80 c #Conflicts: 238000 | #Constraints: 20933 521.86/523.80 c #Conflicts: 239000 | #Constraints: 21933 521.86/523.80 c #Conflicts: 240000 | #Constraints: 22933 521.86/523.80 c #Conflicts: 241000 | #Constraints: 23933 521.86/523.80 c #Conflicts: 242000 | #Constraints: 24933 521.86/523.80 c #Conflicts: 243000 | #Constraints: 25933 521.86/523.80 c #Conflicts: 244000 | #Constraints: 26933 521.86/523.80 c #Conflicts: 245000 | #Constraints: 27933 521.86/523.80 c #Conflicts: 246000 | #Constraints: 28933 521.86/523.80 c #Conflicts: 247000 | #Constraints: 29933 521.86/523.80 c #Conflicts: 248000 | #Constraints: 30933 521.86/523.80 c #Conflicts: 249000 | #Constraints: 31933 521.86/523.80 c #Conflicts: 250000 | #Constraints: 32933 521.86/523.80 c #Conflicts: 251000 | #Constraints: 33933 521.86/523.80 c #Conflicts: 252000 | #Constraints: 34933 521.86/523.80 c #Conflicts: 253000 | #Constraints: 35933 521.86/523.80 c #Conflicts: 254000 | #Constraints: 36933 521.86/523.80 c #Conflicts: 255000 | #Constraints: 37933 521.86/523.80 c #Conflicts: 256000 | #Constraints: 38933 521.86/523.80 c #Conflicts: 257000 | #Constraints: 39933 521.86/523.80 c #Conflicts: 258000 | #Constraints: 40933 521.86/523.80 c #Conflicts: 259000 | #Constraints: 41933 521.86/523.80 c #Conflicts: 260000 | #Constraints: 42933 521.86/523.80 c #Conflicts: 261000 | #Constraints: 43933 521.86/523.80 c #Conflicts: 262000 | #Constraints: 44933 521.86/523.80 c #Conflicts: 263000 | #Constraints: 45933 521.86/523.80 c #Conflicts: 264000 | #Constraints: 46933 521.86/523.80 c #Conflicts: 265000 | #Constraints: 47933 521.86/523.80 c #Conflicts: 266000 | #Constraints: 48933 521.86/523.80 c #Conflicts: 267000 | #Constraints: 49933 521.86/523.80 c #Conflicts: 268000 | #Constraints: 50933 521.86/523.80 c #Conflicts: 269000 | #Constraints: 51933 521.86/523.80 c INPROCESSING 521.86/523.80 c GARBAGE COLLECT 521.86/523.80 c rational objective 141.978 590.89/593.03 c #Conflicts: 270000 | #Constraints: 27303 590.89/593.03 c #Conflicts: 271000 | #Constraints: 28303 590.89/593.03 c #Conflicts: 272000 | #Constraints: 29303 590.89/593.03 c #Conflicts: 273000 | #Constraints: 30303 590.89/593.03 c #Conflicts: 274000 | #Constraints: 31303 590.89/593.03 c #Conflicts: 275000 | #Constraints: 32303 590.89/593.03 c #Conflicts: 276000 | #Constraints: 33303 590.89/593.03 c #Conflicts: 277000 | #Constraints: 34303 590.89/593.03 c #Conflicts: 278000 | #Constraints: 35303 590.89/593.03 c #Conflicts: 279000 | #Constraints: 36303 590.89/593.03 c #Conflicts: 280000 | #Constraints: 37303 590.89/593.03 c #Conflicts: 281000 | #Constraints: 38303 590.89/593.03 c #Conflicts: 282000 | #Constraints: 39303 590.89/593.03 c INPROCESSING 590.89/593.03 c GARBAGE COLLECT 590.89/593.03 c rational objective 141.978 614.52/616.78 c #Conflicts: 283000 | #Constraints: 21415 614.52/616.78 c #Conflicts: 284000 | #Constraints: 22415 614.52/616.78 c #Conflicts: 285000 | #Constraints: 23415 614.52/616.78 c #Conflicts: 286000 | #Constraints: 24415 614.52/616.78 c #Conflicts: 287000 | #Constraints: 25415 614.52/616.78 c #Conflicts: 288000 | #Constraints: 26415 614.52/616.78 c #Conflicts: 289000 | #Constraints: 27415 614.52/616.78 c #Conflicts: 290000 | #Constraints: 28415 614.52/616.78 c #Conflicts: 291000 | #Constraints: 29415 614.52/616.78 c #Conflicts: 292000 | #Constraints: 30415 614.52/616.78 c #Conflicts: 293000 | #Constraints: 31415 614.52/616.78 c #Conflicts: 294000 | #Constraints: 32415 614.52/616.78 c bounds 196 >= 148 @ 608.629 614.52/616.78 c INPROCESSING 614.52/616.78 c GARBAGE COLLECT 614.52/616.78 c rational objective 141.978 639.45/641.78 c #Conflicts: 295000 | #Constraints: 17693 639.45/641.78 c bounds 195 >= 148 @ 609.861 639.45/641.78 c #Conflicts: 296000 | #Constraints: 18694 639.45/641.78 c #Conflicts: 297000 | #Constraints: 19694 639.45/641.78 c #Conflicts: 298000 | #Constraints: 20694 639.45/641.78 c #Conflicts: 299000 | #Constraints: 21694 639.45/641.78 c #Conflicts: 300000 | #Constraints: 22694 639.45/641.78 c #Conflicts: 301000 | #Constraints: 23694 639.45/641.78 c #Conflicts: 302000 | #Constraints: 24694 639.45/641.78 c #Conflicts: 303000 | #Constraints: 25694 639.45/641.78 c #Conflicts: 304000 | #Constraints: 26694 639.45/641.78 c #Conflicts: 305000 | #Constraints: 27694 639.45/641.78 c #Conflicts: 306000 | #Constraints: 28694 639.45/641.78 c #Conflicts: 307000 | #Constraints: 29694 639.45/641.78 c INPROCESSING 639.45/641.78 c GARBAGE COLLECT 639.45/641.78 c rational objective 141.978 791.41/794.14 c #Conflicts: 308000 | #Constraints: 16754 791.41/794.14 c #Conflicts: 309000 | #Constraints: 17754 791.41/794.14 c #Conflicts: 310000 | #Constraints: 18754 791.41/794.14 c #Conflicts: 311000 | #Constraints: 19754 791.41/794.14 c #Conflicts: 312000 | #Constraints: 20754 791.41/794.14 c #Conflicts: 313000 | #Constraints: 21754 791.41/794.14 c #Conflicts: 314000 | #Constraints: 22754 791.41/794.14 c #Conflicts: 315000 | #Constraints: 23754 791.41/794.14 c #Conflicts: 316000 | #Constraints: 24754 791.41/794.14 c #Conflicts: 317000 | #Constraints: 25754 791.41/794.14 c #Conflicts: 318000 | #Constraints: 26754 791.41/794.14 c #Conflicts: 319000 | #Constraints: 27754 791.41/794.14 c #Conflicts: 320000 | #Constraints: 28754 791.41/794.14 c #Conflicts: 321000 | #Constraints: 29754 791.41/794.14 c #Conflicts: 322000 | #Constraints: 30754 791.41/794.14 c #Conflicts: 323000 | #Constraints: 31754 791.41/794.14 c #Conflicts: 324000 | #Constraints: 32754 791.41/794.14 c #Conflicts: 325000 | #Constraints: 33754 791.41/794.14 c #Conflicts: 326000 | #Constraints: 34754 791.41/794.14 c #Conflicts: 327000 | #Constraints: 35754 791.41/794.14 c #Conflicts: 328000 | #Constraints: 36754 791.41/794.14 c #Conflicts: 329000 | #Constraints: 37754 791.41/794.14 c #Conflicts: 330000 | #Constraints: 38754 791.41/794.14 c #Conflicts: 331000 | #Constraints: 39754 791.41/794.14 c #Conflicts: 332000 | #Constraints: 40754 791.41/794.14 c #Conflicts: 333000 | #Constraints: 41754 791.41/794.14 c #Conflicts: 334000 | #Constraints: 42754 791.41/794.14 c #Conflicts: 335000 | #Constraints: 43754 791.41/794.14 c #Conflicts: 336000 | #Constraints: 44754 791.41/794.14 c #Conflicts: 337000 | #Constraints: 45754 791.41/794.14 c #Conflicts: 338000 | #Constraints: 46754 791.41/794.14 c #Conflicts: 339000 | #Constraints: 47754 791.41/794.14 c #Conflicts: 340000 | #Constraints: 48754 791.41/794.14 c #Conflicts: 341000 | #Constraints: 49754 791.41/794.14 c #Conflicts: 342000 | #Constraints: 50754 791.41/794.14 c #Conflicts: 343000 | #Constraints: 51754 791.41/794.14 c #Conflicts: 344000 | #Constraints: 52754 791.41/794.14 c #Conflicts: 345000 | #Constraints: 53754 791.41/794.14 c #Conflicts: 346000 | #Constraints: 54754 791.41/794.14 c #Conflicts: 347000 | #Constraints: 55754 791.41/794.14 c #Conflicts: 348000 | #Constraints: 56754 791.41/794.14 c #Conflicts: 349000 | #Constraints: 57754 791.41/794.14 c INPROCESSING 791.41/794.14 c GARBAGE COLLECT 791.41/794.14 c rational objective 141.978 815.41/818.20 c #Conflicts: 350000 | #Constraints: 30296 815.41/818.20 c #Conflicts: 351000 | #Constraints: 31296 815.41/818.20 c #Conflicts: 352000 | #Constraints: 32296 815.41/818.20 c #Conflicts: 353000 | #Constraints: 33296 815.41/818.20 c #Conflicts: 354000 | #Constraints: 34296 815.41/818.20 c #Conflicts: 355000 | #Constraints: 35296 815.41/818.20 c #Conflicts: 356000 | #Constraints: 36296 815.41/818.20 c #Conflicts: 357000 | #Constraints: 37296 815.41/818.20 c #Conflicts: 358000 | #Constraints: 38296 815.41/818.20 c #Conflicts: 359000 | #Constraints: 39296 815.41/818.20 c #Conflicts: 360000 | #Constraints: 40296 815.41/818.20 c #Conflicts: 361000 | #Constraints: 41296 815.41/818.20 c #Conflicts: 362000 | #Constraints: 42296 815.41/818.20 c #Conflicts: 363000 | #Constraints: 43296 815.41/818.20 c INPROCESSING 815.41/818.20 c GARBAGE COLLECT 815.41/818.20 c rational objective 141.978 843.62/846.51 c #Conflicts: 364000 | #Constraints: 22956 843.62/846.51 c #Conflicts: 365000 | #Constraints: 23956 843.62/846.51 c bounds 194 >= 148 @ 809.535 843.62/846.51 c #Conflicts: 366000 | #Constraints: 24957 843.62/846.51 c #Conflicts: 367000 | #Constraints: 25957 843.62/846.51 c #Conflicts: 368000 | #Constraints: 26957 843.62/846.51 c #Conflicts: 369000 | #Constraints: 27957 843.62/846.51 c #Conflicts: 370000 | #Constraints: 28957 843.62/846.51 c #Conflicts: 371000 | #Constraints: 29957 843.62/846.51 c #Conflicts: 372000 | #Constraints: 30957 843.62/846.51 c bounds 193 >= 148 @ 819.983 843.62/846.51 c #Conflicts: 373000 | #Constraints: 31958 843.62/846.51 c #Conflicts: 374000 | #Constraints: 32958 843.62/846.51 c #Conflicts: 375000 | #Constraints: 33958 843.62/846.51 c #Conflicts: 376000 | #Constraints: 34958 843.62/846.51 c #Conflicts: 377000 | #Constraints: 35958 843.62/846.51 c #Conflicts: 378000 | #Constraints: 36958 843.62/846.51 c INPROCESSING 843.62/846.51 c GARBAGE COLLECT 843.62/846.51 c rational objective 141.978 1053.36/1056.97 c #Conflicts: 379000 | #Constraints: 21238 1053.36/1056.97 c #Conflicts: 380000 | #Constraints: 22238 1053.36/1056.97 c #Conflicts: 381000 | #Constraints: 23238 1053.36/1056.97 c #Conflicts: 382000 | #Constraints: 24238 1053.36/1056.97 c #Conflicts: 383000 | #Constraints: 25238 1053.36/1056.97 c #Conflicts: 384000 | #Constraints: 26238 1053.36/1056.97 c #Conflicts: 385000 | #Constraints: 27238 1053.36/1056.97 c #Conflicts: 386000 | #Constraints: 28238 1053.36/1056.97 c #Conflicts: 387000 | #Constraints: 29238 1053.36/1056.97 c #Conflicts: 388000 | #Constraints: 30238 1053.36/1056.97 c #Conflicts: 389000 | #Constraints: 31238 1053.36/1056.97 c #Conflicts: 390000 | #Constraints: 32238 1053.36/1056.97 c #Conflicts: 391000 | #Constraints: 33238 1053.36/1056.97 c #Conflicts: 392000 | #Constraints: 34238 1053.36/1056.97 c #Conflicts: 393000 | #Constraints: 35238 1053.36/1056.97 c #Conflicts: 394000 | #Constraints: 36238 1053.36/1056.97 c #Conflicts: 395000 | #Constraints: 37238 1053.36/1056.97 c #Conflicts: 396000 | #Constraints: 38238 1053.36/1056.97 c #Conflicts: 397000 | #Constraints: 39238 1053.36/1056.97 c #Conflicts: 398000 | #Constraints: 40238 1053.36/1056.97 c #Conflicts: 399000 | #Constraints: 41238 1053.36/1056.97 c #Conflicts: 400000 | #Constraints: 42238 1053.36/1056.97 c #Conflicts: 401000 | #Constraints: 43238 1053.36/1056.97 c #Conflicts: 402000 | #Constraints: 44238 1053.36/1056.97 c #Conflicts: 403000 | #Constraints: 45238 1053.36/1056.97 c #Conflicts: 404000 | #Constraints: 46238 1053.36/1056.97 c #Conflicts: 405000 | #Constraints: 47238 1053.36/1056.97 c #Conflicts: 406000 | #Constraints: 48238 1053.36/1056.97 c #Conflicts: 407000 | #Constraints: 49238 1053.36/1056.97 c #Conflicts: 408000 | #Constraints: 50238 1053.36/1056.97 c #Conflicts: 409000 | #Constraints: 51238 1053.36/1056.97 c #Conflicts: 410000 | #Constraints: 52238 1053.36/1056.97 c #Conflicts: 411000 | #Constraints: 53238 1053.36/1056.97 c #Conflicts: 412000 | #Constraints: 54238 1053.36/1056.97 c #Conflicts: 413000 | #Constraints: 55238 1053.36/1056.97 c #Conflicts: 414000 | #Constraints: 56238 1053.36/1056.97 c #Conflicts: 415000 | #Constraints: 57238 1053.36/1056.97 c #Conflicts: 416000 | #Constraints: 58238 1053.36/1056.97 c #Conflicts: 417000 | #Constraints: 59238 1053.36/1056.97 c #Conflicts: 418000 | #Constraints: 60238 1053.36/1056.97 c #Conflicts: 419000 | #Constraints: 61238 1053.36/1056.97 c #Conflicts: 420000 | #Constraints: 62238 1053.36/1056.97 c #Conflicts: 421000 | #Constraints: 63238 1053.36/1056.97 c #Conflicts: 422000 | #Constraints: 64238 1053.36/1056.97 c #Conflicts: 423000 | #Constraints: 65238 1053.36/1056.97 c #Conflicts: 424000 | #Constraints: 66238 1053.36/1056.97 c INPROCESSING 1053.36/1056.97 c GARBAGE COLLECT 1053.36/1056.97 c rational objective 141.978 1162.83/1166.79 c #Conflicts: 425000 | #Constraints: 34426 1162.83/1166.79 c #Conflicts: 426000 | #Constraints: 35426 1162.83/1166.79 c #Conflicts: 427000 | #Constraints: 36426 1162.83/1166.79 c #Conflicts: 428000 | #Constraints: 37426 1162.83/1166.79 c #Conflicts: 429000 | #Constraints: 38426 1162.83/1166.79 c #Conflicts: 430000 | #Constraints: 39426 1162.83/1166.79 c #Conflicts: 431000 | #Constraints: 40426 1162.83/1166.79 c #Conflicts: 432000 | #Constraints: 41426 1162.83/1166.79 c #Conflicts: 433000 | #Constraints: 42426 1162.83/1166.79 c #Conflicts: 434000 | #Constraints: 43426 1162.83/1166.79 c #Conflicts: 435000 | #Constraints: 44426 1162.83/1166.79 c #Conflicts: 436000 | #Constraints: 45426 1162.83/1166.79 c #Conflicts: 437000 | #Constraints: 46426 1162.83/1166.79 c #Conflicts: 438000 | #Constraints: 47426 1162.83/1166.79 c #Conflicts: 439000 | #Constraints: 48426 1162.83/1166.79 c #Conflicts: 440000 | #Constraints: 49426 1162.83/1166.79 c INPROCESSING 1162.83/1166.79 c GARBAGE COLLECT 1162.83/1166.79 c rational objective 141.978 1205.60/1209.65 c #Conflicts: 441000 | #Constraints: 26361 1205.60/1209.65 c #Conflicts: 442000 | #Constraints: 27361 1205.60/1209.65 c #Conflicts: 443000 | #Constraints: 28361 1205.60/1209.65 c #Conflicts: 444000 | #Constraints: 29361 1205.60/1209.65 c #Conflicts: 445000 | #Constraints: 30361 1205.60/1209.65 c #Conflicts: 446000 | #Constraints: 31361 1205.60/1209.65 c #Conflicts: 447000 | #Constraints: 32361 1205.60/1209.65 c #Conflicts: 448000 | #Constraints: 33361 1205.60/1209.65 c #Conflicts: 449000 | #Constraints: 34361 1205.60/1209.65 c #Conflicts: 450000 | #Constraints: 35361 1205.60/1209.65 c #Conflicts: 451000 | #Constraints: 36361 1205.60/1209.65 c #Conflicts: 452000 | #Constraints: 37361 1205.60/1209.65 c #Conflicts: 453000 | #Constraints: 38361 1205.60/1209.65 c #Conflicts: 454000 | #Constraints: 39361 1205.60/1209.65 c #Conflicts: 455000 | #Constraints: 40361 1205.60/1209.65 c #Conflicts: 456000 | #Constraints: 41361 1205.60/1209.65 c INPROCESSING 1205.60/1209.65 c GARBAGE COLLECT 1205.60/1209.65 c rational objective 141.978 1423.66/1428.33 c #Conflicts: 457000 | #Constraints: 24135 1423.66/1428.33 c #Conflicts: 458000 | #Constraints: 25135 1423.66/1428.33 c #Conflicts: 459000 | #Constraints: 26135 1423.66/1428.33 c #Conflicts: 460000 | #Constraints: 27135 1423.66/1428.33 c #Conflicts: 461000 | #Constraints: 28135 1423.66/1428.33 c #Conflicts: 462000 | #Constraints: 29135 1423.66/1428.33 c #Conflicts: 463000 | #Constraints: 30135 1423.66/1428.33 c #Conflicts: 464000 | #Constraints: 31135 1423.66/1428.33 c #Conflicts: 465000 | #Constraints: 32135 1423.66/1428.33 c #Conflicts: 466000 | #Constraints: 33135 1423.66/1428.33 c #Conflicts: 467000 | #Constraints: 34135 1423.66/1428.33 c #Conflicts: 468000 | #Constraints: 35135 1423.66/1428.33 c #Conflicts: 469000 | #Constraints: 36135 1423.66/1428.33 c #Conflicts: 470000 | #Constraints: 37135 1423.66/1428.33 c #Conflicts: 471000 | #Constraints: 38135 1423.66/1428.33 c #Conflicts: 472000 | #Constraints: 39135 1423.66/1428.33 c #Conflicts: 473000 | #Constraints: 40135 1423.66/1428.33 c #Conflicts: 474000 | #Constraints: 41135 1423.66/1428.33 c #Conflicts: 475000 | #Constraints: 42135 1423.66/1428.33 c #Conflicts: 476000 | #Constraints: 43135 1423.66/1428.33 c #Conflicts: 477000 | #Constraints: 44135 1423.66/1428.33 c #Conflicts: 478000 | #Constraints: 45135 1423.66/1428.33 c #Conflicts: 479000 | #Constraints: 46135 1423.66/1428.33 c #Conflicts: 480000 | #Constraints: 47135 1423.66/1428.33 c #Conflicts: 481000 | #Constraints: 48135 1423.66/1428.33 c #Conflicts: 482000 | #Constraints: 49135 1423.66/1428.33 c #Conflicts: 483000 | #Constraints: 50135 1423.66/1428.33 c #Conflicts: 484000 | #Constraints: 51135 1423.66/1428.33 c #Conflicts: 485000 | #Constraints: 52135 1423.66/1428.33 c #Conflicts: 486000 | #Constraints: 53135 1423.66/1428.33 c #Conflicts: 487000 | #Constraints: 54135 1423.66/1428.33 c #Conflicts: 488000 | #Constraints: 55135 1423.66/1428.33 c #Conflicts: 489000 | #Constraints: 56135 1423.66/1428.33 c #Conflicts: 490000 | #Constraints: 57135 1423.66/1428.33 c #Conflicts: 491000 | #Constraints: 58135 1423.66/1428.33 c #Conflicts: 492000 | #Constraints: 59135 1423.66/1428.33 c #Conflicts: 493000 | #Constraints: 60135 1423.66/1428.33 c #Conflicts: 494000 | #Constraints: 61135 1423.66/1428.33 c #Conflicts: 495000 | #Constraints: 62135 1423.66/1428.33 c #Conflicts: 496000 | #Constraints: 63135 1423.66/1428.33 c #Conflicts: 497000 | #Constraints: 64135 1423.66/1428.33 c #Conflicts: 498000 | #Constraints: 65135 1423.66/1428.33 c #Conflicts: 499000 | #Constraints: 66135 1423.66/1428.33 c #Conflicts: 500000 | #Constraints: 67135 1423.66/1428.33 c #Conflicts: 501000 | #Constraints: 68135 1423.66/1428.33 c #Conflicts: 502000 | #Constraints: 69135 1423.66/1428.33 c #Conflicts: 503000 | #Constraints: 70135 1423.66/1428.33 c #Conflicts: 504000 | #Constraints: 71135 1423.66/1428.33 c #Conflicts: 505000 | #Constraints: 72135 1423.66/1428.33 c #Conflicts: 506000 | #Constraints: 73135 1423.66/1428.33 c #Conflicts: 507000 | #Constraints: 74135 1423.66/1428.33 c INPROCESSING 1423.66/1428.33 c GARBAGE COLLECT 1423.66/1428.33 c rational objective 141.978 1476.59/1481.40 c #Conflicts: 508000 | #Constraints: 38864 1476.59/1481.40 c #Conflicts: 509000 | #Constraints: 39864 1476.59/1481.40 c #Conflicts: 510000 | #Constraints: 40864 1476.59/1481.40 c #Conflicts: 511000 | #Constraints: 41864 1476.59/1481.40 c #Conflicts: 512000 | #Constraints: 42864 1476.59/1481.40 c #Conflicts: 513000 | #Constraints: 43864 1476.59/1481.40 c #Conflicts: 514000 | #Constraints: 44864 1476.59/1481.40 c #Conflicts: 515000 | #Constraints: 45864 1476.59/1481.40 c #Conflicts: 516000 | #Constraints: 46864 1476.59/1481.40 c #Conflicts: 517000 | #Constraints: 47864 1476.59/1481.40 c #Conflicts: 518000 | #Constraints: 48864 1476.59/1481.40 c #Conflicts: 519000 | #Constraints: 49864 1476.59/1481.40 c #Conflicts: 520000 | #Constraints: 50864 1476.59/1481.40 c #Conflicts: 521000 | #Constraints: 51864 1476.59/1481.40 c #Conflicts: 522000 | #Constraints: 52864 1476.59/1481.40 c #Conflicts: 523000 | #Constraints: 53864 1476.59/1481.40 c #Conflicts: 524000 | #Constraints: 54864 1476.59/1481.40 c INPROCESSING 1476.59/1481.40 c GARBAGE COLLECT 1476.59/1481.40 c rational objective 141.978 1757.15/1762.83 c #Conflicts: 525000 | #Constraints: 29134 1757.15/1762.83 c #Conflicts: 526000 | #Constraints: 30134 1757.15/1762.83 c #Conflicts: 527000 | #Constraints: 31134 1757.15/1762.83 c #Conflicts: 528000 | #Constraints: 32134 1757.15/1762.83 c #Conflicts: 529000 | #Constraints: 33134 1757.15/1762.83 c #Conflicts: 530000 | #Constraints: 34134 1757.15/1762.83 c #Conflicts: 531000 | #Constraints: 35134 1757.15/1762.83 c #Conflicts: 532000 | #Constraints: 36134 1757.15/1762.83 c #Conflicts: 533000 | #Constraints: 37134 1757.15/1762.83 c #Conflicts: 534000 | #Constraints: 38134 1757.15/1762.83 c #Conflicts: 535000 | #Constraints: 39134 1757.15/1762.83 c #Conflicts: 536000 | #Constraints: 40134 1757.15/1762.83 c #Conflicts: 537000 | #Constraints: 41134 1757.15/1762.83 c #Conflicts: 538000 | #Constraints: 42134 1757.15/1762.83 c #Conflicts: 539000 | #Constraints: 43134 1757.15/1762.83 c #Conflicts: 540000 | #Constraints: 44134 1757.15/1762.83 c #Conflicts: 541000 | #Constraints: 45134 1757.15/1762.83 c #Conflicts: 542000 | #Constraints: 46134 1757.15/1762.83 c #Conflicts: 543000 | #Constraints: 47134 1757.15/1762.83 c #Conflicts: 544000 | #Constraints: 48134 1757.15/1762.83 c #Conflicts: 545000 | #Constraints: 49134 1757.15/1762.83 c #Conflicts: 546000 | #Constraints: 50134 1757.15/1762.83 c #Conflicts: 547000 | #Constraints: 51134 1757.15/1762.83 c #Conflicts: 548000 | #Constraints: 52134 1757.15/1762.83 c #Conflicts: 549000 | #Constraints: 53134 1757.15/1762.83 c #Conflicts: 550000 | #Constraints: 54134 1757.15/1762.83 c #Conflicts: 551000 | #Constraints: 55134 1757.15/1762.83 c #Conflicts: 552000 | #Constraints: 56134 1757.15/1762.83 c #Conflicts: 553000 | #Constraints: 57134 1757.15/1762.83 c #Conflicts: 554000 | #Constraints: 58134 1757.15/1762.83 c #Conflicts: 555000 | #Constraints: 59134 1757.15/1762.83 c #Conflicts: 556000 | #Constraints: 60134 1757.15/1762.83 c #Conflicts: 557000 | #Constraints: 61134 1757.15/1762.83 c #Conflicts: 558000 | #Constraints: 62134 1757.15/1762.83 c #Conflicts: 559000 | #Constraints: 63134 1757.15/1762.83 c #Conflicts: 560000 | #Constraints: 64134 1757.15/1762.83 c #Conflicts: 561000 | #Constraints: 65134 1757.15/1762.83 c #Conflicts: 562000 | #Constraints: 66134 1757.15/1762.83 c #Conflicts: 563000 | #Constraints: 67134 1757.15/1762.83 c #Conflicts: 564000 | #Constraints: 68134 1757.15/1762.83 c #Conflicts: 565000 | #Constraints: 69134 1757.15/1762.83 c #Conflicts: 566000 | #Constraints: 70134 1757.15/1762.83 c #Conflicts: 567000 | #Constraints: 71134 1757.15/1762.83 c #Conflicts: 568000 | #Constraints: 72134 1757.15/1762.83 c #Conflicts: 569000 | #Constraints: 73134 1757.15/1762.83 c #Conflicts: 570000 | #Constraints: 74134 1757.15/1762.83 c #Conflicts: 571000 | #Constraints: 75134 1757.15/1762.83 c #Conflicts: 572000 | #Constraints: 76134 1757.15/1762.83 c #Conflicts: 573000 | #Constraints: 77134 1757.15/1762.83 c #Conflicts: 574000 | #Constraints: 78134 1757.15/1762.83 c #Conflicts: 575000 | #Constraints: 79134 1757.15/1762.83 c #Conflicts: 576000 | #Constraints: 80134 1757.15/1762.83 c #Conflicts: 577000 | #Constraints: 81134 1757.15/1762.83 c #Conflicts: 578000 | #Constraints: 82134 1757.15/1762.83 c INPROCESSING 1757.15/1762.83 c GARBAGE COLLECT 1757.15/1762.83 c rational objective 141.978 1906.20/1912.37 c #Conflicts: 579000 | #Constraints: 42730 1906.20/1912.37 c #Conflicts: 580000 | #Constraints: 43730 1906.20/1912.37 c #Conflicts: 581000 | #Constraints: 44730 1906.20/1912.37 c #Conflicts: 582000 | #Constraints: 45730 1906.20/1912.37 c #Conflicts: 583000 | #Constraints: 46730 1906.20/1912.37 c #Conflicts: 584000 | #Constraints: 47730 1906.20/1912.37 c #Conflicts: 585000 | #Constraints: 48730 1906.20/1912.37 c #Conflicts: 586000 | #Constraints: 49730 1906.20/1912.37 c #Conflicts: 587000 | #Constraints: 50730 1906.20/1912.37 c #Conflicts: 588000 | #Constraints: 51730 1906.20/1912.37 c #Conflicts: 589000 | #Constraints: 52730 1906.20/1912.37 c #Conflicts: 590000 | #Constraints: 53730 1906.20/1912.37 c #Conflicts: 591000 | #Constraints: 54730 1906.20/1912.37 c #Conflicts: 592000 | #Constraints: 55730 1906.20/1912.37 c #Conflicts: 593000 | #Constraints: 56730 1906.20/1912.37 c #Conflicts: 594000 | #Constraints: 57730 1906.20/1912.37 c #Conflicts: 595000 | #Constraints: 58730 1906.20/1912.37 c #Conflicts: 596000 | #Constraints: 59730 1906.20/1912.37 c INPROCESSING 1906.20/1912.37 c GARBAGE COLLECT 1906.20/1912.37 c rational objective 141.978 1977.28/1983.61 c #Conflicts: 597000 | #Constraints: 31463 1977.28/1983.61 c #Conflicts: 598000 | #Constraints: 32463 1977.28/1983.61 c #Conflicts: 599000 | #Constraints: 33463 1977.28/1983.61 c #Conflicts: 600000 | #Constraints: 34463 1977.28/1983.61 c #Conflicts: 601000 | #Constraints: 35463 1977.28/1983.61 c #Conflicts: 602000 | #Constraints: 36463 1977.28/1983.61 c #Conflicts: 603000 | #Constraints: 37463 1977.28/1983.61 c #Conflicts: 604000 | #Constraints: 38463 1977.28/1983.61 c #Conflicts: 605000 | #Constraints: 39463 1977.28/1983.61 c #Conflicts: 606000 | #Constraints: 40463 1977.28/1983.61 c #Conflicts: 607000 | #Constraints: 41463 1977.28/1983.61 c #Conflicts: 608000 | #Constraints: 42463 1977.28/1983.61 c #Conflicts: 609000 | #Constraints: 43463 1977.28/1983.61 c #Conflicts: 610000 | #Constraints: 44463 1977.28/1983.61 c #Conflicts: 611000 | #Constraints: 45463 1977.28/1983.61 c #Conflicts: 612000 | #Constraints: 46463 1977.28/1983.61 c #Conflicts: 613000 | #Constraints: 47463 1977.28/1983.61 c #Conflicts: 614000 | #Constraints: 48463 1977.28/1983.61 c INPROCESSING 1977.28/1983.61 c GARBAGE COLLECT 1977.28/1983.61 c rational objective 141.978 2328.82/2336.26 c #Conflicts: 615000 | #Constraints: 30264 2328.82/2336.26 c #Conflicts: 616000 | #Constraints: 31264 2328.82/2336.26 c #Conflicts: 617000 | #Constraints: 32264 2328.82/2336.26 c #Conflicts: 618000 | #Constraints: 33264 2328.82/2336.26 c #Conflicts: 619000 | #Constraints: 34264 2328.82/2336.26 c #Conflicts: 620000 | #Constraints: 35264 2328.82/2336.26 c #Conflicts: 621000 | #Constraints: 36264 2328.82/2336.26 c #Conflicts: 622000 | #Constraints: 37264 2328.82/2336.26 c #Conflicts: 623000 | #Constraints: 38264 2328.82/2336.26 c #Conflicts: 624000 | #Constraints: 39264 2328.82/2336.26 c #Conflicts: 625000 | #Constraints: 40264 2328.82/2336.26 c #Conflicts: 626000 | #Constraints: 41264 2328.82/2336.26 c #Conflicts: 627000 | #Constraints: 42264 2328.82/2336.26 c #Conflicts: 628000 | #Constraints: 43264 2328.82/2336.26 c #Conflicts: 629000 | #Constraints: 44264 2328.82/2336.26 c #Conflicts: 630000 | #Constraints: 45264 2328.82/2336.26 c #Conflicts: 631000 | #Constraints: 46264 2328.82/2336.26 c #Conflicts: 632000 | #Constraints: 47264 2328.82/2336.26 c #Conflicts: 633000 | #Constraints: 48264 2328.82/2336.26 c #Conflicts: 634000 | #Constraints: 49264 2328.82/2336.26 c #Conflicts: 635000 | #Constraints: 50264 2328.82/2336.26 c #Conflicts: 636000 | #Constraints: 51264 2328.82/2336.26 c #Conflicts: 637000 | #Constraints: 52264 2328.82/2336.26 c #Conflicts: 638000 | #Constraints: 53264 2328.82/2336.26 c #Conflicts: 639000 | #Constraints: 54264 2328.82/2336.26 c #Conflicts: 640000 | #Constraints: 55264 2328.82/2336.26 c #Conflicts: 641000 | #Constraints: 56264 2328.82/2336.26 c #Conflicts: 642000 | #Constraints: 57264 2328.82/2336.26 c #Conflicts: 643000 | #Constraints: 58264 2328.82/2336.26 c #Conflicts: 644000 | #Constraints: 59264 2328.82/2336.26 c #Conflicts: 645000 | #Constraints: 60264 2328.82/2336.26 c #Conflicts: 646000 | #Constraints: 61264 2328.82/2336.26 c #Conflicts: 647000 | #Constraints: 62264 2328.82/2336.26 c #Conflicts: 648000 | #Constraints: 63264 2328.82/2336.26 c #Conflicts: 649000 | #Constraints: 64264 2328.82/2336.26 c #Conflicts: 650000 | #Constraints: 65264 2328.82/2336.26 c #Conflicts: 651000 | #Constraints: 66264 2328.82/2336.26 c #Conflicts: 652000 | #Constraints: 67264 2328.82/2336.26 c #Conflicts: 653000 | #Constraints: 68264 2328.82/2336.26 c #Conflicts: 654000 | #Constraints: 69264 2328.82/2336.26 c #Conflicts: 655000 | #Constraints: 70264 2328.82/2336.26 c #Conflicts: 656000 | #Constraints: 71264 2328.82/2336.26 c #Conflicts: 657000 | #Constraints: 72264 2328.82/2336.26 c #Conflicts: 658000 | #Constraints: 73264 2328.82/2336.26 c #Conflicts: 659000 | #Constraints: 74264 2328.82/2336.26 c #Conflicts: 660000 | #Constraints: 75264 2328.82/2336.26 c #Conflicts: 661000 | #Constraints: 76264 2328.82/2336.26 c #Conflicts: 662000 | #Constraints: 77264 2328.82/2336.26 c #Conflicts: 663000 | #Constraints: 78264 2328.82/2336.26 c #Conflicts: 664000 | #Constraints: 79264 2328.82/2336.26 c #Conflicts: 665000 | #Constraints: 80264 2328.82/2336.26 c #Conflicts: 666000 | #Constraints: 81264 2328.82/2336.26 c #Conflicts: 667000 | #Constraints: 82264 2328.82/2336.26 c #Conflicts: 668000 | #Constraints: 83264 2328.82/2336.26 c #Conflicts: 669000 | #Constraints: 84264 2328.82/2336.26 c #Conflicts: 670000 | #Constraints: 85264 2328.82/2336.26 c #Conflicts: 671000 | #Constraints: 86264 2328.82/2336.26 c #Conflicts: 672000 | #Constraints: 87264 2328.82/2336.26 c #Conflicts: 673000 | #Constraints: 88264 2328.82/2336.26 c INPROCESSING 2328.82/2336.26 c GARBAGE COLLECT 2328.82/2336.26 c rational objective 141.978 2393.93/2401.51 c #Conflicts: 674000 | #Constraints: 45844 2393.93/2401.51 c #Conflicts: 675000 | #Constraints: 46844 2393.93/2401.51 c #Conflicts: 676000 | #Constraints: 47844 2393.93/2401.51 c #Conflicts: 677000 | #Constraints: 48844 2393.93/2401.51 c #Conflicts: 678000 | #Constraints: 49844 2393.93/2401.51 c #Conflicts: 679000 | #Constraints: 50844 2393.93/2401.51 c #Conflicts: 680000 | #Constraints: 51844 2393.93/2401.51 c #Conflicts: 681000 | #Constraints: 52844 2393.93/2401.51 c #Conflicts: 682000 | #Constraints: 53844 2393.93/2401.51 c #Conflicts: 683000 | #Constraints: 54844 2393.93/2401.51 c #Conflicts: 684000 | #Constraints: 55844 2393.93/2401.51 c #Conflicts: 685000 | #Constraints: 56844 2393.93/2401.51 c #Conflicts: 686000 | #Constraints: 57844 2393.93/2401.51 c #Conflicts: 687000 | #Constraints: 58844 2393.93/2401.51 c #Conflicts: 688000 | #Constraints: 59844 2393.93/2401.51 c #Conflicts: 689000 | #Constraints: 60844 2393.93/2401.51 c #Conflicts: 690000 | #Constraints: 61844 2393.93/2401.51 c #Conflicts: 691000 | #Constraints: 62844 2393.93/2401.51 c #Conflicts: 692000 | #Constraints: 63844 2393.93/2401.51 c #Conflicts: 693000 | #Constraints: 64844 2393.93/2401.51 c INPROCESSING 2393.93/2401.51 c GARBAGE COLLECT 2393.93/2401.51 c rational objective 141.978 2776.15/2784.74 c #Conflicts: 694000 | #Constraints: 34972 2776.15/2784.74 c #Conflicts: 695000 | #Constraints: 35972 2776.15/2784.74 c #Conflicts: 696000 | #Constraints: 36972 2776.15/2784.74 c #Conflicts: 697000 | #Constraints: 37972 2776.15/2784.74 c #Conflicts: 698000 | #Constraints: 38972 2776.15/2784.74 c #Conflicts: 699000 | #Constraints: 39972 2776.15/2784.74 c #Conflicts: 700000 | #Constraints: 40972 2776.15/2784.74 c #Conflicts: 701000 | #Constraints: 41972 2776.15/2784.74 c #Conflicts: 702000 | #Constraints: 42972 2776.15/2784.74 c #Conflicts: 703000 | #Constraints: 43972 2776.15/2784.74 c #Conflicts: 704000 | #Constraints: 44972 2776.15/2784.74 c #Conflicts: 705000 | #Constraints: 45972 2776.15/2784.74 c #Conflicts: 706000 | #Constraints: 46972 2776.15/2784.74 c #Conflicts: 707000 | #Constraints: 47972 2776.15/2784.74 c #Conflicts: 708000 | #Constraints: 48972 2776.15/2784.74 c #Conflicts: 709000 | #Constraints: 49972 2776.15/2784.74 c #Conflicts: 710000 | #Constraints: 50972 2776.15/2784.74 c #Conflicts: 711000 | #Constraints: 51972 2776.15/2784.74 c #Conflicts: 712000 | #Constraints: 52972 2776.15/2784.74 c #Conflicts: 713000 | #Constraints: 53972 2776.15/2784.74 c #Conflicts: 714000 | #Constraints: 54972 2776.15/2784.74 c #Conflicts: 715000 | #Constraints: 55972 2776.15/2784.74 c #Conflicts: 716000 | #Constraints: 56972 2776.15/2784.74 c #Conflicts: 717000 | #Constraints: 57972 2776.15/2784.74 c #Conflicts: 718000 | #Constraints: 58972 2776.15/2784.74 c #Conflicts: 719000 | #Constraints: 59972 2776.15/2784.74 c #Conflicts: 720000 | #Constraints: 60972 2776.15/2784.74 c #Conflicts: 721000 | #Constraints: 61972 2776.15/2784.74 c #Conflicts: 722000 | #Constraints: 62972 2776.15/2784.74 c #Conflicts: 723000 | #Constraints: 63972 2776.15/2784.74 c #Conflicts: 724000 | #Constraints: 64972 2776.15/2784.74 c #Conflicts: 725000 | #Constraints: 65972 2776.15/2784.74 c #Conflicts: 726000 | #Constraints: 66972 2776.15/2784.74 c #Conflicts: 727000 | #Constraints: 67972 2776.15/2784.74 c #Conflicts: 728000 | #Constraints: 68972 2776.15/2784.74 c #Conflicts: 729000 | #Constraints: 69972 2776.15/2784.74 c #Conflicts: 730000 | #Constraints: 70972 2776.15/2784.74 c #Conflicts: 731000 | #Constraints: 71972 2776.15/2784.74 c #Conflicts: 732000 | #Constraints: 72972 2776.15/2784.74 c #Conflicts: 733000 | #Constraints: 73972 2776.15/2784.74 c #Conflicts: 734000 | #Constraints: 74972 2776.15/2784.74 c #Conflicts: 735000 | #Constraints: 75972 2776.15/2784.74 c #Conflicts: 736000 | #Constraints: 76972 2776.15/2784.74 c #Conflicts: 737000 | #Constraints: 77972 2776.15/2784.74 c #Conflicts: 738000 | #Constraints: 78972 2776.15/2784.74 c #Conflicts: 739000 | #Constraints: 79972 2776.15/2784.74 c #Conflicts: 740000 | #Constraints: 80972 2776.15/2784.74 c #Conflicts: 741000 | #Constraints: 81972 2776.15/2784.74 c #Conflicts: 742000 | #Constraints: 82972 2776.15/2784.74 c #Conflicts: 743000 | #Constraints: 83972 2776.15/2784.74 c #Conflicts: 744000 | #Constraints: 84972 2776.15/2784.74 c #Conflicts: 745000 | #Constraints: 85972 2776.15/2784.74 c #Conflicts: 746000 | #Constraints: 86972 2776.15/2784.74 c #Conflicts: 747000 | #Constraints: 87972 2776.15/2784.74 c #Conflicts: 748000 | #Constraints: 88972 2776.15/2784.74 c #Conflicts: 749000 | #Constraints: 89972 2776.15/2784.74 c #Conflicts: 750000 | #Constraints: 90972 2776.15/2784.74 c #Conflicts: 751000 | #Constraints: 91972 2776.15/2784.74 c #Conflicts: 752000 | #Constraints: 92972 2776.15/2784.74 c #Conflicts: 753000 | #Constraints: 93972 2776.15/2784.74 c #Conflicts: 754000 | #Constraints: 94972 2776.15/2784.74 c INPROCESSING 2776.15/2784.74 c GARBAGE COLLECT 2776.15/2784.74 c rational objective 141.978 3040.36/3049.67 c #Conflicts: 755000 | #Constraints: 49008 3040.36/3049.67 c #Conflicts: 756000 | #Constraints: 50008 3040.36/3049.67 c #Conflicts: 757000 | #Constraints: 51008 3040.36/3049.67 c #Conflicts: 758000 | #Constraints: 52008 3040.36/3049.67 c #Conflicts: 759000 | #Constraints: 53008 3040.36/3049.67 c #Conflicts: 760000 | #Constraints: 54008 3040.36/3049.67 c #Conflicts: 761000 | #Constraints: 55008 3040.36/3049.67 c #Conflicts: 762000 | #Constraints: 56008 3040.36/3049.67 c #Conflicts: 763000 | #Constraints: 57008 3040.36/3049.67 c #Conflicts: 764000 | #Constraints: 58008 3040.36/3049.67 c #Conflicts: 765000 | #Constraints: 59008 3040.36/3049.67 c #Conflicts: 766000 | #Constraints: 60008 3040.36/3049.67 c #Conflicts: 767000 | #Constraints: 61008 3040.36/3049.67 c #Conflicts: 768000 | #Constraints: 62008 3040.36/3049.67 c #Conflicts: 769000 | #Constraints: 63008 3040.36/3049.67 c #Conflicts: 770000 | #Constraints: 64008 3040.36/3049.67 c #Conflicts: 771000 | #Constraints: 65008 3040.36/3049.67 c #Conflicts: 772000 | #Constraints: 66008 3040.36/3049.67 c #Conflicts: 773000 | #Constraints: 67008 3040.36/3049.67 c #Conflicts: 774000 | #Constraints: 68008 3040.36/3049.67 c #Conflicts: 775000 | #Constraints: 69008 3040.36/3049.67 c INPROCESSING 3040.36/3049.67 c GARBAGE COLLECT 3040.36/3049.67 c rational objective 141.978 3596.10/3606.87 c #Conflicts: 776000 | #Constraints: 36240 3596.10/3606.87 c #Conflicts: 777000 | #Constraints: 37240 3596.10/3606.87 c #Conflicts: 778000 | #Constraints: 38240 3596.10/3606.87 c #Conflicts: 779000 | #Constraints: 39240 3596.10/3606.87 c #Conflicts: 780000 | #Constraints: 40240 3596.10/3606.87 c #Conflicts: 781000 | #Constraints: 41240 3596.10/3606.87 c #Conflicts: 782000 | #Constraints: 42240 3596.10/3606.87 c #Conflicts: 783000 | #Constraints: 43240 3596.10/3606.87 c #Conflicts: 784000 | #Constraints: 44240 3596.10/3606.87 c #Conflicts: 785000 | #Constraints: 45240 3596.10/3606.87 c #Conflicts: 786000 | #Constraints: 46240 3596.10/3606.87 c #Conflicts: 787000 | #Constraints: 47240 3596.10/3606.87 c #Conflicts: 788000 | #Constraints: 48240 3596.10/3606.87 c #Conflicts: 789000 | #Constraints: 49240 3596.10/3606.87 c #Conflicts: 790000 | #Constraints: 50240 3596.10/3606.87 c #Conflicts: 791000 | #Constraints: 51240 3596.10/3606.87 c #Conflicts: 792000 | #Constraints: 52240 3596.10/3606.87 c #Conflicts: 793000 | #Constraints: 53240 3596.10/3606.87 c #Conflicts: 794000 | #Constraints: 54240 3596.10/3606.87 c #Conflicts: 795000 | #Constraints: 55240 3596.10/3606.87 c #Conflicts: 796000 | #Constraints: 56240 3596.10/3606.87 c #Conflicts: 797000 | #Constraints: 57240 3596.10/3606.87 c #Conflicts: 798000 | #Constraints: 58240 3596.10/3606.87 c #Conflicts: 799000 | #Constraints: 59240 3596.10/3606.87 c #Conflicts: 800000 | #Constraints: 60240 3596.10/3606.87 c #Conflicts: 801000 | #Constraints: 61240 3596.10/3606.87 c #Conflicts: 802000 | #Constraints: 62240 3596.10/3606.87 c #Conflicts: 803000 | #Constraints: 63240 3596.10/3606.87 c #Conflicts: 804000 | #Constraints: 64240 3596.10/3606.87 c #Conflicts: 805000 | #Constraints: 65240 3596.10/3606.87 c #Conflicts: 806000 | #Constraints: 66240 3596.10/3606.87 c #Conflicts: 807000 | #Constraints: 67240 3596.10/3606.87 c #Conflicts: 808000 | #Constraints: 68240 3596.10/3606.87 c #Conflicts: 809000 | #Constraints: 69240 3596.10/3606.87 c #Conflicts: 810000 | #Constraints: 70240 3596.10/3606.87 c #Conflicts: 811000 | #Constraints: 71240 3596.10/3606.87 c #Conflicts: 812000 | #Constraints: 72240 3596.10/3606.87 c #Conflicts: 813000 | #Constraints: 73240 3596.10/3606.87 c #Conflicts: 814000 | #Constraints: 74240 3596.10/3606.87 c #Conflicts: 815000 | #Constraints: 75240 3596.10/3606.87 c #Conflicts: 816000 | #Constraints: 76240 3596.10/3606.87 c #Conflicts: 817000 | #Constraints: 77240 3596.10/3606.87 c #Conflicts: 818000 | #Constraints: 78240 3596.10/3606.87 c #Conflicts: 819000 | #Constraints: 79240 3596.10/3606.87 c #Conflicts: 820000 | #Constraints: 80240 3596.10/3606.87 c #Conflicts: 821000 | #Constraints: 81240 3596.10/3606.87 c #Conflicts: 822000 | #Constraints: 82240 3596.10/3606.87 c #Conflicts: 823000 | #Constraints: 83240 3596.10/3606.87 c #Conflicts: 824000 | #Constraints: 84240 3596.10/3606.87 c #Conflicts: 825000 | #Constraints: 85240 3596.10/3606.87 c #Conflicts: 826000 | #Constraints: 86240 3596.10/3606.87 c #Conflicts: 827000 | #Constraints: 87240 3596.10/3606.87 c #Conflicts: 828000 | #Constraints: 88240 3596.10/3606.87 c #Conflicts: 829000 | #Constraints: 89240 3596.10/3606.87 c #Conflicts: 830000 | #Constraints: 90240 3596.10/3606.87 c #Conflicts: 831000 | #Constraints: 91240 3596.10/3606.87 c #Conflicts: 832000 | #Constraints: 92240 3596.10/3606.87 c #Conflicts: 833000 | #Constraints: 93240 3596.10/3606.87 c #Conflicts: 834000 | #Constraints: 94240 3596.10/3606.87 c #Conflicts: 835000 | #Constraints: 95240 3596.10/3606.87 c #Conflicts: 836000 | #Constraints: 96240 3596.10/3606.87 c #Conflicts: 837000 | #Constraints: 97240 3596.10/3606.87 c #Conflicts: 838000 | #Constraints: 98240 3596.10/3606.87 c #Conflicts: 839000 | #Constraints: 99240 3596.10/3606.87 c #Conflicts: 840000 | #Constraints: 100240 3596.10/3606.87 c INPROCESSING 3596.10/3606.87 c GARBAGE COLLECT 3596.10/3606.87 c rational objective 141.978 3600.08/3610.80 c #Conflicts: 841000 | #Constraints: 51928 3600.08/3610.80 c #Conflicts: 842000 | #Constraints: 52928 3600.08/3610.80 c Program interrupted by user. 3600.08/3610.80 c cpu time 3581.76 s 3600.08/3610.80 c deterministic time 357136028089 3.57e+11 3600.08/3610.80 c optimization time 3.87921 s 3600.08/3610.80 c total solve time 3577.88 s 3600.08/3610.80 c core-guided solve time 2253.11 s 3600.08/3610.80 c propagation time 3107.4 s 3600.08/3610.80 c conflict analysis time 436.093 s 3600.08/3610.80 c propagations 111515537 3600.08/3610.80 c resolve steps 7461603 3600.08/3610.80 c decisions 5777519 3600.08/3610.80 c conflicts 842072 3600.08/3610.80 c restarts 1788 3600.08/3610.80 c inprocessing phases 48 3600.08/3610.80 c input clauses 298 3600.08/3610.80 c input cardinalities 180 3600.08/3610.80 c input general constraints 878 3600.08/3610.80 c input average constraint length 18.48 3600.08/3610.80 c input average constraint degree 18.20 3600.08/3610.80 c learned clauses 296172 3600.08/3610.80 c learned cardinalities 6549 3600.08/3610.80 c learned general constraints 539363 3600.08/3610.80 c learned average constraint length 177.60 3600.08/3610.80 c learned average constraint degree 5574158.04 3600.08/3610.80 c watched constraints 375462 3600.08/3610.80 c counting constraints 164779 3600.08/3610.80 c gcd simplifications 103179 3600.08/3610.80 c detected cardinalities 3346 3600.08/3610.80 c weakened non-implied lits 32437119 3600.08/3610.80 c weakened non-implying lits 70531 3600.08/3610.80 c original variables 470 3600.08/3610.80 c clausal propagations 14324850 3600.08/3610.80 c cardinality propagations 6488254 3600.08/3610.80 c watched propagations 16669911 3600.08/3610.80 c counting propagations 72397930 3600.08/3610.80 c watch lookups 62050768454 3600.08/3610.80 c watch backjump lookups 54845792776 3600.08/3610.80 c watch checks 220481094458 3600.08/3610.80 c propagation checks 18920802503 3600.08/3610.80 c constraint additions 601240894 3600.08/3610.80 c trail pops 118134534 3600.08/3610.80 c formula constraints 470 3600.08/3610.80 c learned constraints 842084 3600.08/3610.80 c bound constraints 32 3600.08/3610.80 c core-guided constraints 854 3600.08/3610.80 c encountered formula constraints 1298339 3600.08/3610.80 c encountered learned constraints 6012684 3600.08/3610.80 c encountered bound constraints 105 3600.08/3610.80 c encountered core-guided constraints 992547 3600.08/3610.80 c LP total time 50.9666 s 3600.08/3610.80 c LP solve time 49.73 s 3600.08/3610.80 c LP constraints added 470 3600.08/3610.80 c LP constraints removed 0 3600.08/3610.80 c LP pivots internal 842637 3600.08/3610.80 c LP pivots root 58776 3600.08/3610.80 c LP calls 9010 3600.08/3610.80 c LP optimalities 9006 3600.08/3610.80 c LP no pivot count 265 3600.08/3610.80 c LP infeasibilities 0 3600.08/3610.80 c LP valid Farkas constraints 0 3600.08/3610.80 c LP learned Farkas constraints 0 3600.08/3610.80 c LP basis resets 0 3600.08/3610.80 c LP cycling count 0 3600.08/3610.80 c LP singular count 0 3600.08/3610.80 c LP no primal count 0 3600.08/3610.80 c LP no farkas count 0 3600.08/3610.80 c LP other issue count 0 3600.08/3610.80 c LP Gomory cuts 0 3600.08/3610.80 c LP learned cuts 0 3600.08/3610.80 c LP deleted cuts 0 3600.08/3610.80 c LP encountered Gomory constraints 0 3600.08/3610.80 c LP encountered Farkas constraints 0 3600.08/3610.80 c LP encountered learned Farkas constraints 0 3600.08/3610.80 c CG auxiliary variables introduced 334 3600.08/3610.80 c CG solutions found 32 3600.08/3610.80 c CG cores constructed 148 3600.08/3610.80 c CG core cardinality constraints returned 0 3600.08/3610.80 c CG unit cores 0 3600.08/3610.80 c CG single cores 148 3600.08/3610.80 c CG blocks removed during cardinality reduction 0 3600.08/3610.80 c CG first core best 0 3600.08/3610.80 c CG decision core best 0 3600.08/3610.80 c CG core reduction tie 0 3600.08/3610.80 c CG core degree average 1.00 3600.08/3610.80 c CG core slack average 3.94 3600.08/3610.80 s SATISFIABLE 3600.08/3610.80 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 x60 -x61 x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 x90 x91 x92 x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 x116 x117 -x118 x119 x120 x121 x122 x123 x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 x166 x167 x168 -x169 -x170 -x171 -x172 -x173 x174 x175 x176 -x177 -x178 x179 x180 -x181 -x182 x183 x184 x185 -x186 -x187 -x188 -x189 x190 x191 x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 -x234 x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 x245 x246 -x247 x248 x249 -x250 x251 x252 -x253 -x254 x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 x292 -x293 x294 -x295 x296 x297 x298 x299 x300 x301 x302 -x303
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63589 MiB free)
memory of node 1: 64510 MiB (63848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462553-1722340764/watcher-4462553-1722340764 -o /tmp/evaluation-result-4462553-1722340764/solver-4462553-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6813 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462553-1722340764 --lp-cut-gomory=0 HOME/instance-4462553-1722340764.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6868, runsolver pid=6865
[startup+0.100103 s]*
/proc/loadavg: 0.07 0.08 0.09 1/243 6875
/proc/meminfo: memFree=130495108/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 672060 38273024 648 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+0.21197 s]*
/proc/loadavg: 0.07 0.08 0.09 1/243 6875
/proc/meminfo: memFree=130494932/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 672060 38273024 648 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+0.311668 s]*
/proc/loadavg: 0.07 0.08 0.09 1/243 6875
/proc/meminfo: memFree=130494512/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 672060 38273024 648 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+0.700264 s]
/proc/loadavg: 0.07 0.08 0.09 5/243 6875
/proc/meminfo: memFree=130487484/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=39184 memory=8736 CPUtime=0.3 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 681 0 0 0 29 1 0 0 20 0 1 0 672060 40124416 2184 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 9796 2184 1726 992 0 1654 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 8736 KiB
[startup+1.50027 s]
/proc/loadavg: 0.47 0.16 0.11 5/243 6875
/proc/meminfo: memFree=130441128/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=42196 memory=16272 CPUtime=1.1 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 1470 0 0 0 96 14 0 0 20 0 1 0 672060 43208704 4068 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 10549 4068 1774 992 0 2407 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 42196 KiB
Current children cumulated memory: 16272 KiB
[startup+3.11238 s]
/proc/loadavg: 0.47 0.16 0.11 4/241 6890
/proc/meminfo: memFree=130402504/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=49640 memory=21272 CPUtime=2.7 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 2730 0 0 0 247 23 0 0 20 0 1 0 672060 50831360 5318 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 12410 5318 1835 992 0 4268 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 49640 KiB
Current children cumulated memory: 21272 KiB
[startup+6.30029 s]
/proc/loadavg: 0.75 0.23 0.14 5/244 6924
/proc/meminfo: memFree=130177656/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=58796 memory=28056 CPUtime=5.88 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 4553 0 0 0 554 34 0 0 20 0 1 0 672060 60207104 7014 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 14699 7014 1835 992 0 6557 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 58796 KiB
Current children cumulated memory: 28056 KiB
[startup+12.7003 s]
/proc/loadavg: 1.01 0.29 0.16 5/244 6924
/proc/meminfo: memFree=130093308/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=62460 memory=34588 CPUtime=12.26 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 5690 0 0 0 1172 54 0 0 20 0 1 0 672060 63959040 8647 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 15615 8647 1835 992 0 7473 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 62460 KiB
Current children cumulated memory: 34588 KiB
[startup+25.5004 s]
/proc/loadavg: 1.47 0.41 0.20 5/248 6930
/proc/meminfo: memFree=129946104/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=75952 memory=44016 CPUtime=25.02 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 7504 0 0 0 2410 92 0 0 20 0 1 0 672060 77774848 11004 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 18988 11004 1835 992 0 10846 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 75952 KiB
Current children cumulated memory: 44016 KiB
[startup+51.1128 s]
/proc/loadavg: 2.47 0.76 0.32 5/248 6934
/proc/meminfo: memFree=129813356/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=96184 memory=56696 CPUtime=50.55 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 10198 0 0 0 4934 121 0 0 20 0 1 0 672060 98492416 14174 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 24046 14174 1835 992 0 15904 0
Current children cumulated CPU time: 50.55 s
Current children cumulated vsize: 96184 KiB
Current children cumulated memory: 56696 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.27 0.52 5/249 6958
/proc/meminfo: memFree=129438256/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=136732 memory=97760 CPUtime=101.56 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 15454 0 0 0 9965 191 0 0 20 0 1 0 672060 140013568 24440 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 34183 24440 1835 992 0 26041 0
Current children cumulated CPU time: 101.56 s
Current children cumulated vsize: 136732 KiB
Current children cumulated memory: 97760 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.79 0.75 5/249 6968
/proc/meminfo: memFree=129233136/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=182320 memory=123160 CPUtime=161.36 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 18715 0 0 0 15899 237 0 0 20 0 1 0 672060 186695680 30790 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 45580 30790 1835 992 0 37438 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 182320 KiB
Current children cumulated memory: 123160 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.22 0.96 5/249 6979
/proc/meminfo: memFree=129041256/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=185548 memory=127136 CPUtime=221.16 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 19303 0 0 0 21815 301 0 0 20 0 1 0 672060 190001152 31784 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 46387 31784 1835 992 0 38245 0
Current children cumulated CPU time: 221.16 s
Current children cumulated vsize: 185548 KiB
Current children cumulated memory: 127136 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.55 1.16 5/248 6989
/proc/meminfo: memFree=128778656/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=190908 memory=131268 CPUtime=280.99 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 20313 0 0 0 27728 371 0 0 20 0 1 0 672060 195489792 32817 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 47727 32817 1835 992 0 39585 0
Current children cumulated CPU time: 280.99 s
Current children cumulated vsize: 190908 KiB
Current children cumulated memory: 131268 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.85 1.35 5/247 6999
/proc/meminfo: memFree=128563408/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=213900 memory=156764 CPUtime=340.84 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 24703 0 0 0 33672 412 0 0 20 0 1 0 672060 219033600 39191 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 53475 39191 1835 992 0 45333 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 213900 KiB
Current children cumulated memory: 156764 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.08 1.52 5/244 7011
/proc/meminfo: memFree=128373368/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=213900 memory=157224 CPUtime=400.67 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 25030 0 0 0 39625 442 0 0 20 0 1 0 672060 219033600 39306 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 53475 39306 1835 992 0 45333 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 213900 KiB
Current children cumulated memory: 157224 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.26 1.68 6/244 7021
/proc/meminfo: memFree=128226092/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=220524 memory=161876 CPUtime=460.52 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 26231 0 0 0 45553 499 0 0 20 0 1 0 672060 225816576 40469 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 55131 40469 1835 992 0 46989 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/246 8214
/proc/meminfo: memFree=79911812/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3152.76 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 60496 0 0 0 313579 1697 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/249 8228
/proc/meminfo: memFree=78517364/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3212.61 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 60704 0 0 0 319540 1721 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/252 8243
/proc/meminfo: memFree=76940204/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3272.45 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 60912 0 0 0 325506 1739 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.07 5/252 8253
/proc/meminfo: memFree=75367384/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3332.29 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 61120 0 0 0 331469 1760 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.70 4.27 4.13 5/256 8654
/proc/meminfo: memFree=74693852/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3392.14 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 61328 0 0 0 337436 1778 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.30 4.14 5/257 8666
/proc/meminfo: memFree=73837632/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3451.98 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 61536 0 0 0 343405 1793 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.43 4.32 4.16 8/257 8677
/proc/meminfo: memFree=72765492/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3511.82 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 61744 0 0 0 349374 1808 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.27 4.15 5/261 8860
/proc/meminfo: memFree=71232008/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3571.66 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 61952 0 0 0 355345 1821 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.14 4.25 4.15 5/261 8867
/proc/meminfo: memFree=70868524/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3600.08 cores=4,6
/proc/6868/stat : 6868 (roundingsat) R 6865 6868 6802 0 -1 4194304 62060 0 0 0 358176 1832 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.21 4.26 4.15 2/257 8876
/proc/meminfo: memFree=71134396/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3600.09 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 4194304 62068 0 0 0 358176 1833 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 256 0 0 25182210 0 0 0 17 4 0 0 159 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
??? kill 6868 sig 9
??? end of watcher thread
[startup+3614.52 s]
# the end of solver process 6868 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.76 s, system=18.3424 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.14 4.25 4.15 3/262 8868
/proc/meminfo: memFree=70862244/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3600.08 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 4194304 62068 0 0 0 358176 1832 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 17 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3612 s]*
/proc/loadavg: 4.21 4.26 4.15 2/262 8868
/proc/meminfo: memFree=70839252/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3600.08 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 4194304 62068 0 0 0 358176 1832 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 17 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3612.4 s]
/proc/loadavg: 4.21 4.26 4.15 2/262 8868
/proc/meminfo: memFree=70839252/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3600.09 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 4194304 62068 0 0 0 358176 1833 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 159 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
[startup+3612.8 s]
/proc/loadavg: 4.21 4.26 4.15 2/262 8868
/proc/meminfo: memFree=70839252/131655788 swapFree=131071996/131071996
[pid=6868] ppid=6865 vsize=508080 memory=405948 CPUtime=3600.09 cores=4,6
/proc/6868/stat : 6868 (roundingsat) D 6865 6868 6802 0 -1 4194304 62068 0 0 0 358176 1833 0 0 20 0 1 0 672060 520273920 101487 134679101440 4194304 8255733 140720453745600 0 0 0 0 0 25182210 0 0 0 17 4 0 0 159 0 0 9037040 9046032 40828928 140720453751646 140720453751908 140720453751908 140720453758921 0
/proc/6868/statm: 127020 101487 1835 992 0 118878 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 508080 KiB
Current children cumulated memory: 405948 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.52
CPU time (s): 3600.11
CPU user time (s): 3581.76
CPU system time (s): 18.3424
CPU usage (%): 99.6012
Max. virtual memory (cumulated for all children) (KiB): 508080
Max. memory (cumulated for all children) (KiB): 405948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.76
system time used= 18.3424
maximum resident set size= 406424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4312560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 348
involuntary context switches= 5262
# summary of solver processes directly reported to runsolver:
# pid: 6868
# total CPU time (s): 3600.11
# total CPU user time (s): 3581.76
# total CPU system time (s): 18.3424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2641 second user time and 36.1551 second system time
The end
Begin job on nodeC002 at 2024-07-30 13:59:24 IDJOB=4462553 IDBENCH=147548 IDSOLVER=3089 FILE ID=nodeC002/4462553-1722340764 RUNJOBID= nodeC002-1722340763-6813 SLURM_JOB_ID= 8248982 Free space on /tmp= 723768 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462553-1722340764/watcher-4462553-1722340764 -o /tmp/evaluation-result-4462553-1722340764/solver-4462553-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6813 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462553-1722340764 --lp-cut-gomory=0 HOME/instance-4462553-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d RANDOM SEED=1492646933 nodeC002.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.225 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.65 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.222 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.23 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.208 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.65 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.225 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.23 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.210 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.278 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.23 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.212 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.65 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.211 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130503332 kB MemAvailable: 130088968 kB Buffers: 44268 kB Cached: 350552 kB SwapCached: 0 kB Active: 133080 kB Inactive: 608648 kB Active(anon): 1884 kB Inactive(anon): 374628 kB Active(file): 131196 kB Inactive(file): 234020 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20320 kB Writeback: 0 kB AnonPages: 346476 kB Mapped: 93416 kB Shmem: 29512 kB KReclaimable: 42692 kB Slab: 112860 kB SReclaimable: 42692 kB SUnreclaim: 70168 kB KernelStack: 3840 kB PageTables: 9392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 654924 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 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: 152392 kB DirectMap2M: 10237952 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723732 MiB End job on nodeC002 at 2024-07-30 14:59:39