| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 193 | 3600.03 | 3612.02 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 181 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| 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 476 #constraints 476 0.10/0.18 c bounds 477 >= 0 @ 0.00209 0.10/0.18 c bounds 229 >= 0 @ 0.13064 0.10/0.18 c bounds 229 >= 1 @ 0.13064 0.10/0.18 c bounds 229 >= 2 @ 0.13064 0.10/0.18 c bounds 229 >= 3 @ 0.13064 0.10/0.18 c bounds 229 >= 4 @ 0.13064 0.10/0.18 c bounds 229 >= 5 @ 0.13064 0.10/0.18 c bounds 229 >= 6 @ 0.13064 0.10/0.18 c bounds 229 >= 7 @ 0.130693 0.10/0.18 c bounds 229 >= 8 @ 0.130771 0.10/0.18 c bounds 229 >= 9 @ 0.130848 0.10/0.18 c bounds 229 >= 10 @ 0.130932 0.10/0.18 c bounds 229 >= 11 @ 0.131019 0.10/0.18 c bounds 229 >= 12 @ 0.131109 0.10/0.18 c bounds 229 >= 13 @ 0.131195 0.10/0.18 c bounds 229 >= 14 @ 0.131282 0.10/0.18 c bounds 229 >= 15 @ 0.131366 0.10/0.18 c bounds 229 >= 16 @ 0.131456 0.10/0.18 c bounds 229 >= 17 @ 0.13154 0.10/0.18 c bounds 229 >= 18 @ 0.131633 0.10/0.18 c bounds 229 >= 19 @ 0.13172 0.10/0.18 c bounds 229 >= 20 @ 0.131809 0.10/0.18 c bounds 229 >= 21 @ 0.131897 0.10/0.18 c bounds 229 >= 22 @ 0.131993 0.10/0.18 c bounds 229 >= 23 @ 0.132088 0.10/0.18 c bounds 229 >= 24 @ 0.132191 0.10/0.18 c bounds 229 >= 25 @ 0.132291 0.10/0.18 c bounds 229 >= 26 @ 0.132395 0.10/0.18 c bounds 229 >= 27 @ 0.132498 0.10/0.18 c bounds 229 >= 28 @ 0.132606 0.10/0.18 c bounds 229 >= 29 @ 0.132715 0.10/0.18 c bounds 229 >= 30 @ 0.132825 0.10/0.18 c bounds 228 >= 30 @ 0.144806 0.10/0.18 c bounds 228 >= 31 @ 0.144952 0.10/0.18 c bounds 228 >= 32 @ 0.145071 0.10/0.18 c bounds 228 >= 33 @ 0.145191 0.10/0.18 c bounds 228 >= 34 @ 0.145313 0.10/0.18 c bounds 228 >= 35 @ 0.145464 0.10/0.18 c bounds 228 >= 36 @ 0.145847 0.10/0.18 c bounds 228 >= 37 @ 0.145972 0.10/0.18 c bounds 228 >= 38 @ 0.146088 0.10/0.18 c bounds 228 >= 39 @ 0.146215 0.10/0.18 c bounds 228 >= 40 @ 0.146338 0.10/0.18 c bounds 228 >= 41 @ 0.146463 0.10/0.18 c bounds 228 >= 42 @ 0.146589 0.10/0.18 c bounds 228 >= 43 @ 0.146724 0.10/0.18 c bounds 228 >= 44 @ 0.146857 0.10/0.18 c bounds 228 >= 45 @ 0.146997 0.10/0.18 c bounds 228 >= 46 @ 0.147135 0.10/0.18 c bounds 228 >= 47 @ 0.147271 0.10/0.18 c bounds 228 >= 48 @ 0.147402 0.10/0.18 c bounds 228 >= 49 @ 0.147546 0.10/0.18 c bounds 228 >= 50 @ 0.14768 0.10/0.18 c bounds 228 >= 51 @ 0.147803 0.10/0.18 c bounds 228 >= 52 @ 0.147926 0.10/0.18 c bounds 228 >= 53 @ 0.14806 0.10/0.18 c bounds 228 >= 54 @ 0.148191 0.10/0.18 c bounds 228 >= 55 @ 0.148313 0.10/0.18 c bounds 228 >= 56 @ 0.148437 0.10/0.18 c bounds 228 >= 57 @ 0.148558 0.10/0.18 c bounds 228 >= 58 @ 0.148597 0.10/0.18 c bounds 228 >= 59 @ 0.148597 0.10/0.18 c bounds 228 >= 60 @ 0.148597 0.10/0.18 c bounds 228 >= 61 @ 0.148597 0.10/0.18 c bounds 228 >= 62 @ 0.148597 0.10/0.18 c bounds 228 >= 63 @ 0.148597 0.10/0.18 c bounds 228 >= 64 @ 0.148597 0.10/0.18 c bounds 228 >= 65 @ 0.14864 0.10/0.18 c bounds 228 >= 66 @ 0.14878 0.10/0.18 c bounds 228 >= 67 @ 0.148911 0.10/0.18 c bounds 228 >= 68 @ 0.149062 0.10/0.18 c bounds 228 >= 69 @ 0.149189 0.10/0.18 c bounds 228 >= 70 @ 0.14933 0.10/0.18 c bounds 228 >= 71 @ 0.149465 0.10/0.18 c bounds 228 >= 72 @ 0.14961 0.10/0.18 c bounds 228 >= 73 @ 0.149754 0.10/0.18 c bounds 228 >= 74 @ 0.149911 0.10/0.18 c bounds 228 >= 75 @ 0.150073 0.10/0.18 c bounds 228 >= 76 @ 0.150226 0.10/0.18 c bounds 228 >= 77 @ 0.150384 0.10/0.18 c bounds 228 >= 78 @ 0.150534 0.10/0.18 c bounds 228 >= 79 @ 0.15058 0.10/0.18 c bounds 228 >= 80 @ 0.15058 0.10/0.18 c bounds 228 >= 81 @ 0.15058 0.10/0.18 c bounds 228 >= 82 @ 0.15058 0.10/0.18 c bounds 228 >= 83 @ 0.15058 0.10/0.18 c bounds 228 >= 84 @ 0.15058 0.10/0.18 c bounds 228 >= 85 @ 0.150588 0.10/0.18 c bounds 228 >= 86 @ 0.150751 0.10/0.18 c bounds 228 >= 87 @ 0.150912 0.10/0.18 c bounds 228 >= 88 @ 0.151061 0.10/0.18 c bounds 228 >= 89 @ 0.151207 0.10/0.18 c bounds 228 >= 90 @ 0.151355 0.10/0.18 c bounds 228 >= 91 @ 0.15153 0.10/0.18 c bounds 228 >= 92 @ 0.151589 0.10/0.18 c bounds 228 >= 93 @ 0.151589 0.10/0.18 c bounds 228 >= 94 @ 0.151589 0.10/0.18 c bounds 228 >= 95 @ 0.151589 0.10/0.18 c bounds 228 >= 96 @ 0.151589 0.10/0.18 c bounds 228 >= 97 @ 0.15159 0.10/0.18 c bounds 228 >= 98 @ 0.151775 0.10/0.18 c bounds 228 >= 99 @ 0.151964 0.10/0.18 c bounds 228 >= 100 @ 0.152144 0.10/0.18 c bounds 228 >= 101 @ 0.152324 0.10/0.18 c bounds 228 >= 102 @ 0.152514 0.10/0.18 c bounds 228 >= 103 @ 0.152587 0.10/0.18 c bounds 228 >= 104 @ 0.152587 0.10/0.18 c bounds 228 >= 105 @ 0.152587 0.10/0.18 c bounds 228 >= 106 @ 0.152587 0.10/0.18 c bounds 228 >= 107 @ 0.152587 0.10/0.18 c bounds 228 >= 108 @ 0.152628 0.10/0.18 c bounds 228 >= 109 @ 0.152829 0.10/0.18 c bounds 228 >= 110 @ 0.153026 0.10/0.18 c bounds 228 >= 111 @ 0.153205 0.10/0.18 c bounds 228 >= 112 @ 0.153406 0.10/0.18 c bounds 228 >= 113 @ 0.153589 0.10/0.18 c bounds 228 >= 114 @ 0.153773 0.10/0.18 c bounds 228 >= 115 @ 0.153971 0.10/0.18 c bounds 228 >= 116 @ 0.154152 0.10/0.18 c bounds 228 >= 117 @ 0.154349 0.10/0.18 c bounds 228 >= 118 @ 0.154536 0.10/0.18 c bounds 228 >= 119 @ 0.154724 0.10/0.18 c bounds 228 >= 120 @ 0.154933 0.10/0.18 c bounds 228 >= 121 @ 0.155134 0.10/0.18 c bounds 228 >= 122 @ 0.155341 0.10/0.18 c bounds 228 >= 123 @ 0.155546 0.10/0.18 c bounds 228 >= 124 @ 0.155791 0.10/0.18 c bounds 228 >= 125 @ 0.156018 0.10/0.18 c bounds 228 >= 126 @ 0.156225 0.10/0.18 c bounds 228 >= 127 @ 0.156436 0.10/0.18 c bounds 228 >= 128 @ 0.156436 0.10/0.18 c bounds 228 >= 129 @ 0.156436 0.10/0.18 c bounds 228 >= 130 @ 0.156436 0.10/0.18 c bounds 228 >= 131 @ 0.156451 0.10/0.18 c bounds 228 >= 132 @ 0.156451 0.10/0.18 c bounds 228 >= 133 @ 0.156451 0.10/0.18 c bounds 228 >= 134 @ 0.156453 0.69/0.76 c bounds 228 >= 135 @ 0.156454 0.69/0.76 c bounds 228 >= 136 @ 0.157452 0.69/0.76 c bounds 228 >= 137 @ 0.157453 0.69/0.76 c bounds 228 >= 138 @ 0.159165 0.69/0.76 c bounds 228 >= 139 @ 0.166804 0.69/0.76 c bounds 227 >= 139 @ 0.171418 0.69/0.76 c bounds 227 >= 140 @ 0.186644 0.69/0.76 c bounds 226 >= 140 @ 0.188455 0.69/0.76 c bounds 225 >= 140 @ 0.189828 0.69/0.76 c bounds 224 >= 140 @ 0.191295 0.69/0.76 c bounds 223 >= 140 @ 0.196482 0.69/0.76 c bounds 222 >= 140 @ 0.20646 0.69/0.76 c #Conflicts: 1000 | #Constraints: 2194 0.69/0.76 c bounds 222 >= 141 @ 0.27145 0.69/0.76 c bounds 221 >= 141 @ 0.27214 0.69/0.76 c bounds 220 >= 141 @ 0.272396 0.69/0.76 c bounds 219 >= 141 @ 0.277492 0.69/0.76 c bounds 218 >= 141 @ 0.310553 0.69/0.76 c bounds 217 >= 141 @ 0.319287 0.69/0.76 c bounds 216 >= 141 @ 0.32425 0.69/0.76 c bounds 215 >= 141 @ 0.331022 0.69/0.76 c bounds 214 >= 141 @ 0.378968 0.69/0.76 c #Conflicts: 2000 | #Constraints: 3262 0.69/0.76 c INPROCESSING 0.69/0.76 c GARBAGE COLLECT 0.69/0.76 c rational objective 141.207 1.58/1.66 c bounds 213 >= 141 @ 0.807366 1.58/1.66 c #Conflicts: 3000 | #Constraints: 3151 1.58/1.66 c bounds 212 >= 141 @ 1.12244 1.58/1.66 c #Conflicts: 4000 | #Constraints: 4152 1.58/1.66 c bounds 212 >= 142 @ 1.30112 1.58/1.66 c INPROCESSING 1.58/1.66 c GARBAGE COLLECT 1.58/1.66 c rational objective 142 2.28/2.39 c #Conflicts: 5000 | #Constraints: 3616 2.28/2.39 c bounds 212 >= 143 @ 2.05454 2.28/2.39 c bounds 211 >= 143 @ 2.06029 2.28/2.39 c #Conflicts: 6000 | #Constraints: 4653 2.28/2.39 c INPROCESSING 2.28/2.39 c GARBAGE COLLECT 2.28/2.39 c rational objective 143 3.28/3.33 c #Conflicts: 7000 | #Constraints: 3608 3.28/3.33 c bounds 210 >= 143 @ 2.55909 3.28/3.33 c bounds 209 >= 143 @ 2.58156 3.28/3.33 c #Conflicts: 8000 | #Constraints: 4610 3.28/3.33 c #Conflicts: 9000 | #Constraints: 5610 3.28/3.33 c INPROCESSING 3.28/3.33 c GARBAGE COLLECT 3.28/3.33 c rational objective 143 4.17/4.23 c bounds 208 >= 143 @ 3.26976 4.17/4.23 c #Conflicts: 10000 | #Constraints: 4370 4.17/4.23 c bounds 207 >= 143 @ 3.48659 4.17/4.23 c #Conflicts: 11000 | #Constraints: 5371 4.17/4.23 c #Conflicts: 12000 | #Constraints: 6371 4.17/4.23 c INPROCESSING 4.17/4.23 c GARBAGE COLLECT 4.17/4.23 c rational objective 143 5.47/5.57 c bounds 206 >= 143 @ 4.30936 5.47/5.57 c #Conflicts: 13000 | #Constraints: 4799 5.47/5.57 c #Conflicts: 14000 | #Constraints: 5799 5.47/5.57 c bounds 206 >= 144 @ 5.07239 5.47/5.57 c bounds 205 >= 144 @ 5.10825 5.47/5.57 c bounds 204 >= 144 @ 5.14683 5.47/5.57 c #Conflicts: 15000 | #Constraints: 6843 5.47/5.57 c INPROCESSING 5.47/5.57 c GARBAGE COLLECT 5.47/5.57 c rational objective 144 6.67/6.70 c bounds 203 >= 144 @ 5.67598 6.67/6.70 c #Conflicts: 16000 | #Constraints: 5036 6.67/6.70 c #Conflicts: 17000 | #Constraints: 6036 6.67/6.70 c #Conflicts: 18000 | #Constraints: 7036 6.67/6.70 c INPROCESSING 6.67/6.70 c GARBAGE COLLECT 6.67/6.70 c rational objective 144 8.26/8.37 c #Conflicts: 19000 | #Constraints: 5050 8.26/8.37 c #Conflicts: 20000 | #Constraints: 6050 8.26/8.37 c #Conflicts: 21000 | #Constraints: 7050 8.26/8.37 c INPROCESSING 8.26/8.37 c GARBAGE COLLECT 8.26/8.37 c rational objective 144 19.62/19.73 c bounds 202 >= 144 @ 8.12315 19.62/19.73 c #Conflicts: 22000 | #Constraints: 4929 19.62/19.73 c bounds 201 >= 144 @ 8.37092 19.62/19.73 c #Conflicts: 23000 | #Constraints: 5930 19.62/19.73 c #Conflicts: 24000 | #Constraints: 6931 19.62/19.73 c #Conflicts: 25000 | #Constraints: 7931 19.62/19.73 c #Conflicts: 26000 | #Constraints: 8931 19.62/19.73 c #Conflicts: 27000 | #Constraints: 9931 19.62/19.73 c bounds 200 >= 144 @ 10.9922 19.62/19.73 c #Conflicts: 28000 | #Constraints: 10932 19.62/19.73 c #Conflicts: 29000 | #Constraints: 11932 19.62/19.73 c #Conflicts: 30000 | #Constraints: 12932 19.62/19.73 c #Conflicts: 31000 | #Constraints: 13932 19.62/19.73 c #Conflicts: 32000 | #Constraints: 14932 19.62/19.73 c #Conflicts: 33000 | #Constraints: 15932 19.62/19.73 c INPROCESSING 19.62/19.73 c GARBAGE COLLECT 19.62/19.73 c rational objective 144 23.40/23.58 c #Conflicts: 34000 | #Constraints: 9525 23.40/23.58 c #Conflicts: 35000 | #Constraints: 10525 23.40/23.58 c #Conflicts: 36000 | #Constraints: 11525 23.40/23.58 c #Conflicts: 37000 | #Constraints: 12525 23.40/23.58 c #Conflicts: 38000 | #Constraints: 13525 23.40/23.58 c INPROCESSING 23.40/23.58 c GARBAGE COLLECT 23.40/23.58 c rational objective 144 26.80/26.98 c #Conflicts: 39000 | #Constraints: 8402 26.80/26.98 c #Conflicts: 40000 | #Constraints: 9402 26.80/26.98 c bounds 200 >= 145 @ 24.5023 26.80/26.98 c #Conflicts: 41000 | #Constraints: 10462 26.80/26.98 c #Conflicts: 42000 | #Constraints: 11462 26.80/26.98 c INPROCESSING 26.80/26.98 c GARBAGE COLLECT 26.80/26.98 c rational objective 145 29.49/29.64 c #Conflicts: 43000 | #Constraints: 7005 29.49/29.64 c #Conflicts: 44000 | #Constraints: 8005 29.49/29.64 c #Conflicts: 45000 | #Constraints: 9005 29.49/29.64 c #Conflicts: 46000 | #Constraints: 10005 29.49/29.64 c #Conflicts: 47000 | #Constraints: 11005 29.49/29.64 c #Conflicts: 48000 | #Constraints: 12005 29.49/29.64 c INPROCESSING 29.49/29.64 c GARBAGE COLLECT 29.49/29.64 c rational objective 145 46.43/46.61 c #Conflicts: 49000 | #Constraints: 7673 46.43/46.61 c #Conflicts: 50000 | #Constraints: 8673 46.43/46.61 c #Conflicts: 51000 | #Constraints: 9673 46.43/46.61 c #Conflicts: 52000 | #Constraints: 10673 46.43/46.61 c #Conflicts: 53000 | #Constraints: 11673 46.43/46.61 c #Conflicts: 54000 | #Constraints: 12673 46.43/46.61 c #Conflicts: 55000 | #Constraints: 13673 46.43/46.61 c #Conflicts: 56000 | #Constraints: 14673 46.43/46.61 c #Conflicts: 57000 | #Constraints: 15673 46.43/46.61 c #Conflicts: 58000 | #Constraints: 16673 46.43/46.61 c #Conflicts: 59000 | #Constraints: 17673 46.43/46.61 c #Conflicts: 60000 | #Constraints: 18673 46.43/46.61 c #Conflicts: 61000 | #Constraints: 19673 46.43/46.61 c #Conflicts: 62000 | #Constraints: 20673 46.43/46.61 c #Conflicts: 63000 | #Constraints: 21673 46.43/46.61 c #Conflicts: 64000 | #Constraints: 22673 46.43/46.61 c #Conflicts: 65000 | #Constraints: 23673 46.43/46.61 c INPROCESSING 46.43/46.61 c GARBAGE COLLECT 46.43/46.61 c rational objective 145 51.83/52.09 c bounds 199 >= 145 @ 45.6376 51.83/52.09 c #Conflicts: 66000 | #Constraints: 13593 51.83/52.09 c #Conflicts: 67000 | #Constraints: 14593 51.83/52.09 c #Conflicts: 68000 | #Constraints: 15593 51.83/52.09 c #Conflicts: 69000 | #Constraints: 16593 51.83/52.09 c #Conflicts: 70000 | #Constraints: 17593 51.83/52.09 c #Conflicts: 71000 | #Constraints: 18593 51.83/52.09 c INPROCESSING 51.83/52.09 c GARBAGE COLLECT 51.83/52.09 c rational objective 145 56.60/56.84 c #Conflicts: 72000 | #Constraints: 10765 56.60/56.84 c bounds 198 >= 145 @ 51.1847 56.60/56.84 c #Conflicts: 73000 | #Constraints: 11766 56.60/56.84 c #Conflicts: 74000 | #Constraints: 12766 56.60/56.84 c #Conflicts: 75000 | #Constraints: 13766 56.60/56.84 c #Conflicts: 76000 | #Constraints: 14766 56.60/56.84 c #Conflicts: 77000 | #Constraints: 15766 56.60/56.84 c bounds 197 >= 145 @ 54.343 56.60/56.84 c #Conflicts: 78000 | #Constraints: 16767 56.60/56.84 c INPROCESSING 56.60/56.84 c GARBAGE COLLECT 56.60/56.84 c rational objective 145 104.93/105.37 c #Conflicts: 79000 | #Constraints: 10058 104.93/105.37 c #Conflicts: 80000 | #Constraints: 11058 104.93/105.37 c #Conflicts: 81000 | #Constraints: 12058 104.93/105.37 c #Conflicts: 82000 | #Constraints: 13152 104.93/105.37 c #Conflicts: 83000 | #Constraints: 14195 104.93/105.37 c #Conflicts: 84000 | #Constraints: 15203 104.93/105.37 c #Conflicts: 85000 | #Constraints: 16209 104.93/105.37 c #Conflicts: 86000 | #Constraints: 17213 104.93/105.37 c #Conflicts: 87000 | #Constraints: 18226 104.93/105.37 c #Conflicts: 88000 | #Constraints: 19232 104.93/105.37 c #Conflicts: 89000 | #Constraints: 20233 104.93/105.37 c #Conflicts: 90000 | #Constraints: 21257 104.93/105.37 c #Conflicts: 91000 | #Constraints: 22296 104.93/105.37 c #Conflicts: 92000 | #Constraints: 23307 104.93/105.37 c #Conflicts: 93000 | #Constraints: 24313 104.93/105.37 c #Conflicts: 94000 | #Constraints: 25320 104.93/105.37 c #Conflicts: 95000 | #Constraints: 26388 104.93/105.37 c #Conflicts: 96000 | #Constraints: 27395 104.93/105.37 c #Conflicts: 97000 | #Constraints: 28448 104.93/105.37 c #Conflicts: 98000 | #Constraints: 29475 104.93/105.37 c #Conflicts: 99000 | #Constraints: 30481 104.93/105.37 c INPROCESSING 104.93/105.37 c GARBAGE COLLECT 104.93/105.37 c rational objective 145 128.66/129.15 c #Conflicts: 100000 | #Constraints: 16818 128.66/129.15 c #Conflicts: 101000 | #Constraints: 17818 128.66/129.15 c #Conflicts: 102000 | #Constraints: 18818 128.66/129.15 c #Conflicts: 103000 | #Constraints: 19818 128.66/129.15 c #Conflicts: 104000 | #Constraints: 20818 128.66/129.15 c #Conflicts: 105000 | #Constraints: 21818 128.66/129.15 c #Conflicts: 106000 | #Constraints: 22818 128.66/129.15 c #Conflicts: 107000 | #Constraints: 23818 128.66/129.15 c INPROCESSING 128.66/129.15 c GARBAGE COLLECT 128.66/129.15 c rational objective 145 138.91/139.46 c #Conflicts: 108000 | #Constraints: 13611 138.91/139.46 c #Conflicts: 109000 | #Constraints: 14611 138.91/139.46 c #Conflicts: 110000 | #Constraints: 15611 138.91/139.46 c #Conflicts: 111000 | #Constraints: 16611 138.91/139.46 c #Conflicts: 112000 | #Constraints: 17611 138.91/139.46 c #Conflicts: 113000 | #Constraints: 18611 138.91/139.46 c #Conflicts: 114000 | #Constraints: 19611 138.91/139.46 c #Conflicts: 115000 | #Constraints: 20611 138.91/139.46 c INPROCESSING 138.91/139.46 c GARBAGE COLLECT 138.91/139.46 c rational objective 145 188.35/189.05 c #Conflicts: 116000 | #Constraints: 11970 188.35/189.05 c #Conflicts: 117000 | #Constraints: 12970 188.35/189.05 c #Conflicts: 118000 | #Constraints: 13970 188.35/189.05 c #Conflicts: 119000 | #Constraints: 14970 188.35/189.05 c #Conflicts: 120000 | #Constraints: 15970 188.35/189.05 c #Conflicts: 121000 | #Constraints: 16970 188.35/189.05 c #Conflicts: 122000 | #Constraints: 17970 188.35/189.05 c #Conflicts: 123000 | #Constraints: 18970 188.35/189.05 c #Conflicts: 124000 | #Constraints: 19970 188.35/189.05 c #Conflicts: 125000 | #Constraints: 20970 188.35/189.05 c #Conflicts: 126000 | #Constraints: 21970 188.35/189.05 c bounds 197 >= 146 @ 151.552 188.35/189.05 c #Conflicts: 127000 | #Constraints: 23018 188.35/189.05 c #Conflicts: 128000 | #Constraints: 24019 188.35/189.05 c #Conflicts: 129000 | #Constraints: 25019 188.35/189.05 c #Conflicts: 130000 | #Constraints: 26019 188.35/189.05 c #Conflicts: 131000 | #Constraints: 27019 188.35/189.05 c #Conflicts: 132000 | #Constraints: 28019 188.35/189.05 c #Conflicts: 133000 | #Constraints: 29019 188.35/189.05 c #Conflicts: 134000 | #Constraints: 30020 188.35/189.05 c #Conflicts: 135000 | #Constraints: 31020 188.35/189.05 c #Conflicts: 136000 | #Constraints: 32020 188.35/189.05 c #Conflicts: 137000 | #Constraints: 33020 188.35/189.05 c #Conflicts: 138000 | #Constraints: 34020 188.35/189.05 c #Conflicts: 139000 | #Constraints: 35020 188.35/189.05 c #Conflicts: 140000 | #Constraints: 36020 188.35/189.05 c INPROCESSING 188.35/189.05 c GARBAGE COLLECT 188.35/189.05 c rational objective 146 207.48/208.21 c #Conflicts: 141000 | #Constraints: 19475 207.48/208.21 c #Conflicts: 142000 | #Constraints: 20475 207.48/208.21 c #Conflicts: 143000 | #Constraints: 21475 207.48/208.21 c #Conflicts: 144000 | #Constraints: 22475 207.48/208.21 c #Conflicts: 145000 | #Constraints: 23475 207.48/208.21 c #Conflicts: 146000 | #Constraints: 24475 207.48/208.21 c #Conflicts: 147000 | #Constraints: 25475 207.48/208.21 c #Conflicts: 148000 | #Constraints: 26475 207.48/208.21 c #Conflicts: 149000 | #Constraints: 27475 207.48/208.21 c #Conflicts: 150000 | #Constraints: 28475 207.48/208.21 c INPROCESSING 207.48/208.21 c GARBAGE COLLECT 207.48/208.21 c rational objective 146 290.20/291.23 c #Conflicts: 151000 | #Constraints: 16030 290.20/291.23 c #Conflicts: 152000 | #Constraints: 17036 290.20/291.23 c #Conflicts: 153000 | #Constraints: 18036 290.20/291.23 c #Conflicts: 154000 | #Constraints: 19078 290.20/291.23 c #Conflicts: 155000 | #Constraints: 20125 290.20/291.23 c #Conflicts: 156000 | #Constraints: 21125 290.20/291.23 c #Conflicts: 157000 | #Constraints: 22125 290.20/291.23 c #Conflicts: 158000 | #Constraints: 23189 290.20/291.23 c #Conflicts: 159000 | #Constraints: 24191 290.20/291.23 c #Conflicts: 160000 | #Constraints: 25191 290.20/291.23 c #Conflicts: 161000 | #Constraints: 26191 290.20/291.23 c #Conflicts: 162000 | #Constraints: 27191 290.20/291.23 c #Conflicts: 163000 | #Constraints: 28191 290.20/291.23 c #Conflicts: 164000 | #Constraints: 29191 290.20/291.23 c #Conflicts: 165000 | #Constraints: 30191 290.20/291.23 c #Conflicts: 166000 | #Constraints: 31191 290.20/291.23 c #Conflicts: 167000 | #Constraints: 32191 290.20/291.23 c #Conflicts: 168000 | #Constraints: 33191 290.20/291.23 c #Conflicts: 169000 | #Constraints: 34191 290.20/291.23 c #Conflicts: 170000 | #Constraints: 35193 290.20/291.23 c #Conflicts: 171000 | #Constraints: 36193 290.20/291.23 c #Conflicts: 172000 | #Constraints: 37193 290.20/291.23 c #Conflicts: 173000 | #Constraints: 38193 290.20/291.23 c #Conflicts: 174000 | #Constraints: 39193 290.20/291.23 c #Conflicts: 175000 | #Constraints: 40193 290.20/291.23 c #Conflicts: 176000 | #Constraints: 41193 290.20/291.23 c #Conflicts: 177000 | #Constraints: 42193 290.20/291.23 c #Conflicts: 178000 | #Constraints: 43193 290.20/291.23 c INPROCESSING 290.20/291.23 c GARBAGE COLLECT 290.20/291.23 c rational objective 146 342.71/343.98 c #Conflicts: 179000 | #Constraints: 23049 342.71/343.98 c #Conflicts: 180000 | #Constraints: 24049 342.71/343.98 c #Conflicts: 181000 | #Constraints: 25049 342.71/343.98 c #Conflicts: 182000 | #Constraints: 26049 342.71/343.98 c #Conflicts: 183000 | #Constraints: 27049 342.71/343.98 c #Conflicts: 184000 | #Constraints: 28049 342.71/343.98 c #Conflicts: 185000 | #Constraints: 29049 342.71/343.98 c #Conflicts: 186000 | #Constraints: 30049 342.71/343.98 c #Conflicts: 187000 | #Constraints: 31049 342.71/343.98 c #Conflicts: 188000 | #Constraints: 32049 342.71/343.98 c #Conflicts: 189000 | #Constraints: 33049 342.71/343.98 c INPROCESSING 342.71/343.98 c GARBAGE COLLECT 342.71/343.98 c rational objective 146 364.24/365.53 c #Conflicts: 190000 | #Constraints: 18197 364.24/365.53 c #Conflicts: 191000 | #Constraints: 19197 364.24/365.53 c #Conflicts: 192000 | #Constraints: 20197 364.24/365.53 c #Conflicts: 193000 | #Constraints: 21197 364.24/365.53 c #Conflicts: 194000 | #Constraints: 22197 364.24/365.53 c #Conflicts: 195000 | #Constraints: 23197 364.24/365.53 c #Conflicts: 196000 | #Constraints: 24197 364.24/365.53 c #Conflicts: 197000 | #Constraints: 25197 364.24/365.53 c #Conflicts: 198000 | #Constraints: 26197 364.24/365.53 c #Conflicts: 199000 | #Constraints: 27197 364.24/365.53 c #Conflicts: 200000 | #Constraints: 28197 364.24/365.53 c INPROCESSING 364.24/365.53 c GARBAGE COLLECT 364.24/365.53 c rational objective 146 495.49/497.25 c #Conflicts: 201000 | #Constraints: 16464 495.49/497.25 c #Conflicts: 202000 | #Constraints: 17466 495.49/497.25 c #Conflicts: 203000 | #Constraints: 18466 495.49/497.25 c #Conflicts: 204000 | #Constraints: 19466 495.49/497.25 c #Conflicts: 205000 | #Constraints: 20466 495.49/497.25 c #Conflicts: 206000 | #Constraints: 21466 495.49/497.25 c #Conflicts: 207000 | #Constraints: 22466 495.49/497.25 c #Conflicts: 208000 | #Constraints: 23466 495.49/497.25 c #Conflicts: 209000 | #Constraints: 24467 495.49/497.25 c #Conflicts: 210000 | #Constraints: 25467 495.49/497.25 c #Conflicts: 211000 | #Constraints: 26467 495.49/497.25 c #Conflicts: 212000 | #Constraints: 27467 495.49/497.25 c #Conflicts: 213000 | #Constraints: 28468 495.49/497.25 c #Conflicts: 214000 | #Constraints: 29468 495.49/497.25 c #Conflicts: 215000 | #Constraints: 30468 495.49/497.25 c #Conflicts: 216000 | #Constraints: 31469 495.49/497.25 c #Conflicts: 217000 | #Constraints: 32469 495.49/497.25 c #Conflicts: 218000 | #Constraints: 33470 495.49/497.25 c #Conflicts: 219000 | #Constraints: 34470 495.49/497.25 c #Conflicts: 220000 | #Constraints: 35470 495.49/497.25 c #Conflicts: 221000 | #Constraints: 36470 495.49/497.25 c #Conflicts: 222000 | #Constraints: 37470 495.49/497.25 c #Conflicts: 223000 | #Constraints: 38470 495.49/497.25 c #Conflicts: 224000 | #Constraints: 39470 495.49/497.25 c #Conflicts: 225000 | #Constraints: 40470 495.49/497.25 c #Conflicts: 226000 | #Constraints: 41470 495.49/497.25 c #Conflicts: 227000 | #Constraints: 42470 495.49/497.25 c #Conflicts: 228000 | #Constraints: 43470 495.49/497.25 c #Conflicts: 229000 | #Constraints: 44470 495.49/497.25 c #Conflicts: 230000 | #Constraints: 45472 495.49/497.25 c #Conflicts: 231000 | #Constraints: 46473 495.49/497.25 c #Conflicts: 232000 | #Constraints: 47474 495.49/497.25 c INPROCESSING 495.49/497.25 c GARBAGE COLLECT 495.49/497.25 c #Conflicts: 233000 | #Constraints: 25137 495.49/497.25 c #Conflicts: 234000 | #Constraints: 26168 495.49/497.25 c #Conflicts: 235000 | #Constraints: 27649 495.49/497.25 c #Conflicts: 236000 | #Constraints: 28717 495.49/497.25 c #Conflicts: 237000 | #Constraints: 29722 495.49/497.25 c #Conflicts: 238000 | #Constraints: 30722 495.49/497.25 c #Conflicts: 239000 | #Constraints: 31722 495.49/497.25 c #Conflicts: 240000 | #Constraints: 32722 495.49/497.25 c #Conflicts: 241000 | #Constraints: 33734 495.49/497.25 c #Conflicts: 242000 | #Constraints: 34794 495.49/497.25 c #Conflicts: 243000 | #Constraints: 35812 495.49/497.25 c #Conflicts: 244000 | #Constraints: 36857 495.49/497.25 c #Conflicts: 245000 | #Constraints: 37859 495.49/497.25 c INPROCESSING 495.49/497.25 c GARBAGE COLLECT 495.49/497.25 c rational objective 146 623.55/625.72 c #Conflicts: 246000 | #Constraints: 20696 623.55/625.72 c #Conflicts: 247000 | #Constraints: 21846 623.55/625.72 c #Conflicts: 248000 | #Constraints: 22846 623.55/625.72 c #Conflicts: 249000 | #Constraints: 23846 623.55/625.72 c #Conflicts: 250000 | #Constraints: 24846 623.55/625.72 c #Conflicts: 251000 | #Constraints: 25846 623.55/625.72 c #Conflicts: 252000 | #Constraints: 26846 623.55/625.72 c #Conflicts: 253000 | #Constraints: 27917 623.55/625.72 c #Conflicts: 254000 | #Constraints: 28917 623.55/625.72 c bounds 196 >= 146 @ 506.211 623.55/625.72 c #Conflicts: 255000 | #Constraints: 29918 623.55/625.72 c #Conflicts: 256000 | #Constraints: 30931 623.55/625.72 c #Conflicts: 257000 | #Constraints: 31974 623.55/625.72 c #Conflicts: 258000 | #Constraints: 32974 623.55/625.72 c #Conflicts: 259000 | #Constraints: 33979 623.55/625.72 c #Conflicts: 260000 | #Constraints: 34979 623.55/625.72 c #Conflicts: 261000 | #Constraints: 35979 623.55/625.72 c #Conflicts: 262000 | #Constraints: 37091 623.55/625.72 c #Conflicts: 263000 | #Constraints: 38239 623.55/625.72 c #Conflicts: 264000 | #Constraints: 39255 623.55/625.72 c #Conflicts: 265000 | #Constraints: 40256 623.55/625.72 c #Conflicts: 266000 | #Constraints: 41256 623.55/625.72 c #Conflicts: 267000 | #Constraints: 42340 623.55/625.72 c #Conflicts: 268000 | #Constraints: 43340 623.55/625.72 c #Conflicts: 269000 | #Constraints: 44340 623.55/625.72 c #Conflicts: 270000 | #Constraints: 45392 623.55/625.72 c #Conflicts: 271000 | #Constraints: 46445 623.55/625.72 c #Conflicts: 272000 | #Constraints: 47650 623.55/625.72 c #Conflicts: 273000 | #Constraints: 48650 623.55/625.72 c #Conflicts: 274000 | #Constraints: 49655 623.55/625.72 c #Conflicts: 275000 | #Constraints: 50702 623.55/625.72 c #Conflicts: 276000 | #Constraints: 51721 623.55/625.72 c #Conflicts: 277000 | #Constraints: 52721 623.55/625.72 c #Conflicts: 278000 | #Constraints: 53721 623.55/625.72 c #Conflicts: 279000 | #Constraints: 54721 623.55/625.72 c #Conflicts: 280000 | #Constraints: 55733 623.55/625.72 c INPROCESSING 623.55/625.72 c GARBAGE COLLECT 623.55/625.72 c rational objective 146 710.66/713.12 c #Conflicts: 281000 | #Constraints: 29206 710.66/713.12 c #Conflicts: 282000 | #Constraints: 30206 710.66/713.12 c #Conflicts: 283000 | #Constraints: 31206 710.66/713.12 c #Conflicts: 284000 | #Constraints: 32206 710.66/713.12 c #Conflicts: 285000 | #Constraints: 33206 710.66/713.12 c #Conflicts: 286000 | #Constraints: 34206 710.66/713.12 c #Conflicts: 287000 | #Constraints: 35206 710.66/713.12 c #Conflicts: 288000 | #Constraints: 36206 710.66/713.12 c #Conflicts: 289000 | #Constraints: 37206 710.66/713.12 c #Conflicts: 290000 | #Constraints: 38206 710.66/713.12 c #Conflicts: 291000 | #Constraints: 39206 710.66/713.12 c #Conflicts: 292000 | #Constraints: 40206 710.66/713.12 c #Conflicts: 293000 | #Constraints: 41206 710.66/713.12 c #Conflicts: 294000 | #Constraints: 42206 710.66/713.12 c INPROCESSING 710.66/713.12 c GARBAGE COLLECT 710.66/713.12 c rational objective 146 754.51/757.15 c #Conflicts: 295000 | #Constraints: 22751 754.51/757.15 c #Conflicts: 296000 | #Constraints: 23752 754.51/757.15 c #Conflicts: 297000 | #Constraints: 24752 754.51/757.15 c #Conflicts: 298000 | #Constraints: 25752 754.51/757.15 c #Conflicts: 299000 | #Constraints: 26752 754.51/757.15 c #Conflicts: 300000 | #Constraints: 27752 754.51/757.15 c #Conflicts: 301000 | #Constraints: 28752 754.51/757.15 c #Conflicts: 302000 | #Constraints: 29752 754.51/757.15 c #Conflicts: 303000 | #Constraints: 30752 754.51/757.15 c #Conflicts: 304000 | #Constraints: 31753 754.51/757.15 c #Conflicts: 305000 | #Constraints: 32754 754.51/757.15 c #Conflicts: 306000 | #Constraints: 33754 754.51/757.15 c #Conflicts: 307000 | #Constraints: 34754 754.51/757.15 c #Conflicts: 308000 | #Constraints: 35754 754.51/757.15 c INPROCESSING 754.51/757.15 c GARBAGE COLLECT 754.51/757.15 c rational objective 146 960.49/963.86 c #Conflicts: 309000 | #Constraints: 22090 960.49/963.86 c #Conflicts: 310000 | #Constraints: 23090 960.49/963.86 c #Conflicts: 311000 | #Constraints: 24090 960.49/963.86 c #Conflicts: 312000 | #Constraints: 25090 960.49/963.86 c #Conflicts: 313000 | #Constraints: 26093 960.49/963.86 c #Conflicts: 314000 | #Constraints: 27095 960.49/963.86 c #Conflicts: 315000 | #Constraints: 28099 960.49/963.86 c #Conflicts: 316000 | #Constraints: 29101 960.49/963.86 c #Conflicts: 317000 | #Constraints: 30101 960.49/963.86 c #Conflicts: 318000 | #Constraints: 31101 960.49/963.86 c #Conflicts: 319000 | #Constraints: 32101 960.49/963.86 c #Conflicts: 320000 | #Constraints: 33101 960.49/963.86 c #Conflicts: 321000 | #Constraints: 34101 960.49/963.86 c #Conflicts: 322000 | #Constraints: 35101 960.49/963.86 c #Conflicts: 323000 | #Constraints: 36101 960.49/963.86 c #Conflicts: 324000 | #Constraints: 37101 960.49/963.86 c #Conflicts: 325000 | #Constraints: 38101 960.49/963.86 c #Conflicts: 326000 | #Constraints: 39103 960.49/963.86 c #Conflicts: 327000 | #Constraints: 40103 960.49/963.86 c #Conflicts: 328000 | #Constraints: 41103 960.49/963.86 c #Conflicts: 329000 | #Constraints: 42103 960.49/963.86 c #Conflicts: 330000 | #Constraints: 43103 960.49/963.86 c #Conflicts: 331000 | #Constraints: 44103 960.49/963.86 c #Conflicts: 332000 | #Constraints: 45103 960.49/963.86 c #Conflicts: 333000 | #Constraints: 46104 960.49/963.86 c #Conflicts: 334000 | #Constraints: 47104 960.49/963.86 c #Conflicts: 335000 | #Constraints: 48104 960.49/963.86 c #Conflicts: 336000 | #Constraints: 49104 960.49/963.86 c #Conflicts: 337000 | #Constraints: 50104 960.49/963.86 c #Conflicts: 338000 | #Constraints: 51104 960.49/963.86 c #Conflicts: 339000 | #Constraints: 52105 960.49/963.86 c #Conflicts: 340000 | #Constraints: 53105 960.49/963.86 c #Conflicts: 341000 | #Constraints: 54105 960.49/963.86 c #Conflicts: 342000 | #Constraints: 55105 960.49/963.86 c #Conflicts: 343000 | #Constraints: 56105 960.49/963.86 c #Conflicts: 344000 | #Constraints: 57105 960.49/963.86 c #Conflicts: 345000 | #Constraints: 58105 960.49/963.86 c #Conflicts: 346000 | #Constraints: 59105 960.49/963.86 c #Conflicts: 347000 | #Constraints: 60105 960.49/963.86 c #Conflicts: 348000 | #Constraints: 61105 960.49/963.86 c INPROCESSING 960.49/963.86 c GARBAGE COLLECT 960.49/963.86 c rational objective 146 1015.40/1018.90 c #Conflicts: 349000 | #Constraints: 32349 1015.40/1018.90 c #Conflicts: 350000 | #Constraints: 33357 1015.40/1018.90 c #Conflicts: 351000 | #Constraints: 34357 1015.40/1018.90 c #Conflicts: 352000 | #Constraints: 35362 1015.40/1018.90 c #Conflicts: 353000 | #Constraints: 36405 1015.40/1018.90 c #Conflicts: 354000 | #Constraints: 37439 1015.40/1018.90 c #Conflicts: 355000 | #Constraints: 38439 1015.40/1018.90 c #Conflicts: 356000 | #Constraints: 39439 1015.40/1018.90 c #Conflicts: 357000 | #Constraints: 40461 1015.40/1018.90 c #Conflicts: 358000 | #Constraints: 41503 1015.40/1018.90 c #Conflicts: 359000 | #Constraints: 42546 1015.40/1018.90 c #Conflicts: 360000 | #Constraints: 43552 1015.40/1018.90 c #Conflicts: 361000 | #Constraints: 44578 1015.40/1018.90 c #Conflicts: 362000 | #Constraints: 45578 1015.40/1018.90 c #Conflicts: 363000 | #Constraints: 46578 1015.40/1018.90 c INPROCESSING 1015.40/1018.90 c GARBAGE COLLECT 1015.40/1018.90 c rational objective 146 1377.43/1382.20 c #Conflicts: 364000 | #Constraints: 25302 1377.43/1382.20 c #Conflicts: 365000 | #Constraints: 26346 1377.43/1382.20 c #Conflicts: 366000 | #Constraints: 27444 1377.43/1382.20 c #Conflicts: 367000 | #Constraints: 28772 1377.43/1382.20 c #Conflicts: 368000 | #Constraints: 29780 1377.43/1382.20 c #Conflicts: 369000 | #Constraints: 30780 1377.43/1382.20 c #Conflicts: 370000 | #Constraints: 31780 1377.43/1382.20 c #Conflicts: 371000 | #Constraints: 32815 1377.43/1382.20 c #Conflicts: 372000 | #Constraints: 33857 1377.43/1382.20 c #Conflicts: 373000 | #Constraints: 34857 1377.43/1382.20 c #Conflicts: 374000 | #Constraints: 35857 1377.43/1382.20 c #Conflicts: 375000 | #Constraints: 36857 1377.43/1382.20 c #Conflicts: 376000 | #Constraints: 37857 1377.43/1382.20 c #Conflicts: 377000 | #Constraints: 38857 1377.43/1382.20 c #Conflicts: 378000 | #Constraints: 39857 1377.43/1382.20 c #Conflicts: 379000 | #Constraints: 40857 1377.43/1382.20 c #Conflicts: 380000 | #Constraints: 41857 1377.43/1382.20 c #Conflicts: 381000 | #Constraints: 42857 1377.43/1382.20 c #Conflicts: 382000 | #Constraints: 44031 1377.43/1382.20 c #Conflicts: 383000 | #Constraints: 45101 1377.43/1382.20 c #Conflicts: 384000 | #Constraints: 46101 1377.43/1382.20 c #Conflicts: 385000 | #Constraints: 47101 1377.43/1382.20 c #Conflicts: 386000 | #Constraints: 48101 1377.43/1382.20 c #Conflicts: 387000 | #Constraints: 49101 1377.43/1382.20 c #Conflicts: 388000 | #Constraints: 50101 1377.43/1382.20 c #Conflicts: 389000 | #Constraints: 51101 1377.43/1382.20 c #Conflicts: 390000 | #Constraints: 52101 1377.43/1382.20 c #Conflicts: 391000 | #Constraints: 53101 1377.43/1382.20 c #Conflicts: 392000 | #Constraints: 54145 1377.43/1382.20 c #Conflicts: 393000 | #Constraints: 55145 1377.43/1382.20 c #Conflicts: 394000 | #Constraints: 56145 1377.43/1382.20 c #Conflicts: 395000 | #Constraints: 57173 1377.43/1382.20 c #Conflicts: 396000 | #Constraints: 58217 1377.43/1382.20 c #Conflicts: 397000 | #Constraints: 59263 1377.43/1382.20 c #Conflicts: 398000 | #Constraints: 60263 1377.43/1382.20 c #Conflicts: 399000 | #Constraints: 61263 1377.43/1382.20 c #Conflicts: 400000 | #Constraints: 62263 1377.43/1382.20 c #Conflicts: 401000 | #Constraints: 63305 1377.43/1382.20 c #Conflicts: 402000 | #Constraints: 64419 1377.43/1382.20 c #Conflicts: 403000 | #Constraints: 65419 1377.43/1382.20 c #Conflicts: 404000 | #Constraints: 66419 1377.43/1382.20 c #Conflicts: 405000 | #Constraints: 67419 1377.43/1382.20 c #Conflicts: 406000 | #Constraints: 68419 1377.43/1382.20 c INPROCESSING 1377.43/1382.20 c GARBAGE COLLECT 1377.43/1382.20 c rational objective 146 1526.46/1531.75 c #Conflicts: 407000 | #Constraints: 35869 1526.46/1531.75 c #Conflicts: 408000 | #Constraints: 36869 1526.46/1531.75 c #Conflicts: 409000 | #Constraints: 37870 1526.46/1531.75 c #Conflicts: 410000 | #Constraints: 38870 1526.46/1531.75 c #Conflicts: 411000 | #Constraints: 39871 1526.46/1531.75 c #Conflicts: 412000 | #Constraints: 40872 1526.46/1531.75 c #Conflicts: 413000 | #Constraints: 41872 1526.46/1531.75 c #Conflicts: 414000 | #Constraints: 42872 1526.46/1531.75 c #Conflicts: 415000 | #Constraints: 43872 1526.46/1531.75 c #Conflicts: 416000 | #Constraints: 44875 1526.46/1531.75 c #Conflicts: 417000 | #Constraints: 45875 1526.46/1531.75 c #Conflicts: 418000 | #Constraints: 46875 1526.46/1531.75 c #Conflicts: 419000 | #Constraints: 47875 1526.46/1531.75 c #Conflicts: 420000 | #Constraints: 48876 1526.46/1531.75 c #Conflicts: 421000 | #Constraints: 49876 1526.46/1531.75 c #Conflicts: 422000 | #Constraints: 50876 1526.46/1531.75 c INPROCESSING 1526.46/1531.75 c GARBAGE COLLECT 1526.46/1531.75 c rational objective 146 1812.45/1818.63 c #Conflicts: 423000 | #Constraints: 27003 1812.45/1818.63 c #Conflicts: 424000 | #Constraints: 28003 1812.45/1818.63 c #Conflicts: 425000 | #Constraints: 29003 1812.45/1818.63 c #Conflicts: 426000 | #Constraints: 30003 1812.45/1818.63 c #Conflicts: 427000 | #Constraints: 31003 1812.45/1818.63 c #Conflicts: 428000 | #Constraints: 32003 1812.45/1818.63 c #Conflicts: 429000 | #Constraints: 33004 1812.45/1818.63 c #Conflicts: 430000 | #Constraints: 34004 1812.45/1818.63 c #Conflicts: 431000 | #Constraints: 35004 1812.45/1818.63 c #Conflicts: 432000 | #Constraints: 36004 1812.45/1818.63 c #Conflicts: 433000 | #Constraints: 37004 1812.45/1818.63 c #Conflicts: 434000 | #Constraints: 38004 1812.45/1818.63 c #Conflicts: 435000 | #Constraints: 39004 1812.45/1818.63 c #Conflicts: 436000 | #Constraints: 40004 1812.45/1818.63 c #Conflicts: 437000 | #Constraints: 41004 1812.45/1818.63 c #Conflicts: 438000 | #Constraints: 42004 1812.45/1818.63 c #Conflicts: 439000 | #Constraints: 43004 1812.45/1818.63 c #Conflicts: 440000 | #Constraints: 44004 1812.45/1818.63 c #Conflicts: 441000 | #Constraints: 45004 1812.45/1818.63 c #Conflicts: 442000 | #Constraints: 46004 1812.45/1818.63 c #Conflicts: 443000 | #Constraints: 47004 1812.45/1818.63 c #Conflicts: 444000 | #Constraints: 48004 1812.45/1818.63 c #Conflicts: 445000 | #Constraints: 49004 1812.45/1818.63 c #Conflicts: 446000 | #Constraints: 50004 1812.45/1818.63 c #Conflicts: 447000 | #Constraints: 51004 1812.45/1818.63 c #Conflicts: 448000 | #Constraints: 52004 1812.45/1818.63 c #Conflicts: 449000 | #Constraints: 53004 1812.45/1818.63 c #Conflicts: 450000 | #Constraints: 54004 1812.45/1818.63 c #Conflicts: 451000 | #Constraints: 55004 1812.45/1818.63 c #Conflicts: 452000 | #Constraints: 56004 1812.45/1818.63 c #Conflicts: 453000 | #Constraints: 57004 1812.45/1818.63 c #Conflicts: 454000 | #Constraints: 58004 1812.45/1818.63 c #Conflicts: 455000 | #Constraints: 59004 1812.45/1818.63 c #Conflicts: 456000 | #Constraints: 60004 1812.45/1818.63 c #Conflicts: 457000 | #Constraints: 61004 1812.45/1818.63 c #Conflicts: 458000 | #Constraints: 62004 1812.45/1818.63 c #Conflicts: 459000 | #Constraints: 63004 1812.45/1818.63 c bounds 196 >= 147 @ 1738.03 1812.45/1818.63 c #Conflicts: 460000 | #Constraints: 64062 1812.45/1818.63 c #Conflicts: 461000 | #Constraints: 65062 1812.45/1818.63 c #Conflicts: 462000 | #Constraints: 66062 1812.45/1818.63 c #Conflicts: 463000 | #Constraints: 67062 1812.45/1818.63 c #Conflicts: 464000 | #Constraints: 68062 1812.45/1818.63 c #Conflicts: 465000 | #Constraints: 69063 1812.45/1818.63 c #Conflicts: 466000 | #Constraints: 70063 1812.45/1818.63 c #Conflicts: 467000 | #Constraints: 71063 1812.45/1818.63 c #Conflicts: 468000 | #Constraints: 72063 1812.45/1818.63 c INPROCESSING 1812.45/1818.63 c GARBAGE COLLECT 1812.45/1818.63 c rational objective 147 1888.90/1895.33 c #Conflicts: 469000 | #Constraints: 37510 1888.90/1895.33 c #Conflicts: 470000 | #Constraints: 38510 1888.90/1895.33 c #Conflicts: 471000 | #Constraints: 39510 1888.90/1895.33 c #Conflicts: 472000 | #Constraints: 40510 1888.90/1895.33 c #Conflicts: 473000 | #Constraints: 41510 1888.90/1895.33 c #Conflicts: 474000 | #Constraints: 42510 1888.90/1895.33 c #Conflicts: 475000 | #Constraints: 43510 1888.90/1895.33 c #Conflicts: 476000 | #Constraints: 44510 1888.90/1895.33 c #Conflicts: 477000 | #Constraints: 45510 1888.90/1895.33 c #Conflicts: 478000 | #Constraints: 46510 1888.90/1895.33 c #Conflicts: 479000 | #Constraints: 47510 1888.90/1895.33 c #Conflicts: 480000 | #Constraints: 48511 1888.90/1895.33 c #Conflicts: 481000 | #Constraints: 49511 1888.90/1895.33 c #Conflicts: 482000 | #Constraints: 50511 1888.90/1895.33 c #Conflicts: 483000 | #Constraints: 51512 1888.90/1895.33 c #Conflicts: 484000 | #Constraints: 52514 1888.90/1895.33 c #Conflicts: 485000 | #Constraints: 53514 1888.90/1895.33 c #Conflicts: 486000 | #Constraints: 54514 1888.90/1895.33 c INPROCESSING 1888.90/1895.33 c GARBAGE COLLECT 1888.90/1895.33 c rational objective 147 2238.88/2246.42 c #Conflicts: 487000 | #Constraints: 31991 2238.88/2246.42 c #Conflicts: 488000 | #Constraints: 32991 2238.88/2246.42 c #Conflicts: 489000 | #Constraints: 33991 2238.88/2246.42 c #Conflicts: 490000 | #Constraints: 34991 2238.88/2246.42 c #Conflicts: 491000 | #Constraints: 35991 2238.88/2246.42 c #Conflicts: 492000 | #Constraints: 36993 2238.88/2246.42 c #Conflicts: 493000 | #Constraints: 37993 2238.88/2246.42 c #Conflicts: 494000 | #Constraints: 38993 2238.88/2246.42 c #Conflicts: 495000 | #Constraints: 39995 2238.88/2246.42 c #Conflicts: 496000 | #Constraints: 40995 2238.88/2246.42 c #Conflicts: 497000 | #Constraints: 41997 2238.88/2246.42 c #Conflicts: 498000 | #Constraints: 42997 2238.88/2246.42 c #Conflicts: 499000 | #Constraints: 44012 2238.88/2246.42 c #Conflicts: 500000 | #Constraints: 45012 2238.88/2246.42 c #Conflicts: 501000 | #Constraints: 46151 2238.88/2246.42 c #Conflicts: 502000 | #Constraints: 47151 2238.88/2246.42 c #Conflicts: 503000 | #Constraints: 48190 2238.88/2246.42 c #Conflicts: 504000 | #Constraints: 49239 2238.88/2246.42 c #Conflicts: 505000 | #Constraints: 50513 2238.88/2246.42 c #Conflicts: 506000 | #Constraints: 51597 2238.88/2246.42 c #Conflicts: 507000 | #Constraints: 52597 2238.88/2246.42 c #Conflicts: 508000 | #Constraints: 53685 2238.88/2246.42 c #Conflicts: 509000 | #Constraints: 54709 2238.88/2246.42 c #Conflicts: 510000 | #Constraints: 55720 2238.88/2246.42 c #Conflicts: 511000 | #Constraints: 56720 2238.88/2246.42 c #Conflicts: 512000 | #Constraints: 57780 2238.88/2246.42 c #Conflicts: 513000 | #Constraints: 59069 2238.88/2246.42 c #Conflicts: 514000 | #Constraints: 60083 2238.88/2246.42 c #Conflicts: 515000 | #Constraints: 61110 2238.88/2246.42 c #Conflicts: 516000 | #Constraints: 62196 2238.88/2246.42 c bounds 195 >= 147 @ 1989.52 2238.88/2246.42 c #Conflicts: 517000 | #Constraints: 63198 2238.88/2246.42 c #Conflicts: 518000 | #Constraints: 64198 2238.88/2246.42 c #Conflicts: 519000 | #Constraints: 65198 2238.88/2246.42 c #Conflicts: 520000 | #Constraints: 66198 2238.88/2246.42 c #Conflicts: 521000 | #Constraints: 67198 2238.88/2246.42 c #Conflicts: 522000 | #Constraints: 68198 2238.88/2246.42 c #Conflicts: 523000 | #Constraints: 69198 2238.88/2246.42 c #Conflicts: 524000 | #Constraints: 70198 2238.88/2246.42 c #Conflicts: 525000 | #Constraints: 71198 2238.88/2246.42 c #Conflicts: 526000 | #Constraints: 72198 2238.88/2246.42 c #Conflicts: 527000 | #Constraints: 73198 2238.88/2246.42 c #Conflicts: 528000 | #Constraints: 74198 2238.88/2246.42 c #Conflicts: 529000 | #Constraints: 75198 2238.88/2246.42 c #Conflicts: 530000 | #Constraints: 76198 2238.88/2246.42 c #Conflicts: 531000 | #Constraints: 77198 2238.88/2246.42 c #Conflicts: 532000 | #Constraints: 78198 2238.88/2246.42 c #Conflicts: 533000 | #Constraints: 79198 2238.88/2246.42 c #Conflicts: 534000 | #Constraints: 80198 2238.88/2246.42 c #Conflicts: 535000 | #Constraints: 81198 2238.88/2246.42 c INPROCESSING 2238.88/2246.42 c GARBAGE COLLECT 2238.88/2246.42 c rational objective 147 2298.78/2306.51 c #Conflicts: 536000 | #Constraints: 42179 2298.78/2306.51 c #Conflicts: 537000 | #Constraints: 43179 2298.78/2306.51 c #Conflicts: 538000 | #Constraints: 44209 2298.78/2306.51 c #Conflicts: 539000 | #Constraints: 45254 2298.78/2306.51 c #Conflicts: 540000 | #Constraints: 46254 2298.78/2306.51 c #Conflicts: 541000 | #Constraints: 47254 2298.78/2306.51 c #Conflicts: 542000 | #Constraints: 48254 2298.78/2306.51 c #Conflicts: 543000 | #Constraints: 49254 2298.78/2306.51 c bounds 194 >= 147 @ 2246.95 2298.78/2306.51 c #Conflicts: 544000 | #Constraints: 50255 2298.78/2306.51 c #Conflicts: 545000 | #Constraints: 51255 2298.78/2306.51 c #Conflicts: 546000 | #Constraints: 52255 2298.78/2306.51 c #Conflicts: 547000 | #Constraints: 53255 2298.78/2306.51 c #Conflicts: 548000 | #Constraints: 54256 2298.78/2306.51 c #Conflicts: 549000 | #Constraints: 55257 2298.78/2306.51 c #Conflicts: 550000 | #Constraints: 56257 2298.78/2306.51 c #Conflicts: 551000 | #Constraints: 57258 2298.78/2306.51 c #Conflicts: 552000 | #Constraints: 58259 2298.78/2306.51 c #Conflicts: 553000 | #Constraints: 59259 2298.78/2306.51 c #Conflicts: 554000 | #Constraints: 60259 2298.78/2306.51 c INPROCESSING 2298.78/2306.51 c GARBAGE COLLECT 2298.78/2306.51 c rational objective 147 2579.06/2587.70 c #Conflicts: 555000 | #Constraints: 33868 2579.06/2587.70 c #Conflicts: 556000 | #Constraints: 34921 2579.06/2587.70 c #Conflicts: 557000 | #Constraints: 35921 2579.06/2587.70 c #Conflicts: 558000 | #Constraints: 36921 2579.06/2587.70 c #Conflicts: 559000 | #Constraints: 37921 2579.06/2587.70 c #Conflicts: 560000 | #Constraints: 38985 2579.06/2587.70 c #Conflicts: 561000 | #Constraints: 40120 2579.06/2587.70 c #Conflicts: 562000 | #Constraints: 41120 2579.06/2587.70 c #Conflicts: 563000 | #Constraints: 42120 2579.06/2587.70 c #Conflicts: 564000 | #Constraints: 43120 2579.06/2587.70 c #Conflicts: 565000 | #Constraints: 44120 2579.06/2587.70 c #Conflicts: 566000 | #Constraints: 45120 2579.06/2587.70 c #Conflicts: 567000 | #Constraints: 46120 2579.06/2587.70 c #Conflicts: 568000 | #Constraints: 47120 2579.06/2587.70 c #Conflicts: 569000 | #Constraints: 48120 2579.06/2587.70 c #Conflicts: 570000 | #Constraints: 49120 2579.06/2587.70 c #Conflicts: 571000 | #Constraints: 50120 2579.06/2587.70 c #Conflicts: 572000 | #Constraints: 51120 2579.06/2587.70 c #Conflicts: 573000 | #Constraints: 52120 2579.06/2587.70 c #Conflicts: 574000 | #Constraints: 53120 2579.06/2587.71 c #Conflicts: 575000 | #Constraints: 54120 2579.06/2587.71 c #Conflicts: 576000 | #Constraints: 55120 2579.06/2587.71 c #Conflicts: 577000 | #Constraints: 56120 2579.06/2587.71 c #Conflicts: 578000 | #Constraints: 57120 2579.06/2587.71 c #Conflicts: 579000 | #Constraints: 58120 2579.06/2587.71 c #Conflicts: 580000 | #Constraints: 59162 2579.06/2587.71 c #Conflicts: 581000 | #Constraints: 60220 2579.06/2587.71 c #Conflicts: 582000 | #Constraints: 61250 2579.06/2587.71 c #Conflicts: 583000 | #Constraints: 62250 2579.06/2587.71 c #Conflicts: 584000 | #Constraints: 63282 2579.06/2587.71 c #Conflicts: 585000 | #Constraints: 64316 2579.06/2587.71 c #Conflicts: 586000 | #Constraints: 65332 2579.06/2587.71 c #Conflicts: 587000 | #Constraints: 66501 2579.06/2587.71 c #Conflicts: 588000 | #Constraints: 67631 2579.06/2587.71 c #Conflicts: 589000 | #Constraints: 68759 2579.06/2587.71 c #Conflicts: 590000 | #Constraints: 69859 2579.06/2587.71 c #Conflicts: 591000 | #Constraints: 70867 2579.06/2587.71 c #Conflicts: 592000 | #Constraints: 71875 2579.06/2587.71 c #Conflicts: 593000 | #Constraints: 73056 2579.06/2587.71 c #Conflicts: 594000 | #Constraints: 74316 2579.06/2587.71 c #Conflicts: 595000 | #Constraints: 75482 2579.06/2587.71 c #Conflicts: 596000 | #Constraints: 76628 2579.06/2587.71 c #Conflicts: 597000 | #Constraints: 77830 2579.06/2587.71 c #Conflicts: 598000 | #Constraints: 78953 2579.06/2587.71 c #Conflicts: 599000 | #Constraints: 80233 2579.06/2587.71 c #Conflicts: 600000 | #Constraints: 81405 2579.06/2587.71 c #Conflicts: 601000 | #Constraints: 82499 2579.06/2587.71 c #Conflicts: 602000 | #Constraints: 83509 2579.06/2587.71 c #Conflicts: 603000 | #Constraints: 84520 2579.06/2587.71 c #Conflicts: 604000 | #Constraints: 85648 2579.06/2587.71 c #Conflicts: 605000 | #Constraints: 86695 2579.06/2587.71 c #Conflicts: 606000 | #Constraints: 87695 2579.06/2587.71 c INPROCESSING 2579.06/2587.71 c GARBAGE COLLECT 2579.06/2587.71 c rational objective 147 2777.99/2787.38 c #Conflicts: 607000 | #Constraints: 45209 2777.99/2787.38 c #Conflicts: 608000 | #Constraints: 46210 2777.99/2787.38 c #Conflicts: 609000 | #Constraints: 47210 2777.99/2787.38 c #Conflicts: 610000 | #Constraints: 48210 2777.99/2787.38 c #Conflicts: 611000 | #Constraints: 49210 2777.99/2787.38 c #Conflicts: 612000 | #Constraints: 50210 2777.99/2787.38 c #Conflicts: 613000 | #Constraints: 51210 2777.99/2787.38 c #Conflicts: 614000 | #Constraints: 52210 2777.99/2787.38 c #Conflicts: 615000 | #Constraints: 53210 2777.99/2787.38 c #Conflicts: 616000 | #Constraints: 54210 2777.99/2787.38 c #Conflicts: 617000 | #Constraints: 55210 2777.99/2787.38 c #Conflicts: 618000 | #Constraints: 56210 2777.99/2787.38 c #Conflicts: 619000 | #Constraints: 57210 2777.99/2787.38 c #Conflicts: 620000 | #Constraints: 58210 2777.99/2787.38 c #Conflicts: 621000 | #Constraints: 59210 2777.99/2787.38 c #Conflicts: 622000 | #Constraints: 60210 2777.99/2787.38 c #Conflicts: 623000 | #Constraints: 61210 2777.99/2787.38 c #Conflicts: 624000 | #Constraints: 62210 2777.99/2787.38 c #Conflicts: 625000 | #Constraints: 63210 2777.99/2787.38 c #Conflicts: 626000 | #Constraints: 64210 2777.99/2787.38 c #Conflicts: 627000 | #Constraints: 65210 2777.99/2787.38 c INPROCESSING 2777.99/2787.38 c GARBAGE COLLECT 2777.99/2787.38 c rational objective 147 3190.05/3200.72 c #Conflicts: 628000 | #Constraints: 36507 3190.05/3200.72 c #Conflicts: 629000 | #Constraints: 37507 3190.05/3200.72 c #Conflicts: 630000 | #Constraints: 38507 3190.05/3200.72 c #Conflicts: 631000 | #Constraints: 39507 3190.05/3200.72 c #Conflicts: 632000 | #Constraints: 40507 3190.05/3200.72 c #Conflicts: 633000 | #Constraints: 41507 3190.05/3200.72 c #Conflicts: 634000 | #Constraints: 42507 3190.05/3200.72 c #Conflicts: 635000 | #Constraints: 43507 3190.05/3200.72 c #Conflicts: 636000 | #Constraints: 44507 3190.05/3200.72 c #Conflicts: 637000 | #Constraints: 45507 3190.05/3200.72 c #Conflicts: 638000 | #Constraints: 46507 3190.05/3200.72 c #Conflicts: 639000 | #Constraints: 47507 3190.05/3200.72 c #Conflicts: 640000 | #Constraints: 48507 3190.05/3200.72 c #Conflicts: 641000 | #Constraints: 49507 3190.05/3200.72 c #Conflicts: 642000 | #Constraints: 50507 3190.05/3200.72 c #Conflicts: 643000 | #Constraints: 51507 3190.05/3200.72 c #Conflicts: 644000 | #Constraints: 52507 3190.05/3200.72 c #Conflicts: 645000 | #Constraints: 53507 3190.05/3200.72 c #Conflicts: 646000 | #Constraints: 54507 3190.05/3200.72 c #Conflicts: 647000 | #Constraints: 55507 3190.05/3200.72 c #Conflicts: 648000 | #Constraints: 56507 3190.05/3200.72 c #Conflicts: 649000 | #Constraints: 57508 3190.05/3200.72 c #Conflicts: 650000 | #Constraints: 58508 3190.05/3200.72 c #Conflicts: 651000 | #Constraints: 59508 3190.05/3200.72 c #Conflicts: 652000 | #Constraints: 60508 3190.05/3200.72 c #Conflicts: 653000 | #Constraints: 61508 3190.05/3200.72 c #Conflicts: 654000 | #Constraints: 62508 3190.05/3200.72 c #Conflicts: 655000 | #Constraints: 63508 3190.05/3200.72 c #Conflicts: 656000 | #Constraints: 64508 3190.05/3200.72 c #Conflicts: 657000 | #Constraints: 65508 3190.05/3200.72 c #Conflicts: 658000 | #Constraints: 66508 3190.05/3200.72 c #Conflicts: 659000 | #Constraints: 67508 3190.05/3200.72 c #Conflicts: 660000 | #Constraints: 68508 3190.05/3200.72 c #Conflicts: 661000 | #Constraints: 69508 3190.05/3200.72 c #Conflicts: 662000 | #Constraints: 70508 3190.05/3200.72 c #Conflicts: 663000 | #Constraints: 71508 3190.05/3200.72 c #Conflicts: 664000 | #Constraints: 72508 3190.05/3200.72 c #Conflicts: 665000 | #Constraints: 73508 3190.05/3200.72 c #Conflicts: 666000 | #Constraints: 74508 3190.05/3200.72 c #Conflicts: 667000 | #Constraints: 75508 3190.05/3200.72 c #Conflicts: 668000 | #Constraints: 76508 3190.05/3200.72 c #Conflicts: 669000 | #Constraints: 77508 3190.05/3200.72 c #Conflicts: 670000 | #Constraints: 78508 3190.05/3200.72 c #Conflicts: 671000 | #Constraints: 79508 3190.05/3200.72 c #Conflicts: 672000 | #Constraints: 80508 3190.05/3200.72 c #Conflicts: 673000 | #Constraints: 81508 3190.05/3200.72 c #Conflicts: 674000 | #Constraints: 82508 3190.05/3200.72 c #Conflicts: 675000 | #Constraints: 83508 3190.05/3200.72 c #Conflicts: 676000 | #Constraints: 84508 3190.05/3200.72 c #Conflicts: 677000 | #Constraints: 85508 3190.05/3200.72 c #Conflicts: 678000 | #Constraints: 86508 3190.05/3200.72 c #Conflicts: 679000 | #Constraints: 87508 3190.05/3200.72 c #Conflicts: 680000 | #Constraints: 88508 3190.05/3200.72 c #Conflicts: 681000 | #Constraints: 89508 3190.05/3200.72 c #Conflicts: 682000 | #Constraints: 90508 3190.05/3200.72 c INPROCESSING 3190.05/3200.72 c GARBAGE COLLECT 3190.05/3200.72 c rational objective 147 3303.68/3314.73 c #Conflicts: 683000 | #Constraints: 46830 3303.68/3314.73 c #Conflicts: 684000 | #Constraints: 47831 3303.68/3314.73 c #Conflicts: 685000 | #Constraints: 48831 3303.68/3314.73 c #Conflicts: 686000 | #Constraints: 49845 3303.68/3314.73 c #Conflicts: 687000 | #Constraints: 50845 3303.68/3314.73 c #Conflicts: 688000 | #Constraints: 51845 3303.68/3314.73 c #Conflicts: 689000 | #Constraints: 52845 3303.68/3314.73 c #Conflicts: 690000 | #Constraints: 53845 3303.68/3314.73 c #Conflicts: 691000 | #Constraints: 54845 3303.68/3314.73 c #Conflicts: 692000 | #Constraints: 55874 3303.68/3314.73 c #Conflicts: 693000 | #Constraints: 56983 3303.68/3314.73 c #Conflicts: 694000 | #Constraints: 57983 3303.68/3314.73 c #Conflicts: 695000 | #Constraints: 58983 3303.68/3314.73 c #Conflicts: 696000 | #Constraints: 59983 3303.68/3314.73 c #Conflicts: 697000 | #Constraints: 60983 3303.68/3314.73 c #Conflicts: 698000 | #Constraints: 61983 3303.68/3314.73 c #Conflicts: 699000 | #Constraints: 62983 3303.68/3314.73 c #Conflicts: 700000 | #Constraints: 63983 3303.68/3314.73 c #Conflicts: 701000 | #Constraints: 64983 3303.68/3314.73 c #Conflicts: 702000 | #Constraints: 65983 3303.68/3314.73 c #Conflicts: 703000 | #Constraints: 66983 3303.68/3314.73 c #Conflicts: 704000 | #Constraints: 67983 3303.68/3314.73 c INPROCESSING 3303.68/3314.73 c GARBAGE COLLECT 3303.68/3314.73 c rational objective 147 3600.02/3612.01 c 3600.02/3612.01 s SATISFIABLE 3600.02/3612.01 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 x474 ~x475 x476 3600.02/3612.01 c #Conflicts: 705000 | #Constraints: 41138 3600.02/3612.01 c #Conflicts: 706000 | #Constraints: 42138 3600.02/3612.01 c #Conflicts: 707000 | #Constraints: 43138 3600.02/3612.01 c #Conflicts: 708000 | #Constraints: 44138 3600.02/3612.01 c #Conflicts: 709000 | #Constraints: 45138 3600.02/3612.01 c #Conflicts: 710000 | #Constraints: 46138 3600.02/3612.01 c #Conflicts: 711000 | #Constraints: 47138 3600.02/3612.01 c #Conflicts: 712000 | #Constraints: 48138 3600.02/3612.01 c #Conflicts: 713000 | #Constraints: 49138 3600.02/3612.01 c #Conflicts: 714000 | #Constraints: 50138 3600.02/3612.01 c #Conflicts: 715000 | #Constraints: 51138 3600.02/3612.01 c #Conflicts: 716000 | #Constraints: 52138 3600.02/3612.01 c #Conflicts: 717000 | #Constraints: 53138 3600.02/3612.01 c #Conflicts: 718000 | #Constraints: 54138 3600.02/3612.01 c #Conflicts: 719000 | #Constraints: 55139 3600.02/3612.01 c #Conflicts: 720000 | #Constraints: 56144 3600.02/3612.01 c #Conflicts: 721000 | #Constraints: 57145 3600.02/3612.01 c #Conflicts: 722000 | #Constraints: 58146 3600.02/3612.01 c #Conflicts: 723000 | #Constraints: 59146 3600.02/3612.01 c #Conflicts: 724000 | #Constraints: 60146 3600.02/3612.01 c #Conflicts: 725000 | #Constraints: 61146 3600.02/3612.01 c #Conflicts: 726000 | #Constraints: 62146 3600.02/3612.01 c #Conflicts: 727000 | #Constraints: 63146 3600.02/3612.01 c #Conflicts: 728000 | #Constraints: 64146 3600.02/3612.01 c #Conflicts: 729000 | #Constraints: 65146 3600.02/3612.01 c #Conflicts: 730000 | #Constraints: 66146 3600.02/3612.01 c #Conflicts: 731000 | #Constraints: 67146 3600.02/3612.01 c #Conflicts: 732000 | #Constraints: 68146 3600.02/3612.01 c #Conflicts: 733000 | #Constraints: 69146 3600.02/3612.01 c #Conflicts: 734000 | #Constraints: 70146 3600.02/3612.01 c #Conflicts: 735000 | #Constraints: 71146 3600.02/3612.01 c #Conflicts: 736000 | #Constraints: 72146 3600.02/3612.01 c #Conflicts: 737000 | #Constraints: 73146 3600.02/3612.01 c #Conflicts: 738000 | #Constraints: 74146 3600.02/3612.01 c #Conflicts: 739000 | #Constraints: 75146 3600.02/3612.01 c #Conflicts: 740000 | #Constraints: 76146 3600.02/3612.01 c #Conflicts: 741000 | #Constraints: 77146 3600.02/3612.01 c #Conflicts: 742000 | #Constraints: 78146 3600.02/3612.01 c #Conflicts: 743000 | #Constraints: 79146 3600.02/3612.01 c bounds 193 >= 147 @ 3515.14 3600.02/3612.01 c #Conflicts: 744000 | #Constraints: 80147 3600.02/3612.01 c #Conflicts: 745000 | #Constraints: 81147 3600.02/3612.01 c #Conflicts: 746000 | #Constraints: 82147 3600.02/3612.01 c #Conflicts: 747000 | #Constraints: 83147 3600.02/3612.01 c #Conflicts: 748000 | #Constraints: 84147
OK 193
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62627 MiB free)
memory of node 1: 64510 MiB (62656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429407-1721048409/watcher-4429407-1721048409 -o /tmp/evaluation-result-4429407-1721048409/solver-4429407-1721048409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721048295-796635 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429407-1721048409.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog threadLinux 4.18.0-301.1.el8.x86_64
Starting watchdog threadLinux 4.18.0-301.1.el8.x86_64Current StackSize limit: 8192 KiB
solver pid=797736, runsolver pid=797733
[startup+0.100095 s]*
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128289328/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=38448 memory=8680 CPUtime=0.1 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 625 0 0 0 10 0 0 0 20 0 1 0 156997023 39370752 2170 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 9612 2170 1754 922 0 1564 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38448 KiB
Current children cumulated memory: 8680 KiB
[startup+0.213198 s]*
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128284604/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=39904 memory=12960 CPUtime=0.22 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 1121 0 0 0 19 3 0 0 20 0 1 0 156997023 40861696 3240 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 9976 3240 1786 922 0 1928 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 12960 KiB
[startup+0.313182 s]*
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128284268/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=40556 memory=13848 CPUtime=0.31 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 1312 0 0 0 27 4 0 0 20 0 1 0 156997023 41529344 3462 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 10139 3462 1846 922 0 2091 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40556 KiB
Current children cumulated memory: 13848 KiB
[startup+0.700327 s]
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128281384/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=43412 memory=16740 CPUtime=0.69 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 2045 0 0 0 62 7 0 0 20 0 1 0 156997023 44453888 4185 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 10853 4185 1862 922 0 2805 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 16740 KiB
[startup+1.50033 s]
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128279340/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=46788 memory=21228 CPUtime=1.48 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 3203 0 0 0 138 10 0 0 20 0 1 0 156997023 47910912 5307 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 11697 5307 1862 922 0 3649 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46788 KiB
Current children cumulated memory: 21228 KiB
[startup+3.11288 s]
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128270704/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=47608 memory=22032 CPUtime=3.09 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 3448 0 0 0 293 16 0 0 20 0 1 0 156997023 48750592 5508 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 11902 5508 1862 922 0 3854 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47608 KiB
Current children cumulated memory: 22032 KiB
[startup+6.3003 s]
/proc/loadavg: 4.06 4.06 4.07 5/246 797738
/proc/meminfo: memFree=128236200/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=54612 memory=28436 CPUtime=6.27 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 5026 0 0 0 600 27 0 0 20 0 1 0 156997023 55922688 7109 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 13653 7109 1862 922 0 5605 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54612 KiB
Current children cumulated memory: 28436 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.06 4.07 5/246 797738
/proc/meminfo: memFree=128189760/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=77788 memory=48816 CPUtime=12.65 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 8589 0 0 0 1219 46 0 0 20 0 1 0 156997023 79654912 12204 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 19447 12204 1862 922 0 11399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77788 KiB
Current children cumulated memory: 48816 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.07 4.08 5/245 797742
/proc/meminfo: memFree=128181568/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=79308 memory=50896 CPUtime=25.41 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 9159 0 0 0 2476 65 0 0 20 0 1 0 156997023 81211392 12724 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 19827 12724 1862 922 0 11779 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 50896 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 4.06 4.07 5/245 797756
/proc/meminfo: memFree=128170364/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=87516 memory=58528 CPUtime=50.93 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 11078 0 0 0 4977 116 0 0 20 0 1 0 156997023 89616384 14632 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 21879 14632 1862 922 0 13831 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 87516 KiB
Current children cumulated memory: 58528 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.07 4.07 5/246 797768
/proc/meminfo: memFree=128094340/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=186032 memory=125816 CPUtime=101.94 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 20181 0 0 0 10023 171 0 0 20 0 1 0 156997023 190496768 31454 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 46508 31454 1941 922 0 38460 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 186032 KiB
Current children cumulated memory: 125816 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.07 4.07 5/246 797778
/proc/meminfo: memFree=127878956/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=186884 memory=129368 CPUtime=161.74 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 20708 0 0 0 15944 230 0 0 20 0 1 0 156997023 191369216 32342 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 46721 32342 1941 922 0 38673 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 186884 KiB
Current children cumulated memory: 129368 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.08 4.08 5/244 797788
/proc/meminfo: memFree=127386804/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=195148 memory=135968 CPUtime=221.52 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 22335 0 0 0 21861 291 0 0 20 0 1 0 156997023 199831552 33992 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 48787 33992 1941 922 0 40739 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 195148 KiB
Current children cumulated memory: 135968 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/244 797800
/proc/meminfo: memFree=127313164/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=227724 memory=174068 CPUtime=281.32 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 28792 0 0 0 27801 331 0 0 20 0 1 0 156997023 233189376 43517 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 56931 43517 1941 922 0 48883 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 174068 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/242 797810
/proc/meminfo: memFree=127296424/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=231996 memory=182140 CPUtime=341.11 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 29793 0 0 0 33751 360 0 0 20 0 1 0 156997023 237563904 45535 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 57999 45535 1941 922 0 49951 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 231996 KiB
Current children cumulated memory: 182140 KiB
[startup+402.3 s]
/proc/loadavg: 4.53 4.18 4.12 5/241 797820
/proc/meminfo: memFree=127272612/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=232268 memory=182400 CPUtime=400.91 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 29899 0 0 0 39678 413 0 0 20 0 1 0 156997023 237842432 45600 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 58067 45600 1941 922 0 50019 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 232268 KiB
Current children cumulated memory: 182400 KiB
[startup+462.3 s]
/proc/loadavg: 4.77 4.33 4.18 5/241 797831
/proc/meminfo: memFree=127232668/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=234740 memory=184776 CPUtime=460.7 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 30455 0 0 0 45630 440 0 0 20 0 1 0 156997023 240373760 46194 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 58685 46194 1941 922 0 50637 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
Current children cumulated memory: 365164 KiB
[startup+2862.3 s]
/proc/loadavg: 4.36 4.17 4.17 5/241 798987
/proc/meminfo: memFree=125315840/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=479852 memory=365164 CPUtime=2852.75 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 57871 0 0 0 283955 1320 0 0 20 0 1 0 156997023 491368448 91291 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 119963 91291 1941 922 0 111915 0
Current children cumulated CPU time: 2852.75 s
Current children cumulated vsize: 479852 KiB
Current children cumulated memory: 365164 KiB
[startup+2922.3 s]
/proc/loadavg: 4.61 4.29 4.21 5/241 798997
/proc/meminfo: memFree=125271012/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=479852 memory=365164 CPUtime=2912.56 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 58065 0 0 0 289916 1340 0 0 20 0 1 0 156997023 491368448 91291 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 119963 91291 1941 922 0 111915 0
Current children cumulated CPU time: 2912.56 s
Current children cumulated vsize: 479852 KiB
Current children cumulated memory: 365164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.34 4.27 4.20 5/241 799009
/proc/meminfo: memFree=125236800/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=479852 memory=365164 CPUtime=2972.36 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 58259 0 0 0 295878 1358 0 0 20 0 1 0 156997023 491368448 91291 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 119963 91291 1941 922 0 111915 0
Current children cumulated CPU time: 2972.36 s
Current children cumulated vsize: 479852 KiB
Current children cumulated memory: 365164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.23 4.19 5/243 799023
/proc/meminfo: memFree=125194504/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=479852 memory=365172 CPUtime=3032.16 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 58455 0 0 0 301842 1374 0 0 20 0 1 0 156997023 491368448 91293 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 119963 91293 1941 922 0 111915 0
Current children cumulated CPU time: 3032.16 s
Current children cumulated vsize: 479852 KiB
Current children cumulated memory: 365172 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/243 799033
/proc/meminfo: memFree=125153868/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=479852 memory=365200 CPUtime=3091.97 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 58657 0 0 0 307807 1390 0 0 20 0 1 0 156997023 491368448 91300 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 119963 91300 1941 922 0 111915 0
Current children cumulated CPU time: 3091.97 s
Current children cumulated vsize: 479852 KiB
Current children cumulated memory: 365200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/243 799044
/proc/meminfo: memFree=125112148/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=481316 memory=365988 CPUtime=3151.77 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 59052 0 0 0 313773 1404 0 0 20 0 1 0 156997023 492867584 91497 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120329 91497 1941 922 0 112281 0
Current children cumulated CPU time: 3151.77 s
Current children cumulated vsize: 481316 KiB
Current children cumulated memory: 365988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.19 4.18 5/243 799054
/proc/meminfo: memFree=125070524/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=482084 memory=366608 CPUtime=3211.58 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 59663 0 0 0 319734 1424 0 0 20 0 1 0 156997023 493654016 91652 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120521 91652 1941 922 0 112473 0
Current children cumulated CPU time: 3211.58 s
Current children cumulated vsize: 482084 KiB
Current children cumulated memory: 366608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/243 799065
/proc/meminfo: memFree=125046884/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=482084 memory=366608 CPUtime=3271.38 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 59857 0 0 0 325689 1449 0 0 20 0 1 0 156997023 493654016 91652 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120521 91652 1941 922 0 112473 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 482084 KiB
Current children cumulated memory: 366608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/242 799458
/proc/meminfo: memFree=125040124/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=482412 memory=366808 CPUtime=3331.19 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 60101 0 0 0 331647 1472 0 0 20 0 1 0 156997023 493989888 91702 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120603 91702 1941 922 0 112555 0
Current children cumulated CPU time: 3331.19 s
Current children cumulated vsize: 482412 KiB
Current children cumulated memory: 366808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/242 799468
/proc/meminfo: memFree=125034788/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=482412 memory=366808 CPUtime=3390.98 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 60295 0 0 0 337605 1493 0 0 20 0 1 0 156997023 493989888 91702 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120603 91702 1941 922 0 112555 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 482412 KiB
Current children cumulated memory: 366808 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/243 799479
/proc/meminfo: memFree=125034484/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=482412 memory=366808 CPUtime=3450.79 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 60492 0 0 0 343566 1513 0 0 20 0 1 0 156997023 493989888 91702 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120603 91702 1941 922 0 112555 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 482412 KiB
Current children cumulated memory: 366808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 799749
/proc/meminfo: memFree=127615712/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=483312 memory=367296 CPUtime=3510.59 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 60810 0 0 0 349531 1528 0 0 20 0 1 0 156997023 494911488 91824 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120828 91824 1941 922 0 112780 0
Current children cumulated CPU time: 3510.59 s
Current children cumulated vsize: 483312 KiB
Current children cumulated memory: 367296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/244 799805
/proc/meminfo: memFree=125563252/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=483312 memory=367380 CPUtime=3570.4 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 61020 0 0 0 355501 1539 0 0 20 0 1 0 156997023 494911488 91845 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120828 91845 1941 922 0 112780 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 483312 KiB
Current children cumulated memory: 367380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.13 4.12 4.15 5/245 799814
/proc/meminfo: memFree=124426372/131655788 swapFree=131071996/131071996
[pid=797736] ppid=797733 vsize=483312 memory=367380 CPUtime=3600.02 cores=0,2
/proc/797736/stat : 797736 (roundingsat) R 797733 797736 796625 0 -1 4194304 61117 0 0 0 358458 1544 0 0 20 0 1 0 156997023 494911488 91845 134679101440 4194304 7968869 140731161600432 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 35610624 140731161609150 140731161609314 140731161609314 140731161616329 0
/proc/797736/statm: 120828 91845 1941 922 0 112780 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 483312 KiB
Current children cumulated memory: 367380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 797736 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3584.58 s, system=15.4462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3612.02
CPU time (s): 3600.03
CPU user time (s): 3584.58
CPU system time (s): 15.4462
CPU usage (%): 99.6681
Max. virtual memory (cumulated for all children) (KiB): 483432
Max. memory (cumulated for all children) (KiB): 367556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.58
system time used= 15.4462
maximum resident set size= 367556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 25224
# summary of solver processes directly reported to runsolver:
# pid: 797736
# total CPU time (s): 3600.03
# total CPU user time (s): 3584.58
# total CPU system time (s): 15.4462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1554 second user time and 36.0516 second system time
The end
Begin job on nodeC003 at 2024-07-15 15:00:21 IDJOB=4429407 IDBENCH=147545 IDSOLVER=3051 FILE ID=nodeC003/4429407-1721048409 RUNJOBID= nodeC003-1721048295-796635 SLURM_JOB_ID= 7505458 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.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-4429407-1721048409/watcher-4429407-1721048409 -o /tmp/evaluation-result-4429407-1721048409/solver-4429407-1721048409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721048295-796635 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429407-1721048409.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=579923081 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.913 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3655.287 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.219 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.328 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3592.659 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3655.475 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.456 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.463 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128291396 kB MemAvailable: 129118944 kB Buffers: 376024 kB Cached: 1286312 kB SwapCached: 0 kB Active: 580048 kB Inactive: 2246724 kB Active(anon): 1476 kB Inactive(anon): 1200332 kB Active(file): 578572 kB Inactive(file): 1046392 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5448 kB Writeback: 0 kB AnonPages: 1164112 kB Mapped: 113380 kB Shmem: 37704 kB KReclaimable: 85228 kB Slab: 180080 kB SReclaimable: 85228 kB SUnreclaim: 94852 kB KernelStack: 3964 kB PageTables: 12064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1544312 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 50976 kB HardwareCorrupted: 0 kB AnonHugePages: 376832 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: 224072 kB DirectMap2M: 13312000 kB DirectMap1G: 122683392 kB Free space on /tmp at the end= 723708 MiB End job on nodeC003 at 2024-07-15 16:00:33