| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 191 | 3600.08 | 3609.01 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 473 |
| Total number of constraints | 472 |
| 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 | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 473 #constraints 472 0.09/0.20 c bounds 474 >= 0 @ 0.002297 0.09/0.20 c bounds 224 >= 0 @ 0.135802 0.09/0.20 c bounds 224 >= 1 @ 0.135802 0.09/0.20 c bounds 224 >= 2 @ 0.135802 0.09/0.20 c bounds 224 >= 3 @ 0.135802 0.09/0.20 c bounds 224 >= 4 @ 0.135802 0.09/0.20 c bounds 224 >= 5 @ 0.135802 0.09/0.20 c bounds 224 >= 6 @ 0.135802 0.09/0.20 c bounds 224 >= 7 @ 0.135802 0.09/0.20 c bounds 224 >= 8 @ 0.135802 0.09/0.20 c bounds 224 >= 9 @ 0.135803 0.09/0.20 c bounds 224 >= 10 @ 0.135803 0.09/0.20 c bounds 224 >= 11 @ 0.135803 0.09/0.20 c bounds 224 >= 12 @ 0.135803 0.09/0.20 c bounds 224 >= 13 @ 0.135803 0.09/0.20 c bounds 224 >= 14 @ 0.135803 0.09/0.20 c bounds 224 >= 15 @ 0.135803 0.09/0.20 c bounds 224 >= 16 @ 0.135803 0.09/0.20 c bounds 224 >= 17 @ 0.135803 0.09/0.20 c bounds 224 >= 18 @ 0.135803 0.09/0.20 c bounds 224 >= 19 @ 0.135803 0.09/0.20 c bounds 224 >= 20 @ 0.135803 0.09/0.20 c bounds 224 >= 21 @ 0.135803 0.09/0.20 c bounds 224 >= 22 @ 0.135803 0.09/0.20 c bounds 224 >= 23 @ 0.135803 0.09/0.20 c bounds 224 >= 24 @ 0.135803 0.09/0.20 c bounds 224 >= 25 @ 0.135803 0.09/0.20 c bounds 223 >= 25 @ 0.160058 0.09/0.20 c bounds 223 >= 26 @ 0.16019 0.09/0.20 c bounds 223 >= 27 @ 0.160311 0.09/0.20 c bounds 223 >= 28 @ 0.160431 0.09/0.20 c bounds 223 >= 29 @ 0.160549 0.09/0.20 c bounds 223 >= 30 @ 0.160669 0.09/0.20 c bounds 223 >= 31 @ 0.160731 0.09/0.20 c bounds 223 >= 32 @ 0.160731 0.09/0.20 c bounds 223 >= 33 @ 0.160731 0.09/0.20 c bounds 223 >= 34 @ 0.160731 0.09/0.20 c bounds 223 >= 35 @ 0.160731 0.09/0.20 c bounds 223 >= 36 @ 0.160731 0.09/0.20 c bounds 223 >= 37 @ 0.160731 0.09/0.20 c bounds 223 >= 38 @ 0.160731 0.09/0.20 c bounds 223 >= 39 @ 0.161216 0.09/0.20 c bounds 223 >= 40 @ 0.161352 0.09/0.20 c bounds 223 >= 41 @ 0.161494 0.09/0.20 c bounds 223 >= 42 @ 0.161646 0.09/0.20 c bounds 223 >= 43 @ 0.161786 0.09/0.20 c bounds 223 >= 44 @ 0.161925 0.09/0.20 c bounds 223 >= 45 @ 0.162071 0.09/0.20 c bounds 223 >= 46 @ 0.162217 0.09/0.20 c bounds 223 >= 47 @ 0.162356 0.09/0.20 c bounds 223 >= 48 @ 0.162503 0.09/0.20 c bounds 223 >= 49 @ 0.162656 0.09/0.20 c bounds 223 >= 50 @ 0.162804 0.09/0.20 c bounds 223 >= 51 @ 0.162944 0.09/0.20 c bounds 223 >= 52 @ 0.163086 0.09/0.20 c bounds 223 >= 53 @ 0.163246 0.09/0.20 c bounds 223 >= 54 @ 0.163401 0.09/0.20 c bounds 223 >= 55 @ 0.163567 0.09/0.20 c bounds 223 >= 56 @ 0.163721 0.09/0.20 c bounds 223 >= 57 @ 0.163899 0.09/0.20 c bounds 223 >= 58 @ 0.164078 0.09/0.20 c bounds 223 >= 59 @ 0.164235 0.09/0.20 c bounds 223 >= 60 @ 0.164395 0.09/0.20 c bounds 223 >= 61 @ 0.164566 0.09/0.20 c bounds 223 >= 62 @ 0.16472 0.09/0.20 c bounds 223 >= 63 @ 0.16472 0.09/0.20 c bounds 223 >= 64 @ 0.16472 0.09/0.20 c bounds 223 >= 65 @ 0.16472 0.09/0.20 c bounds 223 >= 66 @ 0.16472 0.09/0.20 c bounds 223 >= 67 @ 0.16472 0.09/0.20 c bounds 223 >= 68 @ 0.16472 0.09/0.20 c bounds 223 >= 69 @ 0.16472 0.09/0.20 c bounds 223 >= 70 @ 0.16472 0.09/0.20 c bounds 223 >= 71 @ 0.16472 0.09/0.20 c bounds 223 >= 72 @ 0.16472 0.09/0.20 c bounds 223 >= 73 @ 0.16472 0.09/0.20 c bounds 223 >= 74 @ 0.16472 0.09/0.20 c bounds 223 >= 75 @ 0.16472 0.09/0.20 c bounds 223 >= 76 @ 0.16472 0.09/0.20 c bounds 223 >= 77 @ 0.16472 0.09/0.20 c bounds 223 >= 78 @ 0.16472 0.09/0.20 c bounds 223 >= 79 @ 0.16472 0.09/0.20 c bounds 223 >= 80 @ 0.16472 0.09/0.20 c bounds 223 >= 81 @ 0.16472 0.09/0.20 c bounds 223 >= 82 @ 0.16472 0.09/0.20 c bounds 223 >= 83 @ 0.16472 0.09/0.20 c bounds 223 >= 84 @ 0.164751 0.09/0.20 c bounds 223 >= 85 @ 0.164929 0.09/0.20 c bounds 223 >= 86 @ 0.165119 0.09/0.20 c bounds 223 >= 87 @ 0.165285 0.09/0.20 c bounds 223 >= 88 @ 0.165443 0.09/0.20 c bounds 223 >= 89 @ 0.165606 0.09/0.20 c bounds 223 >= 90 @ 0.165775 0.09/0.20 c bounds 223 >= 91 @ 0.165963 0.09/0.20 c bounds 223 >= 92 @ 0.166148 0.09/0.20 c bounds 223 >= 93 @ 0.166334 0.09/0.20 c bounds 223 >= 94 @ 0.166529 0.09/0.20 c bounds 223 >= 95 @ 0.166719 0.09/0.20 c bounds 223 >= 96 @ 0.166924 0.09/0.20 c bounds 223 >= 97 @ 0.167132 0.09/0.20 c bounds 223 >= 98 @ 0.167317 0.09/0.20 c bounds 223 >= 99 @ 0.167515 0.09/0.20 c bounds 223 >= 100 @ 0.167692 0.09/0.20 c bounds 223 >= 101 @ 0.16771 0.09/0.20 c bounds 223 >= 102 @ 0.16771 0.09/0.20 c bounds 223 >= 103 @ 0.16771 0.09/0.20 c bounds 223 >= 104 @ 0.16771 0.09/0.20 c bounds 223 >= 105 @ 0.16771 0.09/0.20 c bounds 223 >= 106 @ 0.16771 0.09/0.20 c bounds 223 >= 107 @ 0.16771 0.09/0.20 c bounds 223 >= 108 @ 0.16771 0.09/0.20 c bounds 223 >= 109 @ 0.16771 0.09/0.20 c bounds 223 >= 110 @ 0.167738 0.09/0.20 c bounds 223 >= 111 @ 0.167941 0.09/0.20 c bounds 223 >= 112 @ 0.16815 0.09/0.20 c bounds 223 >= 113 @ 0.16836 0.09/0.20 c bounds 223 >= 114 @ 0.16857 0.09/0.20 c bounds 223 >= 115 @ 0.168764 0.09/0.20 c bounds 223 >= 116 @ 0.168975 0.09/0.20 c bounds 223 >= 117 @ 0.169174 0.09/0.20 c bounds 223 >= 118 @ 0.169365 0.09/0.20 c bounds 223 >= 119 @ 0.169537 0.09/0.20 c bounds 223 >= 120 @ 0.169725 0.09/0.20 c bounds 223 >= 121 @ 0.169917 0.09/0.20 c bounds 223 >= 122 @ 0.170114 0.09/0.20 c bounds 223 >= 123 @ 0.170336 0.09/0.20 c bounds 223 >= 124 @ 0.170571 0.09/0.20 c bounds 223 >= 125 @ 0.170834 0.09/0.20 c bounds 223 >= 126 @ 0.171096 0.09/0.20 c bounds 223 >= 127 @ 0.171434 0.09/0.20 c bounds 223 >= 128 @ 0.171721 0.09/0.20 c bounds 223 >= 129 @ 0.17221 0.09/0.20 c bounds 223 >= 130 @ 0.172795 0.09/0.20 c bounds 223 >= 131 @ 0.173564 0.09/0.20 c bounds 223 >= 132 @ 0.173987 0.09/0.20 c bounds 223 >= 133 @ 0.17469 0.09/0.20 c bounds 223 >= 134 @ 0.178621 0.78/0.80 c bounds 223 >= 135 @ 0.183384 0.78/0.80 c bounds 222 >= 135 @ 0.194456 0.78/0.80 c bounds 222 >= 136 @ 0.220311 0.78/0.80 c bounds 221 >= 136 @ 0.222068 0.78/0.80 c bounds 220 >= 136 @ 0.230557 0.78/0.80 c #Conflicts: 1000 | #Constraints: 2210 0.78/0.80 c bounds 219 >= 136 @ 0.295505 0.78/0.80 c #Conflicts: 2000 | #Constraints: 3211 0.78/0.80 c INPROCESSING 0.78/0.80 c GARBAGE COLLECT 0.78/0.80 c rational objective 139.945 1.68/1.72 c bounds 218 >= 136 @ 0.852269 1.68/1.72 c bounds 217 >= 136 @ 0.860083 1.68/1.72 c bounds 216 >= 136 @ 0.866745 1.68/1.72 c bounds 215 >= 136 @ 0.923711 1.68/1.72 c #Conflicts: 3000 | #Constraints: 3112 1.68/1.72 c bounds 214 >= 136 @ 1.18182 1.68/1.72 c bounds 214 >= 137 @ 1.24091 1.68/1.72 c #Conflicts: 4000 | #Constraints: 4161 1.68/1.72 c INPROCESSING 1.68/1.72 c GARBAGE COLLECT 1.68/1.72 c rational objective 139.945 3.78/3.80 c #Conflicts: 5000 | #Constraints: 3579 3.78/3.80 c #Conflicts: 6000 | #Constraints: 4579 3.78/3.80 c INPROCESSING 3.78/3.80 c GARBAGE COLLECT 3.78/3.80 c bounds 213 >= 137 @ 2.44804 3.78/3.80 c #Conflicts: 7000 | #Constraints: 3606 3.78/3.80 c bounds 212 >= 137 @ 2.51703 3.78/3.80 c #Conflicts: 8000 | #Constraints: 4607 3.78/3.80 c bounds 211 >= 137 @ 2.88308 3.78/3.80 c #Conflicts: 9000 | #Constraints: 5608 3.78/3.80 c INPROCESSING 3.78/3.80 c GARBAGE COLLECT 3.78/3.80 c rational objective 139.945 5.38/5.46 c #Conflicts: 10000 | #Constraints: 4281 5.38/5.46 c #Conflicts: 11000 | #Constraints: 5286 5.38/5.46 c #Conflicts: 12000 | #Constraints: 6286 5.38/5.46 c INPROCESSING 5.38/5.46 c GARBAGE COLLECT 5.38/5.46 c rational objective 139.946 8.37/8.44 c bounds 211 >= 138 @ 5.60347 8.37/8.44 c #Conflicts: 13000 | #Constraints: 4800 8.37/8.44 c #Conflicts: 14000 | #Constraints: 5800 8.37/8.44 c #Conflicts: 15000 | #Constraints: 6800 8.37/8.44 c INPROCESSING 8.37/8.44 c GARBAGE COLLECT 8.37/8.44 c #Conflicts: 16000 | #Constraints: 5064 8.37/8.44 c bounds 210 >= 138 @ 6.95019 8.37/8.44 c #Conflicts: 17000 | #Constraints: 6065 8.37/8.44 c #Conflicts: 18000 | #Constraints: 7065 8.37/8.44 c INPROCESSING 8.37/8.44 c GARBAGE COLLECT 8.37/8.44 c rational objective 139.946 10.97/11.07 c #Conflicts: 19000 | #Constraints: 5059 10.97/11.07 c #Conflicts: 20000 | #Constraints: 6062 10.97/11.07 c #Conflicts: 21000 | #Constraints: 7062 10.97/11.07 c INPROCESSING 10.97/11.07 c GARBAGE COLLECT 10.97/11.07 c rational objective 139.946 12.46/12.54 c #Conflicts: 22000 | #Constraints: 4905 12.46/12.54 c bounds 209 >= 138 @ 10.8709 12.46/12.54 c #Conflicts: 23000 | #Constraints: 5906 12.46/12.54 c bounds 208 >= 138 @ 10.9296 12.46/12.54 c bounds 207 >= 138 @ 10.9402 12.46/12.54 c bounds 206 >= 138 @ 10.9666 12.46/12.54 c bounds 205 >= 138 @ 10.9722 12.46/12.54 c bounds 204 >= 138 @ 10.9887 12.46/12.54 c #Conflicts: 24000 | #Constraints: 6911 12.46/12.54 c bounds 203 >= 138 @ 11.208 12.46/12.54 c #Conflicts: 25000 | #Constraints: 7912 12.46/12.54 c INPROCESSING 12.46/12.54 c GARBAGE COLLECT 12.46/12.54 c rational objective 139.946 19.44/19.51 c bounds 202 >= 138 @ 12.1569 19.44/19.51 c #Conflicts: 26000 | #Constraints: 5478 19.44/19.51 c bounds 201 >= 138 @ 12.2941 19.44/19.51 c #Conflicts: 27000 | #Constraints: 6479 19.44/19.51 c #Conflicts: 28000 | #Constraints: 7479 19.44/19.51 c #Conflicts: 29000 | #Constraints: 8479 19.44/19.51 c INPROCESSING 19.44/19.51 c GARBAGE COLLECT 19.44/19.51 c #Conflicts: 30000 | #Constraints: 5859 19.44/19.51 c #Conflicts: 31000 | #Constraints: 6859 19.44/19.51 c #Conflicts: 32000 | #Constraints: 7859 19.44/19.51 c #Conflicts: 33000 | #Constraints: 8859 19.44/19.51 c INPROCESSING 19.44/19.51 c GARBAGE COLLECT 19.44/19.51 c #Conflicts: 34000 | #Constraints: 6103 19.44/19.51 c #Conflicts: 35000 | #Constraints: 7103 19.44/19.51 c #Conflicts: 36000 | #Constraints: 8103 19.44/19.51 c #Conflicts: 37000 | #Constraints: 9103 19.44/19.51 c INPROCESSING 19.44/19.51 c GARBAGE COLLECT 19.44/19.51 c rational objective 139.946 21.94/22.08 c #Conflicts: 38000 | #Constraints: 6082 21.94/22.08 c bounds 201 >= 139 @ 19.8475 21.94/22.08 c #Conflicts: 39000 | #Constraints: 7128 21.94/22.08 c bounds 200 >= 139 @ 19.8627 21.94/22.08 c #Conflicts: 40000 | #Constraints: 8129 21.94/22.08 c #Conflicts: 41000 | #Constraints: 9129 21.94/22.08 c INPROCESSING 21.94/22.08 c GARBAGE COLLECT 21.94/22.08 c rational objective 139.945 25.12/25.28 c #Conflicts: 42000 | #Constraints: 5909 25.12/25.28 c #Conflicts: 43000 | #Constraints: 6912 25.12/25.28 c #Conflicts: 44000 | #Constraints: 7913 25.12/25.28 c #Conflicts: 45000 | #Constraints: 8915 25.12/25.28 c #Conflicts: 46000 | #Constraints: 9915 25.12/25.28 c INPROCESSING 25.12/25.28 c GARBAGE COLLECT 25.12/25.28 c rational objective 139.945 47.96/48.19 c bounds 199 >= 139 @ 24.5 47.96/48.19 c bounds 198 >= 139 @ 24.5101 47.96/48.19 c #Conflicts: 47000 | #Constraints: 6559 47.96/48.19 c #Conflicts: 48000 | #Constraints: 7559 47.96/48.19 c #Conflicts: 49000 | #Constraints: 8559 47.96/48.19 c #Conflicts: 50000 | #Constraints: 9559 47.96/48.19 c #Conflicts: 51000 | #Constraints: 10559 47.96/48.19 c #Conflicts: 52000 | #Constraints: 11559 47.96/48.19 c #Conflicts: 53000 | #Constraints: 12559 47.96/48.19 c #Conflicts: 54000 | #Constraints: 13559 47.96/48.19 c #Conflicts: 55000 | #Constraints: 14559 47.96/48.19 c #Conflicts: 56000 | #Constraints: 15559 47.96/48.19 c #Conflicts: 57000 | #Constraints: 16580 47.96/48.19 c #Conflicts: 58000 | #Constraints: 17580 47.96/48.19 c #Conflicts: 59000 | #Constraints: 18580 47.96/48.19 c #Conflicts: 60000 | #Constraints: 19580 47.96/48.19 c #Conflicts: 61000 | #Constraints: 20580 47.96/48.19 c #Conflicts: 62000 | #Constraints: 21580 47.96/48.19 c #Conflicts: 63000 | #Constraints: 22580 47.96/48.19 c #Conflicts: 64000 | #Constraints: 23580 47.96/48.19 c INPROCESSING 47.96/48.19 c GARBAGE COLLECT 47.96/48.19 c rational objective 139.945 61.12/61.33 c #Conflicts: 65000 | #Constraints: 13189 61.12/61.33 c #Conflicts: 66000 | #Constraints: 14189 61.12/61.33 c #Conflicts: 67000 | #Constraints: 15189 61.12/61.33 c #Conflicts: 68000 | #Constraints: 16189 61.12/61.33 c #Conflicts: 69000 | #Constraints: 17189 61.12/61.33 c #Conflicts: 70000 | #Constraints: 18189 61.12/61.33 c INPROCESSING 61.12/61.33 c GARBAGE COLLECT 61.12/61.33 c rational objective 139.945 66.71/66.98 c #Conflicts: 71000 | #Constraints: 10592 66.71/66.98 c #Conflicts: 72000 | #Constraints: 11592 66.71/66.98 c #Conflicts: 73000 | #Constraints: 12592 66.71/66.98 c #Conflicts: 74000 | #Constraints: 13592 66.71/66.98 c #Conflicts: 75000 | #Constraints: 14592 66.71/66.98 c #Conflicts: 76000 | #Constraints: 15592 66.71/66.98 c INPROCESSING 66.71/66.98 c GARBAGE COLLECT 66.71/66.98 c rational objective 139.945 73.29/73.57 c #Conflicts: 77000 | #Constraints: 9254 73.29/73.57 c #Conflicts: 78000 | #Constraints: 10254 73.29/73.57 c bounds 198 >= 140 @ 67.6057 73.29/73.57 c #Conflicts: 79000 | #Constraints: 11307 73.29/73.57 c #Conflicts: 80000 | #Constraints: 12308 73.29/73.57 c #Conflicts: 81000 | #Constraints: 13308 73.29/73.57 c #Conflicts: 82000 | #Constraints: 14308 73.29/73.57 c INPROCESSING 73.29/73.57 c GARBAGE COLLECT 73.29/73.57 c rational objective 140 110.08/110.49 c #Conflicts: 83000 | #Constraints: 8482 110.08/110.49 c #Conflicts: 84000 | #Constraints: 9482 110.08/110.49 c #Conflicts: 85000 | #Constraints: 10482 110.08/110.49 c #Conflicts: 86000 | #Constraints: 11482 110.08/110.49 c #Conflicts: 87000 | #Constraints: 12482 110.08/110.49 c #Conflicts: 88000 | #Constraints: 13482 110.08/110.49 c #Conflicts: 89000 | #Constraints: 14483 110.08/110.49 c #Conflicts: 90000 | #Constraints: 15483 110.08/110.49 c #Conflicts: 91000 | #Constraints: 16483 110.08/110.49 c #Conflicts: 92000 | #Constraints: 17483 110.08/110.49 c #Conflicts: 93000 | #Constraints: 18483 110.08/110.49 c #Conflicts: 94000 | #Constraints: 19483 110.08/110.49 c #Conflicts: 95000 | #Constraints: 20483 110.08/110.49 c #Conflicts: 96000 | #Constraints: 21483 110.08/110.49 c #Conflicts: 97000 | #Constraints: 22483 110.08/110.49 c #Conflicts: 98000 | #Constraints: 23483 110.08/110.49 c #Conflicts: 99000 | #Constraints: 24483 110.08/110.49 c #Conflicts: 100000 | #Constraints: 25483 110.08/110.49 c #Conflicts: 101000 | #Constraints: 26483 110.08/110.49 c #Conflicts: 102000 | #Constraints: 27484 110.08/110.49 c #Conflicts: 103000 | #Constraints: 28484 110.08/110.49 c #Conflicts: 104000 | #Constraints: 29484 110.08/110.49 c #Conflicts: 105000 | #Constraints: 30484 110.08/110.49 c #Conflicts: 106000 | #Constraints: 31484 110.08/110.49 c INPROCESSING 110.08/110.49 c GARBAGE COLLECT 110.08/110.49 c rational objective 140 117.87/118.28 c bounds 197 >= 140 @ 108.559 117.87/118.28 c #Conflicts: 107000 | #Constraints: 17266 117.87/118.28 c #Conflicts: 108000 | #Constraints: 18266 117.87/118.28 c bounds 196 >= 140 @ 109.73 117.87/118.28 c #Conflicts: 109000 | #Constraints: 19267 117.87/118.28 c #Conflicts: 110000 | #Constraints: 20267 117.87/118.28 c #Conflicts: 111000 | #Constraints: 21267 117.87/118.28 c #Conflicts: 112000 | #Constraints: 22267 117.87/118.28 c #Conflicts: 113000 | #Constraints: 23267 117.87/118.28 c bounds 195 >= 140 @ 115.468 117.87/118.28 c #Conflicts: 114000 | #Constraints: 24268 117.87/118.28 c INPROCESSING 117.87/118.28 c GARBAGE COLLECT 117.87/118.28 c rational objective 140 126.65/127.02 c #Conflicts: 115000 | #Constraints: 13806 126.65/127.02 c #Conflicts: 116000 | #Constraints: 14806 126.65/127.02 c #Conflicts: 117000 | #Constraints: 15806 126.65/127.02 c #Conflicts: 118000 | #Constraints: 16806 126.65/127.02 c #Conflicts: 119000 | #Constraints: 17806 126.65/127.02 c #Conflicts: 120000 | #Constraints: 18806 126.65/127.02 c #Conflicts: 121000 | #Constraints: 19806 126.65/127.02 c INPROCESSING 126.65/127.02 c GARBAGE COLLECT 126.65/127.02 c rational objective 140 182.68/183.23 c #Conflicts: 122000 | #Constraints: 11177 182.68/183.23 c #Conflicts: 123000 | #Constraints: 12177 182.68/183.23 c #Conflicts: 124000 | #Constraints: 13177 182.68/183.23 c #Conflicts: 125000 | #Constraints: 14177 182.68/183.23 c #Conflicts: 126000 | #Constraints: 15177 182.68/183.23 c #Conflicts: 127000 | #Constraints: 16180 182.68/183.23 c #Conflicts: 128000 | #Constraints: 17180 182.68/183.23 c #Conflicts: 129000 | #Constraints: 18180 182.68/183.23 c #Conflicts: 130000 | #Constraints: 19180 182.68/183.23 c #Conflicts: 131000 | #Constraints: 20227 182.68/183.23 c #Conflicts: 132000 | #Constraints: 21227 182.68/183.23 c #Conflicts: 133000 | #Constraints: 22227 182.68/183.23 c #Conflicts: 134000 | #Constraints: 23227 182.68/183.23 c bounds 194 >= 140 @ 140.746 182.68/183.23 c #Conflicts: 135000 | #Constraints: 24228 182.68/183.23 c #Conflicts: 136000 | #Constraints: 25229 182.68/183.23 c #Conflicts: 137000 | #Constraints: 26230 182.68/183.23 c #Conflicts: 138000 | #Constraints: 27230 182.68/183.23 c #Conflicts: 139000 | #Constraints: 28230 182.68/183.23 c #Conflicts: 140000 | #Constraints: 29230 182.68/183.23 c #Conflicts: 141000 | #Constraints: 30230 182.68/183.23 c #Conflicts: 142000 | #Constraints: 31230 182.68/183.23 c #Conflicts: 143000 | #Constraints: 32230 182.68/183.23 c #Conflicts: 144000 | #Constraints: 33230 182.68/183.23 c #Conflicts: 145000 | #Constraints: 34230 182.68/183.23 c #Conflicts: 146000 | #Constraints: 35230 182.68/183.23 c #Conflicts: 147000 | #Constraints: 36230 182.68/183.23 c #Conflicts: 148000 | #Constraints: 37230 182.68/183.23 c #Conflicts: 149000 | #Constraints: 38230 182.68/183.23 c INPROCESSING 182.68/183.23 c GARBAGE COLLECT 182.68/183.23 c rational objective 140.062 217.39/218.07 c #Conflicts: 150000 | #Constraints: 20497 217.39/218.07 c #Conflicts: 151000 | #Constraints: 21497 217.39/218.07 c #Conflicts: 152000 | #Constraints: 22497 217.39/218.07 c #Conflicts: 153000 | #Constraints: 23497 217.39/218.07 c #Conflicts: 154000 | #Constraints: 24497 217.39/218.07 c #Conflicts: 155000 | #Constraints: 25497 217.39/218.07 c #Conflicts: 156000 | #Constraints: 26497 217.39/218.07 c #Conflicts: 157000 | #Constraints: 27497 217.39/218.07 c #Conflicts: 158000 | #Constraints: 28497 217.39/218.07 c INPROCESSING 217.39/218.07 c GARBAGE COLLECT 217.39/218.07 c rational objective 140.105 232.74/233.46 c #Conflicts: 159000 | #Constraints: 15658 232.74/233.46 c #Conflicts: 160000 | #Constraints: 16658 232.74/233.46 c #Conflicts: 161000 | #Constraints: 17659 232.74/233.46 c #Conflicts: 162000 | #Constraints: 18659 232.74/233.46 c #Conflicts: 163000 | #Constraints: 19659 232.74/233.46 c #Conflicts: 164000 | #Constraints: 20660 232.74/233.46 c #Conflicts: 165000 | #Constraints: 21660 232.74/233.46 c #Conflicts: 166000 | #Constraints: 22660 232.74/233.46 c #Conflicts: 167000 | #Constraints: 23660 232.74/233.46 c #Conflicts: 168000 | #Constraints: 24660 232.74/233.46 c INPROCESSING 232.74/233.46 c GARBAGE COLLECT 232.74/233.46 c rational objective 140.105 243.32/244.02 c #Conflicts: 169000 | #Constraints: 14080 243.32/244.02 c #Conflicts: 170000 | #Constraints: 15080 243.32/244.02 c #Conflicts: 171000 | #Constraints: 16080 243.32/244.02 c #Conflicts: 172000 | #Constraints: 17080 243.32/244.02 c #Conflicts: 173000 | #Constraints: 18080 243.32/244.02 c bounds 194 >= 141 @ 236.156 243.32/244.02 c #Conflicts: 174000 | #Constraints: 19126 243.32/244.02 c #Conflicts: 175000 | #Constraints: 20133 243.32/244.02 c #Conflicts: 176000 | #Constraints: 21133 243.32/244.02 c #Conflicts: 177000 | #Constraints: 22133 243.32/244.02 c INPROCESSING 243.32/244.02 c GARBAGE COLLECT 243.32/244.02 c rational objective 141 382.73/383.82 c #Conflicts: 178000 | #Constraints: 12517 382.73/383.82 c #Conflicts: 179000 | #Constraints: 13517 382.73/383.82 c #Conflicts: 180000 | #Constraints: 14517 382.73/383.82 c #Conflicts: 181000 | #Constraints: 15517 382.73/383.82 c #Conflicts: 182000 | #Constraints: 16517 382.73/383.82 c #Conflicts: 183000 | #Constraints: 17517 382.73/383.82 c #Conflicts: 184000 | #Constraints: 18517 382.73/383.82 c #Conflicts: 185000 | #Constraints: 19517 382.73/383.82 c #Conflicts: 186000 | #Constraints: 20517 382.73/383.82 c #Conflicts: 187000 | #Constraints: 21517 382.73/383.82 c #Conflicts: 188000 | #Constraints: 22517 382.73/383.82 c #Conflicts: 189000 | #Constraints: 23517 382.73/383.82 c #Conflicts: 190000 | #Constraints: 24517 382.73/383.82 c #Conflicts: 191000 | #Constraints: 25517 382.73/383.82 c #Conflicts: 192000 | #Constraints: 26517 382.73/383.82 c bounds 193 >= 141 @ 268.287 382.73/383.82 c #Conflicts: 193000 | #Constraints: 27518 382.73/383.82 c #Conflicts: 194000 | #Constraints: 28518 382.73/383.82 c #Conflicts: 195000 | #Constraints: 29518 382.73/383.82 c #Conflicts: 196000 | #Constraints: 30518 382.73/383.82 c #Conflicts: 197000 | #Constraints: 31518 382.73/383.82 c #Conflicts: 198000 | #Constraints: 32518 382.73/383.82 c #Conflicts: 199000 | #Constraints: 33518 382.73/383.82 c #Conflicts: 200000 | #Constraints: 34518 382.73/383.82 c #Conflicts: 201000 | #Constraints: 35518 382.73/383.82 c #Conflicts: 202000 | #Constraints: 36518 382.73/383.82 c #Conflicts: 203000 | #Constraints: 37518 382.73/383.82 c #Conflicts: 204000 | #Constraints: 38518 382.73/383.82 c #Conflicts: 205000 | #Constraints: 39518 382.73/383.82 c #Conflicts: 206000 | #Constraints: 40518 382.73/383.82 c #Conflicts: 207000 | #Constraints: 41518 382.73/383.82 c #Conflicts: 208000 | #Constraints: 42518 382.73/383.82 c #Conflicts: 209000 | #Constraints: 43518 382.73/383.82 c #Conflicts: 210000 | #Constraints: 44518 382.73/383.82 c INPROCESSING 382.73/383.82 c GARBAGE COLLECT 382.73/383.82 c rational objective 141 398.38/399.51 c #Conflicts: 211000 | #Constraints: 23734 398.38/399.51 c #Conflicts: 212000 | #Constraints: 24734 398.38/399.51 c #Conflicts: 213000 | #Constraints: 25734 398.38/399.51 c #Conflicts: 214000 | #Constraints: 26734 398.38/399.51 c #Conflicts: 215000 | #Constraints: 27734 398.38/399.51 c #Conflicts: 216000 | #Constraints: 28734 398.38/399.51 c #Conflicts: 217000 | #Constraints: 29734 398.38/399.51 c #Conflicts: 218000 | #Constraints: 30734 398.38/399.51 c #Conflicts: 219000 | #Constraints: 31734 398.38/399.51 c #Conflicts: 220000 | #Constraints: 32734 398.38/399.51 c #Conflicts: 221000 | #Constraints: 33734 398.38/399.51 c INPROCESSING 398.38/399.51 c GARBAGE COLLECT 398.38/399.51 c rational objective 141 413.63/414.80 c #Conflicts: 222000 | #Constraints: 18371 413.63/414.80 c #Conflicts: 223000 | #Constraints: 19371 413.63/414.80 c #Conflicts: 224000 | #Constraints: 20371 413.63/414.80 c #Conflicts: 225000 | #Constraints: 21371 413.63/414.80 c #Conflicts: 226000 | #Constraints: 22371 413.63/414.80 c #Conflicts: 227000 | #Constraints: 23371 413.63/414.80 c #Conflicts: 228000 | #Constraints: 24371 413.63/414.80 c #Conflicts: 229000 | #Constraints: 25371 413.63/414.80 c #Conflicts: 230000 | #Constraints: 26371 413.63/414.80 c #Conflicts: 231000 | #Constraints: 27371 413.63/414.80 c #Conflicts: 232000 | #Constraints: 28371 413.63/414.80 c INPROCESSING 413.63/414.80 c GARBAGE COLLECT 413.63/414.80 c rational objective 141 509.47/510.90 c #Conflicts: 233000 | #Constraints: 15682 509.47/510.90 c #Conflicts: 234000 | #Constraints: 16682 509.47/510.90 c #Conflicts: 235000 | #Constraints: 17682 509.47/510.90 c #Conflicts: 236000 | #Constraints: 18682 509.47/510.90 c #Conflicts: 237000 | #Constraints: 19682 509.47/510.90 c #Conflicts: 238000 | #Constraints: 20682 509.47/510.90 c #Conflicts: 239000 | #Constraints: 21682 509.47/510.90 c #Conflicts: 240000 | #Constraints: 22682 509.47/510.90 c #Conflicts: 241000 | #Constraints: 23682 509.47/510.90 c #Conflicts: 242000 | #Constraints: 24682 509.47/510.90 c #Conflicts: 243000 | #Constraints: 25682 509.47/510.90 c #Conflicts: 244000 | #Constraints: 26682 509.47/510.90 c #Conflicts: 245000 | #Constraints: 27703 509.47/510.90 c #Conflicts: 246000 | #Constraints: 28703 509.47/510.90 c #Conflicts: 247000 | #Constraints: 29757 509.47/510.90 c #Conflicts: 248000 | #Constraints: 30757 509.47/510.90 c #Conflicts: 249000 | #Constraints: 31757 509.47/510.90 c #Conflicts: 250000 | #Constraints: 32757 509.47/510.90 c #Conflicts: 251000 | #Constraints: 33757 509.47/510.90 c #Conflicts: 252000 | #Constraints: 34757 509.47/510.90 c #Conflicts: 253000 | #Constraints: 35757 509.47/510.90 c #Conflicts: 254000 | #Constraints: 36757 509.47/510.90 c #Conflicts: 255000 | #Constraints: 37757 509.47/510.90 c #Conflicts: 256000 | #Constraints: 38757 509.47/510.90 c #Conflicts: 257000 | #Constraints: 39757 509.47/510.90 c #Conflicts: 258000 | #Constraints: 40757 509.47/510.90 c #Conflicts: 259000 | #Constraints: 41757 509.47/510.90 c #Conflicts: 260000 | #Constraints: 42757 509.47/510.90 c #Conflicts: 261000 | #Constraints: 43757 509.47/510.90 c #Conflicts: 262000 | #Constraints: 44757 509.47/510.90 c #Conflicts: 263000 | #Constraints: 45757 509.47/510.90 c #Conflicts: 264000 | #Constraints: 46757 509.47/510.90 c #Conflicts: 265000 | #Constraints: 47757 509.47/510.90 c #Conflicts: 266000 | #Constraints: 48757 509.47/510.90 c #Conflicts: 267000 | #Constraints: 49757 509.47/510.90 c #Conflicts: 268000 | #Constraints: 50757 509.47/510.90 c #Conflicts: 269000 | #Constraints: 51757 509.47/510.90 c INPROCESSING 509.47/510.90 c GARBAGE COLLECT 509.47/510.90 c rational objective 141 581.26/582.91 c #Conflicts: 270000 | #Constraints: 27242 581.26/582.91 c #Conflicts: 271000 | #Constraints: 28242 581.26/582.91 c #Conflicts: 272000 | #Constraints: 29242 581.26/582.91 c #Conflicts: 273000 | #Constraints: 30242 581.26/582.91 c #Conflicts: 274000 | #Constraints: 31242 581.26/582.91 c #Conflicts: 275000 | #Constraints: 32242 581.26/582.91 c #Conflicts: 276000 | #Constraints: 33242 581.26/582.91 c #Conflicts: 277000 | #Constraints: 34242 581.26/582.91 c #Conflicts: 278000 | #Constraints: 35242 581.26/582.91 c #Conflicts: 279000 | #Constraints: 36242 581.26/582.91 c #Conflicts: 280000 | #Constraints: 37242 581.26/582.91 c #Conflicts: 281000 | #Constraints: 38242 581.26/582.91 c #Conflicts: 282000 | #Constraints: 39242 581.26/582.91 c INPROCESSING 581.26/582.91 c GARBAGE COLLECT 581.26/582.91 c rational objective 141 612.88/614.67 c #Conflicts: 283000 | #Constraints: 21403 612.88/614.67 c #Conflicts: 284000 | #Constraints: 22403 612.88/614.67 c #Conflicts: 285000 | #Constraints: 23403 612.88/614.67 c #Conflicts: 286000 | #Constraints: 24403 612.88/614.67 c #Conflicts: 287000 | #Constraints: 25403 612.88/614.67 c #Conflicts: 288000 | #Constraints: 26403 612.88/614.67 c #Conflicts: 289000 | #Constraints: 27403 612.88/614.67 c #Conflicts: 290000 | #Constraints: 28403 612.88/614.67 c #Conflicts: 291000 | #Constraints: 29403 612.88/614.67 c #Conflicts: 292000 | #Constraints: 30403 612.88/614.67 c #Conflicts: 293000 | #Constraints: 31403 612.88/614.67 c #Conflicts: 294000 | #Constraints: 32403 612.88/614.67 c INPROCESSING 612.88/614.67 c GARBAGE COLLECT 612.88/614.67 c rational objective 141 724.89/726.92 c #Conflicts: 295000 | #Constraints: 17737 724.89/726.92 c #Conflicts: 296000 | #Constraints: 18737 724.89/726.92 c #Conflicts: 297000 | #Constraints: 19737 724.89/726.92 c #Conflicts: 298000 | #Constraints: 20737 724.89/726.92 c #Conflicts: 299000 | #Constraints: 21737 724.89/726.92 c #Conflicts: 300000 | #Constraints: 22737 724.89/726.92 c #Conflicts: 301000 | #Constraints: 23737 724.89/726.92 c #Conflicts: 302000 | #Constraints: 24737 724.89/726.92 c #Conflicts: 303000 | #Constraints: 25737 724.89/726.92 c #Conflicts: 304000 | #Constraints: 26737 724.89/726.92 c #Conflicts: 305000 | #Constraints: 27737 724.89/726.92 c #Conflicts: 306000 | #Constraints: 28738 724.89/726.92 c #Conflicts: 307000 | #Constraints: 29738 724.89/726.92 c #Conflicts: 308000 | #Constraints: 30739 724.89/726.92 c #Conflicts: 309000 | #Constraints: 31739 724.89/726.92 c #Conflicts: 310000 | #Constraints: 32739 724.89/726.92 c #Conflicts: 311000 | #Constraints: 33739 724.89/726.92 c #Conflicts: 312000 | #Constraints: 34739 724.89/726.92 c #Conflicts: 313000 | #Constraints: 35739 724.89/726.92 c #Conflicts: 314000 | #Constraints: 36739 724.89/726.92 c #Conflicts: 315000 | #Constraints: 37740 724.89/726.92 c #Conflicts: 316000 | #Constraints: 38742 724.89/726.92 c #Conflicts: 317000 | #Constraints: 39743 724.89/726.92 c #Conflicts: 318000 | #Constraints: 40745 724.89/726.92 c #Conflicts: 319000 | #Constraints: 41745 724.89/726.92 c #Conflicts: 320000 | #Constraints: 42745 724.89/726.92 c #Conflicts: 321000 | #Constraints: 43745 724.89/726.92 c #Conflicts: 322000 | #Constraints: 44745 724.89/726.92 c #Conflicts: 323000 | #Constraints: 45745 724.89/726.92 c #Conflicts: 324000 | #Constraints: 46746 724.89/726.92 c #Conflicts: 325000 | #Constraints: 47746 724.89/726.92 c #Conflicts: 326000 | #Constraints: 48746 724.89/726.92 c bounds 193 >= 142 @ 702.793 724.89/726.92 c #Conflicts: 327000 | #Constraints: 49804 724.89/726.92 c #Conflicts: 328000 | #Constraints: 50804 724.89/726.92 c #Conflicts: 329000 | #Constraints: 51804 724.89/726.92 c #Conflicts: 330000 | #Constraints: 52804 724.89/726.92 c #Conflicts: 331000 | #Constraints: 53805 724.89/726.92 c #Conflicts: 332000 | #Constraints: 54805 724.89/726.92 c #Conflicts: 333000 | #Constraints: 55805 724.89/726.92 c #Conflicts: 334000 | #Constraints: 56805 724.89/726.92 c #Conflicts: 335000 | #Constraints: 57805 724.89/726.92 c #Conflicts: 336000 | #Constraints: 58805 724.89/726.92 c INPROCESSING 724.89/726.92 c GARBAGE COLLECT 724.89/726.92 c rational objective 142 750.83/752.97 c #Conflicts: 337000 | #Constraints: 31135 750.83/752.97 c #Conflicts: 338000 | #Constraints: 32135 750.83/752.97 c #Conflicts: 339000 | #Constraints: 33135 750.83/752.97 c #Conflicts: 340000 | #Constraints: 34135 750.83/752.97 c #Conflicts: 341000 | #Constraints: 35135 750.83/752.97 c #Conflicts: 342000 | #Constraints: 36135 750.83/752.97 c #Conflicts: 343000 | #Constraints: 37135 750.83/752.97 c #Conflicts: 344000 | #Constraints: 38135 750.83/752.97 c #Conflicts: 345000 | #Constraints: 39202 750.83/752.97 c #Conflicts: 346000 | #Constraints: 40202 750.83/752.97 c #Conflicts: 347000 | #Constraints: 41202 750.83/752.97 c #Conflicts: 348000 | #Constraints: 42202 750.83/752.97 c #Conflicts: 349000 | #Constraints: 43202 750.83/752.97 c INPROCESSING 750.83/752.97 c GARBAGE COLLECT 750.83/752.97 c rational objective 142 770.99/773.14 c #Conflicts: 350000 | #Constraints: 22927 770.99/773.14 c #Conflicts: 351000 | #Constraints: 23927 770.99/773.14 c #Conflicts: 352000 | #Constraints: 24927 770.99/773.14 c #Conflicts: 353000 | #Constraints: 25927 770.99/773.14 c #Conflicts: 354000 | #Constraints: 26927 770.99/773.14 c #Conflicts: 355000 | #Constraints: 27927 770.99/773.14 c #Conflicts: 356000 | #Constraints: 28927 770.99/773.14 c #Conflicts: 357000 | #Constraints: 29927 770.99/773.14 c #Conflicts: 358000 | #Constraints: 30927 770.99/773.14 c #Conflicts: 359000 | #Constraints: 31927 770.99/773.14 c #Conflicts: 360000 | #Constraints: 32927 770.99/773.14 c #Conflicts: 361000 | #Constraints: 33927 770.99/773.14 c #Conflicts: 362000 | #Constraints: 34927 770.99/773.14 c #Conflicts: 363000 | #Constraints: 35927 770.99/773.14 c INPROCESSING 770.99/773.14 c GARBAGE COLLECT 770.99/773.14 c rational objective 142 1023.49/1026.21 c #Conflicts: 364000 | #Constraints: 19295 1023.49/1026.21 c #Conflicts: 365000 | #Constraints: 20295 1023.49/1026.21 c #Conflicts: 366000 | #Constraints: 21295 1023.49/1026.21 c #Conflicts: 367000 | #Constraints: 22295 1023.49/1026.21 c #Conflicts: 368000 | #Constraints: 23295 1023.49/1026.21 c #Conflicts: 369000 | #Constraints: 24295 1023.49/1026.21 c #Conflicts: 370000 | #Constraints: 25296 1023.49/1026.21 c #Conflicts: 371000 | #Constraints: 26296 1023.49/1026.21 c #Conflicts: 372000 | #Constraints: 27296 1023.49/1026.21 c #Conflicts: 373000 | #Constraints: 28296 1023.49/1026.21 c #Conflicts: 374000 | #Constraints: 29296 1023.49/1026.21 c #Conflicts: 375000 | #Constraints: 30296 1023.49/1026.21 c #Conflicts: 376000 | #Constraints: 31296 1023.49/1026.21 c #Conflicts: 377000 | #Constraints: 32296 1023.49/1026.21 c #Conflicts: 378000 | #Constraints: 33296 1023.49/1026.21 c #Conflicts: 379000 | #Constraints: 34296 1023.49/1026.21 c #Conflicts: 380000 | #Constraints: 35296 1023.49/1026.21 c #Conflicts: 381000 | #Constraints: 36297 1023.49/1026.21 c #Conflicts: 382000 | #Constraints: 37297 1023.49/1026.21 c #Conflicts: 383000 | #Constraints: 38297 1023.49/1026.21 c #Conflicts: 384000 | #Constraints: 39297 1023.49/1026.21 c #Conflicts: 385000 | #Constraints: 40297 1023.49/1026.21 c #Conflicts: 386000 | #Constraints: 41297 1023.49/1026.21 c #Conflicts: 387000 | #Constraints: 42297 1023.49/1026.21 c #Conflicts: 388000 | #Constraints: 43297 1023.49/1026.21 c #Conflicts: 389000 | #Constraints: 44297 1023.49/1026.21 c #Conflicts: 390000 | #Constraints: 45297 1023.49/1026.21 c #Conflicts: 391000 | #Constraints: 46297 1023.49/1026.21 c #Conflicts: 392000 | #Constraints: 47297 1023.49/1026.21 c #Conflicts: 393000 | #Constraints: 48297 1023.49/1026.21 c #Conflicts: 394000 | #Constraints: 49297 1023.49/1026.21 c #Conflicts: 395000 | #Constraints: 50297 1023.49/1026.21 c #Conflicts: 396000 | #Constraints: 51297 1023.49/1026.21 c #Conflicts: 397000 | #Constraints: 52297 1023.49/1026.21 c #Conflicts: 398000 | #Constraints: 53297 1023.49/1026.21 c #Conflicts: 399000 | #Constraints: 54297 1023.49/1026.21 c #Conflicts: 400000 | #Constraints: 55297 1023.49/1026.21 c #Conflicts: 401000 | #Constraints: 56297 1023.49/1026.21 c #Conflicts: 402000 | #Constraints: 57297 1023.49/1026.21 c #Conflicts: 403000 | #Constraints: 58297 1023.49/1026.21 c #Conflicts: 404000 | #Constraints: 59297 1023.49/1026.21 c #Conflicts: 405000 | #Constraints: 60339 1023.49/1026.21 c #Conflicts: 406000 | #Constraints: 61339 1023.49/1026.21 c #Conflicts: 407000 | #Constraints: 62339 1023.49/1026.21 c #Conflicts: 408000 | #Constraints: 63339 1023.49/1026.21 c #Conflicts: 409000 | #Constraints: 64339 1023.49/1026.21 c INPROCESSING 1023.49/1026.21 c GARBAGE COLLECT 1023.49/1026.21 c rational objective 142 1153.19/1156.23 c #Conflicts: 410000 | #Constraints: 33657 1153.19/1156.23 c #Conflicts: 411000 | #Constraints: 34657 1153.19/1156.23 c #Conflicts: 412000 | #Constraints: 35657 1153.19/1156.23 c #Conflicts: 413000 | #Constraints: 36657 1153.19/1156.23 c #Conflicts: 414000 | #Constraints: 37657 1153.19/1156.23 c #Conflicts: 415000 | #Constraints: 38657 1153.19/1156.23 c #Conflicts: 416000 | #Constraints: 39657 1153.19/1156.23 c #Conflicts: 417000 | #Constraints: 40657 1153.19/1156.23 c #Conflicts: 418000 | #Constraints: 41657 1153.19/1156.23 c #Conflicts: 419000 | #Constraints: 42657 1153.19/1156.23 c #Conflicts: 420000 | #Constraints: 43657 1153.19/1156.23 c #Conflicts: 421000 | #Constraints: 44657 1153.19/1156.23 c #Conflicts: 422000 | #Constraints: 45657 1153.19/1156.23 c #Conflicts: 423000 | #Constraints: 46657 1153.19/1156.23 c #Conflicts: 424000 | #Constraints: 47657 1153.19/1156.23 c INPROCESSING 1153.19/1156.23 c GARBAGE COLLECT 1153.19/1156.23 c rational objective 142 1198.78/1201.91 c #Conflicts: 425000 | #Constraints: 25221 1198.78/1201.91 c #Conflicts: 426000 | #Constraints: 26221 1198.78/1201.91 c #Conflicts: 427000 | #Constraints: 27221 1198.78/1201.91 c #Conflicts: 428000 | #Constraints: 28221 1198.78/1201.91 c #Conflicts: 429000 | #Constraints: 29221 1198.78/1201.91 c #Conflicts: 430000 | #Constraints: 30221 1198.78/1201.91 c #Conflicts: 431000 | #Constraints: 31221 1198.78/1201.91 c #Conflicts: 432000 | #Constraints: 32221 1198.78/1201.91 c #Conflicts: 433000 | #Constraints: 33221 1198.78/1201.91 c #Conflicts: 434000 | #Constraints: 34221 1198.78/1201.91 c #Conflicts: 435000 | #Constraints: 35221 1198.78/1201.91 c #Conflicts: 436000 | #Constraints: 36221 1198.78/1201.91 c #Conflicts: 437000 | #Constraints: 37221 1198.78/1201.91 c #Conflicts: 438000 | #Constraints: 38221 1198.78/1201.91 c #Conflicts: 439000 | #Constraints: 39221 1198.78/1201.91 c #Conflicts: 440000 | #Constraints: 40221 1198.78/1201.91 c INPROCESSING 1198.78/1201.91 c GARBAGE COLLECT 1198.78/1201.91 c rational objective 142 1422.85/1426.55 c #Conflicts: 441000 | #Constraints: 21770 1422.85/1426.55 c #Conflicts: 442000 | #Constraints: 22770 1422.85/1426.55 c #Conflicts: 443000 | #Constraints: 23770 1422.85/1426.55 c #Conflicts: 444000 | #Constraints: 24770 1422.85/1426.55 c #Conflicts: 445000 | #Constraints: 25770 1422.85/1426.55 c #Conflicts: 446000 | #Constraints: 26770 1422.85/1426.55 c #Conflicts: 447000 | #Constraints: 27772 1422.85/1426.55 c #Conflicts: 448000 | #Constraints: 28773 1422.85/1426.55 c #Conflicts: 449000 | #Constraints: 29773 1422.85/1426.55 c #Conflicts: 450000 | #Constraints: 30774 1422.85/1426.55 c #Conflicts: 451000 | #Constraints: 31776 1422.85/1426.55 c #Conflicts: 452000 | #Constraints: 32776 1422.85/1426.55 c #Conflicts: 453000 | #Constraints: 33776 1422.85/1426.55 c #Conflicts: 454000 | #Constraints: 34776 1422.85/1426.55 c #Conflicts: 455000 | #Constraints: 35776 1422.85/1426.55 c #Conflicts: 456000 | #Constraints: 36776 1422.85/1426.55 c #Conflicts: 457000 | #Constraints: 37776 1422.85/1426.55 c #Conflicts: 458000 | #Constraints: 38776 1422.85/1426.55 c #Conflicts: 459000 | #Constraints: 39776 1422.85/1426.55 c #Conflicts: 460000 | #Constraints: 40776 1422.85/1426.55 c #Conflicts: 461000 | #Constraints: 41776 1422.85/1426.55 c #Conflicts: 462000 | #Constraints: 42776 1422.85/1426.55 c #Conflicts: 463000 | #Constraints: 43776 1422.85/1426.55 c #Conflicts: 464000 | #Constraints: 44776 1422.85/1426.55 c #Conflicts: 465000 | #Constraints: 45776 1422.85/1426.55 c #Conflicts: 466000 | #Constraints: 46776 1422.85/1426.55 c #Conflicts: 467000 | #Constraints: 47776 1422.85/1426.55 c #Conflicts: 468000 | #Constraints: 48776 1422.85/1426.55 c #Conflicts: 469000 | #Constraints: 49776 1422.85/1426.55 c #Conflicts: 470000 | #Constraints: 50776 1422.85/1426.55 c #Conflicts: 471000 | #Constraints: 51776 1422.85/1426.55 c #Conflicts: 472000 | #Constraints: 52776 1422.85/1426.55 c #Conflicts: 473000 | #Constraints: 53776 1422.85/1426.55 c #Conflicts: 474000 | #Constraints: 54776 1422.85/1426.55 c #Conflicts: 475000 | #Constraints: 55776 1422.85/1426.55 c #Conflicts: 476000 | #Constraints: 56776 1422.85/1426.55 c #Conflicts: 477000 | #Constraints: 57776 1422.85/1426.55 c #Conflicts: 478000 | #Constraints: 58776 1422.85/1426.55 c #Conflicts: 479000 | #Constraints: 59776 1422.85/1426.55 c #Conflicts: 480000 | #Constraints: 60776 1422.85/1426.55 c #Conflicts: 481000 | #Constraints: 61776 1422.85/1426.55 c #Conflicts: 482000 | #Constraints: 62776 1422.85/1426.55 c #Conflicts: 483000 | #Constraints: 63776 1422.85/1426.55 c #Conflicts: 484000 | #Constraints: 64776 1422.85/1426.55 c #Conflicts: 485000 | #Constraints: 65776 1422.85/1426.55 c #Conflicts: 486000 | #Constraints: 66776 1422.85/1426.55 c #Conflicts: 487000 | #Constraints: 67776 1422.85/1426.55 c #Conflicts: 488000 | #Constraints: 68776 1422.85/1426.55 c #Conflicts: 489000 | #Constraints: 69776 1422.85/1426.55 c #Conflicts: 490000 | #Constraints: 70776 1422.85/1426.55 c INPROCESSING 1422.85/1426.55 c GARBAGE COLLECT 1422.85/1426.55 c rational objective 142 1538.29/1542.22 c #Conflicts: 491000 | #Constraints: 37118 1538.29/1542.22 c #Conflicts: 492000 | #Constraints: 38118 1538.29/1542.22 c #Conflicts: 493000 | #Constraints: 39118 1538.29/1542.22 c #Conflicts: 494000 | #Constraints: 40118 1538.29/1542.22 c #Conflicts: 495000 | #Constraints: 41118 1538.29/1542.22 c #Conflicts: 496000 | #Constraints: 42118 1538.29/1542.22 c #Conflicts: 497000 | #Constraints: 43118 1538.29/1542.22 c #Conflicts: 498000 | #Constraints: 44118 1538.29/1542.22 c #Conflicts: 499000 | #Constraints: 45118 1538.29/1542.22 c #Conflicts: 500000 | #Constraints: 46118 1538.29/1542.22 c #Conflicts: 501000 | #Constraints: 47118 1538.29/1542.22 c #Conflicts: 502000 | #Constraints: 48118 1538.29/1542.22 c #Conflicts: 503000 | #Constraints: 49118 1538.29/1542.22 c #Conflicts: 504000 | #Constraints: 50118 1538.29/1542.22 c #Conflicts: 505000 | #Constraints: 51118 1538.29/1542.22 c #Conflicts: 506000 | #Constraints: 52118 1538.29/1542.22 c #Conflicts: 507000 | #Constraints: 53118 1538.29/1542.22 c INPROCESSING 1538.29/1542.22 c GARBAGE COLLECT 1538.29/1542.22 c rational objective 142 1604.04/1608.13 c #Conflicts: 508000 | #Constraints: 28366 1604.04/1608.13 c #Conflicts: 509000 | #Constraints: 29366 1604.04/1608.13 c #Conflicts: 510000 | #Constraints: 30366 1604.04/1608.13 c #Conflicts: 511000 | #Constraints: 31366 1604.04/1608.13 c #Conflicts: 512000 | #Constraints: 32366 1604.04/1608.13 c #Conflicts: 513000 | #Constraints: 33366 1604.04/1608.13 c #Conflicts: 514000 | #Constraints: 34366 1604.04/1608.13 c #Conflicts: 515000 | #Constraints: 35366 1604.04/1608.13 c #Conflicts: 516000 | #Constraints: 36366 1604.04/1608.13 c #Conflicts: 517000 | #Constraints: 37366 1604.04/1608.13 c #Conflicts: 518000 | #Constraints: 38366 1604.04/1608.13 c #Conflicts: 519000 | #Constraints: 39367 1604.04/1608.13 c #Conflicts: 520000 | #Constraints: 40367 1604.04/1608.13 c #Conflicts: 521000 | #Constraints: 41367 1604.04/1608.13 c #Conflicts: 522000 | #Constraints: 42367 1604.04/1608.13 c #Conflicts: 523000 | #Constraints: 43367 1604.04/1608.13 c #Conflicts: 524000 | #Constraints: 44367 1604.04/1608.13 c INPROCESSING 1604.04/1608.13 c GARBAGE COLLECT 1604.04/1608.13 c rational objective 142 1923.08/1927.97 c #Conflicts: 525000 | #Constraints: 26764 1923.08/1927.97 c #Conflicts: 526000 | #Constraints: 27764 1923.08/1927.97 c #Conflicts: 527000 | #Constraints: 28764 1923.08/1927.97 c #Conflicts: 528000 | #Constraints: 29764 1923.08/1927.97 c #Conflicts: 529000 | #Constraints: 30764 1923.08/1927.97 c #Conflicts: 530000 | #Constraints: 31764 1923.08/1927.97 c #Conflicts: 531000 | #Constraints: 32764 1923.08/1927.97 c #Conflicts: 532000 | #Constraints: 33764 1923.08/1927.97 c #Conflicts: 533000 | #Constraints: 34764 1923.08/1927.97 c #Conflicts: 534000 | #Constraints: 35764 1923.08/1927.97 c #Conflicts: 535000 | #Constraints: 36764 1923.08/1927.97 c #Conflicts: 536000 | #Constraints: 37764 1923.08/1927.97 c #Conflicts: 537000 | #Constraints: 38764 1923.08/1927.97 c #Conflicts: 538000 | #Constraints: 39764 1923.08/1927.97 c #Conflicts: 539000 | #Constraints: 40764 1923.08/1927.97 c #Conflicts: 540000 | #Constraints: 41764 1923.08/1927.97 c #Conflicts: 541000 | #Constraints: 42764 1923.08/1927.97 c #Conflicts: 542000 | #Constraints: 43764 1923.08/1927.97 c #Conflicts: 543000 | #Constraints: 44764 1923.08/1927.97 c #Conflicts: 544000 | #Constraints: 45764 1923.08/1927.97 c #Conflicts: 545000 | #Constraints: 46764 1923.08/1927.97 c #Conflicts: 546000 | #Constraints: 47764 1923.08/1927.97 c #Conflicts: 547000 | #Constraints: 48764 1923.08/1927.97 c #Conflicts: 548000 | #Constraints: 49765 1923.08/1927.97 c #Conflicts: 549000 | #Constraints: 50765 1923.08/1927.97 c #Conflicts: 550000 | #Constraints: 51765 1923.08/1927.97 c #Conflicts: 551000 | #Constraints: 52765 1923.08/1927.97 c #Conflicts: 552000 | #Constraints: 53765 1923.08/1927.97 c #Conflicts: 553000 | #Constraints: 54765 1923.08/1927.97 c #Conflicts: 554000 | #Constraints: 55765 1923.08/1927.97 c #Conflicts: 555000 | #Constraints: 56765 1923.08/1927.97 c #Conflicts: 556000 | #Constraints: 57765 1923.08/1927.97 c #Conflicts: 557000 | #Constraints: 58765 1923.08/1927.97 c #Conflicts: 558000 | #Constraints: 59765 1923.08/1927.97 c #Conflicts: 559000 | #Constraints: 60765 1923.08/1927.97 c #Conflicts: 560000 | #Constraints: 61765 1923.08/1927.97 c #Conflicts: 561000 | #Constraints: 62765 1923.08/1927.97 c #Conflicts: 562000 | #Constraints: 63765 1923.08/1927.97 c #Conflicts: 563000 | #Constraints: 64765 1923.08/1927.97 c #Conflicts: 564000 | #Constraints: 65765 1923.08/1927.97 c #Conflicts: 565000 | #Constraints: 66765 1923.08/1927.97 c #Conflicts: 566000 | #Constraints: 67765 1923.08/1927.97 c #Conflicts: 567000 | #Constraints: 68765 1923.08/1927.97 c #Conflicts: 568000 | #Constraints: 69765 1923.08/1927.97 c #Conflicts: 569000 | #Constraints: 70765 1923.08/1927.97 c #Conflicts: 570000 | #Constraints: 71765 1923.08/1927.97 c #Conflicts: 571000 | #Constraints: 72765 1923.08/1927.97 c #Conflicts: 572000 | #Constraints: 73765 1923.08/1927.97 c #Conflicts: 573000 | #Constraints: 74765 1923.08/1927.97 c #Conflicts: 574000 | #Constraints: 75765 1923.08/1927.97 c #Conflicts: 575000 | #Constraints: 76765 1923.08/1927.97 c #Conflicts: 576000 | #Constraints: 77765 1923.08/1927.97 c #Conflicts: 577000 | #Constraints: 78765 1923.08/1927.97 c #Conflicts: 578000 | #Constraints: 79765 1923.08/1927.97 c INPROCESSING 1923.08/1927.97 c GARBAGE COLLECT 1923.08/1927.97 c rational objective 142 1988.13/1993.13 c #Conflicts: 579000 | #Constraints: 41653 1988.13/1993.13 c #Conflicts: 580000 | #Constraints: 42653 1988.13/1993.13 c #Conflicts: 581000 | #Constraints: 43653 1988.13/1993.13 c #Conflicts: 582000 | #Constraints: 44653 1988.13/1993.13 c #Conflicts: 583000 | #Constraints: 45653 1988.13/1993.13 c #Conflicts: 584000 | #Constraints: 46653 1988.13/1993.13 c #Conflicts: 585000 | #Constraints: 47653 1988.13/1993.13 c #Conflicts: 586000 | #Constraints: 48653 1988.13/1993.13 c #Conflicts: 587000 | #Constraints: 49653 1988.13/1993.13 c #Conflicts: 588000 | #Constraints: 50653 1988.13/1993.13 c #Conflicts: 589000 | #Constraints: 51653 1988.13/1993.13 c #Conflicts: 590000 | #Constraints: 52653 1988.13/1993.13 c #Conflicts: 591000 | #Constraints: 53653 1988.13/1993.13 c #Conflicts: 592000 | #Constraints: 54654 1988.13/1993.13 c #Conflicts: 593000 | #Constraints: 55654 1988.13/1993.13 c #Conflicts: 594000 | #Constraints: 56654 1988.13/1993.13 c #Conflicts: 595000 | #Constraints: 57654 1988.13/1993.13 c #Conflicts: 596000 | #Constraints: 58654 1988.13/1993.13 c INPROCESSING 1988.13/1993.13 c GARBAGE COLLECT 1988.13/1993.13 c rational objective 142 2405.47/2411.50 c #Conflicts: 597000 | #Constraints: 30867 2405.47/2411.50 c #Conflicts: 598000 | #Constraints: 31867 2405.47/2411.50 c #Conflicts: 599000 | #Constraints: 32867 2405.47/2411.50 c #Conflicts: 600000 | #Constraints: 33867 2405.47/2411.50 c #Conflicts: 601000 | #Constraints: 34867 2405.47/2411.50 c #Conflicts: 602000 | #Constraints: 35867 2405.47/2411.50 c #Conflicts: 603000 | #Constraints: 36867 2405.47/2411.50 c #Conflicts: 604000 | #Constraints: 37867 2405.47/2411.50 c #Conflicts: 605000 | #Constraints: 38867 2405.47/2411.50 c #Conflicts: 606000 | #Constraints: 39867 2405.47/2411.50 c #Conflicts: 607000 | #Constraints: 40867 2405.47/2411.50 c #Conflicts: 608000 | #Constraints: 41867 2405.47/2411.50 c #Conflicts: 609000 | #Constraints: 42911 2405.47/2411.50 c #Conflicts: 610000 | #Constraints: 43911 2405.47/2411.50 c #Conflicts: 611000 | #Constraints: 44911 2405.47/2411.50 c #Conflicts: 612000 | #Constraints: 45911 2405.47/2411.50 c #Conflicts: 613000 | #Constraints: 46911 2405.47/2411.50 c #Conflicts: 614000 | #Constraints: 47911 2405.47/2411.50 c #Conflicts: 615000 | #Constraints: 48911 2405.47/2411.50 c bounds 192 >= 142 @ 2048.16 2405.47/2411.50 c #Conflicts: 616000 | #Constraints: 49913 2405.47/2411.50 c #Conflicts: 617000 | #Constraints: 50913 2405.47/2411.50 c #Conflicts: 618000 | #Constraints: 51914 2405.47/2411.50 c #Conflicts: 619000 | #Constraints: 52916 2405.47/2411.50 c #Conflicts: 620000 | #Constraints: 53916 2405.47/2411.50 c #Conflicts: 621000 | #Constraints: 54916 2405.47/2411.50 c #Conflicts: 622000 | #Constraints: 55916 2405.47/2411.50 c #Conflicts: 623000 | #Constraints: 56916 2405.47/2411.50 c #Conflicts: 624000 | #Constraints: 57916 2405.47/2411.50 c #Conflicts: 625000 | #Constraints: 58916 2405.47/2411.50 c #Conflicts: 626000 | #Constraints: 59916 2405.47/2411.50 c #Conflicts: 627000 | #Constraints: 60916 2405.47/2411.50 c #Conflicts: 628000 | #Constraints: 61916 2405.47/2411.50 c #Conflicts: 629000 | #Constraints: 62916 2405.47/2411.50 c #Conflicts: 630000 | #Constraints: 63916 2405.47/2411.50 c #Conflicts: 631000 | #Constraints: 64916 2405.47/2411.50 c #Conflicts: 632000 | #Constraints: 65916 2405.47/2411.50 c #Conflicts: 633000 | #Constraints: 66916 2405.47/2411.50 c #Conflicts: 634000 | #Constraints: 67916 2405.47/2411.50 c #Conflicts: 635000 | #Constraints: 68916 2405.47/2411.50 c #Conflicts: 636000 | #Constraints: 69916 2405.47/2411.50 c #Conflicts: 637000 | #Constraints: 70916 2405.47/2411.50 c #Conflicts: 638000 | #Constraints: 71916 2405.47/2411.50 c #Conflicts: 639000 | #Constraints: 72916 2405.47/2411.50 c #Conflicts: 640000 | #Constraints: 73916 2405.47/2411.50 c #Conflicts: 641000 | #Constraints: 74916 2405.47/2411.50 c #Conflicts: 642000 | #Constraints: 75916 2405.47/2411.50 c #Conflicts: 643000 | #Constraints: 76916 2405.47/2411.50 c bounds 191 >= 142 @ 2222.24 2405.47/2411.50 c #Conflicts: 644000 | #Constraints: 77917 2405.47/2411.50 c #Conflicts: 645000 | #Constraints: 78917 2405.47/2411.50 c #Conflicts: 646000 | #Constraints: 79917 2405.47/2411.50 c #Conflicts: 647000 | #Constraints: 80917 2405.47/2411.50 c #Conflicts: 648000 | #Constraints: 81917 2405.47/2411.50 c #Conflicts: 649000 | #Constraints: 82917 2405.47/2411.50 c #Conflicts: 650000 | #Constraints: 83917 2405.47/2411.50 c #Conflicts: 651000 | #Constraints: 84917 2405.47/2411.50 c #Conflicts: 652000 | #Constraints: 85917 2405.47/2411.50 c #Conflicts: 653000 | #Constraints: 86917 2405.47/2411.50 c INPROCESSING 2405.47/2411.50 c GARBAGE COLLECT 2405.47/2411.50 c rational objective 142 2488.28/2494.53 c #Conflicts: 654000 | #Constraints: 44984 2488.28/2494.53 c #Conflicts: 655000 | #Constraints: 45984 2488.28/2494.53 c #Conflicts: 656000 | #Constraints: 46984 2488.28/2494.53 c #Conflicts: 657000 | #Constraints: 47984 2488.28/2494.53 c #Conflicts: 658000 | #Constraints: 48984 2488.28/2494.53 c #Conflicts: 659000 | #Constraints: 49984 2488.28/2494.53 c #Conflicts: 660000 | #Constraints: 50984 2488.28/2494.53 c #Conflicts: 661000 | #Constraints: 51984 2488.28/2494.53 c #Conflicts: 662000 | #Constraints: 52984 2488.28/2494.53 c #Conflicts: 663000 | #Constraints: 53984 2488.28/2494.53 c #Conflicts: 664000 | #Constraints: 54984 2488.28/2494.53 c #Conflicts: 665000 | #Constraints: 55984 2488.28/2494.53 c #Conflicts: 666000 | #Constraints: 56984 2488.28/2494.53 c #Conflicts: 667000 | #Constraints: 57985 2488.28/2494.53 c #Conflicts: 668000 | #Constraints: 58990 2488.28/2494.53 c #Conflicts: 669000 | #Constraints: 59990 2488.28/2494.53 c #Conflicts: 670000 | #Constraints: 60990 2488.28/2494.53 c #Conflicts: 671000 | #Constraints: 61990 2488.28/2494.53 c #Conflicts: 672000 | #Constraints: 62990 2488.28/2494.53 c #Conflicts: 673000 | #Constraints: 63990 2488.28/2494.53 c INPROCESSING 2488.28/2494.53 c GARBAGE COLLECT 2488.28/2494.53 c rational objective 142 2554.52/2560.97 c #Conflicts: 674000 | #Constraints: 33632 2554.52/2560.97 c #Conflicts: 675000 | #Constraints: 34632 2554.52/2560.97 c #Conflicts: 676000 | #Constraints: 35632 2554.52/2560.97 c #Conflicts: 677000 | #Constraints: 36632 2554.52/2560.97 c #Conflicts: 678000 | #Constraints: 37632 2554.52/2560.97 c #Conflicts: 679000 | #Constraints: 38632 2554.52/2560.97 c #Conflicts: 680000 | #Constraints: 39632 2554.52/2560.97 c #Conflicts: 681000 | #Constraints: 40632 2554.52/2560.97 c #Conflicts: 682000 | #Constraints: 41632 2554.52/2560.97 c #Conflicts: 683000 | #Constraints: 42632 2554.52/2560.97 c #Conflicts: 684000 | #Constraints: 43632 2554.52/2560.97 c #Conflicts: 685000 | #Constraints: 44632 2554.52/2560.97 c #Conflicts: 686000 | #Constraints: 45632 2554.52/2560.97 c #Conflicts: 687000 | #Constraints: 46632 2554.52/2560.97 c #Conflicts: 688000 | #Constraints: 47632 2554.52/2560.97 c #Conflicts: 689000 | #Constraints: 48632 2554.52/2560.97 c #Conflicts: 690000 | #Constraints: 49632 2554.52/2560.97 c #Conflicts: 691000 | #Constraints: 50632 2554.52/2560.97 c #Conflicts: 692000 | #Constraints: 51632 2554.52/2560.97 c #Conflicts: 693000 | #Constraints: 52632 2554.52/2560.97 c INPROCESSING 2554.52/2560.97 c GARBAGE COLLECT 2554.52/2560.97 c rational objective 142 3000.96/3008.43 c #Conflicts: 694000 | #Constraints: 31019 3000.96/3008.43 c #Conflicts: 695000 | #Constraints: 32019 3000.96/3008.43 c #Conflicts: 696000 | #Constraints: 33019 3000.96/3008.43 c #Conflicts: 697000 | #Constraints: 34019 3000.96/3008.43 c #Conflicts: 698000 | #Constraints: 35019 3000.96/3008.43 c #Conflicts: 699000 | #Constraints: 36019 3000.96/3008.43 c #Conflicts: 700000 | #Constraints: 37019 3000.96/3008.43 c #Conflicts: 701000 | #Constraints: 38019 3000.96/3008.43 c #Conflicts: 702000 | #Constraints: 39019 3000.96/3008.43 c #Conflicts: 703000 | #Constraints: 40019 3000.96/3008.43 c #Conflicts: 704000 | #Constraints: 41019 3000.96/3008.43 c #Conflicts: 705000 | #Constraints: 42019 3000.96/3008.43 c #Conflicts: 706000 | #Constraints: 43019 3000.96/3008.43 c #Conflicts: 707000 | #Constraints: 44019 3000.96/3008.43 c #Conflicts: 708000 | #Constraints: 45019 3000.96/3008.43 c #Conflicts: 709000 | #Constraints: 46019 3000.96/3008.43 c #Conflicts: 710000 | #Constraints: 47019 3000.96/3008.43 c #Conflicts: 711000 | #Constraints: 48019 3000.96/3008.43 c #Conflicts: 712000 | #Constraints: 49019 3000.96/3008.43 c #Conflicts: 713000 | #Constraints: 50019 3000.96/3008.43 c #Conflicts: 714000 | #Constraints: 51019 3000.96/3008.43 c #Conflicts: 715000 | #Constraints: 52019 3000.96/3008.43 c #Conflicts: 716000 | #Constraints: 53019 3000.96/3008.43 c #Conflicts: 717000 | #Constraints: 54019 3000.96/3008.43 c #Conflicts: 718000 | #Constraints: 55019 3000.96/3008.43 c #Conflicts: 719000 | #Constraints: 56019 3000.96/3008.43 c #Conflicts: 720000 | #Constraints: 57019 3000.96/3008.43 c #Conflicts: 721000 | #Constraints: 58019 3000.96/3008.43 c #Conflicts: 722000 | #Constraints: 59019 3000.96/3008.43 c #Conflicts: 723000 | #Constraints: 60019 3000.96/3008.43 c #Conflicts: 724000 | #Constraints: 61019 3000.96/3008.43 c #Conflicts: 725000 | #Constraints: 62019 3000.96/3008.43 c #Conflicts: 726000 | #Constraints: 63019 3000.96/3008.43 c #Conflicts: 727000 | #Constraints: 64019 3000.96/3008.43 c #Conflicts: 728000 | #Constraints: 65019 3000.96/3008.43 c #Conflicts: 729000 | #Constraints: 66019 3000.96/3008.43 c #Conflicts: 730000 | #Constraints: 67019 3000.96/3008.43 c #Conflicts: 731000 | #Constraints: 68019 3000.96/3008.43 c #Conflicts: 732000 | #Constraints: 69019 3000.96/3008.43 c #Conflicts: 733000 | #Constraints: 70019 3000.96/3008.43 c #Conflicts: 734000 | #Constraints: 71019 3000.96/3008.43 c #Conflicts: 735000 | #Constraints: 72019 3000.96/3008.43 c #Conflicts: 736000 | #Constraints: 73019 3000.96/3008.43 c #Conflicts: 737000 | #Constraints: 74019 3000.96/3008.43 c #Conflicts: 738000 | #Constraints: 75019 3000.96/3008.43 c #Conflicts: 739000 | #Constraints: 76019 3000.96/3008.43 c #Conflicts: 740000 | #Constraints: 77019 3000.96/3008.43 c #Conflicts: 741000 | #Constraints: 78019 3000.96/3008.43 c #Conflicts: 742000 | #Constraints: 79020 3000.96/3008.43 c #Conflicts: 743000 | #Constraints: 80020 3000.96/3008.43 c #Conflicts: 744000 | #Constraints: 81020 3000.96/3008.43 c #Conflicts: 745000 | #Constraints: 82020 3000.96/3008.43 c #Conflicts: 746000 | #Constraints: 83020 3000.96/3008.43 c #Conflicts: 747000 | #Constraints: 84020 3000.96/3008.43 c #Conflicts: 748000 | #Constraints: 85020 3000.96/3008.43 c #Conflicts: 749000 | #Constraints: 86020 3000.96/3008.43 c #Conflicts: 750000 | #Constraints: 87020 3000.96/3008.43 c #Conflicts: 751000 | #Constraints: 88020 3000.96/3008.43 c #Conflicts: 752000 | #Constraints: 89020 3000.96/3008.43 c #Conflicts: 753000 | #Constraints: 90020 3000.96/3008.43 c #Conflicts: 754000 | #Constraints: 91020 3000.96/3008.43 c INPROCESSING 3000.96/3008.43 c GARBAGE COLLECT 3000.96/3008.43 c rational objective 142 3076.27/3083.96 c #Conflicts: 755000 | #Constraints: 47121 3076.27/3083.96 c #Conflicts: 756000 | #Constraints: 48121 3076.27/3083.96 c #Conflicts: 757000 | #Constraints: 49121 3076.27/3083.96 c #Conflicts: 758000 | #Constraints: 50121 3076.27/3083.96 c #Conflicts: 759000 | #Constraints: 51121 3076.27/3083.96 c #Conflicts: 760000 | #Constraints: 52121 3076.27/3083.96 c #Conflicts: 761000 | #Constraints: 53121 3076.27/3083.96 c #Conflicts: 762000 | #Constraints: 54121 3076.27/3083.96 c #Conflicts: 763000 | #Constraints: 55121 3076.27/3083.96 c #Conflicts: 764000 | #Constraints: 56121 3076.27/3083.96 c #Conflicts: 765000 | #Constraints: 57121 3076.27/3083.96 c #Conflicts: 766000 | #Constraints: 58121 3076.27/3083.96 c #Conflicts: 767000 | #Constraints: 59121 3076.27/3083.96 c #Conflicts: 768000 | #Constraints: 60121 3076.27/3083.96 c #Conflicts: 769000 | #Constraints: 61121 3076.27/3083.96 c #Conflicts: 770000 | #Constraints: 62121 3076.27/3083.96 c #Conflicts: 771000 | #Constraints: 63121 3076.27/3083.96 c #Conflicts: 772000 | #Constraints: 64121 3076.27/3083.96 c #Conflicts: 773000 | #Constraints: 65121 3076.27/3083.96 c #Conflicts: 774000 | #Constraints: 66121 3076.27/3083.96 c #Conflicts: 775000 | #Constraints: 67121 3076.27/3083.96 c INPROCESSING 3076.27/3083.96 c GARBAGE COLLECT 3076.27/3083.96 c rational objective 142 3443.37/3451.97 c #Conflicts: 776000 | #Constraints: 35051 3443.37/3451.97 c #Conflicts: 777000 | #Constraints: 36051 3443.37/3451.97 c #Conflicts: 778000 | #Constraints: 37051 3443.37/3451.97 c #Conflicts: 779000 | #Constraints: 38051 3443.37/3451.97 c #Conflicts: 780000 | #Constraints: 39051 3443.37/3451.97 c #Conflicts: 781000 | #Constraints: 40051 3443.37/3451.97 c #Conflicts: 782000 | #Constraints: 41051 3443.37/3451.97 c #Conflicts: 783000 | #Constraints: 42051 3443.37/3451.97 c #Conflicts: 784000 | #Constraints: 43051 3443.37/3451.97 c #Conflicts: 785000 | #Constraints: 44051 3443.37/3451.97 c #Conflicts: 786000 | #Constraints: 45051 3443.37/3451.97 c #Conflicts: 787000 | #Constraints: 46051 3443.37/3451.97 c #Conflicts: 788000 | #Constraints: 47051 3443.37/3451.97 c #Conflicts: 789000 | #Constraints: 48051 3443.37/3451.97 c #Conflicts: 790000 | #Constraints: 49051 3443.37/3451.97 c #Conflicts: 791000 | #Constraints: 50051 3443.37/3451.97 c #Conflicts: 792000 | #Constraints: 51051 3443.37/3451.97 c #Conflicts: 793000 | #Constraints: 52052 3443.37/3451.97 c #Conflicts: 794000 | #Constraints: 53088 3443.37/3451.97 c #Conflicts: 795000 | #Constraints: 54088 3443.37/3451.98 c #Conflicts: 796000 | #Constraints: 55088 3443.37/3451.98 c #Conflicts: 797000 | #Constraints: 56088 3443.37/3451.98 c #Conflicts: 798000 | #Constraints: 57088 3443.37/3451.98 c #Conflicts: 799000 | #Constraints: 58088 3443.37/3451.98 c #Conflicts: 800000 | #Constraints: 59095 3443.37/3451.98 c #Conflicts: 801000 | #Constraints: 60095 3443.37/3451.98 c #Conflicts: 802000 | #Constraints: 61095 3443.37/3451.98 c #Conflicts: 803000 | #Constraints: 62095 3443.37/3451.98 c #Conflicts: 804000 | #Constraints: 63095 3443.37/3451.98 c #Conflicts: 805000 | #Constraints: 64095 3443.37/3451.98 c #Conflicts: 806000 | #Constraints: 65095 3443.37/3451.98 c #Conflicts: 807000 | #Constraints: 66095 3443.37/3451.98 c #Conflicts: 808000 | #Constraints: 67095 3443.37/3451.98 c #Conflicts: 809000 | #Constraints: 68095 3443.37/3451.98 c #Conflicts: 810000 | #Constraints: 69095 3443.37/3451.98 c #Conflicts: 811000 | #Constraints: 70095 3443.37/3451.98 c #Conflicts: 812000 | #Constraints: 71095 3443.37/3451.98 c #Conflicts: 813000 | #Constraints: 72095 3443.37/3451.98 c #Conflicts: 814000 | #Constraints: 73095 3443.37/3451.98 c #Conflicts: 815000 | #Constraints: 74095 3443.37/3451.98 c #Conflicts: 816000 | #Constraints: 75095 3443.37/3451.98 c #Conflicts: 817000 | #Constraints: 76095 3443.37/3451.98 c #Conflicts: 818000 | #Constraints: 77095 3443.37/3451.98 c #Conflicts: 819000 | #Constraints: 78095 3443.37/3451.98 c #Conflicts: 820000 | #Constraints: 79095 3443.37/3451.98 c #Conflicts: 821000 | #Constraints: 80095 3443.37/3451.98 c #Conflicts: 822000 | #Constraints: 81095 3443.37/3451.98 c #Conflicts: 823000 | #Constraints: 82095 3443.37/3451.98 c #Conflicts: 824000 | #Constraints: 83095 3443.37/3451.98 c #Conflicts: 825000 | #Constraints: 84095 3443.37/3451.98 c #Conflicts: 826000 | #Constraints: 85095 3443.37/3451.98 c #Conflicts: 827000 | #Constraints: 86095 3443.37/3451.98 c #Conflicts: 828000 | #Constraints: 87095 3443.37/3451.98 c #Conflicts: 829000 | #Constraints: 88095 3443.37/3451.98 c #Conflicts: 830000 | #Constraints: 89095 3443.37/3451.98 c #Conflicts: 831000 | #Constraints: 90095 3443.37/3451.98 c #Conflicts: 832000 | #Constraints: 91095 3443.37/3451.98 c #Conflicts: 833000 | #Constraints: 92095 3443.37/3451.98 c #Conflicts: 834000 | #Constraints: 93095 3443.37/3451.98 c #Conflicts: 835000 | #Constraints: 94095 3443.37/3451.98 c #Conflicts: 836000 | #Constraints: 95096 3443.37/3451.98 c #Conflicts: 837000 | #Constraints: 96096 3443.37/3451.98 c #Conflicts: 838000 | #Constraints: 97096 3443.37/3451.98 c #Conflicts: 839000 | #Constraints: 98096 3443.37/3451.98 c #Conflicts: 840000 | #Constraints: 99096 3443.37/3451.98 c INPROCESSING 3443.37/3451.98 c GARBAGE COLLECT 3443.37/3451.98 c rational objective 142 3600.07/3609.00 c 3600.07/3609.00 s SATISFIABLE 3600.07/3609.00 v x1 x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 x22 ~x23 ~x24 x25 ~x26 ~x27 x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 x41 ~x42 ~x43 ~x44 ~x45 x46 x47 x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 x57 ~x58 ~x59 x60 x61 ~x62 ~x63 ~x64 ~x65 ~x66 x67 x68 ~x69 ~x70 x71 ~x72 ~x73 ~x74 ~x75 x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 x83 ~x84 ~x85 x86 ~x87 ~x88 ~x89 x90 ~x91 ~x92 x93 ~x94 ~x95 x96 x97 x98 ~x99 ~x100 ~x101 x102 ~x103 ~x104 ~x105 x106 x107 ~x108 ~x109 ~x110 x111 ~x112 x113 ~x114 x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 x124 ~x125 x126 x127 ~x128 ~x129 x130 ~x131 ~x132 x133 ~x134 ~x135 ~x136 x137 ~x138 ~x139 ~x140 ~x141 x142 x143 x144 ~x145 ~x146 ~x147 ~x148 x149 ~x150 ~x151 ~x152 x153 x154 x155 ~x156 ~x157 x158 ~x159 ~x160 ~x161 x162 ~x163 ~x164 ~x165 ~x166 x167 ~x168 ~x169 x170 ~x171 ~x172 x173 ~x174 x175 ~x176 ~x177 x178 x179 ~x180 x181 ~x182 ~x183 x184 ~x185 x186 x187 ~x188 ~x189 x190 ~x191 ~x192 ~x193 x194 ~x195 ~x196 x197 x198 ~x199 x200 ~x201 ~x202 x203 ~x204 x205 ~x206 ~x207 x208 ~x209 x210 ~x211 ~x212 ~x213 ~x214 ~x215 x216 ~x217 x218 x219 x220 ~x221 x222 x223 x224 x225 ~x226 ~x227 x228 ~x229 ~x230 ~x231 ~x232 x233 x234 x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 x242 x243 ~x244 ~x245 ~x246 ~x247 x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 x255 x256 ~x257 ~x258 ~x259 x260 ~x261 x262 ~x263 x264 ~x265 x266 ~x267 x268 ~x269 x270 ~x271 ~x272 x273 ~x274 x275 x276 ~x277 x278 x279 x280 x281 x282 x283 ~x284 x285 ~x286 x287 x288 ~x289 ~x290 x291 x292 x293 x294 x295 x296 x297 ~x298 x299 ~x300 ~x301 ~x302 ~x303 x304 ~x305 x306 x307 ~x308 ~x309 x310 x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 x322 ~x323 x324 ~x325 ~x326 ~x327 x328 x329 x330 x331 x332 x333 x334 ~x335 x336 x337 ~x338 x339 ~x340 x341 x342 x343 ~x344 x345 x346 ~x347 ~x348 ~x349 ~x350 x351 ~x352 x353 x354 ~x355 x356 ~x357 x358 x359 ~x360 x361 ~x362 x363 ~x364 x365 x366 ~x367 ~x368 x369 ~x370 ~x371 ~x372 x373 ~x374 x375 x376 x377 ~x378 ~x379 x380 x381 x382 ~x383 ~x384 x385 x386 ~x387 ~x388 ~x389 x390 ~x391 ~x392 x393 x394 x395 x396 x397 ~x398 ~x399 ~x400 x401 ~x402 x403 x404 ~x405 ~x406 ~x407 x408 ~x409 x410 ~x411 ~x412 ~x413 x414 x415 x416 ~x417 ~x418 x419 ~x420 x421 x422 ~x423 x424 x425 ~x426 ~x427 x428 ~x429 x430 x431 ~x432 ~x433 ~x434 ~x435 x436 ~x437 x438 x439 ~x440 ~x441 x442 ~x443 x444 x445 x446 x447 ~x448 ~x449 x450 x451 ~x452 x453 x454 x455 ~x456 ~x457 x458 ~x459 x460 x461 ~x462 ~x463 x464 ~x465 x466 ~x467 x468 ~x469 ~x470 ~x471 ~x472 x473 3600.07/3609.00 c #Conflicts: 841000 | #Constraints: 51293 3600.07/3609.00 c #Conflicts: 842000 | #Constraints: 52293 3600.07/3609.00 c #Conflicts: 843000 | #Constraints: 53293 3600.07/3609.00 c #Conflicts: 844000 | #Constraints: 54293 3600.07/3609.00 c #Conflicts: 845000 | #Constraints: 55293 3600.07/3609.00 c #Conflicts: 846000 | #Constraints: 56293 3600.07/3609.00 c #Conflicts: 847000 | #Constraints: 57293 3600.07/3609.00 c #Conflicts: 848000 | #Constraints: 58293 3600.07/3609.00 c #Conflicts: 849000 | #Constraints: 59293 3600.07/3609.00 c #Conflicts: 850000 | #Constraints: 60293 3600.07/3609.00 c #Conflicts: 851000 | #Constraints: 61293
OK 191
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63106 MiB free)
memory of node 1: 64473 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429409-1721048391/watcher-4429409-1721048391 -o /tmp/evaluation-result-4429409-1721048391/solver-4429409-1721048391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721048404-802539 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429409-1721048391.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=802599, runsolver pid=802594
[startup+0.100084 s]*
/proc/loadavg: 3.86 4.06 4.08 6/260 802602
/proc/meminfo: memFree=129662820/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=38476 memory=8760 CPUtime=0.09 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 654 0 0 0 9 0 0 0 20 0 1 0 157005820 39399424 2190 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 9619 2190 1733 922 0 1571 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38476 KiB
Current children cumulated memory: 8760 KiB
[startup+0.205774 s]*
/proc/loadavg: 3.86 4.06 4.08 6/260 802602
/proc/meminfo: memFree=129644356/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=40744 memory=11816 CPUtime=0.19 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 1431 0 0 0 17 2 0 0 20 0 1 0 157005820 41721856 2954 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 10186 2954 1764 922 0 2138 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40744 KiB
Current children cumulated memory: 11816 KiB
[startup+0.304773 s]*
/proc/loadavg: 3.86 4.06 4.08 5/260 802602
/proc/meminfo: memFree=129628624/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=42332 memory=16740 CPUtime=0.3 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 2078 0 0 0 26 4 0 0 20 0 1 0 157005820 43347968 4185 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 10583 4185 1829 922 0 2535 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42332 KiB
Current children cumulated memory: 16740 KiB
[startup+0.70015 s]
/proc/loadavg: 3.86 4.06 4.08 5/260 802602
/proc/meminfo: memFree=129610356/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=43616 memory=18104 CPUtime=0.69 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 2434 0 0 0 64 5 0 0 20 0 1 0 157005820 44662784 4526 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 10904 4526 1845 922 0 2856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43616 KiB
Current children cumulated memory: 18104 KiB
[startup+1.50016 s]
/proc/loadavg: 3.87 4.06 4.08 6/260 802604
/proc/meminfo: memFree=129576780/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=47276 memory=21724 CPUtime=1.49 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 3425 0 0 0 140 9 0 0 20 0 1 0 157005820 48410624 5431 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 11819 5431 1845 922 0 3771 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47276 KiB
Current children cumulated memory: 21724 KiB
[startup+3.10593 s]
/proc/loadavg: 3.87 4.06 4.08 6/260 802604
/proc/meminfo: memFree=129548084/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=53168 memory=27296 CPUtime=3.09 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 4352 0 0 0 291 18 0 0 20 0 1 0 157005820 54444032 6824 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 13292 6824 1845 922 0 5244 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53168 KiB
Current children cumulated memory: 27296 KiB
[startup+6.30018 s]
/proc/loadavg: 3.88 4.06 4.08 6/260 802604
/proc/meminfo: memFree=129503828/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=61248 memory=31680 CPUtime=6.27 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 5611 0 1 0 596 31 0 0 20 0 1 0 157005820 62717952 7920 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 15312 7920 1928 922 0 7264 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61248 KiB
Current children cumulated memory: 31680 KiB
[startup+12.7002 s]
/proc/loadavg: 3.89 4.06 4.08 7/260 802605
/proc/meminfo: memFree=129482740/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=64320 memory=37412 CPUtime=12.66 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 6597 0 1 0 1214 52 0 0 20 0 1 0 157005820 65863680 9353 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 16080 9353 1928 922 0 8032 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64320 KiB
Current children cumulated memory: 37412 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.07 4.09 6/260 802607
/proc/meminfo: memFree=129398428/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=76320 memory=42700 CPUtime=25.42 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 7989 0 1 0 2458 84 0 0 20 0 1 0 157005820 78151680 10675 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 19080 10675 1928 922 0 11032 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 76320 KiB
Current children cumulated memory: 42700 KiB
[startup+51.106 s]
/proc/loadavg: 3.99 4.06 4.08 6/260 802611
/proc/meminfo: memFree=129161260/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=146200 memory=106936 CPUtime=50.95 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 17420 0 1 0 4973 122 0 0 20 0 1 0 157005820 149708800 26734 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 36550 26734 1928 922 0 28502 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 146200 KiB
Current children cumulated memory: 106936 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.06 4.09 6/260 802631
/proc/meminfo: memFree=129027492/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=149332 memory=109676 CPUtime=102.01 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 18180 0 1 0 10016 185 0 0 20 0 1 0 157005820 152915968 27419 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 37333 27419 1928 922 0 29285 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 149332 KiB
Current children cumulated memory: 109676 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.09 6/260 802642
/proc/meminfo: memFree=128913752/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=195892 memory=129604 CPUtime=161.84 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 22745 0 1 0 15931 253 0 0 20 0 1 0 157005820 200593408 32401 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 48973 32401 1928 922 0 40925 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 195892 KiB
Current children cumulated memory: 129604 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.09 6/260 802653
/proc/meminfo: memFree=128860756/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=209280 memory=154564 CPUtime=221.67 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 26049 0 1 0 21881 286 0 0 20 0 1 0 157005820 214302720 38641 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 52320 38641 1928 922 0 44272 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 154564 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.08 4.09 6/258 802663
/proc/meminfo: memFree=128721452/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=211312 memory=156148 CPUtime=281.51 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 26430 0 1 0 27802 349 0 0 20 0 1 0 157005820 216383488 39037 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 52828 39037 1928 922 0 44780 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 211312 KiB
Current children cumulated memory: 156148 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.06 4.08 6/254 802675
/proc/meminfo: memFree=128557352/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=211548 memory=156148 CPUtime=341.34 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 26480 0 1 0 33764 370 0 0 20 0 1 0 157005820 216625152 39037 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 52887 39037 1928 922 0 44839 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 211548 KiB
Current children cumulated memory: 156148 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.06 4.08 7/254 802685
/proc/meminfo: memFree=128528360/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=212344 memory=157200 CPUtime=401.17 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 26696 0 1 0 39719 398 0 0 20 0 1 0 157005820 217440256 39300 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 53086 39300 1928 922 0 45038 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 212344 KiB
Current children cumulated memory: 157200 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.08 4.09 6/254 802695
/proc/meminfo: memFree=128486032/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=219188 memory=163000 CPUtime=461 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 28198 0 1 0 45650 450 0 0 20 0 1 0 157005820 224448512 40750 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 54797 40750 1928 922 0 46749 0
################
# More data... #
################
Current children cumulated memory: 342144 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/254 803858
/proc/meminfo: memFree=127696492/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=382228 memory=342156 CPUtime=2855.2 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 52712 0 1 0 284193 1327 0 0 20 0 1 0 157005820 391401472 85539 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 95557 85539 1928 922 0 87509 0
Current children cumulated CPU time: 2855.2 s
Current children cumulated vsize: 382228 KiB
Current children cumulated memory: 342156 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/254 803868
/proc/meminfo: memFree=127658996/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=385300 memory=343920 CPUtime=2915.05 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 53270 0 1 0 290163 1342 0 0 20 0 1 0 157005820 394547200 85980 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 96325 85980 1928 922 0 88277 0
Current children cumulated CPU time: 2915.05 s
Current children cumulated vsize: 385300 KiB
Current children cumulated memory: 343920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/255 803879
/proc/meminfo: memFree=127657264/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=387608 memory=345388 CPUtime=2974.91 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 53751 0 1 0 296139 1352 0 0 20 0 1 0 157005820 396910592 86347 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 96902 86347 1928 922 0 88854 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 387608 KiB
Current children cumulated memory: 345388 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/258 803896
/proc/meminfo: memFree=127656464/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=387608 memory=345712 CPUtime=3034.77 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 54215 0 1 0 302105 1372 0 0 20 0 1 0 157005820 396910592 86428 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 96902 86428 1928 922 0 88854 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 387608 KiB
Current children cumulated memory: 345712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/258 803906
/proc/meminfo: memFree=127656120/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=387936 memory=345912 CPUtime=3094.63 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 54385 0 1 0 308064 1399 0 0 20 0 1 0 157005820 397246464 86478 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 96984 86478 1928 922 0 88936 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 387936 KiB
Current children cumulated memory: 345912 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/258 803916
/proc/meminfo: memFree=127655636/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=387936 memory=345920 CPUtime=3154.49 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 54511 0 1 0 314025 1424 0 0 20 0 1 0 157005820 397246464 86480 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 96984 86480 1928 922 0 88936 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 387936 KiB
Current children cumulated memory: 345920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/258 803927
/proc/meminfo: memFree=127640836/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=387936 memory=360044 CPUtime=3214.34 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 54666 0 1 0 319992 1442 0 0 20 0 1 0 157005820 397246464 90011 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 96984 90011 1928 922 0 88936 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 387936 KiB
Current children cumulated memory: 360044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 803938
/proc/meminfo: memFree=127632128/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=393476 memory=362980 CPUtime=3274.19 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 55601 0 1 0 325961 1458 0 0 20 0 1 0 157005820 402919424 90745 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 98369 90745 1928 922 0 90321 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 393476 KiB
Current children cumulated memory: 362980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/256 804332
/proc/meminfo: memFree=127622796/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=399328 memory=366644 CPUtime=3334.04 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 56655 0 1 0 331932 1472 0 0 20 0 1 0 157005820 408911872 91661 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 99832 91661 1928 922 0 91784 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 399328 KiB
Current children cumulated memory: 366644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/257 804343
/proc/meminfo: memFree=127604260/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=485808 memory=371716 CPUtime=3393.9 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 58126 0 1 0 337907 1483 0 0 20 0 1 0 157005820 497467392 92929 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 121452 92929 1928 922 0 113404 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 485808 KiB
Current children cumulated memory: 371716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.11 4.10 6/257 804354
/proc/meminfo: memFree=127575504/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=492336 memory=387688 CPUtime=3453.74 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 59617 0 1 0 343877 1497 0 0 20 0 1 0 157005820 504152064 96922 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 123084 96922 1928 922 0 115036 0
Current children cumulated CPU time: 3453.74 s
Current children cumulated vsize: 492336 KiB
Current children cumulated memory: 387688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/259 804534
/proc/meminfo: memFree=127551416/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=492336 memory=387688 CPUtime=3513.59 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 59726 0 1 0 349850 1509 0 0 20 0 1 0 157005820 504152064 96922 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 123084 96922 1928 922 0 115036 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 492336 KiB
Current children cumulated memory: 387688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/259 804544
/proc/meminfo: memFree=127546336/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=492336 memory=387688 CPUtime=3573.43 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 59940 0 1 0 355824 1519 0 0 20 0 1 0 157005820 504152064 96922 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 123084 96922 1928 922 0 115036 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 492336 KiB
Current children cumulated memory: 387688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.06 4.09 4.09 6/257 804548
/proc/meminfo: memFree=127541380/131524600 swapFree=131071996/131071996
[pid=802599] ppid=802594 vsize=492336 memory=387688 CPUtime=3600.07 cores=4,6
/proc/802599/stat : 802599 (roundingsat) R 802594 802599 802527 0 -1 4194304 60047 0 1 0 358482 1525 0 0 20 0 1 0 157005820 504152064 96922 134679101440 4194304 7968869 140734462334992 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 40951808 140734462337982 140734462338146 140734462338146 140734462345161 0
/proc/802599/statm: 123084 96922 1928 922 0 115036 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 492336 KiB
Current children cumulated memory: 387688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 802599 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3584.82 s, system=15.2626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.01
CPU time (s): 3600.08
CPU user time (s): 3584.82
CPU system time (s): 15.2626
CPU usage (%): 99.7526
Max. virtual memory (cumulated for all children) (KiB): 492336
Max. memory (cumulated for all children) (KiB): 387688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.82
system time used= 15.2626
maximum resident set size= 387688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60055
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 2512
# summary of solver processes directly reported to runsolver:
# pid: 802599
# total CPU time (s): 3600.08
# total CPU user time (s): 3584.82
# total CPU system time (s): 15.2626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27471 second user time and 18.3241 second system time
The end
Begin job on nodeC027 at 2024-07-15 15:00:04 IDJOB=4429409 IDBENCH=147539 IDSOLVER=3051 FILE ID=nodeC027/4429409-1721048391 RUNJOBID= nodeC027-1721048404-802539 SLURM_JOB_ID= 7505462 Free space on /tmp= 890072 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429409-1721048391/watcher-4429409-1721048391 -o /tmp/evaluation-result-4429409-1721048391/solver-4429409-1721048391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721048404-802539 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429409-1721048391.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=917947408 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3502.756 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3633.463 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3549.360 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.074 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3487.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3621.798 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3544.910 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.833 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129681064 kB MemAvailable: 129775520 kB Buffers: 358884 kB Cached: 580276 kB SwapCached: 0 kB Active: 563036 kB Inactive: 709248 kB Active(anon): 1476 kB Inactive(anon): 369388 kB Active(file): 561560 kB Inactive(file): 339860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21156 kB Writeback: 0 kB AnonPages: 330992 kB Mapped: 109200 kB Shmem: 37720 kB KReclaimable: 65720 kB Slab: 167340 kB SReclaimable: 65720 kB SUnreclaim: 101620 kB KernelStack: 4296 kB PageTables: 10208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 657612 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59680 kB HardwareCorrupted: 0 kB AnonHugePages: 202752 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: 182996 kB DirectMap2M: 11124736 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 890060 MiB End job on nodeC027 at 2024-07-15 16:00:13