| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.08 | 3609.41 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb |
| MD5SUM | bb00c8681178995acecbc2b6e4ec1a1a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2386.3 |
| 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 | 2130 |
| Total number of constraints | 2495 |
| Number of constraints which are clauses | 2125 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 320 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 320 |
| Number of terms in the objective function | 5 |
| 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 | 5 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 636 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 2130 #constraints 2544 0.00/0.02 c bounds - >= 5 @ 0.009364 0.00/0.02 c rational objective 5 1.39/1.47 c #Conflicts: 1000 | #Constraints: 3582 1.39/1.47 c #Conflicts: 2000 | #Constraints: 4603 1.39/1.47 c INPROCESSING 1.39/1.47 c GARBAGE COLLECT 1.39/1.47 c #Conflicts: 3000 | #Constraints: 2520 1.39/1.47 c #Conflicts: 4000 | #Constraints: 3531 1.39/1.47 c INPROCESSING 1.39/1.47 c GARBAGE COLLECT 1.39/1.47 c rational objective 5 2.48/2.52 c #Conflicts: 5000 | #Constraints: 2900 2.48/2.52 c #Conflicts: 6000 | #Constraints: 3907 2.48/2.52 c INPROCESSING 2.48/2.52 c GARBAGE COLLECT 2.48/2.52 c rational objective 5 3.99/4.01 c #Conflicts: 7000 | #Constraints: 2885 3.99/4.01 c #Conflicts: 8000 | #Constraints: 3889 3.99/4.01 c #Conflicts: 9000 | #Constraints: 4892 3.99/4.01 c INPROCESSING 3.99/4.01 c GARBAGE COLLECT 3.99/4.01 c rational objective 5 5.38/5.45 c #Conflicts: 10000 | #Constraints: 3582 5.38/5.45 c #Conflicts: 11000 | #Constraints: 4590 5.38/5.45 c #Conflicts: 12000 | #Constraints: 5594 5.38/5.45 c INPROCESSING 5.38/5.45 c GARBAGE COLLECT 5.38/5.45 c rational objective 5 6.87/6.94 c #Conflicts: 13000 | #Constraints: 4037 6.87/6.94 c #Conflicts: 14000 | #Constraints: 5040 6.87/6.94 c #Conflicts: 15000 | #Constraints: 6043 6.87/6.94 c INPROCESSING 6.87/6.94 c GARBAGE COLLECT 6.87/6.94 c rational objective 5 8.87/8.91 c #Conflicts: 16000 | #Constraints: 4248 8.87/8.91 c #Conflicts: 17000 | #Constraints: 5260 8.87/8.91 c #Conflicts: 18000 | #Constraints: 6269 8.87/8.91 c INPROCESSING 8.87/8.91 c GARBAGE COLLECT 8.87/8.91 c rational objective 5 10.67/10.79 c #Conflicts: 19000 | #Constraints: 4288 10.67/10.79 c #Conflicts: 20000 | #Constraints: 5293 10.67/10.79 c #Conflicts: 21000 | #Constraints: 6299 10.67/10.79 c INPROCESSING 10.67/10.79 c GARBAGE COLLECT 10.67/10.79 c rational objective 5 12.97/13.07 c #Conflicts: 22000 | #Constraints: 4084 12.97/13.07 c #Conflicts: 23000 | #Constraints: 5089 12.97/13.07 c #Conflicts: 24000 | #Constraints: 6098 12.97/13.07 c #Conflicts: 25000 | #Constraints: 7106 12.97/13.07 c INPROCESSING 12.97/13.07 c GARBAGE COLLECT 12.97/13.07 c rational objective 5 15.75/15.83 c #Conflicts: 26000 | #Constraints: 4679 15.75/15.83 c #Conflicts: 27000 | #Constraints: 5680 15.75/15.83 c #Conflicts: 28000 | #Constraints: 6736 15.75/15.83 c #Conflicts: 29000 | #Constraints: 7743 15.75/15.83 c INPROCESSING 15.75/15.83 c GARBAGE COLLECT 15.75/15.83 c rational objective 5 18.25/18.36 c #Conflicts: 30000 | #Constraints: 5101 18.25/18.36 c #Conflicts: 31000 | #Constraints: 6105 18.25/18.36 c #Conflicts: 32000 | #Constraints: 7112 18.25/18.36 c #Conflicts: 33000 | #Constraints: 8115 18.25/18.36 c INPROCESSING 18.25/18.36 c GARBAGE COLLECT 18.25/18.36 c rational objective 5 20.84/20.95 c #Conflicts: 34000 | #Constraints: 5294 20.84/20.95 c #Conflicts: 35000 | #Constraints: 6297 20.84/20.95 c #Conflicts: 36000 | #Constraints: 7303 20.84/20.95 c #Conflicts: 37000 | #Constraints: 8311 20.84/20.95 c INPROCESSING 20.84/20.95 c GARBAGE COLLECT 20.84/20.95 c rational objective 5 24.43/24.50 c #Conflicts: 38000 | #Constraints: 5303 24.43/24.50 c #Conflicts: 39000 | #Constraints: 6308 24.43/24.50 c #Conflicts: 40000 | #Constraints: 7318 24.43/24.50 c #Conflicts: 41000 | #Constraints: 8323 24.43/24.50 c INPROCESSING 24.43/24.50 c GARBAGE COLLECT 24.43/24.50 c rational objective 5 28.03/28.11 c #Conflicts: 42000 | #Constraints: 5110 28.03/28.11 c #Conflicts: 43000 | #Constraints: 6116 28.03/28.11 c #Conflicts: 44000 | #Constraints: 7123 28.03/28.11 c #Conflicts: 45000 | #Constraints: 8128 28.03/28.11 c #Conflicts: 46000 | #Constraints: 9136 28.03/28.11 c INPROCESSING 28.03/28.11 c GARBAGE COLLECT 28.03/28.11 c rational objective 5 31.31/31.48 c #Conflicts: 47000 | #Constraints: 5699 31.31/31.48 c #Conflicts: 48000 | #Constraints: 6703 31.31/31.48 c #Conflicts: 49000 | #Constraints: 7714 31.31/31.48 c #Conflicts: 50000 | #Constraints: 8719 31.31/31.48 c #Conflicts: 51000 | #Constraints: 9720 31.31/31.48 c INPROCESSING 31.31/31.48 c GARBAGE COLLECT 31.31/31.48 c rational objective 5 35.20/35.35 c #Conflicts: 52000 | #Constraints: 6098 35.20/35.35 c #Conflicts: 53000 | #Constraints: 7100 35.20/35.35 c #Conflicts: 54000 | #Constraints: 8104 35.20/35.35 c #Conflicts: 55000 | #Constraints: 9110 35.20/35.35 c #Conflicts: 56000 | #Constraints: 10115 35.20/35.35 c INPROCESSING 35.20/35.35 c GARBAGE COLLECT 35.20/35.35 c rational objective 5 38.58/38.79 c #Conflicts: 57000 | #Constraints: 6292 38.58/38.79 c #Conflicts: 58000 | #Constraints: 7300 38.58/38.79 c #Conflicts: 59000 | #Constraints: 8306 38.58/38.79 c #Conflicts: 60000 | #Constraints: 9312 38.58/38.79 c #Conflicts: 61000 | #Constraints: 10316 38.58/38.79 c INPROCESSING 38.58/38.79 c GARBAGE COLLECT 38.58/38.79 c rational objective 5 43.17/43.37 c #Conflicts: 62000 | #Constraints: 6305 43.17/43.37 c #Conflicts: 63000 | #Constraints: 7314 43.17/43.37 c #Conflicts: 64000 | #Constraints: 8321 43.17/43.37 c #Conflicts: 65000 | #Constraints: 9324 43.17/43.37 c #Conflicts: 66000 | #Constraints: 10332 43.17/43.37 c INPROCESSING 43.17/43.37 c GARBAGE COLLECT 43.17/43.37 c rational objective 5 48.87/49.10 c #Conflicts: 67000 | #Constraints: 6101 48.87/49.10 c #Conflicts: 68000 | #Constraints: 7104 48.87/49.10 c #Conflicts: 69000 | #Constraints: 8111 48.87/49.10 c #Conflicts: 70000 | #Constraints: 9116 48.87/49.10 c #Conflicts: 71000 | #Constraints: 10123 48.87/49.10 c #Conflicts: 72000 | #Constraints: 11134 48.87/49.10 c INPROCESSING 48.87/49.10 c GARBAGE COLLECT 48.87/49.10 c rational objective 5 53.14/53.38 c #Conflicts: 73000 | #Constraints: 6695 53.14/53.38 c #Conflicts: 74000 | #Constraints: 7702 53.14/53.38 c #Conflicts: 75000 | #Constraints: 8705 53.14/53.38 c #Conflicts: 76000 | #Constraints: 9709 53.14/53.38 c #Conflicts: 77000 | #Constraints: 10717 53.14/53.38 c #Conflicts: 78000 | #Constraints: 11722 53.14/53.38 c INPROCESSING 53.14/53.38 c GARBAGE COLLECT 53.14/53.38 c rational objective 5 58.22/58.41 c #Conflicts: 79000 | #Constraints: 7096 58.22/58.41 c #Conflicts: 80000 | #Constraints: 8099 58.22/58.41 c #Conflicts: 81000 | #Constraints: 9106 58.22/58.41 c #Conflicts: 82000 | #Constraints: 10109 58.22/58.41 c #Conflicts: 83000 | #Constraints: 11113 58.22/58.41 c #Conflicts: 84000 | #Constraints: 12121 58.22/58.41 c INPROCESSING 58.22/58.41 c GARBAGE COLLECT 58.22/58.41 c rational objective 5 67.59/67.83 c #Conflicts: 85000 | #Constraints: 7300 67.59/67.83 c #Conflicts: 86000 | #Constraints: 8307 67.59/67.83 c #Conflicts: 87000 | #Constraints: 9312 67.59/67.83 c #Conflicts: 88000 | #Constraints: 10317 67.59/67.83 c #Conflicts: 89000 | #Constraints: 11325 67.59/67.83 c #Conflicts: 90000 | #Constraints: 12331 67.59/67.83 c INPROCESSING 67.59/67.83 c GARBAGE COLLECT 67.59/67.83 c rational objective 5 79.16/79.45 c #Conflicts: 91000 | #Constraints: 7316 79.16/79.45 c #Conflicts: 92000 | #Constraints: 8324 79.16/79.45 c #Conflicts: 93000 | #Constraints: 9329 79.16/79.45 c #Conflicts: 94000 | #Constraints: 10335 79.16/79.45 c #Conflicts: 95000 | #Constraints: 11338 79.16/79.45 c #Conflicts: 96000 | #Constraints: 12342 79.16/79.45 c INPROCESSING 79.16/79.45 c GARBAGE COLLECT 79.16/79.45 c rational objective 5 84.55/84.85 c #Conflicts: 97000 | #Constraints: 7115 84.55/84.85 c #Conflicts: 98000 | #Constraints: 8120 84.55/84.85 c #Conflicts: 99000 | #Constraints: 9127 84.55/84.85 c #Conflicts: 100000 | #Constraints: 10131 84.55/84.85 c #Conflicts: 101000 | #Constraints: 11135 84.55/84.85 c #Conflicts: 102000 | #Constraints: 12140 84.55/84.85 c #Conflicts: 103000 | #Constraints: 13147 84.55/84.85 c INPROCESSING 84.55/84.85 c GARBAGE COLLECT 84.55/84.85 c rational objective 5 90.53/90.89 c #Conflicts: 104000 | #Constraints: 7705 90.53/90.89 c #Conflicts: 105000 | #Constraints: 8711 90.53/90.89 c #Conflicts: 106000 | #Constraints: 9716 90.53/90.89 c #Conflicts: 107000 | #Constraints: 10718 90.53/90.89 c #Conflicts: 108000 | #Constraints: 11720 90.53/90.89 c #Conflicts: 109000 | #Constraints: 12726 90.53/90.89 c #Conflicts: 110000 | #Constraints: 13732 90.53/90.89 c INPROCESSING 90.53/90.89 c GARBAGE COLLECT 90.53/90.89 c rational objective 5 96.61/96.98 c #Conflicts: 111000 | #Constraints: 8103 96.61/96.98 c #Conflicts: 112000 | #Constraints: 9107 96.61/96.98 c #Conflicts: 113000 | #Constraints: 10110 96.61/96.98 c #Conflicts: 114000 | #Constraints: 11117 96.61/96.98 c #Conflicts: 115000 | #Constraints: 12126 96.61/96.98 c #Conflicts: 116000 | #Constraints: 13129 96.61/96.98 c #Conflicts: 117000 | #Constraints: 14131 96.61/96.98 c INPROCESSING 96.61/96.98 c GARBAGE COLLECT 96.61/96.98 c rational objective 5 102.19/102.56 c #Conflicts: 118000 | #Constraints: 8309 102.19/102.56 c #Conflicts: 119000 | #Constraints: 9314 102.19/102.56 c #Conflicts: 120000 | #Constraints: 10317 102.19/102.56 c #Conflicts: 121000 | #Constraints: 11323 102.19/102.56 c #Conflicts: 122000 | #Constraints: 12327 102.19/102.56 c #Conflicts: 123000 | #Constraints: 13333 102.19/102.56 c #Conflicts: 124000 | #Constraints: 14340 102.19/102.56 c INPROCESSING 102.19/102.56 c GARBAGE COLLECT 102.19/102.56 c rational objective 5 108.68/109.03 c #Conflicts: 125000 | #Constraints: 8304 108.68/109.03 c #Conflicts: 126000 | #Constraints: 9308 108.68/109.03 c #Conflicts: 127000 | #Constraints: 10315 108.68/109.03 c #Conflicts: 128000 | #Constraints: 11320 108.68/109.03 c #Conflicts: 129000 | #Constraints: 12326 108.68/109.03 c #Conflicts: 130000 | #Constraints: 13331 108.68/109.03 c #Conflicts: 131000 | #Constraints: 14336 108.68/109.03 c INPROCESSING 108.68/109.03 c GARBAGE COLLECT 108.68/109.03 c rational objective 5 116.05/116.44 c #Conflicts: 132000 | #Constraints: 8096 116.05/116.44 c #Conflicts: 133000 | #Constraints: 9105 116.05/116.44 c #Conflicts: 134000 | #Constraints: 10108 116.05/116.44 c #Conflicts: 135000 | #Constraints: 11114 116.05/116.44 c #Conflicts: 136000 | #Constraints: 12121 116.05/116.44 c #Conflicts: 137000 | #Constraints: 13124 116.05/116.44 c #Conflicts: 138000 | #Constraints: 14129 116.05/116.44 c #Conflicts: 139000 | #Constraints: 15135 116.05/116.44 c INPROCESSING 116.05/116.44 c GARBAGE COLLECT 116.05/116.44 c rational objective 5 125.52/125.93 c #Conflicts: 140000 | #Constraints: 8706 125.52/125.93 c #Conflicts: 141000 | #Constraints: 9709 125.52/125.93 c #Conflicts: 142000 | #Constraints: 10717 125.52/125.93 c #Conflicts: 143000 | #Constraints: 11735 125.52/125.93 c #Conflicts: 144000 | #Constraints: 12765 125.52/125.93 c #Conflicts: 145000 | #Constraints: 13825 125.52/125.93 c #Conflicts: 146000 | #Constraints: 14857 125.52/125.93 c #Conflicts: 147000 | #Constraints: 15900 125.52/125.93 c INPROCESSING 125.52/125.93 c GARBAGE COLLECT 125.52/125.93 c rational objective 5 132.10/132.59 c #Conflicts: 148000 | #Constraints: 9198 132.10/132.59 c #Conflicts: 149000 | #Constraints: 10208 132.10/132.59 c #Conflicts: 150000 | #Constraints: 11213 132.10/132.59 c #Conflicts: 151000 | #Constraints: 12217 132.10/132.59 c #Conflicts: 152000 | #Constraints: 13225 132.10/132.59 c #Conflicts: 153000 | #Constraints: 14232 132.10/132.59 c #Conflicts: 154000 | #Constraints: 15241 132.10/132.59 c #Conflicts: 155000 | #Constraints: 16245 132.10/132.59 c INPROCESSING 132.10/132.59 c GARBAGE COLLECT 132.10/132.59 c rational objective 5 140.48/140.95 c #Conflicts: 156000 | #Constraints: 9372 140.48/140.95 c #Conflicts: 157000 | #Constraints: 10375 140.48/140.95 c #Conflicts: 158000 | #Constraints: 11384 140.48/140.95 c #Conflicts: 159000 | #Constraints: 12392 140.48/140.95 c #Conflicts: 160000 | #Constraints: 13400 140.48/140.95 c #Conflicts: 161000 | #Constraints: 14403 140.48/140.95 c #Conflicts: 162000 | #Constraints: 15409 140.48/140.95 c #Conflicts: 163000 | #Constraints: 16412 140.48/140.95 c INPROCESSING 140.48/140.95 c GARBAGE COLLECT 140.48/140.95 c rational objective 5 148.25/148.75 c #Conflicts: 164000 | #Constraints: 9343 148.25/148.75 c #Conflicts: 165000 | #Constraints: 10348 148.25/148.75 c #Conflicts: 166000 | #Constraints: 11350 148.25/148.75 c #Conflicts: 167000 | #Constraints: 12355 148.25/148.75 c #Conflicts: 168000 | #Constraints: 13359 148.25/148.75 c #Conflicts: 169000 | #Constraints: 14366 148.25/148.75 c #Conflicts: 170000 | #Constraints: 15369 148.25/148.75 c #Conflicts: 171000 | #Constraints: 16375 148.25/148.75 c INPROCESSING 148.25/148.75 c GARBAGE COLLECT 148.25/148.75 c rational objective 5 158.53/159.04 c #Conflicts: 172000 | #Constraints: 9112 158.53/159.04 c #Conflicts: 173000 | #Constraints: 10116 158.53/159.04 c #Conflicts: 174000 | #Constraints: 11119 158.53/159.04 c #Conflicts: 175000 | #Constraints: 12122 158.53/159.04 c #Conflicts: 176000 | #Constraints: 13129 158.53/159.04 c #Conflicts: 177000 | #Constraints: 14135 158.53/159.04 c #Conflicts: 178000 | #Constraints: 15139 158.53/159.04 c #Conflicts: 179000 | #Constraints: 16144 158.53/159.04 c #Conflicts: 180000 | #Constraints: 17147 158.53/159.04 c INPROCESSING 158.53/159.04 c GARBAGE COLLECT 158.53/159.04 c rational objective 5 170.08/170.63 c #Conflicts: 181000 | #Constraints: 9714 170.08/170.63 c #Conflicts: 182000 | #Constraints: 10719 170.08/170.63 c #Conflicts: 183000 | #Constraints: 11724 170.08/170.63 c #Conflicts: 184000 | #Constraints: 12730 170.08/170.63 c #Conflicts: 185000 | #Constraints: 13739 170.08/170.63 c #Conflicts: 186000 | #Constraints: 14743 170.08/170.63 c #Conflicts: 187000 | #Constraints: 15748 170.08/170.63 c #Conflicts: 188000 | #Constraints: 16751 170.08/170.63 c #Conflicts: 189000 | #Constraints: 17756 170.08/170.63 c INPROCESSING 170.08/170.63 c GARBAGE COLLECT 170.08/170.63 c rational objective 5 179.35/179.94 c #Conflicts: 190000 | #Constraints: 10118 179.35/179.94 c #Conflicts: 191000 | #Constraints: 11123 179.35/179.94 c #Conflicts: 192000 | #Constraints: 12124 179.35/179.94 c #Conflicts: 193000 | #Constraints: 13128 179.35/179.94 c #Conflicts: 194000 | #Constraints: 14132 179.35/179.94 c #Conflicts: 195000 | #Constraints: 15140 179.35/179.94 c #Conflicts: 196000 | #Constraints: 16147 179.35/179.94 c #Conflicts: 197000 | #Constraints: 17149 179.35/179.94 c #Conflicts: 198000 | #Constraints: 18155 179.35/179.94 c INPROCESSING 179.35/179.94 c GARBAGE COLLECT 179.35/179.94 c rational objective 5 198.80/199.44 c #Conflicts: 199000 | #Constraints: 10326 198.80/199.44 c #Conflicts: 200000 | #Constraints: 11329 198.80/199.44 c #Conflicts: 201000 | #Constraints: 12334 198.80/199.44 c #Conflicts: 202000 | #Constraints: 13341 198.80/199.44 c #Conflicts: 203000 | #Constraints: 14346 198.80/199.44 c #Conflicts: 204000 | #Constraints: 15354 198.80/199.44 c #Conflicts: 205000 | #Constraints: 16359 198.80/199.44 c #Conflicts: 206000 | #Constraints: 17366 198.80/199.44 c #Conflicts: 207000 | #Constraints: 18374 198.80/199.44 c INPROCESSING 198.80/199.44 c GARBAGE COLLECT 198.80/199.44 c rational objective 5 228.01/228.71 c #Conflicts: 208000 | #Constraints: 10332 228.01/228.71 c #Conflicts: 209000 | #Constraints: 11340 228.01/228.71 c #Conflicts: 210000 | #Constraints: 12345 228.01/228.71 c #Conflicts: 211000 | #Constraints: 13360 228.01/228.71 c #Conflicts: 212000 | #Constraints: 14368 228.01/228.71 c #Conflicts: 213000 | #Constraints: 15372 228.01/228.71 c #Conflicts: 214000 | #Constraints: 16375 228.01/228.71 c #Conflicts: 215000 | #Constraints: 17379 228.01/228.71 c #Conflicts: 216000 | #Constraints: 18381 228.01/228.71 c INPROCESSING 228.01/228.71 c GARBAGE COLLECT 228.01/228.71 c rational objective 5 253.83/254.63 c #Conflicts: 217000 | #Constraints: 10137 253.83/254.63 c #Conflicts: 218000 | #Constraints: 11142 253.83/254.63 c #Conflicts: 219000 | #Constraints: 12146 253.83/254.63 c #Conflicts: 220000 | #Constraints: 13152 253.83/254.63 c #Conflicts: 221000 | #Constraints: 14156 253.83/254.63 c #Conflicts: 222000 | #Constraints: 15160 253.83/254.63 c #Conflicts: 223000 | #Constraints: 16164 253.83/254.63 c #Conflicts: 224000 | #Constraints: 17166 253.83/254.63 c #Conflicts: 225000 | #Constraints: 18167 253.83/254.63 c #Conflicts: 226000 | #Constraints: 19171 253.83/254.63 c INPROCESSING 253.83/254.63 c GARBAGE COLLECT 253.83/254.63 c rational objective 5 271.58/272.42 c #Conflicts: 227000 | #Constraints: 10725 271.58/272.42 c #Conflicts: 228000 | #Constraints: 11728 271.58/272.42 c #Conflicts: 229000 | #Constraints: 12734 271.58/272.42 c #Conflicts: 230000 | #Constraints: 13737 271.58/272.42 c #Conflicts: 231000 | #Constraints: 14740 271.58/272.42 c #Conflicts: 232000 | #Constraints: 15746 271.58/272.42 c #Conflicts: 233000 | #Constraints: 16751 271.58/272.42 c #Conflicts: 234000 | #Constraints: 17760 271.58/272.42 c #Conflicts: 235000 | #Constraints: 18764 271.58/272.42 c #Conflicts: 236000 | #Constraints: 19769 271.58/272.42 c INPROCESSING 271.58/272.42 c GARBAGE COLLECT 271.58/272.42 c rational objective 5 284.15/285.09 c #Conflicts: 237000 | #Constraints: 11127 284.15/285.09 c #Conflicts: 238000 | #Constraints: 12134 284.15/285.09 c #Conflicts: 239000 | #Constraints: 13142 284.15/285.09 c #Conflicts: 240000 | #Constraints: 14148 284.15/285.09 c #Conflicts: 241000 | #Constraints: 15157 284.15/285.09 c #Conflicts: 242000 | #Constraints: 16167 284.15/285.09 c #Conflicts: 243000 | #Constraints: 17174 284.15/285.09 c #Conflicts: 244000 | #Constraints: 18182 284.15/285.09 c #Conflicts: 245000 | #Constraints: 19187 284.15/285.09 c #Conflicts: 246000 | #Constraints: 20193 284.15/285.09 c INPROCESSING 284.15/285.09 c GARBAGE COLLECT 284.15/285.09 c rational objective 5 295.40/296.39 c #Conflicts: 247000 | #Constraints: 11333 295.40/296.39 c #Conflicts: 248000 | #Constraints: 12339 295.40/296.39 c #Conflicts: 249000 | #Constraints: 13343 295.40/296.39 c #Conflicts: 250000 | #Constraints: 14347 295.40/296.39 c #Conflicts: 251000 | #Constraints: 15357 295.40/296.39 c #Conflicts: 252000 | #Constraints: 16361 295.40/296.39 c #Conflicts: 253000 | #Constraints: 17365 295.40/296.39 c #Conflicts: 254000 | #Constraints: 18370 295.40/296.39 c #Conflicts: 255000 | #Constraints: 19375 295.40/296.39 c #Conflicts: 256000 | #Constraints: 20383 295.40/296.39 c INPROCESSING 295.40/296.39 c GARBAGE COLLECT 295.40/296.39 c rational objective 5 312.75/313.70 c #Conflicts: 257000 | #Constraints: 11327 312.75/313.70 c #Conflicts: 258000 | #Constraints: 12331 312.75/313.70 c #Conflicts: 259000 | #Constraints: 13336 312.75/313.70 c #Conflicts: 260000 | #Constraints: 14338 312.75/313.70 c #Conflicts: 261000 | #Constraints: 15348 312.75/313.70 c #Conflicts: 262000 | #Constraints: 16352 312.75/313.70 c #Conflicts: 263000 | #Constraints: 17359 312.75/313.70 c #Conflicts: 264000 | #Constraints: 18364 312.75/313.70 c #Conflicts: 265000 | #Constraints: 19372 312.75/313.70 c #Conflicts: 266000 | #Constraints: 20379 312.75/313.70 c INPROCESSING 312.75/313.70 c GARBAGE COLLECT 312.75/313.70 c rational objective 5 326.51/327.57 c #Conflicts: 267000 | #Constraints: 11140 326.51/327.57 c #Conflicts: 268000 | #Constraints: 12142 326.51/327.57 c #Conflicts: 269000 | #Constraints: 13147 326.51/327.57 c #Conflicts: 270000 | #Constraints: 14149 326.51/327.57 c #Conflicts: 271000 | #Constraints: 15154 326.51/327.57 c #Conflicts: 272000 | #Constraints: 16156 326.51/327.57 c #Conflicts: 273000 | #Constraints: 17158 326.51/327.57 c #Conflicts: 274000 | #Constraints: 18161 326.51/327.57 c #Conflicts: 275000 | #Constraints: 19165 326.51/327.57 c #Conflicts: 276000 | #Constraints: 20169 326.51/327.57 c #Conflicts: 277000 | #Constraints: 21176 326.51/327.57 c INPROCESSING 326.51/327.57 c GARBAGE COLLECT 326.51/327.57 c rational objective 5 339.08/340.13 c #Conflicts: 278000 | #Constraints: 11729 339.08/340.13 c #Conflicts: 279000 | #Constraints: 12732 339.08/340.13 c #Conflicts: 280000 | #Constraints: 13735 339.08/340.13 c #Conflicts: 281000 | #Constraints: 14742 339.08/340.13 c #Conflicts: 282000 | #Constraints: 15752 339.08/340.13 c #Conflicts: 283000 | #Constraints: 16755 339.08/340.13 c #Conflicts: 284000 | #Constraints: 17761 339.08/340.13 c #Conflicts: 285000 | #Constraints: 18765 339.08/340.13 c #Conflicts: 286000 | #Constraints: 19770 339.08/340.13 c #Conflicts: 287000 | #Constraints: 20778 339.08/340.13 c #Conflicts: 288000 | #Constraints: 21787 339.08/340.13 c INPROCESSING 339.08/340.13 c GARBAGE COLLECT 339.08/340.13 c rational objective 5 351.73/352.80 c #Conflicts: 289000 | #Constraints: 12127 351.73/352.80 c #Conflicts: 290000 | #Constraints: 13133 351.73/352.80 c #Conflicts: 291000 | #Constraints: 14143 351.73/352.80 c #Conflicts: 292000 | #Constraints: 15147 351.73/352.80 c #Conflicts: 293000 | #Constraints: 16163 351.73/352.80 c #Conflicts: 294000 | #Constraints: 17172 351.73/352.80 c #Conflicts: 295000 | #Constraints: 18191 351.73/352.80 c #Conflicts: 296000 | #Constraints: 19196 351.73/352.80 c #Conflicts: 297000 | #Constraints: 20200 351.73/352.80 c #Conflicts: 298000 | #Constraints: 21206 351.73/352.80 c #Conflicts: 299000 | #Constraints: 22215 351.73/352.80 c INPROCESSING 351.73/352.80 c GARBAGE COLLECT 351.73/352.80 c rational objective 5 370.18/371.34 c #Conflicts: 300000 | #Constraints: 12348 370.18/371.34 c #Conflicts: 301000 | #Constraints: 13356 370.18/371.34 c #Conflicts: 302000 | #Constraints: 14358 370.18/371.34 c #Conflicts: 303000 | #Constraints: 15363 370.18/371.34 c #Conflicts: 304000 | #Constraints: 16372 370.18/371.34 c #Conflicts: 305000 | #Constraints: 17378 370.18/371.34 c #Conflicts: 306000 | #Constraints: 18381 370.18/371.34 c #Conflicts: 307000 | #Constraints: 19384 370.18/371.34 c #Conflicts: 308000 | #Constraints: 20387 370.18/371.34 c #Conflicts: 309000 | #Constraints: 21391 370.18/371.34 c #Conflicts: 310000 | #Constraints: 22395 370.18/371.34 c INPROCESSING 370.18/371.34 c GARBAGE COLLECT 370.18/371.34 c rational objective 5 389.12/390.31 c #Conflicts: 311000 | #Constraints: 12336 389.12/390.31 c #Conflicts: 312000 | #Constraints: 13339 389.12/390.31 c #Conflicts: 313000 | #Constraints: 14344 389.12/390.31 c #Conflicts: 314000 | #Constraints: 15349 389.12/390.31 c #Conflicts: 315000 | #Constraints: 16356 389.12/390.31 c #Conflicts: 316000 | #Constraints: 17361 389.12/390.31 c #Conflicts: 317000 | #Constraints: 18366 389.12/390.31 c #Conflicts: 318000 | #Constraints: 19377 389.12/390.31 c #Conflicts: 319000 | #Constraints: 20380 389.12/390.31 c #Conflicts: 320000 | #Constraints: 21387 389.12/390.31 c #Conflicts: 321000 | #Constraints: 22394 389.12/390.31 c INPROCESSING 389.12/390.31 c GARBAGE COLLECT 389.12/390.31 c rational objective 5 413.85/415.17 c #Conflicts: 322000 | #Constraints: 12145 413.85/415.17 c #Conflicts: 323000 | #Constraints: 13150 413.85/415.17 c #Conflicts: 324000 | #Constraints: 14155 413.85/415.17 c #Conflicts: 325000 | #Constraints: 15158 413.85/415.17 c #Conflicts: 326000 | #Constraints: 16161 413.85/415.17 c #Conflicts: 327000 | #Constraints: 17164 413.85/415.17 c #Conflicts: 328000 | #Constraints: 18168 413.85/415.17 c #Conflicts: 329000 | #Constraints: 19171 413.85/415.17 c #Conflicts: 330000 | #Constraints: 20173 413.85/415.17 c #Conflicts: 331000 | #Constraints: 21175 413.85/415.17 c #Conflicts: 332000 | #Constraints: 22177 413.85/415.17 c #Conflicts: 333000 | #Constraints: 23183 413.85/415.17 c INPROCESSING 413.85/415.17 c GARBAGE COLLECT 413.85/415.17 c rational objective 5 429.81/431.17 c #Conflicts: 334000 | #Constraints: 12726 429.81/431.17 c #Conflicts: 335000 | #Constraints: 13735 429.81/431.17 c #Conflicts: 336000 | #Constraints: 14744 429.81/431.17 c #Conflicts: 337000 | #Constraints: 15750 429.81/431.17 c #Conflicts: 338000 | #Constraints: 16759 429.81/431.17 c #Conflicts: 339000 | #Constraints: 17764 429.81/431.17 c #Conflicts: 340000 | #Constraints: 18771 429.81/431.17 c #Conflicts: 341000 | #Constraints: 19776 429.81/431.17 c #Conflicts: 342000 | #Constraints: 20783 429.81/431.17 c #Conflicts: 343000 | #Constraints: 21786 429.81/431.17 c #Conflicts: 344000 | #Constraints: 22792 429.81/431.17 c #Conflicts: 345000 | #Constraints: 23805 429.81/431.17 c INPROCESSING 429.81/431.17 c GARBAGE COLLECT 429.81/431.17 c rational objective 5 450.83/452.28 c #Conflicts: 346000 | #Constraints: 13147 450.83/452.28 c #Conflicts: 347000 | #Constraints: 14151 450.83/452.28 c #Conflicts: 348000 | #Constraints: 15155 450.83/452.28 c #Conflicts: 349000 | #Constraints: 16162 450.83/452.28 c #Conflicts: 350000 | #Constraints: 17167 450.83/452.28 c #Conflicts: 351000 | #Constraints: 18174 450.83/452.28 c #Conflicts: 352000 | #Constraints: 19180 450.83/452.28 c #Conflicts: 353000 | #Constraints: 20190 450.83/452.28 c #Conflicts: 354000 | #Constraints: 21195 450.83/452.28 c #Conflicts: 355000 | #Constraints: 22199 450.83/452.28 c #Conflicts: 356000 | #Constraints: 23208 450.83/452.28 c #Conflicts: 357000 | #Constraints: 24212 450.83/452.28 c INPROCESSING 450.83/452.28 c GARBAGE COLLECT 450.83/452.28 c rational objective 5 469.58/471.07 c #Conflicts: 358000 | #Constraints: 13344 469.58/471.07 c #Conflicts: 359000 | #Constraints: 14350 469.58/471.07 c #Conflicts: 360000 | #Constraints: 15355 469.58/471.07 c #Conflicts: 361000 | #Constraints: 16360 469.58/471.07 c #Conflicts: 362000 | #Constraints: 17368 469.58/471.07 c #Conflicts: 363000 | #Constraints: 18371 469.58/471.07 c #Conflicts: 364000 | #Constraints: 19383 469.58/471.07 c #Conflicts: 365000 | #Constraints: 20386 469.58/471.07 c #Conflicts: 366000 | #Constraints: 21390 469.58/471.07 c #Conflicts: 367000 | #Constraints: 22394 469.58/471.07 c #Conflicts: 368000 | #Constraints: 23398 469.58/471.07 c #Conflicts: 369000 | #Constraints: 24404 469.58/471.07 c INPROCESSING 469.58/471.07 c GARBAGE COLLECT 469.58/471.07 c rational objective 5 488.22/489.76 c #Conflicts: 370000 | #Constraints: 13345 488.22/489.76 c #Conflicts: 371000 | #Constraints: 14352 488.22/489.76 c #Conflicts: 372000 | #Constraints: 15355 488.22/489.76 c #Conflicts: 373000 | #Constraints: 16362 488.22/489.76 c #Conflicts: 374000 | #Constraints: 17366 488.22/489.76 c #Conflicts: 375000 | #Constraints: 18369 488.22/489.76 c #Conflicts: 376000 | #Constraints: 19371 488.22/489.76 c #Conflicts: 377000 | #Constraints: 20373 488.22/489.76 c #Conflicts: 378000 | #Constraints: 21376 488.22/489.76 c #Conflicts: 379000 | #Constraints: 22384 488.22/489.76 c #Conflicts: 380000 | #Constraints: 23391 488.22/489.76 c #Conflicts: 381000 | #Constraints: 24395 488.22/489.76 c INPROCESSING 488.22/489.76 c GARBAGE COLLECT 488.22/489.76 c rational objective 5 503.27/504.83 c #Conflicts: 382000 | #Constraints: 13125 503.27/504.83 c #Conflicts: 383000 | #Constraints: 14131 503.27/504.83 c #Conflicts: 384000 | #Constraints: 15138 503.27/504.83 c #Conflicts: 385000 | #Constraints: 16145 503.27/504.83 c #Conflicts: 386000 | #Constraints: 17146 503.27/504.83 c #Conflicts: 387000 | #Constraints: 18152 503.27/504.83 c #Conflicts: 388000 | #Constraints: 19157 503.27/504.83 c #Conflicts: 389000 | #Constraints: 20162 503.27/504.83 c #Conflicts: 390000 | #Constraints: 21167 503.27/504.83 c #Conflicts: 391000 | #Constraints: 22171 503.27/504.83 c #Conflicts: 392000 | #Constraints: 23180 503.27/504.83 c #Conflicts: 393000 | #Constraints: 24184 503.27/504.83 c #Conflicts: 394000 | #Constraints: 25197 503.27/504.83 c INPROCESSING 503.27/504.83 c GARBAGE COLLECT 503.27/504.83 c rational objective 5 520.71/522.36 c #Conflicts: 395000 | #Constraints: 13739 520.71/522.36 c #Conflicts: 396000 | #Constraints: 14745 520.71/522.36 c #Conflicts: 397000 | #Constraints: 15747 520.71/522.36 c #Conflicts: 398000 | #Constraints: 16755 520.71/522.36 c #Conflicts: 399000 | #Constraints: 17761 520.71/522.36 c #Conflicts: 400000 | #Constraints: 18765 520.71/522.36 c #Conflicts: 401000 | #Constraints: 19770 520.71/522.36 c #Conflicts: 402000 | #Constraints: 20773 520.71/522.36 c #Conflicts: 403000 | #Constraints: 21778 520.71/522.36 c #Conflicts: 404000 | #Constraints: 22783 520.71/522.36 c #Conflicts: 405000 | #Constraints: 23789 520.71/522.36 c #Conflicts: 406000 | #Constraints: 24798 520.71/522.36 c #Conflicts: 407000 | #Constraints: 25802 520.71/522.36 c INPROCESSING 520.71/522.36 c GARBAGE COLLECT 520.71/522.36 c rational objective 5 542.94/544.64 c #Conflicts: 408000 | #Constraints: 14141 542.94/544.64 c #Conflicts: 409000 | #Constraints: 15147 542.94/544.64 c #Conflicts: 410000 | #Constraints: 16152 542.94/544.64 c #Conflicts: 411000 | #Constraints: 17157 542.94/544.64 c #Conflicts: 412000 | #Constraints: 18162 542.94/544.64 c #Conflicts: 413000 | #Constraints: 19165 542.94/544.64 c #Conflicts: 414000 | #Constraints: 20171 542.94/544.64 c #Conflicts: 415000 | #Constraints: 21175 542.94/544.64 c #Conflicts: 416000 | #Constraints: 22180 542.94/544.64 c #Conflicts: 417000 | #Constraints: 23183 542.94/544.64 c #Conflicts: 418000 | #Constraints: 24187 542.94/544.64 c #Conflicts: 419000 | #Constraints: 25191 542.94/544.64 c #Conflicts: 420000 | #Constraints: 26196 542.94/544.64 c INPROCESSING 542.94/544.64 c GARBAGE COLLECT 542.94/544.64 c rational objective 5 571.76/573.50 c #Conflicts: 421000 | #Constraints: 14350 571.76/573.50 c #Conflicts: 422000 | #Constraints: 15354 571.76/573.50 c #Conflicts: 423000 | #Constraints: 16362 571.76/573.50 c #Conflicts: 424000 | #Constraints: 17367 571.76/573.50 c #Conflicts: 425000 | #Constraints: 18374 571.76/573.50 c #Conflicts: 426000 | #Constraints: 19384 571.76/573.50 c #Conflicts: 427000 | #Constraints: 20391 571.76/573.50 c #Conflicts: 428000 | #Constraints: 21399 571.76/573.50 c #Conflicts: 429000 | #Constraints: 22401 571.76/573.50 c #Conflicts: 430000 | #Constraints: 23404 571.76/573.50 c #Conflicts: 431000 | #Constraints: 24406 571.76/573.50 c #Conflicts: 432000 | #Constraints: 25411 571.76/573.50 c #Conflicts: 433000 | #Constraints: 26412 571.76/573.50 c INPROCESSING 571.76/573.50 c GARBAGE COLLECT 571.76/573.50 c rational objective 5 608.05/609.95 c #Conflicts: 434000 | #Constraints: 14372 608.05/609.95 c #Conflicts: 435000 | #Constraints: 15376 608.05/609.95 c #Conflicts: 436000 | #Constraints: 16382 608.05/609.95 c #Conflicts: 437000 | #Constraints: 17391 608.05/609.95 c #Conflicts: 438000 | #Constraints: 18399 608.05/609.95 c #Conflicts: 439000 | #Constraints: 19407 608.05/609.95 c #Conflicts: 440000 | #Constraints: 20416 608.05/609.95 c #Conflicts: 441000 | #Constraints: 21422 608.05/609.95 c #Conflicts: 442000 | #Constraints: 22425 608.05/609.95 c #Conflicts: 443000 | #Constraints: 23435 608.05/609.95 c #Conflicts: 444000 | #Constraints: 24446 608.05/609.95 c #Conflicts: 445000 | #Constraints: 25450 608.05/609.95 c #Conflicts: 446000 | #Constraints: 26458 608.05/609.95 c INPROCESSING 608.05/609.95 c GARBAGE COLLECT 608.05/609.95 c rational objective 5 675.84/677.96 c #Conflicts: 447000 | #Constraints: 14187 675.84/677.96 c #Conflicts: 448000 | #Constraints: 15197 675.84/677.96 c #Conflicts: 449000 | #Constraints: 16200 675.84/677.96 c #Conflicts: 450000 | #Constraints: 17205 675.84/677.96 c #Conflicts: 451000 | #Constraints: 18209 675.84/677.96 c #Conflicts: 452000 | #Constraints: 19217 675.84/677.96 c #Conflicts: 453000 | #Constraints: 20224 675.84/677.96 c #Conflicts: 454000 | #Constraints: 21228 675.84/677.96 c #Conflicts: 455000 | #Constraints: 22237 675.84/677.96 c #Conflicts: 456000 | #Constraints: 23241 675.84/677.96 c #Conflicts: 457000 | #Constraints: 24246 675.84/677.96 c #Conflicts: 458000 | #Constraints: 25251 675.84/677.96 c #Conflicts: 459000 | #Constraints: 26253 675.84/677.96 c #Conflicts: 460000 | #Constraints: 27262 675.84/677.96 c INPROCESSING 675.84/677.96 c GARBAGE COLLECT 675.84/677.96 c rational objective 5 704.45/706.65 c #Conflicts: 461000 | #Constraints: 14785 704.45/706.65 c #Conflicts: 462000 | #Constraints: 15792 704.45/706.65 c #Conflicts: 463000 | #Constraints: 16796 704.45/706.65 c #Conflicts: 464000 | #Constraints: 17800 704.45/706.65 c #Conflicts: 465000 | #Constraints: 18805 704.45/706.65 c #Conflicts: 466000 | #Constraints: 19810 704.45/706.65 c #Conflicts: 467000 | #Constraints: 20813 704.45/706.65 c #Conflicts: 468000 | #Constraints: 21815 704.45/706.65 c #Conflicts: 469000 | #Constraints: 22817 704.45/706.65 c #Conflicts: 470000 | #Constraints: 23820 704.45/706.65 c #Conflicts: 471000 | #Constraints: 24822 704.45/706.65 c #Conflicts: 472000 | #Constraints: 25825 704.45/706.65 c #Conflicts: 473000 | #Constraints: 26828 704.45/706.65 c #Conflicts: 474000 | #Constraints: 27831 704.45/706.65 c INPROCESSING 704.45/706.65 c GARBAGE COLLECT 704.45/706.65 c rational objective 5 715.51/717.78 c #Conflicts: 475000 | #Constraints: 15178 715.51/717.78 c #Conflicts: 476000 | #Constraints: 16186 715.51/717.78 c #Conflicts: 477000 | #Constraints: 17193 715.51/717.78 c #Conflicts: 478000 | #Constraints: 18205 715.51/717.78 c #Conflicts: 479000 | #Constraints: 19209 715.51/717.78 c #Conflicts: 480000 | #Constraints: 20221 715.51/717.78 c #Conflicts: 481000 | #Constraints: 21230 715.51/717.78 c #Conflicts: 482000 | #Constraints: 22235 715.51/717.78 c #Conflicts: 483000 | #Constraints: 23237 715.51/717.78 c #Conflicts: 484000 | #Constraints: 24239 715.51/717.78 c #Conflicts: 485000 | #Constraints: 25243 715.51/717.78 c #Conflicts: 486000 | #Constraints: 26249 715.51/717.78 c #Conflicts: 487000 | #Constraints: 27252 715.51/717.78 c #Conflicts: 488000 | #Constraints: 28255 715.51/717.78 c INPROCESSING 715.51/717.78 c GARBAGE COLLECT 715.51/717.78 c rational objective 5 748.61/750.97 c #Conflicts: 489000 | #Constraints: 15398 748.61/750.97 c #Conflicts: 490000 | #Constraints: 16401 748.61/750.97 c #Conflicts: 491000 | #Constraints: 17405 748.61/750.97 c #Conflicts: 492000 | #Constraints: 18409 748.61/750.97 c #Conflicts: 493000 | #Constraints: 19411 748.61/750.97 c #Conflicts: 494000 | #Constraints: 20416 748.61/750.97 c #Conflicts: 495000 | #Constraints: 21419 748.61/750.97 c #Conflicts: 496000 | #Constraints: 22422 748.61/750.97 c #Conflicts: 497000 | #Constraints: 23426 748.61/750.97 c #Conflicts: 498000 | #Constraints: 24428 748.61/750.97 c #Conflicts: 499000 | #Constraints: 25432 748.61/750.97 c #Conflicts: 500000 | #Constraints: 26436 748.61/750.97 c #Conflicts: 501000 | #Constraints: 27439 748.61/750.97 c #Conflicts: 502000 | #Constraints: 28442 748.61/750.97 c INPROCESSING 748.61/750.97 c GARBAGE COLLECT 748.61/750.97 c rational objective 5 789.63/792.07 c #Conflicts: 503000 | #Constraints: 15369 789.63/792.07 c #Conflicts: 504000 | #Constraints: 16373 789.63/792.07 c #Conflicts: 505000 | #Constraints: 17378 789.63/792.07 c #Conflicts: 506000 | #Constraints: 18380 789.63/792.07 c #Conflicts: 507000 | #Constraints: 19384 789.63/792.07 c #Conflicts: 508000 | #Constraints: 20390 789.63/792.07 c #Conflicts: 509000 | #Constraints: 21395 789.63/792.07 c #Conflicts: 510000 | #Constraints: 22398 789.63/792.07 c #Conflicts: 511000 | #Constraints: 23401 789.63/792.07 c #Conflicts: 512000 | #Constraints: 24402 789.63/792.07 c #Conflicts: 513000 | #Constraints: 25405 789.63/792.07 c #Conflicts: 514000 | #Constraints: 26407 789.63/792.07 c #Conflicts: 515000 | #Constraints: 27413 789.63/792.07 c #Conflicts: 516000 | #Constraints: 28417 789.63/792.07 c INPROCESSING 789.63/792.07 c GARBAGE COLLECT 789.63/792.07 c rational objective 5 816.06/818.50 c #Conflicts: 517000 | #Constraints: 15149 816.06/818.50 c #Conflicts: 518000 | #Constraints: 16158 816.06/818.50 c #Conflicts: 519000 | #Constraints: 17165 816.06/818.50 c #Conflicts: 520000 | #Constraints: 18173 816.06/818.50 c #Conflicts: 521000 | #Constraints: 19179 816.06/818.50 c #Conflicts: 522000 | #Constraints: 20183 816.06/818.50 c #Conflicts: 523000 | #Constraints: 21192 816.06/818.50 c #Conflicts: 524000 | #Constraints: 22196 816.06/818.50 c #Conflicts: 525000 | #Constraints: 23200 816.06/818.50 c #Conflicts: 526000 | #Constraints: 24206 816.06/818.50 c #Conflicts: 527000 | #Constraints: 25213 816.06/818.50 c #Conflicts: 528000 | #Constraints: 26218 816.06/818.50 c #Conflicts: 529000 | #Constraints: 27222 816.06/818.50 c #Conflicts: 530000 | #Constraints: 28227 816.06/818.50 c #Conflicts: 531000 | #Constraints: 29233 816.06/818.50 c INPROCESSING 816.06/818.50 c GARBAGE COLLECT 816.06/818.50 c rational objective 5 837.81/840.32 c #Conflicts: 532000 | #Constraints: 15766 837.81/840.32 c #Conflicts: 533000 | #Constraints: 16772 837.81/840.32 c #Conflicts: 534000 | #Constraints: 17786 837.81/840.32 c #Conflicts: 535000 | #Constraints: 18793 837.81/840.32 c #Conflicts: 536000 | #Constraints: 19800 837.81/840.32 c #Conflicts: 537000 | #Constraints: 20807 837.81/840.32 c #Conflicts: 538000 | #Constraints: 21810 837.81/840.32 c #Conflicts: 539000 | #Constraints: 22815 837.81/840.32 c #Conflicts: 540000 | #Constraints: 23822 837.81/840.32 c #Conflicts: 541000 | #Constraints: 24826 837.81/840.32 c #Conflicts: 542000 | #Constraints: 25830 837.81/840.32 c #Conflicts: 543000 | #Constraints: 26834 837.81/840.32 c #Conflicts: 544000 | #Constraints: 27841 837.81/840.32 c #Conflicts: 545000 | #Constraints: 28850 837.81/840.32 c #Conflicts: 546000 | #Constraints: 29856 837.81/840.32 c INPROCESSING 837.81/840.32 c GARBAGE COLLECT 837.81/840.32 c rational objective 5 867.03/869.64 c #Conflicts: 547000 | #Constraints: 16167 867.03/869.64 c #Conflicts: 548000 | #Constraints: 17172 867.03/869.64 c #Conflicts: 549000 | #Constraints: 18179 867.03/869.64 c #Conflicts: 550000 | #Constraints: 19184 867.03/869.64 c #Conflicts: 551000 | #Constraints: 20189 867.03/869.64 c #Conflicts: 552000 | #Constraints: 21195 867.03/869.64 c #Conflicts: 553000 | #Constraints: 22200 867.03/869.64 c #Conflicts: 554000 | #Constraints: 23207 867.03/869.64 c #Conflicts: 555000 | #Constraints: 24214 867.03/869.64 c #Conflicts: 556000 | #Constraints: 25218 867.03/869.64 c #Conflicts: 557000 | #Constraints: 26221 867.03/869.64 c #Conflicts: 558000 | #Constraints: 27225 867.03/869.64 c #Conflicts: 559000 | #Constraints: 28227 867.03/869.64 c #Conflicts: 560000 | #Constraints: 29231 867.03/869.64 c #Conflicts: 561000 | #Constraints: 30235 867.03/869.64 c INPROCESSING 867.03/869.64 c GARBAGE COLLECT 867.03/869.64 c rational objective 5 885.51/888.18 c #Conflicts: 562000 | #Constraints: 16351 885.51/888.18 c #Conflicts: 563000 | #Constraints: 17354 885.51/888.18 c #Conflicts: 564000 | #Constraints: 18364 885.51/888.18 c #Conflicts: 565000 | #Constraints: 19371 885.51/888.18 c #Conflicts: 566000 | #Constraints: 20379 885.51/888.18 c #Conflicts: 567000 | #Constraints: 21382 885.51/888.18 c #Conflicts: 568000 | #Constraints: 22385 885.51/888.18 c #Conflicts: 569000 | #Constraints: 23387 885.51/888.18 c #Conflicts: 570000 | #Constraints: 24389 885.51/888.18 c #Conflicts: 571000 | #Constraints: 25395 885.51/888.18 c #Conflicts: 572000 | #Constraints: 26401 885.51/888.18 c #Conflicts: 573000 | #Constraints: 27404 885.51/888.18 c #Conflicts: 574000 | #Constraints: 28417 885.51/888.18 c #Conflicts: 575000 | #Constraints: 29430 885.51/888.18 c #Conflicts: 576000 | #Constraints: 30434 885.51/888.18 c INPROCESSING 885.51/888.18 c GARBAGE COLLECT 885.51/888.18 c rational objective 5 905.54/908.22 c #Conflicts: 577000 | #Constraints: 16365 905.54/908.22 c #Conflicts: 578000 | #Constraints: 17369 905.54/908.22 c #Conflicts: 579000 | #Constraints: 18377 905.54/908.22 c #Conflicts: 580000 | #Constraints: 19380 905.54/908.22 c #Conflicts: 581000 | #Constraints: 20383 905.54/908.22 c #Conflicts: 582000 | #Constraints: 21389 905.54/908.22 c #Conflicts: 583000 | #Constraints: 22403 905.54/908.22 c #Conflicts: 584000 | #Constraints: 23408 905.54/908.22 c #Conflicts: 585000 | #Constraints: 24415 905.54/908.22 c #Conflicts: 586000 | #Constraints: 25421 905.54/908.22 c #Conflicts: 587000 | #Constraints: 26430 905.54/908.22 c #Conflicts: 588000 | #Constraints: 27435 905.54/908.22 c #Conflicts: 589000 | #Constraints: 28441 905.54/908.22 c #Conflicts: 590000 | #Constraints: 29447 905.54/908.22 c #Conflicts: 591000 | #Constraints: 30452 905.54/908.22 c INPROCESSING 905.54/908.22 c GARBAGE COLLECT 905.54/908.22 c rational objective 5 936.77/939.52 c #Conflicts: 592000 | #Constraints: 16166 936.77/939.52 c #Conflicts: 593000 | #Constraints: 17172 936.77/939.52 c #Conflicts: 594000 | #Constraints: 18179 936.77/939.52 c #Conflicts: 595000 | #Constraints: 19184 936.77/939.52 c #Conflicts: 596000 | #Constraints: 20189 936.77/939.52 c #Conflicts: 597000 | #Constraints: 21194 936.77/939.52 c #Conflicts: 598000 | #Constraints: 22200 936.77/939.52 c #Conflicts: 599000 | #Constraints: 23204 936.77/939.52 c #Conflicts: 600000 | #Constraints: 24208 936.77/939.52 c #Conflicts: 601000 | #Constraints: 25213 936.77/939.52 c #Conflicts: 602000 | #Constraints: 26219 936.77/939.52 c #Conflicts: 603000 | #Constraints: 27221 936.77/939.52 c #Conflicts: 604000 | #Constraints: 28228 936.77/939.52 c #Conflicts: 605000 | #Constraints: 29233 936.77/939.52 c #Conflicts: 606000 | #Constraints: 30235 936.77/939.52 c #Conflicts: 607000 | #Constraints: 31239 936.77/939.52 c INPROCESSING 936.77/939.52 c GARBAGE COLLECT 936.77/939.52 c rational objective 5 965.70/968.58 c #Conflicts: 608000 | #Constraints: 16775 965.70/968.58 c #Conflicts: 609000 | #Constraints: 17778 965.70/968.58 c #Conflicts: 610000 | #Constraints: 18780 965.70/968.58 c #Conflicts: 611000 | #Constraints: 19781 965.70/968.58 c #Conflicts: 612000 | #Constraints: 20783 965.70/968.58 c #Conflicts: 613000 | #Constraints: 21784 965.70/968.58 c #Conflicts: 614000 | #Constraints: 22785 965.70/968.58 c #Conflicts: 615000 | #Constraints: 23787 965.70/968.58 c #Conflicts: 616000 | #Constraints: 24794 965.70/968.58 c #Conflicts: 617000 | #Constraints: 25799 965.70/968.58 c #Conflicts: 618000 | #Constraints: 26805 965.70/968.58 c #Conflicts: 619000 | #Constraints: 27807 965.70/968.58 c #Conflicts: 620000 | #Constraints: 28812 965.70/968.58 c #Conflicts: 621000 | #Constraints: 29817 965.70/968.58 c #Conflicts: 622000 | #Constraints: 30819 965.70/968.58 c #Conflicts: 623000 | #Constraints: 31824 965.70/968.58 c INPROCESSING 965.70/968.58 c GARBAGE COLLECT 965.70/968.58 c rational objective 5 990.55/993.46 c #Conflicts: 624000 | #Constraints: 17150 990.55/993.46 c #Conflicts: 625000 | #Constraints: 18156 990.55/993.46 c #Conflicts: 626000 | #Constraints: 19163 990.55/993.46 c #Conflicts: 627000 | #Constraints: 20167 990.55/993.46 c #Conflicts: 628000 | #Constraints: 21177 990.55/993.46 c #Conflicts: 629000 | #Constraints: 22181 990.55/993.46 c #Conflicts: 630000 | #Constraints: 23190 990.55/993.46 c #Conflicts: 631000 | #Constraints: 24196 990.55/993.46 c #Conflicts: 632000 | #Constraints: 25200 990.55/993.46 c #Conflicts: 633000 | #Constraints: 26205 990.55/993.46 c #Conflicts: 634000 | #Constraints: 27211 990.55/993.46 c #Conflicts: 635000 | #Constraints: 28222 990.55/993.46 c #Conflicts: 636000 | #Constraints: 29224 990.55/993.46 c #Conflicts: 637000 | #Constraints: 30231 990.55/993.46 c #Conflicts: 638000 | #Constraints: 31235 990.55/993.46 c #Conflicts: 639000 | #Constraints: 32242 990.55/993.46 c INPROCESSING 990.55/993.46 c GARBAGE COLLECT 990.55/993.46 c rational objective 5 1011.30/1014.27 c #Conflicts: 640000 | #Constraints: 17360 1011.30/1014.27 c #Conflicts: 641000 | #Constraints: 18366 1011.30/1014.27 c #Conflicts: 642000 | #Constraints: 19370 1011.30/1014.27 c #Conflicts: 643000 | #Constraints: 20374 1011.30/1014.27 c #Conflicts: 644000 | #Constraints: 21381 1011.30/1014.27 c #Conflicts: 645000 | #Constraints: 22387 1011.30/1014.27 c #Conflicts: 646000 | #Constraints: 23395 1011.30/1014.27 c #Conflicts: 647000 | #Constraints: 24402 1011.30/1014.27 c #Conflicts: 648000 | #Constraints: 25409 1011.30/1014.27 c #Conflicts: 649000 | #Constraints: 26421 1011.30/1014.27 c #Conflicts: 650000 | #Constraints: 27431 1011.30/1014.27 c #Conflicts: 651000 | #Constraints: 28438 1011.30/1014.27 c #Conflicts: 652000 | #Constraints: 29444 1011.30/1014.27 c #Conflicts: 653000 | #Constraints: 30447 1011.30/1014.27 c #Conflicts: 654000 | #Constraints: 31452 1011.30/1014.27 c #Conflicts: 655000 | #Constraints: 32456 1011.30/1014.27 c INPROCESSING 1011.30/1014.27 c GARBAGE COLLECT 1011.30/1014.27 c rational objective 5 1040.62/1043.61 c #Conflicts: 656000 | #Constraints: 17356 1040.62/1043.61 c #Conflicts: 657000 | #Constraints: 18357 1040.62/1043.61 c #Conflicts: 658000 | #Constraints: 19360 1040.62/1043.61 c #Conflicts: 659000 | #Constraints: 20367 1040.62/1043.61 c #Conflicts: 660000 | #Constraints: 21367 1040.62/1043.61 c #Conflicts: 661000 | #Constraints: 22372 1040.62/1043.61 c #Conflicts: 662000 | #Constraints: 23376 1040.62/1043.61 c #Conflicts: 663000 | #Constraints: 24380 1040.62/1043.61 c #Conflicts: 664000 | #Constraints: 25385 1040.62/1043.61 c #Conflicts: 665000 | #Constraints: 26391 1040.62/1043.61 c #Conflicts: 666000 | #Constraints: 27402 1040.62/1043.61 c #Conflicts: 667000 | #Constraints: 28407 1040.62/1043.61 c #Conflicts: 668000 | #Constraints: 29409 1040.62/1043.61 c #Conflicts: 669000 | #Constraints: 30413 1040.62/1043.61 c #Conflicts: 670000 | #Constraints: 31421 1040.62/1043.61 c #Conflicts: 671000 | #Constraints: 32427 1040.62/1043.61 c INPROCESSING 1040.62/1043.61 c GARBAGE COLLECT 1040.62/1043.61 c rational objective 5 1070.66/1073.73 c #Conflicts: 672000 | #Constraints: 17149 1070.66/1073.73 c #Conflicts: 673000 | #Constraints: 18159 1070.66/1073.73 c #Conflicts: 674000 | #Constraints: 19167 1070.66/1073.73 c #Conflicts: 675000 | #Constraints: 20176 1070.66/1073.73 c #Conflicts: 676000 | #Constraints: 21185 1070.66/1073.73 c #Conflicts: 677000 | #Constraints: 22191 1070.66/1073.73 c #Conflicts: 678000 | #Constraints: 23198 1070.66/1073.73 c #Conflicts: 679000 | #Constraints: 24202 1070.66/1073.73 c #Conflicts: 680000 | #Constraints: 25210 1070.66/1073.73 c #Conflicts: 681000 | #Constraints: 26214 1070.66/1073.73 c #Conflicts: 682000 | #Constraints: 27223 1070.66/1073.73 c #Conflicts: 683000 | #Constraints: 28227 1070.66/1073.73 c #Conflicts: 684000 | #Constraints: 29233 1070.66/1073.73 c #Conflicts: 685000 | #Constraints: 30243 1070.66/1073.73 c #Conflicts: 686000 | #Constraints: 31261 1070.66/1073.73 c #Conflicts: 687000 | #Constraints: 32271 1070.66/1073.73 c #Conflicts: 688000 | #Constraints: 33274 1070.66/1073.73 c INPROCESSING 1070.66/1073.73 c GARBAGE COLLECT 1070.66/1073.73 c rational objective 5 1102.78/1105.94 c #Conflicts: 689000 | #Constraints: 17774 1102.78/1105.94 c #Conflicts: 690000 | #Constraints: 18777 1102.78/1105.94 c #Conflicts: 691000 | #Constraints: 19782 1102.78/1105.94 c #Conflicts: 692000 | #Constraints: 20789 1102.78/1105.94 c #Conflicts: 693000 | #Constraints: 21797 1102.78/1105.94 c #Conflicts: 694000 | #Constraints: 22803 1102.78/1105.94 c #Conflicts: 695000 | #Constraints: 23808 1102.78/1105.94 c #Conflicts: 696000 | #Constraints: 24812 1102.78/1105.94 c #Conflicts: 697000 | #Constraints: 25813 1102.78/1105.94 c #Conflicts: 698000 | #Constraints: 26818 1102.78/1105.94 c #Conflicts: 699000 | #Constraints: 27824 1102.78/1105.94 c #Conflicts: 700000 | #Constraints: 28830 1102.78/1105.94 c #Conflicts: 701000 | #Constraints: 29836 1102.78/1105.94 c #Conflicts: 702000 | #Constraints: 30843 1102.78/1105.94 c #Conflicts: 703000 | #Constraints: 31847 1102.78/1105.94 c #Conflicts: 704000 | #Constraints: 32857 1102.78/1105.94 c #Conflicts: 705000 | #Constraints: 33863 1102.78/1105.94 c INPROCESSING 1102.78/1105.94 c GARBAGE COLLECT 1102.78/1105.94 c rational objective 5 1137.39/1140.66 c #Conflicts: 706000 | #Constraints: 18170 1137.39/1140.66 c #Conflicts: 707000 | #Constraints: 19173 1137.39/1140.66 c #Conflicts: 708000 | #Constraints: 20177 1137.39/1140.66 c #Conflicts: 709000 | #Constraints: 21181 1137.39/1140.66 c #Conflicts: 710000 | #Constraints: 22186 1137.39/1140.66 c #Conflicts: 711000 | #Constraints: 23193 1137.39/1140.66 c #Conflicts: 712000 | #Constraints: 24196 1137.39/1140.66 c #Conflicts: 713000 | #Constraints: 25199 1137.39/1140.66 c #Conflicts: 714000 | #Constraints: 26204 1137.39/1140.66 c #Conflicts: 715000 | #Constraints: 27207 1137.39/1140.66 c #Conflicts: 716000 | #Constraints: 28215 1137.39/1140.66 c #Conflicts: 717000 | #Constraints: 29220 1137.39/1140.66 c #Conflicts: 718000 | #Constraints: 30230 1137.39/1140.66 c #Conflicts: 719000 | #Constraints: 31237 1137.39/1140.66 c #Conflicts: 720000 | #Constraints: 32242 1137.39/1140.66 c #Conflicts: 721000 | #Constraints: 33244 1137.39/1140.66 c #Conflicts: 722000 | #Constraints: 34249 1137.39/1140.66 c INPROCESSING 1137.39/1140.66 c GARBAGE COLLECT 1137.39/1140.66 c rational objective 5 1165.52/1168.85 c #Conflicts: 723000 | #Constraints: 18366 1165.52/1168.85 c #Conflicts: 724000 | #Constraints: 19372 1165.52/1168.85 c #Conflicts: 725000 | #Constraints: 20375 1165.52/1168.85 c #Conflicts: 726000 | #Constraints: 21378 1165.52/1168.85 c #Conflicts: 727000 | #Constraints: 22381 1165.52/1168.85 c #Conflicts: 728000 | #Constraints: 23384 1165.52/1168.85 c #Conflicts: 729000 | #Constraints: 24389 1165.52/1168.85 c #Conflicts: 730000 | #Constraints: 25395 1165.52/1168.85 c #Conflicts: 731000 | #Constraints: 26400 1165.52/1168.85 c #Conflicts: 732000 | #Constraints: 27404 1165.52/1168.85 c #Conflicts: 733000 | #Constraints: 28418 1165.52/1168.85 c #Conflicts: 734000 | #Constraints: 29425 1165.52/1168.85 c #Conflicts: 735000 | #Constraints: 30428 1165.52/1168.85 c #Conflicts: 736000 | #Constraints: 31432 1165.52/1168.85 c #Conflicts: 737000 | #Constraints: 32439 1165.52/1168.85 c #Conflicts: 738000 | #Constraints: 33444 1165.52/1168.85 c #Conflicts: 739000 | #Constraints: 34452 1165.52/1168.85 c INPROCESSING 1165.52/1168.85 c GARBAGE COLLECT 1165.52/1168.85 c rational objective 5 1191.17/1194.53 c #Conflicts: 740000 | #Constraints: 18376 1191.17/1194.53 c #Conflicts: 741000 | #Constraints: 19388 1191.17/1194.53 c #Conflicts: 742000 | #Constraints: 20391 1191.17/1194.53 c #Conflicts: 743000 | #Constraints: 21400 1191.17/1194.53 c #Conflicts: 744000 | #Constraints: 22404 1191.17/1194.53 c #Conflicts: 745000 | #Constraints: 23407 1191.17/1194.53 c #Conflicts: 746000 | #Constraints: 24412 1191.17/1194.53 c #Conflicts: 747000 | #Constraints: 25418 1191.17/1194.53 c #Conflicts: 748000 | #Constraints: 26422 1191.17/1194.53 c #Conflicts: 749000 | #Constraints: 27427 1191.17/1194.53 c #Conflicts: 750000 | #Constraints: 28438 1191.17/1194.53 c #Conflicts: 751000 | #Constraints: 29443 1191.17/1194.53 c #Conflicts: 752000 | #Constraints: 30452 1191.17/1194.53 c #Conflicts: 753000 | #Constraints: 31457 1191.17/1194.53 c #Conflicts: 754000 | #Constraints: 32459 1191.17/1194.53 c #Conflicts: 755000 | #Constraints: 33470 1191.17/1194.53 c #Conflicts: 756000 | #Constraints: 34477 1191.17/1194.53 c INPROCESSING 1191.17/1194.53 c GARBAGE COLLECT 1191.17/1194.53 c rational objective 5 1218.30/1221.75 c #Conflicts: 757000 | #Constraints: 18180 1218.30/1221.75 c #Conflicts: 758000 | #Constraints: 19182 1218.30/1221.75 c #Conflicts: 759000 | #Constraints: 20182 1218.30/1221.75 c #Conflicts: 760000 | #Constraints: 21188 1218.30/1221.75 c #Conflicts: 761000 | #Constraints: 22192 1218.30/1221.75 c #Conflicts: 762000 | #Constraints: 23199 1218.30/1221.75 c #Conflicts: 763000 | #Constraints: 24204 1218.30/1221.75 c #Conflicts: 764000 | #Constraints: 25213 1218.30/1221.75 c #Conflicts: 765000 | #Constraints: 26221 1218.30/1221.75 c #Conflicts: 766000 | #Constraints: 27226 1218.30/1221.75 c #Conflicts: 767000 | #Constraints: 28231 1218.30/1221.75 c #Conflicts: 768000 | #Constraints: 29235 1218.30/1221.75 c #Conflicts: 769000 | #Constraints: 30242 1218.30/1221.75 c #Conflicts: 770000 | #Constraints: 31246 1218.30/1221.75 c #Conflicts: 771000 | #Constraints: 32249 1218.30/1221.75 c #Conflicts: 772000 | #Constraints: 33254 1218.30/1221.75 c #Conflicts: 773000 | #Constraints: 34255 1218.30/1221.75 c #Conflicts: 774000 | #Constraints: 35260 1218.30/1221.75 c INPROCESSING 1218.30/1221.75 c GARBAGE COLLECT 1218.30/1221.75 c rational objective 5 1250.22/1253.70 c #Conflicts: 775000 | #Constraints: 18768 1250.22/1253.70 c #Conflicts: 776000 | #Constraints: 19772 1250.22/1253.70 c #Conflicts: 777000 | #Constraints: 20783 1250.22/1253.70 c #Conflicts: 778000 | #Constraints: 21786 1250.22/1253.70 c #Conflicts: 779000 | #Constraints: 22791 1250.22/1253.70 c #Conflicts: 780000 | #Constraints: 23797 1250.22/1253.70 c #Conflicts: 781000 | #Constraints: 24802 1250.22/1253.70 c #Conflicts: 782000 | #Constraints: 25805 1250.22/1253.70 c #Conflicts: 783000 | #Constraints: 26815 1250.22/1253.70 c #Conflicts: 784000 | #Constraints: 27819 1250.22/1253.70 c #Conflicts: 785000 | #Constraints: 28826 1250.22/1253.70 c #Conflicts: 786000 | #Constraints: 29830 1250.22/1253.70 c #Conflicts: 787000 | #Constraints: 30831 1250.22/1253.70 c #Conflicts: 788000 | #Constraints: 31835 1250.22/1253.70 c #Conflicts: 789000 | #Constraints: 32839 1250.22/1253.70 c #Conflicts: 790000 | #Constraints: 33842 1250.22/1253.70 c #Conflicts: 791000 | #Constraints: 34847 1250.22/1253.70 c #Conflicts: 792000 | #Constraints: 35850 1250.22/1253.70 c INPROCESSING 1250.22/1253.70 c GARBAGE COLLECT 1250.22/1253.70 c rational objective 5 1281.65/1285.20 c #Conflicts: 793000 | #Constraints: 19157 1281.65/1285.20 c #Conflicts: 794000 | #Constraints: 20159 1281.65/1285.20 c #Conflicts: 795000 | #Constraints: 21163 1281.65/1285.20 c #Conflicts: 796000 | #Constraints: 22171 1281.65/1285.20 c #Conflicts: 797000 | #Constraints: 23174 1281.65/1285.20 c #Conflicts: 798000 | #Constraints: 24180 1281.65/1285.20 c #Conflicts: 799000 | #Constraints: 25189 1281.65/1285.20 c #Conflicts: 800000 | #Constraints: 26194 1281.65/1285.20 c #Conflicts: 801000 | #Constraints: 27202 1281.65/1285.20 c #Conflicts: 802000 | #Constraints: 28206 1281.65/1285.20 c #Conflicts: 803000 | #Constraints: 29212 1281.65/1285.20 c #Conflicts: 804000 | #Constraints: 30216 1281.65/1285.20 c #Conflicts: 805000 | #Constraints: 31220 1281.65/1285.20 c #Conflicts: 806000 | #Constraints: 32226 1281.65/1285.20 c #Conflicts: 807000 | #Constraints: 33230 1281.65/1285.20 c #Conflicts: 808000 | #Constraints: 34236 1281.65/1285.20 c #Conflicts: 809000 | #Constraints: 35248 1281.65/1285.20 c #Conflicts: 810000 | #Constraints: 36252 1281.65/1285.20 c INPROCESSING 1281.65/1285.20 c GARBAGE COLLECT 1281.65/1285.20 c rational objective 5 1310.28/1313.91 c #Conflicts: 811000 | #Constraints: 19375 1310.28/1313.91 c #Conflicts: 812000 | #Constraints: 20380 1310.28/1313.91 c #Conflicts: 813000 | #Constraints: 21386 1310.28/1313.91 c #Conflicts: 814000 | #Constraints: 22391 1310.28/1313.91 c #Conflicts: 815000 | #Constraints: 23396 1310.28/1313.91 c #Conflicts: 816000 | #Constraints: 24400 1310.28/1313.91 c #Conflicts: 817000 | #Constraints: 25406 1310.28/1313.91 c #Conflicts: 818000 | #Constraints: 26417 1310.28/1313.91 c #Conflicts: 819000 | #Constraints: 27425 1310.28/1313.91 c #Conflicts: 820000 | #Constraints: 28427 1310.28/1313.91 c #Conflicts: 821000 | #Constraints: 29433 1310.28/1313.91 c #Conflicts: 822000 | #Constraints: 30439 1310.28/1313.91 c #Conflicts: 823000 | #Constraints: 31442 1310.28/1313.91 c #Conflicts: 824000 | #Constraints: 32445 1310.28/1313.91 c #Conflicts: 825000 | #Constraints: 33450 1310.28/1313.91 c #Conflicts: 826000 | #Constraints: 34457 1310.28/1313.91 c #Conflicts: 827000 | #Constraints: 35467 1310.28/1313.91 c #Conflicts: 828000 | #Constraints: 36475 1310.28/1313.91 c INPROCESSING 1310.28/1313.91 c GARBAGE COLLECT 1310.28/1313.91 c rational objective 5 1346.09/1349.84 c #Conflicts: 829000 | #Constraints: 19380 1346.09/1349.84 c #Conflicts: 830000 | #Constraints: 20387 1346.09/1349.84 c #Conflicts: 831000 | #Constraints: 21398 1346.09/1349.84 c #Conflicts: 832000 | #Constraints: 22401 1346.09/1349.84 c #Conflicts: 833000 | #Constraints: 23408 1346.09/1349.84 c #Conflicts: 834000 | #Constraints: 24413 1346.09/1349.84 c #Conflicts: 835000 | #Constraints: 25418 1346.09/1349.84 c #Conflicts: 836000 | #Constraints: 26421 1346.09/1349.84 c #Conflicts: 837000 | #Constraints: 27427 1346.09/1349.84 c #Conflicts: 838000 | #Constraints: 28429 1346.09/1349.84 c #Conflicts: 839000 | #Constraints: 29431 1346.09/1349.84 c #Conflicts: 840000 | #Constraints: 30435 1346.09/1349.84 c #Conflicts: 841000 | #Constraints: 31439 1346.09/1349.84 c #Conflicts: 842000 | #Constraints: 32441 1346.09/1349.84 c #Conflicts: 843000 | #Constraints: 33443 1346.09/1349.84 c #Conflicts: 844000 | #Constraints: 34443 1346.09/1349.84 c #Conflicts: 845000 | #Constraints: 35446 1346.09/1349.84 c #Conflicts: 846000 | #Constraints: 36449 1346.09/1349.84 c INPROCESSING 1346.09/1349.84 c GARBAGE COLLECT 1346.09/1349.84 c rational objective 5 1374.63/1378.45 c #Conflicts: 847000 | #Constraints: 19166 1374.63/1378.45 c #Conflicts: 848000 | #Constraints: 20172 1374.63/1378.45 c #Conflicts: 849000 | #Constraints: 21182 1374.63/1378.45 c #Conflicts: 850000 | #Constraints: 22187 1374.63/1378.45 c #Conflicts: 851000 | #Constraints: 23191 1374.63/1378.45 c #Conflicts: 852000 | #Constraints: 24195 1374.63/1378.45 c #Conflicts: 853000 | #Constraints: 25207 1374.63/1378.45 c #Conflicts: 854000 | #Constraints: 26215 1374.63/1378.45 c #Conflicts: 855000 | #Constraints: 27220 1374.63/1378.45 c #Conflicts: 856000 | #Constraints: 28227 1374.63/1378.45 c #Conflicts: 857000 | #Constraints: 29232 1374.63/1378.45 c #Conflicts: 858000 | #Constraints: 30234 1374.63/1378.45 c #Conflicts: 859000 | #Constraints: 31240 1374.63/1378.45 c #Conflicts: 860000 | #Constraints: 32244 1374.63/1378.45 c #Conflicts: 861000 | #Constraints: 33249 1374.63/1378.45 c #Conflicts: 862000 | #Constraints: 34255 1374.63/1378.45 c #Conflicts: 863000 | #Constraints: 35260 1374.63/1378.45 c #Conflicts: 864000 | #Constraints: 36268 1374.63/1378.45 c #Conflicts: 865000 | #Constraints: 37272 1374.63/1378.45 c INPROCESSING 1374.63/1378.45 c GARBAGE COLLECT 1374.63/1378.45 c rational objective 5 1406.36/1410.20 c #Conflicts: 866000 | #Constraints: 19767 1406.36/1410.20 c #Conflicts: 867000 | #Constraints: 20773 1406.36/1410.20 c #Conflicts: 868000 | #Constraints: 21780 1406.36/1410.20 c #Conflicts: 869000 | #Constraints: 22783 1406.36/1410.20 c #Conflicts: 870000 | #Constraints: 23788 1406.36/1410.20 c #Conflicts: 871000 | #Constraints: 24792 1406.36/1410.20 c #Conflicts: 872000 | #Constraints: 25799 1406.36/1410.20 c #Conflicts: 873000 | #Constraints: 26805 1406.36/1410.20 c #Conflicts: 874000 | #Constraints: 27809 1406.36/1410.20 c #Conflicts: 875000 | #Constraints: 28812 1406.36/1410.20 c #Conflicts: 876000 | #Constraints: 29816 1406.36/1410.20 c #Conflicts: 877000 | #Constraints: 30820 1406.36/1410.20 c #Conflicts: 878000 | #Constraints: 31830 1406.36/1410.20 c #Conflicts: 879000 | #Constraints: 32839 1406.36/1410.20 c #Conflicts: 880000 | #Constraints: 33848 1406.36/1410.20 c #Conflicts: 881000 | #Constraints: 34862 1406.36/1410.20 c #Conflicts: 882000 | #Constraints: 35868 1406.36/1410.20 c #Conflicts: 883000 | #Constraints: 36876 1406.36/1410.20 c #Conflicts: 884000 | #Constraints: 37883 1406.36/1410.20 c INPROCESSING 1406.36/1410.20 c GARBAGE COLLECT 1406.36/1410.20 c rational objective 5 1447.26/1451.29 c #Conflicts: 885000 | #Constraints: 20184 1447.26/1451.29 c #Conflicts: 886000 | #Constraints: 21188 1447.26/1451.29 c #Conflicts: 887000 | #Constraints: 22192 1447.26/1451.29 c #Conflicts: 888000 | #Constraints: 23195 1447.26/1451.29 c #Conflicts: 889000 | #Constraints: 24197 1447.26/1451.29 c #Conflicts: 890000 | #Constraints: 25199 1447.26/1451.29 c #Conflicts: 891000 | #Constraints: 26201 1447.26/1451.29 c #Conflicts: 892000 | #Constraints: 27207 1447.26/1451.29 c #Conflicts: 893000 | #Constraints: 28214 1447.26/1451.29 c #Conflicts: 894000 | #Constraints: 29222 1447.26/1451.29 c #Conflicts: 895000 | #Constraints: 30225 1447.26/1451.29 c #Conflicts: 896000 | #Constraints: 31226 1447.26/1451.29 c #Conflicts: 897000 | #Constraints: 32232 1447.26/1451.29 c #Conflicts: 898000 | #Constraints: 33240 1447.26/1451.29 c #Conflicts: 899000 | #Constraints: 34241 1447.26/1451.29 c #Conflicts: 900000 | #Constraints: 35248 1447.26/1451.29 c #Conflicts: 901000 | #Constraints: 36254 1447.26/1451.29 c #Conflicts: 902000 | #Constraints: 37263 1447.26/1451.29 c #Conflicts: 903000 | #Constraints: 38269 1447.26/1451.29 c INPROCESSING 1447.26/1451.29 c GARBAGE COLLECT 1447.26/1451.29 c rational objective 5 1500.13/1504.24 c #Conflicts: 904000 | #Constraints: 20379 1500.13/1504.24 c #Conflicts: 905000 | #Constraints: 21387 1500.13/1504.24 c #Conflicts: 906000 | #Constraints: 22392 1500.13/1504.24 c #Conflicts: 907000 | #Constraints: 23499 1500.13/1504.24 c #Conflicts: 908000 | #Constraints: 25107 1500.13/1504.24 c #Conflicts: 909000 | #Constraints: 26258 1500.13/1504.24 c #Conflicts: 910000 | #Constraints: 27347 1500.13/1504.24 c #Conflicts: 911000 | #Constraints: 28379 1500.13/1504.24 c #Conflicts: 912000 | #Constraints: 29640 1500.13/1504.24 c #Conflicts: 913000 | #Constraints: 31041 1500.13/1504.24 c #Conflicts: 914000 | #Constraints: 32055 1500.13/1504.24 c #Conflicts: 915000 | #Constraints: 33697 1500.13/1504.24 c #Conflicts: 916000 | #Constraints: 35571 1500.13/1504.24 c #Conflicts: 917000 | #Constraints: 37227 1500.13/1504.24 c #Conflicts: 918000 | #Constraints: 38396 1500.13/1504.24 c #Conflicts: 919000 | #Constraints: 39439 1500.13/1504.24 c #Conflicts: 920000 | #Constraints: 40573 1500.13/1504.24 c #Conflicts: 921000 | #Constraints: 41585 1500.13/1504.24 c #Conflicts: 922000 | #Constraints: 42758 1500.13/1504.24 c INPROCESSING 1500.13/1504.24 c GARBAGE COLLECT 1500.13/1504.24 c rational objective 5 1541.13/1545.38 c #Conflicts: 923000 | #Constraints: 22502 1541.13/1545.38 c #Conflicts: 924000 | #Constraints: 23510 1541.13/1545.38 c #Conflicts: 925000 | #Constraints: 24519 1541.13/1545.38 c #Conflicts: 926000 | #Constraints: 25523 1541.13/1545.38 c #Conflicts: 927000 | #Constraints: 26525 1541.13/1545.38 c #Conflicts: 928000 | #Constraints: 27529 1541.13/1545.38 c #Conflicts: 929000 | #Constraints: 28534 1541.13/1545.38 c #Conflicts: 930000 | #Constraints: 29536 1541.13/1545.38 c #Conflicts: 931000 | #Constraints: 30540 1541.13/1545.38 c #Conflicts: 932000 | #Constraints: 31540 1541.13/1545.38 c #Conflicts: 933000 | #Constraints: 32544 1541.13/1545.38 c #Conflicts: 934000 | #Constraints: 33546 1541.13/1545.38 c #Conflicts: 935000 | #Constraints: 34549 1541.13/1545.38 c #Conflicts: 936000 | #Constraints: 35555 1541.13/1545.38 c #Conflicts: 937000 | #Constraints: 36559 1541.13/1545.38 c #Conflicts: 938000 | #Constraints: 37562 1541.13/1545.38 c #Conflicts: 939000 | #Constraints: 38567 1541.13/1545.38 c #Conflicts: 940000 | #Constraints: 39571 1541.13/1545.38 c #Conflicts: 941000 | #Constraints: 40576 1541.13/1545.38 c INPROCESSING 1541.13/1545.38 c GARBAGE COLLECT 1541.13/1545.38 c rational objective 5 1589.62/1593.90 c #Conflicts: 942000 | #Constraints: 21225 1589.62/1593.90 c #Conflicts: 943000 | #Constraints: 22230 1589.62/1593.90 c #Conflicts: 944000 | #Constraints: 23234 1589.62/1593.90 c #Conflicts: 945000 | #Constraints: 24238 1589.62/1593.90 c #Conflicts: 946000 | #Constraints: 25247 1589.62/1593.90 c #Conflicts: 947000 | #Constraints: 26260 1589.62/1593.90 c #Conflicts: 948000 | #Constraints: 27270 1589.62/1593.90 c #Conflicts: 949000 | #Constraints: 28275 1589.62/1593.90 c #Conflicts: 950000 | #Constraints: 29281 1589.62/1593.90 c #Conflicts: 951000 | #Constraints: 30286 1589.62/1593.90 c #Conflicts: 952000 | #Constraints: 31293 1589.62/1593.90 c #Conflicts: 953000 | #Constraints: 32301 1589.62/1593.90 c #Conflicts: 954000 | #Constraints: 33304 1589.62/1593.90 c #Conflicts: 955000 | #Constraints: 34308 1589.62/1593.90 c #Conflicts: 956000 | #Constraints: 35312 1589.62/1593.90 c #Conflicts: 957000 | #Constraints: 36315 1589.62/1593.90 c #Conflicts: 958000 | #Constraints: 37320 1589.62/1593.90 c #Conflicts: 959000 | #Constraints: 38323 1589.62/1593.90 c #Conflicts: 960000 | #Constraints: 39325 1589.62/1593.90 c #Conflicts: 961000 | #Constraints: 40329 1589.62/1593.90 c INPROCESSING 1589.62/1593.90 c GARBAGE COLLECT 1589.62/1593.90 c rational objective 5 1665.44/1669.95 c #Conflicts: 962000 | #Constraints: 21313 1665.44/1669.95 c #Conflicts: 963000 | #Constraints: 22326 1665.44/1669.95 c #Conflicts: 964000 | #Constraints: 23335 1665.44/1669.95 c #Conflicts: 965000 | #Constraints: 24340 1665.44/1669.95 c #Conflicts: 966000 | #Constraints: 25343 1665.44/1669.95 c #Conflicts: 967000 | #Constraints: 26349 1665.44/1669.95 c #Conflicts: 968000 | #Constraints: 27356 1665.44/1669.95 c #Conflicts: 969000 | #Constraints: 28366 1665.44/1669.95 c #Conflicts: 970000 | #Constraints: 29376 1665.44/1669.95 c #Conflicts: 971000 | #Constraints: 30379 1665.44/1669.95 c #Conflicts: 972000 | #Constraints: 31389 1665.44/1669.95 c #Conflicts: 973000 | #Constraints: 32400 1665.44/1669.95 c #Conflicts: 974000 | #Constraints: 33407 1665.44/1669.95 c #Conflicts: 975000 | #Constraints: 34409 1665.44/1669.95 c #Conflicts: 976000 | #Constraints: 35412 1665.44/1669.95 c #Conflicts: 977000 | #Constraints: 36414 1665.44/1669.95 c #Conflicts: 978000 | #Constraints: 37416 1665.44/1669.95 c #Conflicts: 979000 | #Constraints: 38419 1665.44/1669.95 c #Conflicts: 980000 | #Constraints: 39421 1665.44/1669.95 c #Conflicts: 981000 | #Constraints: 40422 1665.44/1669.95 c INPROCESSING 1665.44/1669.95 c GARBAGE COLLECT 1665.44/1669.95 c rational objective 5 1730.68/1735.33 c #Conflicts: 982000 | #Constraints: 21455 1730.68/1735.33 c #Conflicts: 983000 | #Constraints: 22457 1730.68/1735.33 c #Conflicts: 984000 | #Constraints: 23460 1730.68/1735.33 c #Conflicts: 985000 | #Constraints: 24464 1730.68/1735.33 c #Conflicts: 986000 | #Constraints: 25470 1730.68/1735.33 c #Conflicts: 987000 | #Constraints: 26472 1730.68/1735.33 c #Conflicts: 988000 | #Constraints: 27475 1730.68/1735.33 c #Conflicts: 989000 | #Constraints: 28481 1730.68/1735.33 c #Conflicts: 990000 | #Constraints: 29485 1730.68/1735.33 c #Conflicts: 991000 | #Constraints: 30487 1730.68/1735.33 c #Conflicts: 992000 | #Constraints: 31492 1730.68/1735.33 c #Conflicts: 993000 | #Constraints: 32495 1730.68/1735.33 c #Conflicts: 994000 | #Constraints: 33497 1730.68/1735.33 c #Conflicts: 995000 | #Constraints: 34501 1730.68/1735.33 c #Conflicts: 996000 | #Constraints: 35503 1730.68/1735.33 c #Conflicts: 997000 | #Constraints: 36505 1730.68/1735.33 c #Conflicts: 998000 | #Constraints: 37506 1730.68/1735.33 c #Conflicts: 999000 | #Constraints: 38509 1730.68/1735.33 c #Conflicts: 1000000 | #Constraints: 39512 1730.68/1735.33 c #Conflicts: 1001000 | #Constraints: 40513 1730.68/1735.33 c INPROCESSING 1730.68/1735.33 c GARBAGE COLLECT 1730.68/1735.33 c rational objective 5 1770.19/1774.94 c #Conflicts: 1002000 | #Constraints: 21515 1770.19/1774.94 c #Conflicts: 1003000 | #Constraints: 22520 1770.19/1774.94 c #Conflicts: 1004000 | #Constraints: 23520 1770.19/1774.94 c #Conflicts: 1005000 | #Constraints: 24524 1770.19/1774.94 c #Conflicts: 1006000 | #Constraints: 25528 1770.19/1774.94 c #Conflicts: 1007000 | #Constraints: 26530 1770.19/1774.94 c #Conflicts: 1008000 | #Constraints: 27531 1770.19/1774.94 c #Conflicts: 1009000 | #Constraints: 28531 1770.19/1774.94 c #Conflicts: 1010000 | #Constraints: 29532 1770.19/1774.94 c #Conflicts: 1011000 | #Constraints: 30535 1770.19/1774.94 c #Conflicts: 1012000 | #Constraints: 31535 1770.19/1774.94 c #Conflicts: 1013000 | #Constraints: 32538 1770.19/1774.94 c #Conflicts: 1014000 | #Constraints: 33540 1770.19/1774.94 c #Conflicts: 1015000 | #Constraints: 34541 1770.19/1774.94 c #Conflicts: 1016000 | #Constraints: 35542 1770.19/1774.94 c #Conflicts: 1017000 | #Constraints: 36542 1770.19/1774.94 c #Conflicts: 1018000 | #Constraints: 37543 1770.19/1774.94 c #Conflicts: 1019000 | #Constraints: 38543 1770.19/1774.94 c #Conflicts: 1020000 | #Constraints: 39546 1770.19/1774.94 c #Conflicts: 1021000 | #Constraints: 40549 1770.19/1774.94 c INPROCESSING 1770.19/1774.94 c GARBAGE COLLECT 1770.19/1774.94 c rational objective 5 1929.32/1934.41 c #Conflicts: 1022000 | #Constraints: 21421 1929.32/1934.41 c #Conflicts: 1023000 | #Constraints: 22428 1929.32/1934.41 c #Conflicts: 1024000 | #Constraints: 23433 1929.32/1934.41 c #Conflicts: 1025000 | #Constraints: 24439 1929.32/1934.41 c #Conflicts: 1026000 | #Constraints: 25440 1929.32/1934.41 c #Conflicts: 1027000 | #Constraints: 26443 1929.32/1934.41 c #Conflicts: 1028000 | #Constraints: 27448 1929.32/1934.41 c #Conflicts: 1029000 | #Constraints: 28455 1929.32/1934.41 c #Conflicts: 1030000 | #Constraints: 29456 1929.32/1934.41 c #Conflicts: 1031000 | #Constraints: 30459 1929.32/1934.41 c #Conflicts: 1032000 | #Constraints: 31463 1929.32/1934.41 c #Conflicts: 1033000 | #Constraints: 32467 1929.32/1934.41 c #Conflicts: 1034000 | #Constraints: 33469 1929.32/1934.41 c #Conflicts: 1035000 | #Constraints: 34473 1929.32/1934.41 c #Conflicts: 1036000 | #Constraints: 35478 1929.32/1934.41 c #Conflicts: 1037000 | #Constraints: 36480 1929.32/1934.41 c #Conflicts: 1038000 | #Constraints: 37482 1929.32/1934.41 c #Conflicts: 1039000 | #Constraints: 38486 1929.32/1934.41 c #Conflicts: 1040000 | #Constraints: 39488 1929.32/1934.41 c #Conflicts: 1041000 | #Constraints: 40489 1929.32/1934.41 c INPROCESSING 1929.32/1934.41 c GARBAGE COLLECT 1929.32/1934.41 c rational objective 5 2046.52/2051.90 c #Conflicts: 1042000 | #Constraints: 21231 2046.52/2051.90 c #Conflicts: 1043000 | #Constraints: 22237 2046.52/2051.90 c #Conflicts: 1044000 | #Constraints: 23242 2046.52/2051.90 c #Conflicts: 1045000 | #Constraints: 24243 2046.52/2051.90 c #Conflicts: 1046000 | #Constraints: 25248 2046.52/2051.90 c #Conflicts: 1047000 | #Constraints: 26253 2046.52/2051.90 c #Conflicts: 1048000 | #Constraints: 27257 2046.52/2051.90 c #Conflicts: 1049000 | #Constraints: 28263 2046.52/2051.90 c #Conflicts: 1050000 | #Constraints: 29266 2046.52/2051.90 c #Conflicts: 1051000 | #Constraints: 30269 2046.52/2051.90 c #Conflicts: 1052000 | #Constraints: 31274 2046.52/2051.90 c #Conflicts: 1053000 | #Constraints: 32278 2046.52/2051.90 c #Conflicts: 1054000 | #Constraints: 33281 2046.52/2051.90 c #Conflicts: 1055000 | #Constraints: 34285 2046.52/2051.90 c #Conflicts: 1056000 | #Constraints: 35292 2046.52/2051.90 c #Conflicts: 1057000 | #Constraints: 36296 2046.52/2051.90 c #Conflicts: 1058000 | #Constraints: 37302 2046.52/2051.90 c #Conflicts: 1059000 | #Constraints: 38307 2046.52/2051.90 c #Conflicts: 1060000 | #Constraints: 39313 2046.52/2051.90 c #Conflicts: 1061000 | #Constraints: 40316 2046.52/2051.90 c #Conflicts: 1062000 | #Constraints: 41318 2046.52/2051.90 c INPROCESSING 2046.52/2051.90 c GARBAGE COLLECT 2046.52/2051.90 c rational objective 5 2126.91/2132.58 c #Conflicts: 1063000 | #Constraints: 21829 2126.91/2132.58 c #Conflicts: 1064000 | #Constraints: 22832 2126.91/2132.58 c #Conflicts: 1065000 | #Constraints: 23837 2126.91/2132.58 c #Conflicts: 1066000 | #Constraints: 24840 2126.91/2132.58 c #Conflicts: 1067000 | #Constraints: 25844 2126.91/2132.58 c #Conflicts: 1068000 | #Constraints: 26846 2126.91/2132.58 c #Conflicts: 1069000 | #Constraints: 27851 2126.91/2132.58 c #Conflicts: 1070000 | #Constraints: 28856 2126.91/2132.58 c #Conflicts: 1071000 | #Constraints: 29860 2126.91/2132.58 c #Conflicts: 1072000 | #Constraints: 30864 2126.91/2132.58 c #Conflicts: 1073000 | #Constraints: 31868 2126.91/2132.58 c #Conflicts: 1074000 | #Constraints: 32874 2126.91/2132.58 c #Conflicts: 1075000 | #Constraints: 33877 2126.91/2132.58 c #Conflicts: 1076000 | #Constraints: 34883 2126.91/2132.58 c #Conflicts: 1077000 | #Constraints: 35885 2126.91/2132.58 c #Conflicts: 1078000 | #Constraints: 36888 2126.91/2132.58 c #Conflicts: 1079000 | #Constraints: 37893 2126.91/2132.58 c #Conflicts: 1080000 | #Constraints: 38897 2126.91/2132.58 c #Conflicts: 1081000 | #Constraints: 39903 2126.91/2132.58 c #Conflicts: 1082000 | #Constraints: 40906 2126.91/2132.58 c #Conflicts: 1083000 | #Constraints: 41912 2126.91/2132.58 c INPROCESSING 2126.91/2132.58 c GARBAGE COLLECT 2126.91/2132.58 c rational objective 5 2211.10/2216.90 c #Conflicts: 1084000 | #Constraints: 22211 2211.10/2216.90 c #Conflicts: 1085000 | #Constraints: 23218 2211.10/2216.90 c #Conflicts: 1086000 | #Constraints: 24224 2211.10/2216.90 c #Conflicts: 1087000 | #Constraints: 25227 2211.10/2216.90 c #Conflicts: 1088000 | #Constraints: 26231 2211.10/2216.90 c #Conflicts: 1089000 | #Constraints: 27237 2211.10/2216.90 c #Conflicts: 1090000 | #Constraints: 28239 2211.10/2216.90 c #Conflicts: 1091000 | #Constraints: 29246 2211.10/2216.90 c #Conflicts: 1092000 | #Constraints: 30249 2211.10/2216.90 c #Conflicts: 1093000 | #Constraints: 31253 2211.10/2216.90 c #Conflicts: 1094000 | #Constraints: 32257 2211.10/2216.90 c #Conflicts: 1095000 | #Constraints: 33262 2211.10/2216.90 c #Conflicts: 1096000 | #Constraints: 34265 2211.10/2216.90 c #Conflicts: 1097000 | #Constraints: 35267 2211.10/2216.90 c #Conflicts: 1098000 | #Constraints: 36270 2211.10/2216.90 c #Conflicts: 1099000 | #Constraints: 37276 2211.10/2216.90 c #Conflicts: 1100000 | #Constraints: 38281 2211.10/2216.90 c #Conflicts: 1101000 | #Constraints: 39287 2211.10/2216.90 c #Conflicts: 1102000 | #Constraints: 40290 2211.10/2216.90 c #Conflicts: 1103000 | #Constraints: 41293 2211.10/2216.90 c #Conflicts: 1104000 | #Constraints: 42296 2211.10/2216.90 c INPROCESSING 2211.10/2216.90 c GARBAGE COLLECT 2211.10/2216.90 c rational objective 5 2289.21/2295.26 c #Conflicts: 1105000 | #Constraints: 22398 2289.21/2295.26 c #Conflicts: 1106000 | #Constraints: 23401 2289.21/2295.26 c #Conflicts: 1107000 | #Constraints: 24409 2289.21/2295.26 c #Conflicts: 1108000 | #Constraints: 25412 2289.21/2295.26 c #Conflicts: 1109000 | #Constraints: 26415 2289.21/2295.26 c #Conflicts: 1110000 | #Constraints: 27419 2289.21/2295.26 c #Conflicts: 1111000 | #Constraints: 28422 2289.21/2295.26 c #Conflicts: 1112000 | #Constraints: 29426 2289.21/2295.26 c #Conflicts: 1113000 | #Constraints: 30435 2289.21/2295.26 c #Conflicts: 1114000 | #Constraints: 31438 2289.21/2295.26 c #Conflicts: 1115000 | #Constraints: 32441 2289.21/2295.26 c #Conflicts: 1116000 | #Constraints: 33460 2289.21/2295.26 c #Conflicts: 1117000 | #Constraints: 34461 2289.21/2295.26 c #Conflicts: 1118000 | #Constraints: 35465 2289.21/2295.26 c #Conflicts: 1119000 | #Constraints: 36469 2289.21/2295.26 c #Conflicts: 1120000 | #Constraints: 37469 2289.21/2295.26 c #Conflicts: 1121000 | #Constraints: 38470 2289.21/2295.26 c #Conflicts: 1122000 | #Constraints: 39481 2289.21/2295.26 c #Conflicts: 1123000 | #Constraints: 40556 2289.21/2295.26 c #Conflicts: 1124000 | #Constraints: 41560 2289.21/2295.26 c #Conflicts: 1125000 | #Constraints: 42561 2289.21/2295.26 c INPROCESSING 2289.21/2295.26 c GARBAGE COLLECT 2289.21/2295.26 c rational objective 5 2334.18/2340.38 c #Conflicts: 1126000 | #Constraints: 22422 2334.18/2340.38 c #Conflicts: 1127000 | #Constraints: 23426 2334.18/2340.38 c #Conflicts: 1128000 | #Constraints: 24432 2334.18/2340.38 c #Conflicts: 1129000 | #Constraints: 25439 2334.18/2340.38 c #Conflicts: 1130000 | #Constraints: 26442 2334.18/2340.38 c #Conflicts: 1131000 | #Constraints: 27446 2334.18/2340.38 c #Conflicts: 1132000 | #Constraints: 28447 2334.18/2340.38 c #Conflicts: 1133000 | #Constraints: 29454 2334.18/2340.38 c #Conflicts: 1134000 | #Constraints: 30454 2334.18/2340.38 c #Conflicts: 1135000 | #Constraints: 31459 2334.18/2340.38 c #Conflicts: 1136000 | #Constraints: 32462 2334.18/2340.38 c #Conflicts: 1137000 | #Constraints: 33466 2334.18/2340.38 c #Conflicts: 1138000 | #Constraints: 34469 2334.18/2340.38 c #Conflicts: 1139000 | #Constraints: 35475 2334.18/2340.38 c #Conflicts: 1140000 | #Constraints: 36483 2334.18/2340.38 c #Conflicts: 1141000 | #Constraints: 37484 2334.18/2340.38 c #Conflicts: 1142000 | #Constraints: 38485 2334.18/2340.38 c #Conflicts: 1143000 | #Constraints: 39488 2334.18/2340.38 c #Conflicts: 1144000 | #Constraints: 40490 2334.18/2340.38 c #Conflicts: 1145000 | #Constraints: 41494 2334.18/2340.38 c #Conflicts: 1146000 | #Constraints: 42497 2334.18/2340.38 c INPROCESSING 2334.18/2340.38 c GARBAGE COLLECT 2334.18/2340.38 c rational objective 5 2389.35/2395.65 c #Conflicts: 1147000 | #Constraints: 22183 2389.35/2395.65 c #Conflicts: 1148000 | #Constraints: 23185 2389.35/2395.65 c #Conflicts: 1149000 | #Constraints: 24189 2389.35/2395.65 c #Conflicts: 1150000 | #Constraints: 25193 2389.35/2395.65 c #Conflicts: 1151000 | #Constraints: 26199 2389.35/2395.65 c #Conflicts: 1152000 | #Constraints: 27203 2389.35/2395.65 c #Conflicts: 1153000 | #Constraints: 28208 2389.35/2395.65 c #Conflicts: 1154000 | #Constraints: 29216 2389.35/2395.65 c #Conflicts: 1155000 | #Constraints: 30220 2389.35/2395.65 c #Conflicts: 1156000 | #Constraints: 31224 2389.35/2395.65 c #Conflicts: 1157000 | #Constraints: 32233 2389.35/2395.65 c #Conflicts: 1158000 | #Constraints: 33240 2389.35/2395.65 c #Conflicts: 1159000 | #Constraints: 34242 2389.35/2395.65 c #Conflicts: 1160000 | #Constraints: 35249 2389.35/2395.65 c #Conflicts: 1161000 | #Constraints: 36253 2389.35/2395.65 c #Conflicts: 1162000 | #Constraints: 37260 2389.35/2395.65 c #Conflicts: 1163000 | #Constraints: 38265 2389.35/2395.65 c #Conflicts: 1164000 | #Constraints: 39268 2389.35/2395.65 c #Conflicts: 1165000 | #Constraints: 40270 2389.35/2395.65 c #Conflicts: 1166000 | #Constraints: 41273 2389.35/2395.65 c #Conflicts: 1167000 | #Constraints: 42277 2389.35/2395.65 c #Conflicts: 1168000 | #Constraints: 43283 2389.35/2395.65 c INPROCESSING 2389.35/2395.65 c GARBAGE COLLECT 2389.35/2395.65 c rational objective 5 2442.91/2449.33 c #Conflicts: 1169000 | #Constraints: 22803 2442.91/2449.33 c #Conflicts: 1170000 | #Constraints: 23814 2442.91/2449.33 c #Conflicts: 1171000 | #Constraints: 24829 2442.91/2449.33 c #Conflicts: 1172000 | #Constraints: 25837 2442.91/2449.33 c #Conflicts: 1173000 | #Constraints: 26843 2442.91/2449.33 c #Conflicts: 1174000 | #Constraints: 27847 2442.91/2449.33 c #Conflicts: 1175000 | #Constraints: 28854 2442.91/2449.33 c #Conflicts: 1176000 | #Constraints: 29857 2442.91/2449.33 c #Conflicts: 1177000 | #Constraints: 30863 2442.91/2449.33 c #Conflicts: 1178000 | #Constraints: 31868 2442.91/2449.33 c #Conflicts: 1179000 | #Constraints: 32871 2442.91/2449.33 c #Conflicts: 1180000 | #Constraints: 33876 2442.91/2449.33 c #Conflicts: 1181000 | #Constraints: 34882 2442.91/2449.33 c #Conflicts: 1182000 | #Constraints: 35887 2442.91/2449.33 c #Conflicts: 1183000 | #Constraints: 36900 2442.91/2449.33 c #Conflicts: 1184000 | #Constraints: 37906 2442.91/2449.33 c #Conflicts: 1185000 | #Constraints: 38913 2442.91/2449.33 c #Conflicts: 1186000 | #Constraints: 39916 2442.91/2449.33 c #Conflicts: 1187000 | #Constraints: 40921 2442.91/2449.33 c #Conflicts: 1188000 | #Constraints: 41934 2442.91/2449.33 c #Conflicts: 1189000 | #Constraints: 42939 2442.91/2449.33 c #Conflicts: 1190000 | #Constraints: 43943 2442.91/2449.33 c INPROCESSING 2442.91/2449.33 c GARBAGE COLLECT 2442.91/2449.33 c rational objective 5 2483.61/2490.19 c #Conflicts: 1191000 | #Constraints: 23219 2483.61/2490.19 c #Conflicts: 1192000 | #Constraints: 24224 2483.61/2490.19 c #Conflicts: 1193000 | #Constraints: 25229 2483.61/2490.19 c #Conflicts: 1194000 | #Constraints: 26231 2483.61/2490.19 c #Conflicts: 1195000 | #Constraints: 27239 2483.61/2490.19 c #Conflicts: 1196000 | #Constraints: 28241 2483.61/2490.19 c #Conflicts: 1197000 | #Constraints: 29242 2483.61/2490.19 c #Conflicts: 1198000 | #Constraints: 30248 2483.61/2490.19 c #Conflicts: 1199000 | #Constraints: 31253 2483.61/2490.19 c #Conflicts: 1200000 | #Constraints: 32257 2483.61/2490.19 c #Conflicts: 1201000 | #Constraints: 33262 2483.61/2490.19 c #Conflicts: 1202000 | #Constraints: 34268 2483.61/2490.19 c #Conflicts: 1203000 | #Constraints: 35272 2483.61/2490.19 c #Conflicts: 1204000 | #Constraints: 36276 2483.61/2490.19 c #Conflicts: 1205000 | #Constraints: 37282 2483.61/2490.19 c #Conflicts: 1206000 | #Constraints: 38292 2483.61/2490.19 c #Conflicts: 1207000 | #Constraints: 39298 2483.61/2490.19 c #Conflicts: 1208000 | #Constraints: 40307 2483.61/2490.19 c #Conflicts: 1209000 | #Constraints: 41315 2483.61/2490.19 c #Conflicts: 1210000 | #Constraints: 42321 2483.61/2490.19 c #Conflicts: 1211000 | #Constraints: 43332 2483.61/2490.19 c #Conflicts: 1212000 | #Constraints: 44338 2483.61/2490.19 c INPROCESSING 2483.61/2490.19 c GARBAGE COLLECT 2483.61/2490.19 c rational objective 5 2562.80/2569.51 c #Conflicts: 1213000 | #Constraints: 23426 2562.80/2569.51 c #Conflicts: 1214000 | #Constraints: 24430 2562.80/2569.51 c #Conflicts: 1215000 | #Constraints: 25434 2562.80/2569.51 c #Conflicts: 1216000 | #Constraints: 26438 2562.80/2569.51 c #Conflicts: 1217000 | #Constraints: 27445 2562.80/2569.51 c #Conflicts: 1218000 | #Constraints: 28451 2562.80/2569.51 c #Conflicts: 1219000 | #Constraints: 29457 2562.80/2569.51 c #Conflicts: 1220000 | #Constraints: 30470 2562.80/2569.51 c #Conflicts: 1221000 | #Constraints: 31473 2562.80/2569.51 c #Conflicts: 1222000 | #Constraints: 32481 2562.80/2569.51 c #Conflicts: 1223000 | #Constraints: 33487 2562.80/2569.51 c #Conflicts: 1224000 | #Constraints: 34492 2562.80/2569.51 c #Conflicts: 1225000 | #Constraints: 35496 2562.80/2569.51 c #Conflicts: 1226000 | #Constraints: 36504 2562.80/2569.51 c #Conflicts: 1227000 | #Constraints: 37507 2562.80/2569.51 c #Conflicts: 1228000 | #Constraints: 38510 2562.80/2569.51 c #Conflicts: 1229000 | #Constraints: 39513 2562.80/2569.51 c #Conflicts: 1230000 | #Constraints: 40521 2562.80/2569.51 c #Conflicts: 1231000 | #Constraints: 41524 2562.80/2569.51 c #Conflicts: 1232000 | #Constraints: 42528 2562.80/2569.51 c #Conflicts: 1233000 | #Constraints: 43530 2562.80/2569.51 c #Conflicts: 1234000 | #Constraints: 44534 2562.80/2569.51 c INPROCESSING 2562.80/2569.51 c GARBAGE COLLECT 2562.80/2569.51 c rational objective 5 2611.58/2618.45 c #Conflicts: 1235000 | #Constraints: 23414 2611.58/2618.45 c #Conflicts: 1236000 | #Constraints: 24416 2611.58/2618.45 c #Conflicts: 1237000 | #Constraints: 25492 2611.58/2618.45 c #Conflicts: 1238000 | #Constraints: 26499 2611.58/2618.45 c #Conflicts: 1239000 | #Constraints: 27506 2611.58/2618.45 c #Conflicts: 1240000 | #Constraints: 28558 2611.58/2618.45 c #Conflicts: 1241000 | #Constraints: 29564 2611.58/2618.45 c #Conflicts: 1242000 | #Constraints: 30568 2611.58/2618.45 c #Conflicts: 1243000 | #Constraints: 31571 2611.58/2618.45 c #Conflicts: 1244000 | #Constraints: 32573 2611.58/2618.45 c #Conflicts: 1245000 | #Constraints: 33581 2611.58/2618.45 c #Conflicts: 1246000 | #Constraints: 34590 2611.58/2618.45 c #Conflicts: 1247000 | #Constraints: 35595 2611.58/2618.45 c #Conflicts: 1248000 | #Constraints: 36601 2611.58/2618.45 c #Conflicts: 1249000 | #Constraints: 37608 2611.58/2618.45 c #Conflicts: 1250000 | #Constraints: 38612 2611.58/2618.45 c #Conflicts: 1251000 | #Constraints: 39623 2611.58/2618.45 c #Conflicts: 1252000 | #Constraints: 40653 2611.58/2618.45 c #Conflicts: 1253000 | #Constraints: 41693 2611.58/2618.45 c #Conflicts: 1254000 | #Constraints: 42703 2611.58/2618.45 c #Conflicts: 1255000 | #Constraints: 43707 2611.58/2618.45 c #Conflicts: 1256000 | #Constraints: 45400 2611.58/2618.45 c INPROCESSING 2611.58/2618.45 c GARBAGE COLLECT 2611.58/2618.45 c rational objective 5 2733.27/2740.40 c #Conflicts: 1257000 | #Constraints: 23841 2733.27/2740.40 c #Conflicts: 1258000 | #Constraints: 24843 2733.27/2740.40 c #Conflicts: 1259000 | #Constraints: 26267 2733.27/2740.40 c #Conflicts: 1260000 | #Constraints: 27364 2733.27/2740.40 c #Conflicts: 1261000 | #Constraints: 28374 2733.27/2740.40 c #Conflicts: 1262000 | #Constraints: 29414 2733.27/2740.40 c #Conflicts: 1263000 | #Constraints: 30493 2733.27/2740.40 c #Conflicts: 1264000 | #Constraints: 31871 2733.27/2740.40 c #Conflicts: 1265000 | #Constraints: 33126 2733.27/2740.40 c #Conflicts: 1266000 | #Constraints: 34978 2733.27/2740.40 c #Conflicts: 1267000 | #Constraints: 36842 2733.27/2740.40 c #Conflicts: 1268000 | #Constraints: 38620 2733.27/2740.40 c #Conflicts: 1269000 | #Constraints: 40067 2733.27/2740.40 c #Conflicts: 1270000 | #Constraints: 41519 2733.27/2740.40 c #Conflicts: 1271000 | #Constraints: 43201 2733.27/2740.40 c #Conflicts: 1272000 | #Constraints: 45018 2733.27/2740.40 c #Conflicts: 1273000 | #Constraints: 46852 2733.27/2740.40 c #Conflicts: 1274000 | #Constraints: 48692 2733.27/2740.40 c #Conflicts: 1275000 | #Constraints: 50212 2733.27/2740.40 c #Conflicts: 1276000 | #Constraints: 51242 2733.27/2740.40 c #Conflicts: 1277000 | #Constraints: 52702 2733.27/2740.40 c #Conflicts: 1278000 | #Constraints: 54168 2733.27/2740.40 c #Conflicts: 1279000 | #Constraints: 55304 2733.27/2740.40 c INPROCESSING 2733.27/2740.40 c GARBAGE COLLECT 2733.27/2740.40 c rational objective 5 2785.63/2792.95 c #Conflicts: 1280000 | #Constraints: 28784 2785.63/2792.95 c #Conflicts: 1281000 | #Constraints: 29788 2785.63/2792.95 c #Conflicts: 1282000 | #Constraints: 30796 2785.63/2792.95 c #Conflicts: 1283000 | #Constraints: 31798 2785.63/2792.95 c #Conflicts: 1284000 | #Constraints: 32810 2785.63/2792.95 c #Conflicts: 1285000 | #Constraints: 33812 2785.63/2792.95 c #Conflicts: 1286000 | #Constraints: 34817 2785.63/2792.95 c #Conflicts: 1287000 | #Constraints: 35824 2785.63/2792.95 c #Conflicts: 1288000 | #Constraints: 36831 2785.63/2792.95 c #Conflicts: 1289000 | #Constraints: 37836 2785.63/2792.95 c #Conflicts: 1290000 | #Constraints: 38840 2785.63/2792.95 c #Conflicts: 1291000 | #Constraints: 39848 2785.63/2792.95 c #Conflicts: 1292000 | #Constraints: 40851 2785.63/2792.95 c #Conflicts: 1293000 | #Constraints: 41855 2785.63/2792.95 c #Conflicts: 1294000 | #Constraints: 42859 2785.63/2792.95 c #Conflicts: 1295000 | #Constraints: 43865 2785.63/2792.95 c #Conflicts: 1296000 | #Constraints: 44872 2785.63/2792.95 c #Conflicts: 1297000 | #Constraints: 45879 2785.63/2792.95 c #Conflicts: 1298000 | #Constraints: 46887 2785.63/2792.95 c #Conflicts: 1299000 | #Constraints: 47892 2785.63/2792.95 c #Conflicts: 1300000 | #Constraints: 48897 2785.63/2792.95 c #Conflicts: 1301000 | #Constraints: 49901 2785.63/2792.95 c #Conflicts: 1302000 | #Constraints: 50907 2785.63/2792.95 c INPROCESSING 2785.63/2792.95 c GARBAGE COLLECT 2785.63/2792.95 c rational objective 5 2867.83/2875.35 c #Conflicts: 1303000 | #Constraints: 26696 2867.83/2875.35 c #Conflicts: 1304000 | #Constraints: 27702 2867.83/2875.35 c #Conflicts: 1305000 | #Constraints: 28706 2867.83/2875.35 c #Conflicts: 1306000 | #Constraints: 29713 2867.83/2875.35 c #Conflicts: 1307000 | #Constraints: 30717 2867.83/2875.35 c #Conflicts: 1308000 | #Constraints: 31724 2867.83/2875.35 c #Conflicts: 1309000 | #Constraints: 32727 2867.83/2875.35 c #Conflicts: 1310000 | #Constraints: 33730 2867.83/2875.35 c #Conflicts: 1311000 | #Constraints: 34736 2867.83/2875.35 c #Conflicts: 1312000 | #Constraints: 35744 2867.83/2875.35 c #Conflicts: 1313000 | #Constraints: 36750 2867.83/2875.35 c #Conflicts: 1314000 | #Constraints: 37759 2867.83/2875.35 c #Conflicts: 1315000 | #Constraints: 38767 2867.83/2875.35 c #Conflicts: 1316000 | #Constraints: 39771 2867.83/2875.35 c #Conflicts: 1317000 | #Constraints: 40776 2867.83/2875.35 c #Conflicts: 1318000 | #Constraints: 41781 2867.83/2875.35 c #Conflicts: 1319000 | #Constraints: 42786 2867.83/2875.35 c #Conflicts: 1320000 | #Constraints: 43791 2867.83/2875.35 c #Conflicts: 1321000 | #Constraints: 44799 2867.83/2875.35 c #Conflicts: 1322000 | #Constraints: 45804 2867.83/2875.35 c #Conflicts: 1323000 | #Constraints: 46811 2867.83/2875.35 c #Conflicts: 1324000 | #Constraints: 47816 2867.83/2875.35 c #Conflicts: 1325000 | #Constraints: 48821 2867.83/2875.35 c INPROCESSING 2867.83/2875.35 c GARBAGE COLLECT 2867.83/2875.35 c rational objective 5 2946.03/2953.79 c #Conflicts: 1326000 | #Constraints: 25659 2946.03/2953.79 c #Conflicts: 1327000 | #Constraints: 26661 2946.03/2953.79 c #Conflicts: 1328000 | #Constraints: 27666 2946.03/2953.79 c #Conflicts: 1329000 | #Constraints: 28669 2946.03/2953.79 c #Conflicts: 1330000 | #Constraints: 29674 2946.03/2953.79 c #Conflicts: 1331000 | #Constraints: 30674 2946.03/2953.79 c #Conflicts: 1332000 | #Constraints: 31677 2946.03/2953.79 c #Conflicts: 1333000 | #Constraints: 32679 2946.03/2953.79 c #Conflicts: 1334000 | #Constraints: 33687 2946.03/2953.79 c #Conflicts: 1335000 | #Constraints: 34690 2946.03/2953.79 c #Conflicts: 1336000 | #Constraints: 35692 2946.03/2953.79 c #Conflicts: 1337000 | #Constraints: 36698 2946.03/2953.79 c #Conflicts: 1338000 | #Constraints: 37704 2946.03/2953.79 c #Conflicts: 1339000 | #Constraints: 38710 2946.03/2953.79 c #Conflicts: 1340000 | #Constraints: 39711 2946.03/2953.79 c #Conflicts: 1341000 | #Constraints: 40715 2946.03/2953.79 c #Conflicts: 1342000 | #Constraints: 41717 2946.03/2953.79 c #Conflicts: 1343000 | #Constraints: 42720 2946.03/2953.79 c #Conflicts: 1344000 | #Constraints: 43721 2946.03/2953.79 c #Conflicts: 1345000 | #Constraints: 44723 2946.03/2953.79 c #Conflicts: 1346000 | #Constraints: 45726 2946.03/2953.79 c #Conflicts: 1347000 | #Constraints: 46735 2946.03/2953.79 c #Conflicts: 1348000 | #Constraints: 47738 2946.03/2953.79 c INPROCESSING 2946.03/2953.79 c GARBAGE COLLECT 2946.03/2953.79 c rational objective 5 3023.65/3031.53 c #Conflicts: 1349000 | #Constraints: 25028 3023.65/3031.53 c #Conflicts: 1350000 | #Constraints: 26036 3023.65/3031.53 c #Conflicts: 1351000 | #Constraints: 27039 3023.65/3031.53 c #Conflicts: 1352000 | #Constraints: 28042 3023.65/3031.53 c #Conflicts: 1353000 | #Constraints: 29051 3023.65/3031.53 c #Conflicts: 1354000 | #Constraints: 30056 3023.65/3031.53 c #Conflicts: 1355000 | #Constraints: 31058 3023.65/3031.53 c #Conflicts: 1356000 | #Constraints: 32061 3023.65/3031.53 c #Conflicts: 1357000 | #Constraints: 33064 3023.65/3031.53 c #Conflicts: 1358000 | #Constraints: 34068 3023.65/3031.53 c #Conflicts: 1359000 | #Constraints: 35072 3023.65/3031.53 c #Conflicts: 1360000 | #Constraints: 36077 3023.65/3031.53 c #Conflicts: 1361000 | #Constraints: 37080 3023.65/3031.53 c #Conflicts: 1362000 | #Constraints: 38089 3023.65/3031.53 c #Conflicts: 1363000 | #Constraints: 39095 3023.65/3031.53 c #Conflicts: 1364000 | #Constraints: 40100 3023.65/3031.53 c #Conflicts: 1365000 | #Constraints: 41106 3023.65/3031.53 c #Conflicts: 1366000 | #Constraints: 42111 3023.65/3031.53 c #Conflicts: 1367000 | #Constraints: 43125 3023.65/3031.53 c #Conflicts: 1368000 | #Constraints: 44128 3023.65/3031.53 c #Conflicts: 1369000 | #Constraints: 45143 3023.65/3031.53 c #Conflicts: 1370000 | #Constraints: 46148 3023.65/3031.53 c #Conflicts: 1371000 | #Constraints: 47158 3023.65/3031.53 c INPROCESSING 3023.65/3031.53 c GARBAGE COLLECT 3023.65/3031.53 c rational objective 5 3084.19/3092.26 c #Conflicts: 1372000 | #Constraints: 24520 3084.19/3092.26 c #Conflicts: 1373000 | #Constraints: 25527 3084.19/3092.26 c #Conflicts: 1374000 | #Constraints: 26534 3084.19/3092.26 c #Conflicts: 1375000 | #Constraints: 27542 3084.19/3092.26 c #Conflicts: 1376000 | #Constraints: 28550 3084.19/3092.26 c #Conflicts: 1377000 | #Constraints: 29556 3084.19/3092.26 c #Conflicts: 1378000 | #Constraints: 30559 3084.19/3092.26 c #Conflicts: 1379000 | #Constraints: 31566 3084.19/3092.26 c #Conflicts: 1380000 | #Constraints: 32573 3084.19/3092.26 c #Conflicts: 1381000 | #Constraints: 33580 3084.19/3092.26 c #Conflicts: 1382000 | #Constraints: 34585 3084.19/3092.26 c #Conflicts: 1383000 | #Constraints: 35595 3084.19/3092.26 c #Conflicts: 1384000 | #Constraints: 36602 3084.19/3092.26 c #Conflicts: 1385000 | #Constraints: 37609 3084.19/3092.26 c #Conflicts: 1386000 | #Constraints: 38615 3084.19/3092.26 c #Conflicts: 1387000 | #Constraints: 39621 3084.19/3092.26 c #Conflicts: 1388000 | #Constraints: 40629 3084.19/3092.26 c #Conflicts: 1389000 | #Constraints: 41635 3084.19/3092.26 c #Conflicts: 1390000 | #Constraints: 42640 3084.19/3092.26 c #Conflicts: 1391000 | #Constraints: 43648 3084.19/3092.26 c #Conflicts: 1392000 | #Constraints: 44659 3084.19/3092.26 c #Conflicts: 1393000 | #Constraints: 45671 3084.19/3092.26 c #Conflicts: 1394000 | #Constraints: 46677 3084.19/3092.26 c #Conflicts: 1395000 | #Constraints: 47683 3084.19/3092.26 c INPROCESSING 3084.19/3092.26 c GARBAGE COLLECT 3084.19/3092.26 c rational objective 5 3147.84/3156.04 c #Conflicts: 1396000 | #Constraints: 25001 3147.84/3156.04 c #Conflicts: 1397000 | #Constraints: 26004 3147.84/3156.04 c #Conflicts: 1398000 | #Constraints: 27014 3147.84/3156.04 c #Conflicts: 1399000 | #Constraints: 28017 3147.84/3156.04 c #Conflicts: 1400000 | #Constraints: 29023 3147.84/3156.04 c #Conflicts: 1401000 | #Constraints: 30025 3147.84/3156.04 c #Conflicts: 1402000 | #Constraints: 31028 3147.84/3156.04 c #Conflicts: 1403000 | #Constraints: 32033 3147.84/3156.04 c #Conflicts: 1404000 | #Constraints: 33043 3147.84/3156.04 c #Conflicts: 1405000 | #Constraints: 34050 3147.84/3156.04 c #Conflicts: 1406000 | #Constraints: 35055 3147.84/3156.04 c #Conflicts: 1407000 | #Constraints: 36059 3147.84/3156.04 c #Conflicts: 1408000 | #Constraints: 37064 3147.84/3156.04 c #Conflicts: 1409000 | #Constraints: 38068 3147.84/3156.04 c #Conflicts: 1410000 | #Constraints: 39073 3147.84/3156.04 c #Conflicts: 1411000 | #Constraints: 40075 3147.84/3156.04 c #Conflicts: 1412000 | #Constraints: 41080 3147.84/3156.04 c #Conflicts: 1413000 | #Constraints: 42085 3147.84/3156.04 c #Conflicts: 1414000 | #Constraints: 43088 3147.84/3156.04 c #Conflicts: 1415000 | #Constraints: 44093 3147.84/3156.04 c #Conflicts: 1416000 | #Constraints: 45098 3147.84/3156.04 c #Conflicts: 1417000 | #Constraints: 46105 3147.84/3156.04 c #Conflicts: 1418000 | #Constraints: 47115 3147.84/3156.04 c #Conflicts: 1419000 | #Constraints: 48126 3147.84/3156.04 c INPROCESSING 3147.84/3156.04 c GARBAGE COLLECT 3147.84/3156.04 c rational objective 5 3210.06/3218.45 c #Conflicts: 1420000 | #Constraints: 25317 3210.06/3218.45 c #Conflicts: 1421000 | #Constraints: 26320 3210.06/3218.45 c #Conflicts: 1422000 | #Constraints: 27326 3210.06/3218.45 c #Conflicts: 1423000 | #Constraints: 28333 3210.06/3218.45 c #Conflicts: 1424000 | #Constraints: 29341 3210.06/3218.45 c #Conflicts: 1425000 | #Constraints: 30350 3210.06/3218.45 c #Conflicts: 1426000 | #Constraints: 31357 3210.06/3218.45 c #Conflicts: 1427000 | #Constraints: 32362 3210.06/3218.45 c #Conflicts: 1428000 | #Constraints: 33371 3210.06/3218.45 c #Conflicts: 1429000 | #Constraints: 34374 3210.06/3218.45 c #Conflicts: 1430000 | #Constraints: 35381 3210.06/3218.45 c #Conflicts: 1431000 | #Constraints: 36387 3210.06/3218.45 c #Conflicts: 1432000 | #Constraints: 37398 3210.06/3218.45 c #Conflicts: 1433000 | #Constraints: 38409 3210.06/3218.45 c #Conflicts: 1434000 | #Constraints: 39414 3210.06/3218.45 c #Conflicts: 1435000 | #Constraints: 40420 3210.06/3218.45 c #Conflicts: 1436000 | #Constraints: 41425 3210.06/3218.45 c #Conflicts: 1437000 | #Constraints: 42432 3210.06/3218.45 c #Conflicts: 1438000 | #Constraints: 43437 3210.06/3218.45 c #Conflicts: 1439000 | #Constraints: 44439 3210.06/3218.46 c #Conflicts: 1440000 | #Constraints: 45445 3210.06/3218.46 c #Conflicts: 1441000 | #Constraints: 46451 3210.06/3218.46 c #Conflicts: 1442000 | #Constraints: 47455 3210.06/3218.46 c #Conflicts: 1443000 | #Constraints: 48463 3210.06/3218.46 c INPROCESSING 3210.06/3218.46 c GARBAGE COLLECT 3210.06/3218.46 c rational objective 5 3292.53/3301.12 c #Conflicts: 1444000 | #Constraints: 25486 3292.53/3301.12 c #Conflicts: 1445000 | #Constraints: 26492 3292.53/3301.12 c #Conflicts: 1446000 | #Constraints: 27496 3292.53/3301.12 c #Conflicts: 1447000 | #Constraints: 28504 3292.53/3301.12 c #Conflicts: 1448000 | #Constraints: 29512 3292.53/3301.12 c #Conflicts: 1449000 | #Constraints: 30520 3292.53/3301.12 c #Conflicts: 1450000 | #Constraints: 31527 3292.53/3301.12 c #Conflicts: 1451000 | #Constraints: 32532 3292.53/3301.12 c #Conflicts: 1452000 | #Constraints: 33537 3292.53/3301.12 c #Conflicts: 1453000 | #Constraints: 34542 3292.53/3301.12 c #Conflicts: 1454000 | #Constraints: 35544 3292.53/3301.12 c #Conflicts: 1455000 | #Constraints: 36547 3292.53/3301.12 c #Conflicts: 1456000 | #Constraints: 37550 3292.53/3301.12 c #Conflicts: 1457000 | #Constraints: 38553 3292.53/3301.12 c #Conflicts: 1458000 | #Constraints: 39556 3292.53/3301.12 c #Conflicts: 1459000 | #Constraints: 40562 3292.53/3301.12 c #Conflicts: 1460000 | #Constraints: 41566 3292.53/3301.12 c #Conflicts: 1461000 | #Constraints: 42572 3292.53/3301.12 c #Conflicts: 1462000 | #Constraints: 43587 3292.53/3301.12 c #Conflicts: 1463000 | #Constraints: 44593 3292.53/3301.12 c #Conflicts: 1464000 | #Constraints: 45601 3292.53/3301.12 c #Conflicts: 1465000 | #Constraints: 46608 3292.53/3301.12 c #Conflicts: 1466000 | #Constraints: 47614 3292.53/3301.12 c #Conflicts: 1467000 | #Constraints: 48620 3292.53/3301.12 c INPROCESSING 3292.53/3301.12 c GARBAGE COLLECT 3292.53/3301.12 c rational objective 5 3343.61/3352.32 c #Conflicts: 1468000 | #Constraints: 25458 3343.61/3352.32 c #Conflicts: 1469000 | #Constraints: 26465 3343.61/3352.32 c #Conflicts: 1470000 | #Constraints: 27471 3343.61/3352.32 c #Conflicts: 1471000 | #Constraints: 28481 3343.61/3352.32 c #Conflicts: 1472000 | #Constraints: 29489 3343.61/3352.32 c #Conflicts: 1473000 | #Constraints: 30493 3343.61/3352.32 c #Conflicts: 1474000 | #Constraints: 31498 3343.61/3352.32 c #Conflicts: 1475000 | #Constraints: 32502 3343.61/3352.32 c #Conflicts: 1476000 | #Constraints: 33506 3343.61/3352.32 c #Conflicts: 1477000 | #Constraints: 34508 3343.61/3352.32 c #Conflicts: 1478000 | #Constraints: 35510 3343.61/3352.32 c #Conflicts: 1479000 | #Constraints: 36513 3343.61/3352.32 c #Conflicts: 1480000 | #Constraints: 37515 3343.61/3352.32 c #Conflicts: 1481000 | #Constraints: 38520 3343.61/3352.32 c #Conflicts: 1482000 | #Constraints: 39529 3343.61/3352.32 c #Conflicts: 1483000 | #Constraints: 40538 3343.61/3352.32 c #Conflicts: 1484000 | #Constraints: 41553 3343.61/3352.32 c #Conflicts: 1485000 | #Constraints: 42567 3343.61/3352.32 c #Conflicts: 1486000 | #Constraints: 43579 3343.61/3352.32 c #Conflicts: 1487000 | #Constraints: 44589 3343.61/3352.32 c #Conflicts: 1488000 | #Constraints: 45595 3343.61/3352.32 c #Conflicts: 1489000 | #Constraints: 46598 3343.61/3352.32 c #Conflicts: 1490000 | #Constraints: 47605 3343.61/3352.32 c #Conflicts: 1491000 | #Constraints: 48609 3343.61/3352.32 c INPROCESSING 3343.61/3352.32 c GARBAGE COLLECT 3343.61/3352.32 c rational objective 5 3400.97/3409.83 c #Conflicts: 1492000 | #Constraints: 25249 3400.97/3409.83 c #Conflicts: 1493000 | #Constraints: 26255 3400.97/3409.83 c #Conflicts: 1494000 | #Constraints: 27259 3400.97/3409.83 c #Conflicts: 1495000 | #Constraints: 28265 3400.97/3409.83 c #Conflicts: 1496000 | #Constraints: 29267 3400.97/3409.83 c #Conflicts: 1497000 | #Constraints: 30277 3400.97/3409.83 c #Conflicts: 1498000 | #Constraints: 31281 3400.97/3409.83 c #Conflicts: 1499000 | #Constraints: 32286 3400.97/3409.83 c #Conflicts: 1500000 | #Constraints: 33293 3400.97/3409.83 c #Conflicts: 1501000 | #Constraints: 34298 3400.97/3409.83 c #Conflicts: 1502000 | #Constraints: 35301 3400.97/3409.83 c #Conflicts: 1503000 | #Constraints: 36304 3400.97/3409.83 c #Conflicts: 1504000 | #Constraints: 37307 3400.97/3409.83 c #Conflicts: 1505000 | #Constraints: 38310 3400.97/3409.83 c #Conflicts: 1506000 | #Constraints: 39319 3400.97/3409.83 c #Conflicts: 1507000 | #Constraints: 40322 3400.97/3409.83 c #Conflicts: 1508000 | #Constraints: 41327 3400.97/3409.83 c #Conflicts: 1509000 | #Constraints: 42329 3400.97/3409.83 c #Conflicts: 1510000 | #Constraints: 43334 3400.97/3409.83 c #Conflicts: 1511000 | #Constraints: 44338 3400.97/3409.83 c #Conflicts: 1512000 | #Constraints: 45347 3400.97/3409.83 c #Conflicts: 1513000 | #Constraints: 46354 3400.97/3409.83 c #Conflicts: 1514000 | #Constraints: 47358 3400.97/3409.83 c #Conflicts: 1515000 | #Constraints: 48361 3400.97/3409.83 c #Conflicts: 1516000 | #Constraints: 49363 3400.97/3409.83 c INPROCESSING 3400.97/3409.83 c GARBAGE COLLECT 3400.97/3409.83 c rational objective 5 3448.96/3458.01 c #Conflicts: 1517000 | #Constraints: 25820 3448.96/3458.01 c #Conflicts: 1518000 | #Constraints: 26826 3448.96/3458.01 c #Conflicts: 1519000 | #Constraints: 27829 3448.96/3458.01 c #Conflicts: 1520000 | #Constraints: 28840 3448.96/3458.01 c #Conflicts: 1521000 | #Constraints: 29846 3448.96/3458.01 c #Conflicts: 1522000 | #Constraints: 30849 3448.96/3458.01 c #Conflicts: 1523000 | #Constraints: 31852 3448.96/3458.01 c #Conflicts: 1524000 | #Constraints: 32856 3448.96/3458.01 c #Conflicts: 1525000 | #Constraints: 33862 3448.96/3458.01 c #Conflicts: 1526000 | #Constraints: 34865 3448.96/3458.01 c #Conflicts: 1527000 | #Constraints: 35870 3448.96/3458.01 c #Conflicts: 1528000 | #Constraints: 36880 3448.96/3458.01 c #Conflicts: 1529000 | #Constraints: 37890 3448.96/3458.01 c #Conflicts: 1530000 | #Constraints: 38894 3448.96/3458.01 c #Conflicts: 1531000 | #Constraints: 39901 3448.96/3458.01 c #Conflicts: 1532000 | #Constraints: 40914 3448.96/3458.01 c #Conflicts: 1533000 | #Constraints: 41919 3448.96/3458.01 c #Conflicts: 1534000 | #Constraints: 42921 3448.96/3458.01 c #Conflicts: 1535000 | #Constraints: 43930 3448.96/3458.01 c #Conflicts: 1536000 | #Constraints: 44936 3448.96/3458.01 c #Conflicts: 1537000 | #Constraints: 45940 3448.96/3458.01 c #Conflicts: 1538000 | #Constraints: 46945 3448.96/3458.01 c #Conflicts: 1539000 | #Constraints: 47950 3448.96/3458.01 c #Conflicts: 1540000 | #Constraints: 48951 3448.96/3458.01 c #Conflicts: 1541000 | #Constraints: 49961 3448.96/3458.01 c INPROCESSING 3448.96/3458.01 c GARBAGE COLLECT 3448.96/3458.01 c rational objective 5 3534.14/3543.30 c #Conflicts: 1542000 | #Constraints: 26215 3534.14/3543.30 c #Conflicts: 1543000 | #Constraints: 27217 3534.14/3543.30 c #Conflicts: 1544000 | #Constraints: 28223 3534.14/3543.30 c #Conflicts: 1545000 | #Constraints: 29226 3534.14/3543.30 c #Conflicts: 1546000 | #Constraints: 30227 3534.14/3543.30 c #Conflicts: 1547000 | #Constraints: 31228 3534.14/3543.30 c #Conflicts: 1548000 | #Constraints: 32229 3534.14/3543.30 c #Conflicts: 1549000 | #Constraints: 33229 3534.14/3543.30 c #Conflicts: 1550000 | #Constraints: 34234 3534.14/3543.30 c #Conflicts: 1551000 | #Constraints: 35238 3534.14/3543.30 c #Conflicts: 1552000 | #Constraints: 36241 3534.14/3543.30 c #Conflicts: 1553000 | #Constraints: 37242 3534.14/3543.30 c #Conflicts: 1554000 | #Constraints: 38244 3534.14/3543.30 c #Conflicts: 1555000 | #Constraints: 39247 3534.14/3543.30 c #Conflicts: 1556000 | #Constraints: 40248 3534.14/3543.30 c #Conflicts: 1557000 | #Constraints: 41252 3534.14/3543.30 c #Conflicts: 1558000 | #Constraints: 42252 3534.14/3543.30 c #Conflicts: 1559000 | #Constraints: 43256 3534.14/3543.30 c #Conflicts: 1560000 | #Constraints: 44258 3534.14/3543.30 c #Conflicts: 1561000 | #Constraints: 45261 3534.14/3543.30 c #Conflicts: 1562000 | #Constraints: 46265 3534.14/3543.30 c #Conflicts: 1563000 | #Constraints: 47271 3534.14/3543.30 c #Conflicts: 1564000 | #Constraints: 48278 3534.14/3543.30 c #Conflicts: 1565000 | #Constraints: 49281 3534.14/3543.30 c #Conflicts: 1566000 | #Constraints: 50283 3534.14/3543.30 c INPROCESSING 3534.14/3543.30 c GARBAGE COLLECT 3534.14/3543.30 c rational objective 5 3600.06/3609.40 c #Conflicts: 1567000 | #Constraints: 26382 3600.06/3609.40 c #Conflicts: 1568000 | #Constraints: 27388 3600.06/3609.40 c #Conflicts: 1569000 | #Constraints: 28390 3600.06/3609.40 c #Conflicts: 1570000 | #Constraints: 29392 3600.06/3609.40 c #Conflicts: 1571000 | #Constraints: 30394 3600.06/3609.40 c #Conflicts: 1572000 | #Constraints: 31398 3600.06/3609.40 c #Conflicts: 1573000 | #Constraints: 32400 3600.06/3609.40 c #Conflicts: 1574000 | #Constraints: 33402 3600.06/3609.40 c #Conflicts: 1575000 | #Constraints: 34403 3600.06/3609.40 c #Conflicts: 1576000 | #Constraints: 35405 3600.06/3609.40 c #Conflicts: 1577000 | #Constraints: 36406 3600.06/3609.40 c #Conflicts: 1578000 | #Constraints: 37407 3600.06/3609.40 c #Conflicts: 1579000 | #Constraints: 38409 3600.06/3609.40 c #Conflicts: 1580000 | #Constraints: 39409 3600.06/3609.40 c #Conflicts: 1581000 | #Constraints: 40409 3600.06/3609.40 c #Conflicts: 1582000 | #Constraints: 41411 3600.06/3609.40 c #Conflicts: 1583000 | #Constraints: 42411 3600.06/3609.40 c #Conflicts: 1584000 | #Constraints: 43412 3600.06/3609.40 c Program interrupted by user. 3600.06/3609.40 c cpu time 3570.22 s 3600.06/3609.40 c deterministic time 729075974628 7.29e+11 3600.06/3609.40 c optimization time 65.2844 s 3600.06/3609.40 c total solve time 3504.93 s 3600.06/3609.40 c core-guided solve time 0 s 3600.06/3609.40 c propagation time 3107.02 s 3600.06/3609.40 c conflict analysis time 376.414 s 3600.06/3609.40 c propagations 325971955 3600.06/3609.40 c resolve steps 11614488 3600.06/3609.40 c decisions 14694780 3600.06/3609.40 c conflicts 1584071 3600.06/3609.40 c restarts 3068 3600.06/3609.40 c inprocessing phases 116 3600.06/3609.40 c input clauses 2174 3600.06/3609.40 c input cardinalities 50 3600.06/3609.40 c input general constraints 320 3600.06/3609.40 c input average constraint length 9.51 3600.06/3609.40 c input average constraint degree 71.11 3600.06/3609.40 c learned clauses 186494 3600.06/3609.40 c learned cardinalities 8715 3600.06/3609.40 c learned general constraints 1412794 3600.06/3609.40 c learned average constraint length 519.43 3600.06/3609.40 c learned average constraint degree 4566342298.03 3600.06/3609.40 c watched constraints 1330449 3600.06/3609.40 c counting constraints 82665 3600.06/3609.40 c gcd simplifications 89660 3600.06/3609.40 c detected cardinalities 253 3600.06/3609.40 c weakened non-implied lits 94200113 3600.06/3609.40 c weakened non-implying lits 693646 3600.06/3609.40 c original variables 2130 3600.06/3609.40 c clausal propagations 1568422 3600.06/3609.40 c cardinality propagations 37548292 3600.06/3609.40 c watched propagations 121500785 3600.06/3609.40 c counting propagations 163496296 3600.06/3609.40 c watch lookups 41954777880 3600.06/3609.40 c watch backjump lookups 34940622615 3600.06/3609.40 c watch checks 570770432031 3600.06/3609.40 c propagation checks 78184813611 3600.06/3609.40 c constraint additions 2540822331 3600.06/3609.40 c trail pops 342241571 3600.06/3609.40 c formula constraints 2544 3600.06/3609.40 c learned constraints 1576143 3600.06/3609.40 c bound constraints 0 3600.06/3609.40 c core-guided constraints 0 3600.06/3609.40 c encountered formula constraints 8157492 3600.06/3609.40 c encountered learned constraints 4343956 3600.06/3609.40 c encountered bound constraints 0 3600.06/3609.40 c encountered core-guided constraints 0 3600.06/3609.40 c LP total time 147.791 s 3600.06/3609.40 c LP solve time 120.91 s 3600.06/3609.40 c LP constraints added 3510 3600.06/3609.40 c LP constraints removed 956 3600.06/3609.40 c LP pivots internal 1584096 3600.06/3609.40 c LP pivots root 13757 3600.06/3609.40 c LP calls 42119 3600.06/3609.40 c LP optimalities 18460 3600.06/3609.40 c LP no pivot count 9587 3600.06/3609.40 c LP infeasibilities 23653 3600.06/3609.40 c LP valid Farkas constraints 23622 3600.06/3609.40 c LP learned Farkas constraints 7927 3600.06/3609.40 c LP basis resets 12 3600.06/3609.40 c LP cycling count 0 3600.06/3609.40 c LP singular count 4 3600.06/3609.40 c LP no primal count 0 3600.06/3609.40 c LP no farkas count 8 3600.06/3609.40 c LP other issue count 0 3600.06/3609.40 c LP Gomory cuts 311 3600.06/3609.40 c LP learned cuts 655 3600.06/3609.40 c LP deleted cuts 956 3600.06/3609.40 c LP encountered Gomory constraints 30633 3600.06/3609.40 c LP encountered Farkas constraints 583089 3600.06/3609.40 c LP encountered learned Farkas constraints 75462 3600.06/3609.40 c CG auxiliary variables introduced 0 3600.06/3609.40 c CG solutions found 0 3600.06/3609.40 c CG cores constructed 0 3600.06/3609.40 c CG core cardinality constraints returned 0 3600.06/3609.40 c CG unit cores 0 3600.06/3609.40 c CG single cores 0 3600.06/3609.40 c CG blocks removed during cardinality reduction 0 3600.06/3609.40 c CG first core best 0 3600.06/3609.40 c CG decision core best 0 3600.06/3609.40 c CG core reduction tie 0 3600.06/3609.40 c CG core degree average 0.00 3600.06/3609.40 c CG core slack average 0.00 3600.06/3609.40 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (60090 MiB free)
memory of node 1: 64510 MiB (58957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455269-1721461404/watcher-4455269-1721461404 -o /tmp/evaluation-result-4455269-1721461404/solver-4455269-1721461404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049242 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455269-1721461404.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1051968, runsolver pid=1051965
[startup+0.100104 s]*
/proc/loadavg: 4.12 4.12 4.09 5/244 1051969
/proc/meminfo: memFree=121897864/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=43964 memory=14432 CPUtime=0.1 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 2516 0 0 0 10 0 0 0 20 0 1 0 198299081 45019136 3608 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 10991 3608 1820 922 0 2943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43964 KiB
Current children cumulated memory: 14432 KiB
[startup+0.21312 s]*
/proc/loadavg: 4.12 4.12 4.09 5/244 1051969
/proc/meminfo: memFree=121895688/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=44428 memory=15220 CPUtime=0.21 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 2773 0 0 0 20 1 0 0 20 0 1 0 198299081 45494272 3805 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 11107 3805 1820 922 0 3059 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44428 KiB
Current children cumulated memory: 15220 KiB
[startup+0.313126 s]*
/proc/loadavg: 4.12 4.12 4.09 5/244 1051969
/proc/meminfo: memFree=121893896/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=45172 memory=16804 CPUtime=0.32 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 3152 0 0 0 30 2 0 0 20 0 1 0 198299081 46256128 4201 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 11293 4201 1820 922 0 3245 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 45172 KiB
Current children cumulated memory: 16804 KiB
[startup+0.700331 s]
/proc/loadavg: 4.12 4.12 4.09 5/244 1051969
/proc/meminfo: memFree=121890196/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=46656 memory=20492 CPUtime=0.69 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 3553 0 0 0 66 3 0 0 20 0 1 0 198299081 47775744 5123 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 11664 5123 1836 922 0 3616 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 20492 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1051969
/proc/meminfo: memFree=121887900/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=50548 memory=24768 CPUtime=1.48 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 4074 0 0 0 142 6 0 0 20 0 1 0 198299081 51761152 6192 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 12637 6192 1836 922 0 4589 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50548 KiB
Current children cumulated memory: 24768 KiB
[startup+3.11282 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1051969
/proc/meminfo: memFree=121876428/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=58276 memory=28836 CPUtime=3.09 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 5619 0 0 0 298 11 0 0 20 0 1 0 198299081 59674624 7209 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 14569 7209 1852 922 0 6521 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58276 KiB
Current children cumulated memory: 28836 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.12 4.09 5/244 1051970
/proc/meminfo: memFree=121846932/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=68760 memory=36184 CPUtime=6.27 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 7132 0 0 0 609 18 0 0 20 0 1 0 198299081 70410240 9046 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 17190 9046 1852 922 0 9142 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68760 KiB
Current children cumulated memory: 36184 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1051970
/proc/meminfo: memFree=121792208/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=77224 memory=48432 CPUtime=12.65 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 9210 0 0 0 1231 34 0 0 20 0 1 0 198299081 79077376 12108 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 19306 12108 1852 922 0 11258 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77224 KiB
Current children cumulated memory: 48432 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 1052065
/proc/meminfo: memFree=123055264/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=96080 memory=63464 CPUtime=25.42 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 12279 0 0 0 2479 63 0 0 20 0 1 0 198299081 98385920 15866 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 24020 15866 1852 922 0 15972 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96080 KiB
Current children cumulated memory: 63464 KiB
[startup+51.1135 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 1052068
/proc/meminfo: memFree=122927492/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=128724 memory=83836 CPUtime=50.96 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 15848 0 0 0 4975 121 0 0 20 0 1 0 198299081 131813376 20959 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 32181 20959 1852 922 0 24133 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 128724 KiB
Current children cumulated memory: 83836 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1052078
/proc/meminfo: memFree=122733264/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=151452 memory=121496 CPUtime=101.99 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 21231 0 0 0 9986 213 0 0 20 0 1 0 198299081 155086848 30374 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 37863 30374 1852 922 0 29815 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 151452 KiB
Current children cumulated memory: 121496 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 1052089
/proc/meminfo: memFree=122665592/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=156396 memory=126692 CPUtime=161.81 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 23015 0 0 0 15872 309 0 0 20 0 1 0 198299081 160149504 31673 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 39099 31673 1852 922 0 31051 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 156396 KiB
Current children cumulated memory: 126692 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 1052099
/proc/meminfo: memFree=122619568/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=205372 memory=153376 CPUtime=221.63 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 27625 0 0 0 21799 364 0 0 20 0 1 0 198299081 210300928 38344 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 51343 38344 1852 922 0 43295 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 205372 KiB
Current children cumulated memory: 153376 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 1052109
/proc/meminfo: memFree=122519468/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=220292 memory=170292 CPUtime=281.44 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 31362 0 0 0 27723 421 0 0 20 0 1 0 198299081 225579008 42573 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 55073 42573 1852 922 0 47025 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 220292 KiB
Current children cumulated memory: 170292 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/242 1052121
/proc/meminfo: memFree=122490892/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=220940 memory=171348 CPUtime=341.26 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 31611 0 0 0 33627 499 0 0 20 0 1 0 198299081 226242560 42837 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 55235 42837 1852 922 0 47187 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 220940 KiB
Current children cumulated memory: 171348 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 1052131
/proc/meminfo: memFree=122406260/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=228496 memory=179960 CPUtime=401.08 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 33273 0 0 0 39540 568 0 0 20 0 1 0 198299081 233979904 44990 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 57124 44990 1852 922 0 49076 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 228496 KiB
Current children cumulated memory: 179960 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1052145
/proc/meminfo: memFree=122260176/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=232876 memory=184344 CPUtime=460.9 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 34391 0 0 0 45464 626 0 0 20 0 1 0 198299081 238465024 46086 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 58219 46086 1852 922 0 50171 0
################
# More data... #
################
Current children cumulated memory: 409248 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/247 1053754
/proc/meminfo: memFree=121121972/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=517416 memory=409768 CPUtime=2854.86 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 73065 0 0 0 283008 2478 0 0 20 0 1 0 198299081 529833984 102442 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 129354 102442 1984 922 0 121306 0
Current children cumulated CPU time: 2854.86 s
Current children cumulated vsize: 517416 KiB
Current children cumulated memory: 409768 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/247 1053765
/proc/meminfo: memFree=121043868/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=518480 memory=410976 CPUtime=2914.71 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 73385 0 0 0 288947 2524 0 0 20 0 1 0 198299081 530923520 102744 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 129620 102744 1984 922 0 121572 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 518480 KiB
Current children cumulated memory: 410976 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/247 1053776
/proc/meminfo: memFree=121041088/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=520544 memory=412628 CPUtime=2974.56 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 73891 0 0 0 294896 2560 0 0 20 0 1 0 198299081 533037056 103157 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 130136 103157 1984 922 0 122088 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 520544 KiB
Current children cumulated memory: 412628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/245 1053787
/proc/meminfo: memFree=121033140/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=524804 memory=415788 CPUtime=3034.42 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 74773 0 0 0 300832 2610 0 0 20 0 1 0 198299081 537399296 103947 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 131201 103947 1984 922 0 123153 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 524804 KiB
Current children cumulated memory: 415788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 1053843
/proc/meminfo: memFree=123224256/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=525188 memory=416308 CPUtime=3094.27 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 74940 0 0 0 306775 2652 0 0 20 0 1 0 198299081 537792512 104077 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 131297 104077 1984 922 0 123249 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 525188 KiB
Current children cumulated memory: 416308 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 1053899
/proc/meminfo: memFree=123676036/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=525832 memory=418728 CPUtime=3154.12 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 75178 0 0 0 312711 2701 0 0 20 0 1 0 198299081 538451968 104682 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 131458 104682 1984 922 0 123410 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 525832 KiB
Current children cumulated memory: 418728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1053909
/proc/meminfo: memFree=123527040/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=525984 memory=440932 CPUtime=3213.95 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 75334 0 0 0 318654 2741 0 0 20 0 1 0 198299081 538607616 110233 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 131496 110233 1984 922 0 123448 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 525984 KiB
Current children cumulated memory: 440932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 1053919
/proc/meminfo: memFree=123475244/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=530112 memory=446460 CPUtime=3273.78 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 76192 0 0 0 324604 2774 0 0 20 0 1 0 198299081 542834688 111615 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 132528 111615 1984 922 0 124480 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 530112 KiB
Current children cumulated memory: 446460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 1053930
/proc/meminfo: memFree=123445736/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=532072 memory=448116 CPUtime=3333.63 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 76791 0 0 0 330548 2815 0 0 20 0 1 0 198299081 544841728 112029 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 133018 112029 1984 922 0 124970 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 532072 KiB
Current children cumulated memory: 448116 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/241 1053940
/proc/meminfo: memFree=123361304/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=532072 memory=448116 CPUtime=3393.49 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 76988 0 0 0 336486 2863 0 0 20 0 1 0 198299081 544841728 112029 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 133018 112029 1984 922 0 124970 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 532072 KiB
Current children cumulated memory: 448116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 1053954
/proc/meminfo: memFree=123351252/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=533356 memory=449128 CPUtime=3453.35 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 77453 0 0 0 342421 2914 0 0 20 0 1 0 198299081 546156544 112282 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 133339 112282 1984 922 0 125291 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 533356 KiB
Current children cumulated memory: 449128 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/243 1053964
/proc/meminfo: memFree=123267032/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=534592 memory=449980 CPUtime=3513.2 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 77832 0 0 0 348367 2953 0 0 20 0 1 0 198299081 547422208 112495 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 133648 112495 1984 922 0 125600 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 534592 KiB
Current children cumulated memory: 449980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 1053975
/proc/meminfo: memFree=123214040/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=535920 memory=450984 CPUtime=3573.04 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 78252 0 0 0 354327 2977 0 0 20 0 1 0 198299081 548782080 112746 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 133980 112746 1984 922 0 125932 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 535920 KiB
Current children cumulated memory: 450984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/243 1053980
/proc/meminfo: memFree=123205820/131655788 swapFree=131071996/131071996
[pid=1051968] ppid=1051965 vsize=535920 memory=450984 CPUtime=3600.06 cores=4,6
/proc/1051968/stat : 1051968 (roundingsat) R 1051965 1051968 1049231 0 -1 4194304 78388 0 0 0 357021 2985 0 0 20 0 1 0 198299081 548782080 112746 134679101440 4194304 7968373 140734442340256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27508736 140734442349500 140734442349664 140734442349664 140734442356681 0
/proc/1051968/statm: 133980 112746 1984 922 0 125932 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 535920 KiB
Current children cumulated memory: 450984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 1051968 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.22 s, system=29.8586 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.08
CPU user time (s): 3570.22
CPU system time (s): 29.8586
CPU usage (%): 99.7416
Max. virtual memory (cumulated for all children) (KiB): 535920
Max. memory (cumulated for all children) (KiB): 450984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.22
system time used= 29.8586
maximum resident set size= 450984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78397
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= 151
involuntary context switches= 3046
# summary of solver processes directly reported to runsolver:
# pid: 1051968
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.22
# total CPU system time (s): 29.8586
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5232 second user time and 34.6482 second system time
The end
Begin job on nodeC006 at 2024-07-20 09:43:36 IDJOB=4455269 IDBENCH=148770 IDSOLVER=3084 FILE ID=nodeC006/4455269-1721461404 RUNJOBID= nodeC006-1721457276-1049242 SLURM_JOB_ID= 7545696 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.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-4455269-1721461404/watcher-4455269-1721461404 -o /tmp/evaluation-result-4455269-1721461404/solver-4455269-1721461404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049242 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455269-1721461404.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a RANDOM SEED=1055343303 nodeC006.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 : 3634.231 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.94 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 : 3571.643 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.26 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.424 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.94 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.254 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.26 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 : 3628.411 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.94 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 : 3554.752 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.26 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.251 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.94 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.468 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.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121904832 kB MemAvailable: 126977024 kB Buffers: 562108 kB Cached: 5295744 kB SwapCached: 0 kB Active: 1054916 kB Inactive: 7997856 kB Active(anon): 1460 kB Inactive(anon): 3239352 kB Active(file): 1053456 kB Inactive(file): 4758504 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5484 kB Writeback: 0 kB AnonPages: 3194960 kB Mapped: 116304 kB Shmem: 45896 kB KReclaimable: 200528 kB Slab: 316968 kB SReclaimable: 200528 kB SUnreclaim: 116440 kB KernelStack: 3920 kB PageTables: 15888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3863216 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62432 kB HardwareCorrupted: 0 kB AnonHugePages: 1482752 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: 316232 kB DirectMap2M: 40482816 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723752 MiB End job on nodeC006 at 2024-07-20 10:43:45