| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 75 | 3600.06 | 3608.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
| MD5SUM | 89d4e33f1fc4516d7db076f434bf527f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| 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 | 1288 |
| Total number of constraints | 2431 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 175 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 802 |
| 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.02 c #variables 1288 #constraints 2431 0.00/0.03 c bounds - >= 55 @ 0.018486 0.00/0.03 c rational objective 55 0.39/0.48 c bounds 120 >= 55 @ 0.075951 0.39/0.48 c #Conflicts: 1000 | #Constraints: 3439 0.39/0.48 c #Conflicts: 2000 | #Constraints: 4475 0.39/0.48 c INPROCESSING 0.39/0.48 c GARBAGE COLLECT 0.39/0.48 c rational objective 55 0.89/0.97 c bounds 119 >= 55 @ 0.482352 0.89/0.97 c bounds 111 >= 55 @ 0.48442 0.89/0.97 c bounds 110 >= 55 @ 0.498493 0.89/0.97 c bounds 109 >= 55 @ 0.541858 0.89/0.97 c bounds 108 >= 55 @ 0.555299 0.89/0.97 c bounds 107 >= 55 @ 0.597332 0.89/0.97 c #Conflicts: 3000 | #Constraints: 4474 0.89/0.97 c bounds 99 >= 55 @ 0.667987 0.89/0.97 c bounds 97 >= 55 @ 0.7049 0.89/0.97 c bounds 96 >= 55 @ 0.856449 0.89/0.97 c #Conflicts: 4000 | #Constraints: 5477 0.89/0.97 c INPROCESSING 0.89/0.97 c GARBAGE COLLECT 0.89/0.97 c rational objective 55 1.49/1.59 c #Conflicts: 5000 | #Constraints: 4857 1.49/1.59 c #Conflicts: 6000 | #Constraints: 5862 1.49/1.59 c INPROCESSING 1.49/1.59 c GARBAGE COLLECT 1.49/1.59 c rational objective 55 2.28/2.38 c bounds 95 >= 55 @ 1.55192 2.28/2.38 c #Conflicts: 7000 | #Constraints: 4875 2.28/2.38 c #Conflicts: 8000 | #Constraints: 5875 2.28/2.38 c bounds 93 >= 55 @ 2.09286 2.28/2.38 c bounds 92 >= 55 @ 2.13233 2.28/2.38 c #Conflicts: 9000 | #Constraints: 6893 2.28/2.38 c INPROCESSING 2.28/2.38 c GARBAGE COLLECT 2.28/2.38 c rational objective 55 3.08/3.17 c bounds 91 >= 55 @ 2.2909 3.08/3.17 c bounds 88 >= 55 @ 2.33569 3.08/3.17 c #Conflicts: 10000 | #Constraints: 5583 3.08/3.17 c #Conflicts: 11000 | #Constraints: 6583 3.08/3.17 c #Conflicts: 12000 | #Constraints: 7583 3.08/3.17 c INPROCESSING 3.08/3.17 c GARBAGE COLLECT 3.08/3.17 c rational objective 55 3.98/4.03 c bounds 87 >= 55 @ 3.11452 3.98/4.03 c #Conflicts: 13000 | #Constraints: 6030 3.98/4.03 c bounds 86 >= 55 @ 3.50341 3.98/4.03 c #Conflicts: 14000 | #Constraints: 7032 3.98/4.03 c bounds 85 >= 55 @ 3.55765 3.98/4.03 c bounds 84 >= 55 @ 3.61494 3.98/4.03 c #Conflicts: 15000 | #Constraints: 8034 3.98/4.03 c INPROCESSING 3.98/4.03 c GARBAGE COLLECT 3.98/4.03 c rational objective 55 4.87/4.97 c #Conflicts: 16000 | #Constraints: 6217 4.87/4.97 c #Conflicts: 17000 | #Constraints: 7218 4.87/4.97 c #Conflicts: 18000 | #Constraints: 8218 4.87/4.97 c INPROCESSING 4.87/4.97 c GARBAGE COLLECT 4.87/4.97 c rational objective 55 6.47/6.57 c #Conflicts: 19000 | #Constraints: 6363 6.47/6.57 c #Conflicts: 20000 | #Constraints: 7528 6.47/6.57 c #Conflicts: 21000 | #Constraints: 8551 6.47/6.57 c INPROCESSING 6.47/6.57 c GARBAGE COLLECT 6.47/6.57 c rational objective 55 7.67/7.71 c #Conflicts: 22000 | #Constraints: 6248 7.67/7.71 c #Conflicts: 23000 | #Constraints: 7248 7.67/7.71 c #Conflicts: 24000 | #Constraints: 8249 7.67/7.71 c #Conflicts: 25000 | #Constraints: 9251 7.67/7.71 c INPROCESSING 7.67/7.71 c GARBAGE COLLECT 7.67/7.71 c rational objective 55 9.27/9.35 c #Conflicts: 26000 | #Constraints: 6765 9.27/9.35 c #Conflicts: 27000 | #Constraints: 7885 9.27/9.35 c #Conflicts: 28000 | #Constraints: 8917 9.27/9.35 c bounds 83 >= 55 @ 8.98088 9.27/9.35 c #Conflicts: 29000 | #Constraints: 9942 9.27/9.35 c INPROCESSING 9.27/9.35 c GARBAGE COLLECT 9.27/9.35 c rational objective 55 10.67/10.72 c #Conflicts: 30000 | #Constraints: 7213 10.67/10.72 c #Conflicts: 31000 | #Constraints: 8214 10.67/10.72 c #Conflicts: 32000 | #Constraints: 9214 10.67/10.72 c #Conflicts: 33000 | #Constraints: 10264 10.67/10.72 c INPROCESSING 10.67/10.72 c GARBAGE COLLECT 10.67/10.72 c rational objective 55 12.35/12.48 c #Conflicts: 34000 | #Constraints: 7436 12.35/12.48 c #Conflicts: 35000 | #Constraints: 8721 12.35/12.48 c #Conflicts: 36000 | #Constraints: 9833 12.35/12.48 c bounds 79 >= 55 @ 11.6993 12.35/12.48 c #Conflicts: 37000 | #Constraints: 10834 12.35/12.48 c INPROCESSING 12.35/12.48 c GARBAGE COLLECT 12.35/12.48 c rational objective 55 13.96/14.08 c #Conflicts: 38000 | #Constraints: 7565 13.96/14.08 c #Conflicts: 39000 | #Constraints: 8570 13.96/14.08 c #Conflicts: 40000 | #Constraints: 9573 13.96/14.08 c #Conflicts: 41000 | #Constraints: 10582 13.96/14.08 c INPROCESSING 13.96/14.08 c GARBAGE COLLECT 13.96/14.08 c rational objective 55 16.25/16.38 c #Conflicts: 42000 | #Constraints: 7250 16.25/16.38 c #Conflicts: 43000 | #Constraints: 8251 16.25/16.38 c #Conflicts: 44000 | #Constraints: 9565 16.25/16.38 c #Conflicts: 45000 | #Constraints: 10855 16.25/16.38 c #Conflicts: 46000 | #Constraints: 11857 16.25/16.38 c INPROCESSING 16.25/16.38 c GARBAGE COLLECT 16.25/16.38 WSVECS04 Frhs2[62]: 6 -9.83088 0 shouldn't be 16.25/16.38 WSVECS04 Frhs2[75]: 6 -12.5058 0 shouldn't be 16.35/16.40 c rational objective 55 18.25/18.33 c #Conflicts: 47000 | #Constraints: 8074 18.25/18.33 c #Conflicts: 48000 | #Constraints: 9075 18.25/18.33 c #Conflicts: 49000 | #Constraints: 10079 18.25/18.33 c #Conflicts: 50000 | #Constraints: 11100 18.25/18.33 c #Conflicts: 51000 | #Constraints: 12108 18.25/18.33 c INPROCESSING 18.25/18.33 c GARBAGE COLLECT 18.25/18.33 c rational objective 55 22.23/22.32 c #Conflicts: 52000 | #Constraints: 8299 22.23/22.32 c #Conflicts: 53000 | #Constraints: 9328 22.23/22.32 c #Conflicts: 54000 | #Constraints: 10341 22.23/22.32 c #Conflicts: 55000 | #Constraints: 11361 22.23/22.32 c #Conflicts: 56000 | #Constraints: 12361 22.23/22.32 c INPROCESSING 22.23/22.32 c GARBAGE COLLECT 22.23/22.32 c #Conflicts: 57000 | #Constraints: 8436 22.23/22.32 c #Conflicts: 58000 | #Constraints: 9436 22.23/22.32 c #Conflicts: 59000 | #Constraints: 10438 22.23/22.32 c #Conflicts: 60000 | #Constraints: 11439 22.23/22.32 c #Conflicts: 61000 | #Constraints: 12442 22.23/22.32 c INPROCESSING 22.23/22.32 c GARBAGE COLLECT 22.23/22.32 c rational objective 55 24.53/24.60 c #Conflicts: 62000 | #Constraints: 8375 24.53/24.60 c #Conflicts: 63000 | #Constraints: 9380 24.53/24.60 c #Conflicts: 64000 | #Constraints: 10380 24.53/24.60 c #Conflicts: 65000 | #Constraints: 11389 24.53/24.60 c #Conflicts: 66000 | #Constraints: 12389 24.53/24.60 c INPROCESSING 24.53/24.60 c GARBAGE COLLECT 24.53/24.60 c rational objective 55 26.83/26.95 c #Conflicts: 67000 | #Constraints: 8140 26.83/26.95 c #Conflicts: 68000 | #Constraints: 9140 26.83/26.95 c #Conflicts: 69000 | #Constraints: 10140 26.83/26.95 c #Conflicts: 70000 | #Constraints: 11140 26.83/26.95 c #Conflicts: 71000 | #Constraints: 12140 26.83/26.95 c #Conflicts: 72000 | #Constraints: 13140 26.83/26.95 c INPROCESSING 26.83/26.95 c GARBAGE COLLECT 26.83/26.95 c rational objective 55 29.52/29.63 c #Conflicts: 73000 | #Constraints: 8722 29.52/29.63 c #Conflicts: 74000 | #Constraints: 9736 29.52/29.63 c #Conflicts: 75000 | #Constraints: 10746 29.52/29.63 c #Conflicts: 76000 | #Constraints: 11771 29.52/29.63 c #Conflicts: 77000 | #Constraints: 12776 29.52/29.63 c #Conflicts: 78000 | #Constraints: 13817 29.52/29.63 c INPROCESSING 29.52/29.63 c GARBAGE COLLECT 29.52/29.63 c rational objective 55 32.02/32.18 c #Conflicts: 79000 | #Constraints: 9168 32.02/32.18 c #Conflicts: 80000 | #Constraints: 10168 32.02/32.18 c #Conflicts: 81000 | #Constraints: 11168 32.02/32.18 c #Conflicts: 82000 | #Constraints: 12168 32.02/32.18 c #Conflicts: 83000 | #Constraints: 13168 32.02/32.18 c #Conflicts: 84000 | #Constraints: 14168 32.02/32.18 c INPROCESSING 32.02/32.18 c GARBAGE COLLECT 32.02/32.18 c rational objective 55 35.31/35.48 c #Conflicts: 85000 | #Constraints: 9367 35.31/35.48 c bounds 78 >= 55 @ 32.1653 35.31/35.48 c #Conflicts: 86000 | #Constraints: 10648 35.31/35.48 c #Conflicts: 87000 | #Constraints: 11648 35.31/35.48 c #Conflicts: 88000 | #Constraints: 13156 35.31/35.48 c #Conflicts: 89000 | #Constraints: 14355 35.31/35.48 c #Conflicts: 90000 | #Constraints: 15399 35.31/35.48 c INPROCESSING 35.31/35.48 c GARBAGE COLLECT 35.31/35.48 WSVECS04 Frhs2[68]: 6 -16.0001 0 shouldn't be 35.31/35.49 c rational objective 55 37.90/38.10 c #Conflicts: 91000 | #Constraints: 9489 37.90/38.10 c #Conflicts: 92000 | #Constraints: 10489 37.90/38.10 c #Conflicts: 93000 | #Constraints: 11489 37.90/38.10 c #Conflicts: 94000 | #Constraints: 12489 37.90/38.10 c #Conflicts: 95000 | #Constraints: 13489 37.90/38.10 c #Conflicts: 96000 | #Constraints: 14489 37.90/38.10 c INPROCESSING 37.90/38.10 c GARBAGE COLLECT 37.90/38.10 c rational objective 55 41.20/41.31 c #Conflicts: 97000 | #Constraints: 9198 41.20/41.31 c #Conflicts: 98000 | #Constraints: 10304 41.20/41.31 c #Conflicts: 99000 | #Constraints: 11448 41.20/41.31 c #Conflicts: 100000 | #Constraints: 12465 41.20/41.31 c #Conflicts: 101000 | #Constraints: 13605 41.20/41.31 c #Conflicts: 102000 | #Constraints: 14630 41.20/41.31 c #Conflicts: 103000 | #Constraints: 15649 41.20/41.31 c INPROCESSING 41.20/41.31 c GARBAGE COLLECT 41.20/41.31 c rational objective 55 44.39/44.52 c #Conflicts: 104000 | #Constraints: 9986 44.39/44.52 c #Conflicts: 105000 | #Constraints: 11012 44.39/44.52 c #Conflicts: 106000 | #Constraints: 12030 44.39/44.52 c #Conflicts: 107000 | #Constraints: 13032 44.39/44.52 c #Conflicts: 108000 | #Constraints: 14105 44.39/44.52 c #Conflicts: 109000 | #Constraints: 15106 44.39/44.52 c #Conflicts: 110000 | #Constraints: 16109 44.39/44.52 c INPROCESSING 44.39/44.52 c GARBAGE COLLECT 44.39/44.52 c rational objective 55 47.99/48.17 c #Conflicts: 111000 | #Constraints: 10319 47.99/48.17 c #Conflicts: 112000 | #Constraints: 11320 47.99/48.17 c #Conflicts: 113000 | #Constraints: 12351 47.99/48.17 c #Conflicts: 114000 | #Constraints: 13396 47.99/48.17 c #Conflicts: 115000 | #Constraints: 14409 47.99/48.17 c #Conflicts: 116000 | #Constraints: 15488 47.99/48.17 c #Conflicts: 117000 | #Constraints: 16611 47.99/48.17 c INPROCESSING 47.99/48.17 c GARBAGE COLLECT 47.99/48.17 c rational objective 55 51.27/51.42 c #Conflicts: 118000 | #Constraints: 10565 51.27/51.42 c #Conflicts: 119000 | #Constraints: 11565 51.27/51.42 c #Conflicts: 120000 | #Constraints: 12566 51.27/51.42 c #Conflicts: 121000 | #Constraints: 13575 51.27/51.42 c #Conflicts: 122000 | #Constraints: 14582 51.27/51.42 c #Conflicts: 123000 | #Constraints: 15601 51.27/51.42 c #Conflicts: 124000 | #Constraints: 16609 51.27/51.42 c INPROCESSING 51.27/51.42 c GARBAGE COLLECT 51.27/51.42 c rational objective 55 54.87/55.04 c #Conflicts: 125000 | #Constraints: 10469 54.87/55.04 c #Conflicts: 126000 | #Constraints: 11469 54.87/55.04 c #Conflicts: 127000 | #Constraints: 12469 54.87/55.04 c #Conflicts: 128000 | #Constraints: 13469 54.87/55.04 c #Conflicts: 129000 | #Constraints: 14469 54.87/55.04 c #Conflicts: 130000 | #Constraints: 15469 54.87/55.04 c #Conflicts: 131000 | #Constraints: 16469 54.87/55.04 c INPROCESSING 54.87/55.04 c GARBAGE COLLECT 54.87/55.04 c rational objective 55 58.56/58.70 c #Conflicts: 132000 | #Constraints: 10212 58.56/58.70 c #Conflicts: 133000 | #Constraints: 11216 58.56/58.70 c #Conflicts: 134000 | #Constraints: 12217 58.56/58.70 c #Conflicts: 135000 | #Constraints: 13221 58.56/58.70 c #Conflicts: 136000 | #Constraints: 14223 58.56/58.70 c #Conflicts: 137000 | #Constraints: 15228 58.56/58.70 c #Conflicts: 138000 | #Constraints: 16243 58.56/58.70 c #Conflicts: 139000 | #Constraints: 17255 58.56/58.70 c INPROCESSING 58.56/58.70 c GARBAGE COLLECT 58.56/58.70 c rational objective 55 62.45/62.64 c #Conflicts: 140000 | #Constraints: 10779 62.45/62.64 c #Conflicts: 141000 | #Constraints: 11779 62.45/62.64 c #Conflicts: 142000 | #Constraints: 12779 62.45/62.64 c #Conflicts: 143000 | #Constraints: 13779 62.45/62.64 c #Conflicts: 144000 | #Constraints: 14779 62.45/62.64 c #Conflicts: 145000 | #Constraints: 15779 62.45/62.64 c #Conflicts: 146000 | #Constraints: 16779 62.45/62.64 c #Conflicts: 147000 | #Constraints: 17779 62.45/62.64 c INPROCESSING 62.45/62.64 c GARBAGE COLLECT 62.45/62.64 c rational objective 55 66.44/66.66 c #Conflicts: 148000 | #Constraints: 11144 66.44/66.66 c #Conflicts: 149000 | #Constraints: 12145 66.44/66.66 c #Conflicts: 150000 | #Constraints: 13145 66.44/66.66 c #Conflicts: 151000 | #Constraints: 14145 66.44/66.66 c #Conflicts: 152000 | #Constraints: 15145 66.44/66.66 c #Conflicts: 153000 | #Constraints: 16146 66.44/66.66 c #Conflicts: 154000 | #Constraints: 17146 66.44/66.66 c #Conflicts: 155000 | #Constraints: 18146 66.44/66.66 c INPROCESSING 66.44/66.66 c GARBAGE COLLECT 66.44/66.66 c rational objective 55 70.73/70.94 c #Conflicts: 156000 | #Constraints: 11323 70.73/70.94 c #Conflicts: 157000 | #Constraints: 12323 70.73/70.94 c #Conflicts: 158000 | #Constraints: 13323 70.73/70.94 c #Conflicts: 159000 | #Constraints: 14323 70.73/70.94 c #Conflicts: 160000 | #Constraints: 15333 70.73/70.94 c #Conflicts: 161000 | #Constraints: 16335 70.73/70.94 c #Conflicts: 162000 | #Constraints: 17336 70.73/70.94 c #Conflicts: 163000 | #Constraints: 18336 70.73/70.94 c INPROCESSING 70.73/70.94 c GARBAGE COLLECT 70.73/70.94 c rational objective 55 75.42/75.61 c #Conflicts: 164000 | #Constraints: 11331 75.42/75.61 c #Conflicts: 165000 | #Constraints: 12363 75.42/75.61 c #Conflicts: 166000 | #Constraints: 13389 75.42/75.61 c #Conflicts: 167000 | #Constraints: 14402 75.42/75.61 c #Conflicts: 168000 | #Constraints: 15402 75.42/75.61 c #Conflicts: 169000 | #Constraints: 16421 75.42/75.61 c #Conflicts: 170000 | #Constraints: 17425 75.42/75.61 c #Conflicts: 171000 | #Constraints: 18427 75.42/75.61 c INPROCESSING 75.42/75.61 c GARBAGE COLLECT 75.42/75.61 c rational objective 55 80.71/80.94 c #Conflicts: 172000 | #Constraints: 11172 80.71/80.94 c #Conflicts: 173000 | #Constraints: 12180 80.71/80.94 c #Conflicts: 174000 | #Constraints: 13349 80.71/80.94 c #Conflicts: 175000 | #Constraints: 14349 80.71/80.94 c #Conflicts: 176000 | #Constraints: 15350 80.71/80.94 c #Conflicts: 177000 | #Constraints: 16351 80.71/80.94 c #Conflicts: 178000 | #Constraints: 17354 80.71/80.94 c #Conflicts: 179000 | #Constraints: 18440 80.71/80.94 c #Conflicts: 180000 | #Constraints: 19764 80.71/80.94 c INPROCESSING 80.71/80.94 c GARBAGE COLLECT 80.71/80.94 c rational objective 55 85.69/85.98 c #Conflicts: 181000 | #Constraints: 12126 85.69/85.98 c #Conflicts: 182000 | #Constraints: 13126 85.69/85.98 c #Conflicts: 183000 | #Constraints: 14128 85.69/85.98 c #Conflicts: 184000 | #Constraints: 15139 85.69/85.98 c #Conflicts: 185000 | #Constraints: 16146 85.69/85.98 c #Conflicts: 186000 | #Constraints: 17153 85.69/85.98 c #Conflicts: 187000 | #Constraints: 18187 85.69/85.98 c #Conflicts: 188000 | #Constraints: 19193 85.69/85.98 c #Conflicts: 189000 | #Constraints: 20198 85.69/85.98 c INPROCESSING 85.69/85.98 c GARBAGE COLLECT 85.69/85.98 c rational objective 55 92.69/92.94 c #Conflicts: 190000 | #Constraints: 12397 92.69/92.94 c #Conflicts: 191000 | #Constraints: 14032 92.69/92.94 c #Conflicts: 192000 | #Constraints: 15252 92.69/92.94 c #Conflicts: 193000 | #Constraints: 16279 92.69/92.94 c #Conflicts: 194000 | #Constraints: 17308 92.69/92.94 c #Conflicts: 195000 | #Constraints: 18962 92.69/92.94 c #Conflicts: 196000 | #Constraints: 20140 92.69/92.94 c #Conflicts: 197000 | #Constraints: 21140 92.69/92.94 c bounds 77 >= 55 @ 90.4675 92.69/92.94 c #Conflicts: 198000 | #Constraints: 22147 92.69/92.94 c INPROCESSING 92.69/92.94 c GARBAGE COLLECT 92.69/92.94 c rational objective 55 98.07/98.32 c #Conflicts: 199000 | #Constraints: 13327 98.07/98.32 c #Conflicts: 200000 | #Constraints: 14327 98.07/98.32 c #Conflicts: 201000 | #Constraints: 15327 98.07/98.32 c #Conflicts: 202000 | #Constraints: 16328 98.07/98.32 c #Conflicts: 203000 | #Constraints: 17328 98.07/98.32 c #Conflicts: 204000 | #Constraints: 18330 98.07/98.32 c #Conflicts: 205000 | #Constraints: 19330 98.07/98.32 c #Conflicts: 206000 | #Constraints: 20332 98.07/98.32 c #Conflicts: 207000 | #Constraints: 21334 98.07/98.32 c INPROCESSING 98.07/98.32 c GARBAGE COLLECT 98.07/98.32 c rational objective 55 103.36/103.63 c bounds 75 >= 55 @ 96.2666 103.36/103.63 c #Conflicts: 208000 | #Constraints: 12832 103.36/103.63 c #Conflicts: 209000 | #Constraints: 13832 103.36/103.63 c #Conflicts: 210000 | #Constraints: 14906 103.36/103.63 c #Conflicts: 211000 | #Constraints: 16033 103.36/103.63 c #Conflicts: 212000 | #Constraints: 17045 103.36/103.63 c #Conflicts: 213000 | #Constraints: 18045 103.36/103.63 c #Conflicts: 214000 | #Constraints: 19045 103.36/103.63 c #Conflicts: 215000 | #Constraints: 20045 103.36/103.63 c #Conflicts: 216000 | #Constraints: 21047 103.36/103.63 c INPROCESSING 103.36/103.63 c GARBAGE COLLECT 103.36/103.63 c rational objective 55 108.75/109.04 c #Conflicts: 217000 | #Constraints: 12491 108.75/109.04 c #Conflicts: 218000 | #Constraints: 13491 108.75/109.04 c #Conflicts: 219000 | #Constraints: 14491 108.75/109.04 c #Conflicts: 220000 | #Constraints: 15491 108.75/109.04 c #Conflicts: 221000 | #Constraints: 16491 108.75/109.04 c #Conflicts: 222000 | #Constraints: 17491 108.75/109.04 c #Conflicts: 223000 | #Constraints: 18491 108.75/109.04 c #Conflicts: 224000 | #Constraints: 19491 108.75/109.04 c #Conflicts: 225000 | #Constraints: 20492 108.75/109.04 c #Conflicts: 226000 | #Constraints: 21505 108.75/109.04 c INPROCESSING 108.75/109.04 c GARBAGE COLLECT 108.75/109.04 c rational objective 55 114.33/114.62 c #Conflicts: 227000 | #Constraints: 12927 114.33/114.62 c #Conflicts: 228000 | #Constraints: 13927 114.33/114.62 c #Conflicts: 229000 | #Constraints: 14927 114.33/114.62 c #Conflicts: 230000 | #Constraints: 15927 114.33/114.62 c #Conflicts: 231000 | #Constraints: 16927 114.33/114.62 c #Conflicts: 232000 | #Constraints: 17927 114.33/114.62 c #Conflicts: 233000 | #Constraints: 18927 114.33/114.62 c #Conflicts: 234000 | #Constraints: 19927 114.33/114.62 c #Conflicts: 235000 | #Constraints: 20927 114.33/114.62 c #Conflicts: 236000 | #Constraints: 21927 114.33/114.62 c INPROCESSING 114.33/114.62 c GARBAGE COLLECT 114.33/114.62 c rational objective 55 120.73/121.02 c #Conflicts: 237000 | #Constraints: 13235 120.73/121.02 c #Conflicts: 238000 | #Constraints: 14524 120.73/121.02 c #Conflicts: 239000 | #Constraints: 15900 120.73/121.02 c #Conflicts: 240000 | #Constraints: 16902 120.73/121.02 c #Conflicts: 241000 | #Constraints: 17906 120.73/121.02 c #Conflicts: 242000 | #Constraints: 18912 120.73/121.02 c #Conflicts: 243000 | #Constraints: 19913 120.73/121.02 c #Conflicts: 244000 | #Constraints: 20918 120.73/121.02 c #Conflicts: 245000 | #Constraints: 21928 120.73/121.02 c #Conflicts: 246000 | #Constraints: 22939 120.73/121.02 c INPROCESSING 120.73/121.02 c GARBAGE COLLECT 120.73/121.02 c rational objective 55 135.39/135.70 c #Conflicts: 247000 | #Constraints: 13733 135.39/135.70 c #Conflicts: 248000 | #Constraints: 15150 135.39/135.70 c #Conflicts: 249000 | #Constraints: 16151 135.39/135.70 c #Conflicts: 250000 | #Constraints: 17166 135.39/135.70 c #Conflicts: 251000 | #Constraints: 18224 135.39/135.70 c #Conflicts: 252000 | #Constraints: 19296 135.39/135.70 c #Conflicts: 253000 | #Constraints: 20326 135.39/135.70 c #Conflicts: 254000 | #Constraints: 21330 135.39/135.70 c #Conflicts: 255000 | #Constraints: 22382 135.39/135.70 c #Conflicts: 256000 | #Constraints: 23728 135.39/135.70 c INPROCESSING 135.39/135.70 c GARBAGE COLLECT 135.39/135.70 c #Conflicts: 257000 | #Constraints: 14089 135.39/135.70 c #Conflicts: 258000 | #Constraints: 15090 135.39/135.70 c #Conflicts: 259000 | #Constraints: 16097 135.39/135.70 c #Conflicts: 260000 | #Constraints: 17101 135.39/135.70 c #Conflicts: 261000 | #Constraints: 18103 135.39/135.70 c #Conflicts: 262000 | #Constraints: 19118 135.39/135.70 c #Conflicts: 263000 | #Constraints: 20118 135.39/135.70 c #Conflicts: 264000 | #Constraints: 21128 135.39/135.70 c #Conflicts: 265000 | #Constraints: 22177 135.39/135.70 c #Conflicts: 266000 | #Constraints: 23180 135.39/135.70 c INPROCESSING 135.39/135.70 c GARBAGE COLLECT 135.39/135.70 c rational objective 55 146.96/147.34 c #Conflicts: 267000 | #Constraints: 13563 146.96/147.34 c #Conflicts: 268000 | #Constraints: 14577 146.96/147.34 c #Conflicts: 269000 | #Constraints: 15630 146.96/147.34 c #Conflicts: 270000 | #Constraints: 17083 146.96/147.34 c #Conflicts: 271000 | #Constraints: 18813 146.96/147.34 c #Conflicts: 272000 | #Constraints: 20574 146.96/147.34 c #Conflicts: 273000 | #Constraints: 22317 146.96/147.34 c #Conflicts: 274000 | #Constraints: 24060 146.96/147.34 c #Conflicts: 275000 | #Constraints: 25813 146.96/147.34 c #Conflicts: 276000 | #Constraints: 27117 146.96/147.34 c #Conflicts: 277000 | #Constraints: 28250 146.96/147.34 c INPROCESSING 146.96/147.34 c GARBAGE COLLECT 146.96/147.34 c rational objective 55 154.15/154.56 c #Conflicts: 278000 | #Constraints: 16306 154.15/154.56 c #Conflicts: 279000 | #Constraints: 17306 154.15/154.56 c #Conflicts: 280000 | #Constraints: 18306 154.15/154.56 c #Conflicts: 281000 | #Constraints: 19306 154.15/154.56 c #Conflicts: 282000 | #Constraints: 20306 154.15/154.56 c #Conflicts: 283000 | #Constraints: 21306 154.15/154.56 c #Conflicts: 284000 | #Constraints: 22306 154.15/154.56 c #Conflicts: 285000 | #Constraints: 23306 154.15/154.56 c #Conflicts: 286000 | #Constraints: 24306 154.15/154.56 c #Conflicts: 287000 | #Constraints: 25306 154.15/154.56 c #Conflicts: 288000 | #Constraints: 26306 154.15/154.56 c INPROCESSING 154.15/154.56 c GARBAGE COLLECT 154.15/154.56 c rational objective 55 163.22/163.67 c #Conflicts: 289000 | #Constraints: 15455 163.22/163.67 c #Conflicts: 290000 | #Constraints: 16472 163.22/163.67 c #Conflicts: 291000 | #Constraints: 17757 163.22/163.67 c #Conflicts: 292000 | #Constraints: 18861 163.22/163.67 c #Conflicts: 293000 | #Constraints: 20583 163.22/163.67 c #Conflicts: 294000 | #Constraints: 21924 163.22/163.67 c #Conflicts: 295000 | #Constraints: 22936 163.22/163.67 c #Conflicts: 296000 | #Constraints: 23962 163.22/163.67 c #Conflicts: 297000 | #Constraints: 24990 163.22/163.67 c #Conflicts: 298000 | #Constraints: 26001 163.22/163.67 c #Conflicts: 299000 | #Constraints: 27018 163.22/163.67 c INPROCESSING 163.22/163.67 c GARBAGE COLLECT 163.22/163.67 c rational objective 55 170.91/171.34 c #Conflicts: 300000 | #Constraints: 15793 170.91/171.34 c #Conflicts: 301000 | #Constraints: 16793 170.91/171.34 c #Conflicts: 302000 | #Constraints: 17795 170.91/171.34 c #Conflicts: 303000 | #Constraints: 18795 170.91/171.34 c #Conflicts: 304000 | #Constraints: 19795 170.91/171.34 c #Conflicts: 305000 | #Constraints: 20795 170.91/171.34 c #Conflicts: 306000 | #Constraints: 21796 170.91/171.34 c #Conflicts: 307000 | #Constraints: 22796 170.91/171.34 c #Conflicts: 308000 | #Constraints: 23796 170.91/171.34 c #Conflicts: 309000 | #Constraints: 24796 170.91/171.34 c #Conflicts: 310000 | #Constraints: 25796 170.91/171.34 c INPROCESSING 170.91/171.34 c GARBAGE COLLECT 170.91/171.34 c rational objective 55 179.39/179.84 c #Conflicts: 311000 | #Constraints: 15062 179.39/179.84 c #Conflicts: 312000 | #Constraints: 16062 179.39/179.84 c #Conflicts: 313000 | #Constraints: 17062 179.39/179.84 c #Conflicts: 314000 | #Constraints: 18062 179.39/179.84 c #Conflicts: 315000 | #Constraints: 19062 179.39/179.84 c #Conflicts: 316000 | #Constraints: 20062 179.39/179.84 c #Conflicts: 317000 | #Constraints: 21062 179.39/179.84 c #Conflicts: 318000 | #Constraints: 22062 179.39/179.84 c #Conflicts: 319000 | #Constraints: 23076 179.39/179.84 c #Conflicts: 320000 | #Constraints: 24085 179.39/179.84 c #Conflicts: 321000 | #Constraints: 25092 179.39/179.84 c INPROCESSING 179.39/179.84 c GARBAGE COLLECT 179.39/179.84 c rational objective 55 187.68/188.14 c #Conflicts: 322000 | #Constraints: 14579 187.68/188.14 c #Conflicts: 323000 | #Constraints: 15579 187.68/188.14 c #Conflicts: 324000 | #Constraints: 16638 187.68/188.14 c #Conflicts: 325000 | #Constraints: 17646 187.68/188.14 c #Conflicts: 326000 | #Constraints: 18663 187.68/188.14 c #Conflicts: 327000 | #Constraints: 19671 187.68/188.14 c #Conflicts: 328000 | #Constraints: 20789 187.68/188.14 c #Conflicts: 329000 | #Constraints: 21790 187.68/188.14 c #Conflicts: 330000 | #Constraints: 22797 187.68/188.14 c #Conflicts: 331000 | #Constraints: 23828 187.68/188.14 c #Conflicts: 332000 | #Constraints: 24836 187.68/188.14 c #Conflicts: 333000 | #Constraints: 26020 187.68/188.14 c INPROCESSING 187.68/188.14 c GARBAGE COLLECT 187.68/188.14 c rational objective 55 196.45/196.93 c #Conflicts: 334000 | #Constraints: 15178 196.45/196.93 c #Conflicts: 335000 | #Constraints: 16178 196.45/196.93 c #Conflicts: 336000 | #Constraints: 17181 196.45/196.93 c #Conflicts: 337000 | #Constraints: 18286 196.45/196.93 c #Conflicts: 338000 | #Constraints: 19300 196.45/196.93 c #Conflicts: 339000 | #Constraints: 20331 196.45/196.93 c #Conflicts: 340000 | #Constraints: 21495 196.45/196.93 c #Conflicts: 341000 | #Constraints: 22506 196.45/196.93 c #Conflicts: 342000 | #Constraints: 23506 196.45/196.93 c #Conflicts: 343000 | #Constraints: 24512 196.45/196.93 c #Conflicts: 344000 | #Constraints: 25525 196.45/196.93 c #Conflicts: 345000 | #Constraints: 26528 196.45/196.93 c INPROCESSING 196.45/196.93 c GARBAGE COLLECT 196.45/196.93 c rational objective 55 207.63/208.17 c #Conflicts: 346000 | #Constraints: 15540 207.63/208.17 c #Conflicts: 347000 | #Constraints: 16898 207.63/208.17 c #Conflicts: 348000 | #Constraints: 18059 207.63/208.17 c #Conflicts: 349000 | #Constraints: 19635 207.63/208.17 c #Conflicts: 350000 | #Constraints: 21100 207.63/208.17 c #Conflicts: 351000 | #Constraints: 22418 207.63/208.17 c #Conflicts: 352000 | #Constraints: 23508 207.63/208.17 c #Conflicts: 353000 | #Constraints: 24553 207.63/208.17 c #Conflicts: 354000 | #Constraints: 25736 207.63/208.17 c #Conflicts: 355000 | #Constraints: 26737 207.63/208.17 c #Conflicts: 356000 | #Constraints: 27737 207.63/208.17 c #Conflicts: 357000 | #Constraints: 28853 207.63/208.17 c INPROCESSING 207.63/208.17 c GARBAGE COLLECT 207.63/208.17 c rational objective 55 217.10/217.68 c #Conflicts: 358000 | #Constraints: 16694 217.10/217.68 c #Conflicts: 359000 | #Constraints: 17694 217.10/217.68 c #Conflicts: 360000 | #Constraints: 18694 217.10/217.68 c #Conflicts: 361000 | #Constraints: 19705 217.10/217.68 c #Conflicts: 362000 | #Constraints: 20734 217.10/217.68 c #Conflicts: 363000 | #Constraints: 21751 217.10/217.68 c #Conflicts: 364000 | #Constraints: 22782 217.10/217.68 c #Conflicts: 365000 | #Constraints: 23813 217.10/217.68 c #Conflicts: 366000 | #Constraints: 24840 217.10/217.68 c #Conflicts: 367000 | #Constraints: 25908 217.10/217.68 c #Conflicts: 368000 | #Constraints: 26934 217.10/217.68 c #Conflicts: 369000 | #Constraints: 27970 217.10/217.68 c INPROCESSING 217.10/217.68 c GARBAGE COLLECT 217.10/217.68 c rational objective 55 227.49/228.03 c #Conflicts: 370000 | #Constraints: 16148 227.49/228.03 c #Conflicts: 371000 | #Constraints: 17148 227.49/228.03 c #Conflicts: 372000 | #Constraints: 18149 227.49/228.03 c #Conflicts: 373000 | #Constraints: 19150 227.49/228.03 c #Conflicts: 374000 | #Constraints: 20157 227.49/228.03 c #Conflicts: 375000 | #Constraints: 21217 227.49/228.03 c #Conflicts: 376000 | #Constraints: 22343 227.49/228.03 c #Conflicts: 377000 | #Constraints: 23978 227.49/228.03 c #Conflicts: 378000 | #Constraints: 25230 227.49/228.03 c #Conflicts: 379000 | #Constraints: 26231 227.49/228.03 c #Conflicts: 380000 | #Constraints: 27240 227.49/228.03 c #Conflicts: 381000 | #Constraints: 28247 227.49/228.03 c INPROCESSING 227.49/228.03 c GARBAGE COLLECT 227.49/228.03 c rational objective 55 237.16/237.70 c #Conflicts: 382000 | #Constraints: 16112 237.16/237.70 c #Conflicts: 383000 | #Constraints: 17112 237.16/237.70 c #Conflicts: 384000 | #Constraints: 18112 237.16/237.70 c #Conflicts: 385000 | #Constraints: 19112 237.16/237.70 c #Conflicts: 386000 | #Constraints: 20112 237.16/237.70 c #Conflicts: 387000 | #Constraints: 21113 237.16/237.70 c #Conflicts: 388000 | #Constraints: 22115 237.16/237.70 c #Conflicts: 389000 | #Constraints: 23117 237.16/237.70 c #Conflicts: 390000 | #Constraints: 24121 237.16/237.70 c #Conflicts: 391000 | #Constraints: 25121 237.16/237.70 c #Conflicts: 392000 | #Constraints: 26123 237.16/237.70 c #Conflicts: 393000 | #Constraints: 27124 237.16/237.70 c #Conflicts: 394000 | #Constraints: 28132 237.16/237.70 c INPROCESSING 237.16/237.70 c GARBAGE COLLECT 237.16/237.70 c rational objective 55 247.73/248.34 c #Conflicts: 395000 | #Constraints: 16248 247.73/248.34 c #Conflicts: 396000 | #Constraints: 17248 247.73/248.34 c #Conflicts: 397000 | #Constraints: 18248 247.73/248.34 c #Conflicts: 398000 | #Constraints: 19248 247.73/248.34 c #Conflicts: 399000 | #Constraints: 20248 247.73/248.34 c #Conflicts: 400000 | #Constraints: 21248 247.73/248.34 c #Conflicts: 401000 | #Constraints: 22248 247.73/248.34 c #Conflicts: 402000 | #Constraints: 23248 247.73/248.34 c #Conflicts: 403000 | #Constraints: 24248 247.73/248.34 c #Conflicts: 404000 | #Constraints: 25248 247.73/248.34 c #Conflicts: 405000 | #Constraints: 26248 247.73/248.34 c #Conflicts: 406000 | #Constraints: 27248 247.73/248.34 c #Conflicts: 407000 | #Constraints: 28248 247.73/248.34 c INPROCESSING 247.73/248.34 c GARBAGE COLLECT 247.73/248.34 c rational objective 55 257.91/258.54 c #Conflicts: 408000 | #Constraints: 16394 257.91/258.54 c #Conflicts: 409000 | #Constraints: 17395 257.91/258.54 c #Conflicts: 410000 | #Constraints: 18400 257.91/258.54 c #Conflicts: 411000 | #Constraints: 19412 257.91/258.54 c #Conflicts: 412000 | #Constraints: 20508 257.91/258.54 c #Conflicts: 413000 | #Constraints: 21513 257.91/258.54 c #Conflicts: 414000 | #Constraints: 22673 257.91/258.54 c #Conflicts: 415000 | #Constraints: 23677 257.91/258.54 c #Conflicts: 416000 | #Constraints: 24681 257.91/258.54 c #Conflicts: 417000 | #Constraints: 25682 257.91/258.54 c #Conflicts: 418000 | #Constraints: 26683 257.91/258.54 c #Conflicts: 419000 | #Constraints: 27686 257.91/258.54 c #Conflicts: 420000 | #Constraints: 28688 257.91/258.54 c INPROCESSING 257.91/258.54 c GARBAGE COLLECT 257.91/258.54 c rational objective 55 279.56/280.20 c #Conflicts: 421000 | #Constraints: 16611 279.56/280.20 c #Conflicts: 422000 | #Constraints: 17612 279.56/280.20 c #Conflicts: 423000 | #Constraints: 18612 279.56/280.20 c #Conflicts: 424000 | #Constraints: 19634 279.56/280.20 c #Conflicts: 425000 | #Constraints: 20634 279.56/280.20 c #Conflicts: 426000 | #Constraints: 21656 279.56/280.20 c #Conflicts: 427000 | #Constraints: 22666 279.56/280.20 c #Conflicts: 428000 | #Constraints: 23746 279.56/280.20 c #Conflicts: 429000 | #Constraints: 25184 279.56/280.20 c #Conflicts: 430000 | #Constraints: 26277 279.56/280.20 c #Conflicts: 431000 | #Constraints: 27295 279.56/280.20 c #Conflicts: 432000 | #Constraints: 28422 279.56/280.20 c #Conflicts: 433000 | #Constraints: 29459 279.56/280.20 c INPROCESSING 279.56/280.20 c GARBAGE COLLECT 279.56/280.20 c #Conflicts: 434000 | #Constraints: 16899 279.56/280.20 c #Conflicts: 435000 | #Constraints: 17899 279.56/280.20 c #Conflicts: 436000 | #Constraints: 18899 279.56/280.20 c #Conflicts: 437000 | #Constraints: 19899 279.56/280.20 c #Conflicts: 438000 | #Constraints: 20921 279.56/280.20 c #Conflicts: 439000 | #Constraints: 21928 279.56/280.20 c #Conflicts: 440000 | #Constraints: 22944 279.56/280.20 c #Conflicts: 441000 | #Constraints: 24032 279.56/280.20 c #Conflicts: 442000 | #Constraints: 25034 279.56/280.20 c #Conflicts: 443000 | #Constraints: 26056 279.56/280.20 c #Conflicts: 444000 | #Constraints: 27056 279.56/280.20 c #Conflicts: 445000 | #Constraints: 28056 279.56/280.20 c #Conflicts: 446000 | #Constraints: 29057 279.56/280.20 c INPROCESSING 279.56/280.20 c GARBAGE COLLECT 279.56/280.20 c rational objective 55 302.21/302.95 c #Conflicts: 447000 | #Constraints: 16505 302.21/302.95 c #Conflicts: 448000 | #Constraints: 17505 302.21/302.95 c #Conflicts: 449000 | #Constraints: 18505 302.21/302.95 c #Conflicts: 450000 | #Constraints: 19505 302.21/302.95 c #Conflicts: 451000 | #Constraints: 20505 302.21/302.95 c #Conflicts: 452000 | #Constraints: 21505 302.21/302.95 c #Conflicts: 453000 | #Constraints: 22505 302.21/302.95 c #Conflicts: 454000 | #Constraints: 23505 302.21/302.95 c #Conflicts: 455000 | #Constraints: 24584 302.21/302.95 c #Conflicts: 456000 | #Constraints: 25584 302.21/302.95 c #Conflicts: 457000 | #Constraints: 26908 302.21/302.95 c #Conflicts: 458000 | #Constraints: 28331 302.21/302.95 c #Conflicts: 459000 | #Constraints: 29333 302.21/302.95 c #Conflicts: 460000 | #Constraints: 30338 302.21/302.95 c INPROCESSING 302.21/302.95 c GARBAGE COLLECT 302.21/302.95 c #Conflicts: 461000 | #Constraints: 17347 302.21/302.95 c #Conflicts: 462000 | #Constraints: 18348 302.21/302.95 c #Conflicts: 463000 | #Constraints: 19365 302.21/302.95 c #Conflicts: 464000 | #Constraints: 20365 302.21/302.95 c #Conflicts: 465000 | #Constraints: 21365 302.21/302.95 c #Conflicts: 466000 | #Constraints: 22365 302.21/302.95 c #Conflicts: 467000 | #Constraints: 23365 302.21/302.95 c #Conflicts: 468000 | #Constraints: 24365 302.21/302.95 c #Conflicts: 469000 | #Constraints: 25377 302.21/302.95 c #Conflicts: 470000 | #Constraints: 26383 302.21/302.95 c #Conflicts: 471000 | #Constraints: 27388 302.21/302.95 c #Conflicts: 472000 | #Constraints: 28388 302.21/302.95 c #Conflicts: 473000 | #Constraints: 29390 302.21/302.95 c #Conflicts: 474000 | #Constraints: 30393 302.21/302.95 c INPROCESSING 302.21/302.95 c GARBAGE COLLECT 302.21/302.95 c rational objective 55 317.48/318.29 c #Conflicts: 475000 | #Constraints: 17477 317.48/318.29 c #Conflicts: 476000 | #Constraints: 18537 317.48/318.29 c #Conflicts: 477000 | #Constraints: 19710 317.48/318.29 c #Conflicts: 478000 | #Constraints: 20752 317.48/318.29 c #Conflicts: 479000 | #Constraints: 21897 317.48/318.29 c #Conflicts: 480000 | #Constraints: 23208 317.48/318.29 c #Conflicts: 481000 | #Constraints: 24811 317.48/318.29 c #Conflicts: 482000 | #Constraints: 26497 317.48/318.29 c #Conflicts: 483000 | #Constraints: 28206 317.48/318.29 c #Conflicts: 484000 | #Constraints: 29945 317.48/318.29 c #Conflicts: 485000 | #Constraints: 31667 317.48/318.29 c #Conflicts: 486000 | #Constraints: 33385 317.48/318.29 c #Conflicts: 487000 | #Constraints: 34563 317.48/318.29 c #Conflicts: 488000 | #Constraints: 36283 317.48/318.29 c INPROCESSING 317.48/318.29 c GARBAGE COLLECT 317.48/318.29 c rational objective 55 329.56/330.36 c #Conflicts: 489000 | #Constraints: 20421 329.56/330.36 c #Conflicts: 490000 | #Constraints: 21421 329.56/330.36 c #Conflicts: 491000 | #Constraints: 22421 329.56/330.36 c #Conflicts: 492000 | #Constraints: 23421 329.56/330.36 c #Conflicts: 493000 | #Constraints: 24422 329.56/330.36 c #Conflicts: 494000 | #Constraints: 25422 329.56/330.36 c #Conflicts: 495000 | #Constraints: 26461 329.56/330.36 c #Conflicts: 496000 | #Constraints: 27465 329.56/330.36 c #Conflicts: 497000 | #Constraints: 28466 329.56/330.36 c #Conflicts: 498000 | #Constraints: 29474 329.56/330.36 c #Conflicts: 499000 | #Constraints: 30475 329.56/330.36 c #Conflicts: 500000 | #Constraints: 31477 329.56/330.36 c #Conflicts: 501000 | #Constraints: 32496 329.56/330.36 c #Conflicts: 502000 | #Constraints: 33502 329.56/330.36 c INPROCESSING 329.56/330.36 c GARBAGE COLLECT 329.56/330.36 c rational objective 55 356.49/357.30 c #Conflicts: 503000 | #Constraints: 18921 356.49/357.30 c #Conflicts: 504000 | #Constraints: 19921 356.49/357.30 c #Conflicts: 505000 | #Constraints: 20921 356.49/357.30 c #Conflicts: 506000 | #Constraints: 21921 356.49/357.30 c #Conflicts: 507000 | #Constraints: 22921 356.49/357.30 c #Conflicts: 508000 | #Constraints: 23921 356.49/357.30 c #Conflicts: 509000 | #Constraints: 24934 356.49/357.30 c #Conflicts: 510000 | #Constraints: 25945 356.49/357.30 c #Conflicts: 511000 | #Constraints: 26965 356.49/357.30 c #Conflicts: 512000 | #Constraints: 28081 356.49/357.30 c #Conflicts: 513000 | #Constraints: 29083 356.49/357.30 c #Conflicts: 514000 | #Constraints: 30083 356.49/357.30 c #Conflicts: 515000 | #Constraints: 31088 356.49/357.30 c #Conflicts: 516000 | #Constraints: 32244 356.49/357.30 c INPROCESSING 356.49/357.30 c GARBAGE COLLECT 356.49/357.30 c #Conflicts: 517000 | #Constraints: 18120 356.49/357.30 c #Conflicts: 518000 | #Constraints: 19120 356.49/357.30 c #Conflicts: 519000 | #Constraints: 20120 356.49/357.30 c #Conflicts: 520000 | #Constraints: 21126 356.49/357.30 c #Conflicts: 521000 | #Constraints: 22132 356.49/357.30 c #Conflicts: 522000 | #Constraints: 23141 356.49/357.30 c #Conflicts: 523000 | #Constraints: 24144 356.49/357.30 c #Conflicts: 524000 | #Constraints: 25156 356.49/357.30 c #Conflicts: 525000 | #Constraints: 26156 356.49/357.30 c #Conflicts: 526000 | #Constraints: 27165 356.49/357.30 c #Conflicts: 527000 | #Constraints: 28169 356.49/357.30 c #Conflicts: 528000 | #Constraints: 29169 356.49/357.30 c #Conflicts: 529000 | #Constraints: 30169 356.49/357.30 c #Conflicts: 530000 | #Constraints: 31169 356.49/357.30 c #Conflicts: 531000 | #Constraints: 32185 356.49/357.30 c INPROCESSING 356.49/357.30 c GARBAGE COLLECT 356.49/357.30 c rational objective 55 372.16/373.08 c #Conflicts: 532000 | #Constraints: 18273 372.16/373.08 c #Conflicts: 533000 | #Constraints: 19280 372.16/373.08 c #Conflicts: 534000 | #Constraints: 20280 372.16/373.08 c #Conflicts: 535000 | #Constraints: 21280 372.16/373.08 c #Conflicts: 536000 | #Constraints: 22280 372.16/373.08 c #Conflicts: 537000 | #Constraints: 23280 372.16/373.08 c #Conflicts: 538000 | #Constraints: 24280 372.16/373.08 c #Conflicts: 539000 | #Constraints: 25280 372.16/373.08 c #Conflicts: 540000 | #Constraints: 26280 372.16/373.08 c #Conflicts: 541000 | #Constraints: 27280 372.16/373.08 c #Conflicts: 542000 | #Constraints: 28280 372.16/373.08 c #Conflicts: 543000 | #Constraints: 29280 372.16/373.08 c #Conflicts: 544000 | #Constraints: 30282 372.16/373.08 c #Conflicts: 545000 | #Constraints: 31282 372.16/373.08 c #Conflicts: 546000 | #Constraints: 32283 372.16/373.08 c INPROCESSING 372.16/373.08 c GARBAGE COLLECT 372.16/373.08 c rational objective 55 385.14/386.05 c #Conflicts: 547000 | #Constraints: 18430 385.14/386.05 c #Conflicts: 548000 | #Constraints: 19430 385.14/386.05 c #Conflicts: 549000 | #Constraints: 20430 385.14/386.05 c #Conflicts: 550000 | #Constraints: 21430 385.14/386.05 c #Conflicts: 551000 | #Constraints: 22430 385.14/386.05 c #Conflicts: 552000 | #Constraints: 23430 385.14/386.05 c #Conflicts: 553000 | #Constraints: 24430 385.14/386.05 c #Conflicts: 554000 | #Constraints: 25430 385.14/386.05 c #Conflicts: 555000 | #Constraints: 26430 385.14/386.05 c #Conflicts: 556000 | #Constraints: 27430 385.14/386.05 c #Conflicts: 557000 | #Constraints: 28430 385.14/386.05 c #Conflicts: 558000 | #Constraints: 29430 385.14/386.05 c #Conflicts: 559000 | #Constraints: 30430 385.14/386.05 c #Conflicts: 560000 | #Constraints: 31430 385.14/386.05 c #Conflicts: 561000 | #Constraints: 32430 385.14/386.05 c INPROCESSING 385.14/386.05 c GARBAGE COLLECT 385.14/386.05 c rational objective 55 403.40/404.37 c #Conflicts: 562000 | #Constraints: 18485 403.40/404.37 c #Conflicts: 563000 | #Constraints: 19485 403.40/404.37 c #Conflicts: 564000 | #Constraints: 20485 403.40/404.37 c #Conflicts: 565000 | #Constraints: 21485 403.40/404.37 c #Conflicts: 566000 | #Constraints: 22485 403.40/404.37 c #Conflicts: 567000 | #Constraints: 23485 403.40/404.37 c #Conflicts: 568000 | #Constraints: 24485 403.40/404.37 c #Conflicts: 569000 | #Constraints: 25485 403.40/404.37 c #Conflicts: 570000 | #Constraints: 26485 403.40/404.37 c #Conflicts: 571000 | #Constraints: 27485 403.40/404.37 c #Conflicts: 572000 | #Constraints: 28485 403.40/404.37 c #Conflicts: 573000 | #Constraints: 29485 403.40/404.37 c #Conflicts: 574000 | #Constraints: 30485 403.40/404.37 c #Conflicts: 575000 | #Constraints: 31485 403.40/404.37 c #Conflicts: 576000 | #Constraints: 32485 403.40/404.37 c INPROCESSING 403.40/404.37 c GARBAGE COLLECT 403.40/404.37 c rational objective 55 417.07/418.01 c #Conflicts: 577000 | #Constraints: 18431 417.07/418.01 c #Conflicts: 578000 | #Constraints: 19431 417.07/418.01 c #Conflicts: 579000 | #Constraints: 20431 417.07/418.01 c #Conflicts: 580000 | #Constraints: 21431 417.07/418.01 c #Conflicts: 581000 | #Constraints: 22431 417.07/418.01 c #Conflicts: 582000 | #Constraints: 23431 417.07/418.01 c #Conflicts: 583000 | #Constraints: 24431 417.07/418.01 c #Conflicts: 584000 | #Constraints: 25431 417.07/418.01 c #Conflicts: 585000 | #Constraints: 26431 417.07/418.01 c #Conflicts: 586000 | #Constraints: 27431 417.07/418.01 c #Conflicts: 587000 | #Constraints: 28431 417.07/418.01 c #Conflicts: 588000 | #Constraints: 29431 417.07/418.01 c #Conflicts: 589000 | #Constraints: 30431 417.07/418.01 c #Conflicts: 590000 | #Constraints: 31431 417.07/418.01 c #Conflicts: 591000 | #Constraints: 32431 417.07/418.01 c INPROCESSING 417.07/418.01 c GARBAGE COLLECT 417.07/418.01 c rational objective 55 430.83/431.84 c #Conflicts: 592000 | #Constraints: 18193 430.83/431.84 c #Conflicts: 593000 | #Constraints: 19194 430.83/431.84 c #Conflicts: 594000 | #Constraints: 20194 430.83/431.84 c #Conflicts: 595000 | #Constraints: 21196 430.83/431.84 c #Conflicts: 596000 | #Constraints: 22196 430.83/431.84 c #Conflicts: 597000 | #Constraints: 23197 430.83/431.84 c #Conflicts: 598000 | #Constraints: 24197 430.83/431.84 c #Conflicts: 599000 | #Constraints: 25198 430.83/431.84 c #Conflicts: 600000 | #Constraints: 26198 430.83/431.84 c #Conflicts: 601000 | #Constraints: 27198 430.83/431.84 c #Conflicts: 602000 | #Constraints: 28199 430.83/431.84 c #Conflicts: 603000 | #Constraints: 29199 430.83/431.84 c #Conflicts: 604000 | #Constraints: 30200 430.83/431.84 c #Conflicts: 605000 | #Constraints: 31200 430.83/431.84 c #Conflicts: 606000 | #Constraints: 32200 430.83/431.84 c #Conflicts: 607000 | #Constraints: 33200 430.83/431.84 c INPROCESSING 430.83/431.84 c GARBAGE COLLECT 430.83/431.84 c rational objective 55 464.45/465.58 c #Conflicts: 608000 | #Constraints: 18768 464.45/465.58 c #Conflicts: 609000 | #Constraints: 19770 464.45/465.58 c #Conflicts: 610000 | #Constraints: 20775 464.45/465.58 c #Conflicts: 611000 | #Constraints: 21777 464.45/465.58 c #Conflicts: 612000 | #Constraints: 22777 464.45/465.58 c #Conflicts: 613000 | #Constraints: 23778 464.45/465.58 c #Conflicts: 614000 | #Constraints: 24787 464.45/465.58 c #Conflicts: 615000 | #Constraints: 25798 464.45/465.58 c #Conflicts: 616000 | #Constraints: 26803 464.45/465.58 c #Conflicts: 617000 | #Constraints: 27803 464.45/465.58 c #Conflicts: 618000 | #Constraints: 28803 464.45/465.58 c #Conflicts: 619000 | #Constraints: 29809 464.45/465.58 c #Conflicts: 620000 | #Constraints: 30809 464.45/465.58 c #Conflicts: 621000 | #Constraints: 31816 464.45/465.58 c #Conflicts: 622000 | #Constraints: 32816 464.45/465.58 c #Conflicts: 623000 | #Constraints: 33820 464.45/465.58 c INPROCESSING 464.45/465.58 c GARBAGE COLLECT 464.45/465.58 c #Conflicts: 624000 | #Constraints: 19191 464.45/465.58 c #Conflicts: 625000 | #Constraints: 20195 464.45/465.58 c #Conflicts: 626000 | #Constraints: 21199 464.45/465.58 c #Conflicts: 627000 | #Constraints: 22200 464.45/465.58 c #Conflicts: 628000 | #Constraints: 23203 464.45/465.58 c #Conflicts: 629000 | #Constraints: 24209 464.45/465.58 c #Conflicts: 630000 | #Constraints: 25217 464.45/465.58 c #Conflicts: 631000 | #Constraints: 26217 464.45/465.58 c #Conflicts: 632000 | #Constraints: 27219 464.45/465.58 c #Conflicts: 633000 | #Constraints: 28220 464.45/465.58 c #Conflicts: 634000 | #Constraints: 29238 464.45/465.58 c #Conflicts: 635000 | #Constraints: 30240 464.45/465.58 c #Conflicts: 636000 | #Constraints: 31242 464.45/465.58 c #Conflicts: 637000 | #Constraints: 32243 464.45/465.58 c #Conflicts: 638000 | #Constraints: 33245 464.45/465.58 c #Conflicts: 639000 | #Constraints: 34257 464.45/465.58 c INPROCESSING 464.45/465.58 c GARBAGE COLLECT 464.45/465.58 c rational objective 55 499.88/501.06 c #Conflicts: 640000 | #Constraints: 19416 499.88/501.06 c #Conflicts: 641000 | #Constraints: 20417 499.88/501.06 c #Conflicts: 642000 | #Constraints: 21419 499.88/501.06 c #Conflicts: 643000 | #Constraints: 22420 499.88/501.06 c #Conflicts: 644000 | #Constraints: 23420 499.88/501.06 c #Conflicts: 645000 | #Constraints: 24421 499.88/501.06 c #Conflicts: 646000 | #Constraints: 25421 499.88/501.06 c #Conflicts: 647000 | #Constraints: 26421 499.88/501.06 c #Conflicts: 648000 | #Constraints: 27428 499.88/501.06 c #Conflicts: 649000 | #Constraints: 28430 499.88/501.06 c #Conflicts: 650000 | #Constraints: 29430 499.88/501.06 c #Conflicts: 651000 | #Constraints: 30431 499.88/501.06 c #Conflicts: 652000 | #Constraints: 31439 499.88/501.06 c #Conflicts: 653000 | #Constraints: 32441 499.88/501.06 c #Conflicts: 654000 | #Constraints: 33441 499.88/501.06 c #Conflicts: 655000 | #Constraints: 34441 499.88/501.06 c INPROCESSING 499.88/501.06 c GARBAGE COLLECT 499.88/501.06 c #Conflicts: 656000 | #Constraints: 19418 499.88/501.06 c #Conflicts: 657000 | #Constraints: 20418 499.88/501.06 c #Conflicts: 658000 | #Constraints: 21419 499.88/501.06 c #Conflicts: 659000 | #Constraints: 22425 499.88/501.06 c #Conflicts: 660000 | #Constraints: 23427 499.88/501.06 c #Conflicts: 661000 | #Constraints: 24427 499.88/501.06 c #Conflicts: 662000 | #Constraints: 25428 499.88/501.06 c #Conflicts: 663000 | #Constraints: 26429 499.88/501.06 c #Conflicts: 664000 | #Constraints: 27431 499.88/501.06 c #Conflicts: 665000 | #Constraints: 28431 499.88/501.06 c #Conflicts: 666000 | #Constraints: 29437 499.88/501.06 c #Conflicts: 667000 | #Constraints: 30441 499.88/501.06 c #Conflicts: 668000 | #Constraints: 31444 499.88/501.06 c #Conflicts: 669000 | #Constraints: 32449 499.88/501.06 c #Conflicts: 670000 | #Constraints: 33451 499.88/501.06 c #Conflicts: 671000 | #Constraints: 34451 499.88/501.06 c INPROCESSING 499.88/501.06 c GARBAGE COLLECT 499.88/501.06 c rational objective 55 523.42/524.69 c #Conflicts: 672000 | #Constraints: 19205 523.42/524.69 c #Conflicts: 673000 | #Constraints: 20346 523.42/524.69 c #Conflicts: 674000 | #Constraints: 21558 523.42/524.69 c #Conflicts: 675000 | #Constraints: 22568 523.42/524.69 c #Conflicts: 676000 | #Constraints: 23581 523.42/524.69 c #Conflicts: 677000 | #Constraints: 24582 523.42/524.69 c #Conflicts: 678000 | #Constraints: 25584 523.42/524.69 c #Conflicts: 679000 | #Constraints: 26590 523.42/524.69 c #Conflicts: 680000 | #Constraints: 27607 523.42/524.69 c #Conflicts: 681000 | #Constraints: 28609 523.42/524.69 c #Conflicts: 682000 | #Constraints: 29609 523.42/524.69 c #Conflicts: 683000 | #Constraints: 30618 523.42/524.69 c #Conflicts: 684000 | #Constraints: 31723 523.42/524.69 c #Conflicts: 685000 | #Constraints: 32849 523.42/524.69 c #Conflicts: 686000 | #Constraints: 34139 523.42/524.69 c #Conflicts: 687000 | #Constraints: 35199 523.42/524.69 c #Conflicts: 688000 | #Constraints: 36203 523.42/524.69 c INPROCESSING 523.42/524.69 c GARBAGE COLLECT 523.42/524.69 c rational objective 55 539.69/540.91 c #Conflicts: 689000 | #Constraints: 20307 539.69/540.91 c #Conflicts: 690000 | #Constraints: 21307 539.69/540.91 c #Conflicts: 691000 | #Constraints: 22307 539.69/540.91 c #Conflicts: 692000 | #Constraints: 23307 539.69/540.91 c #Conflicts: 693000 | #Constraints: 24307 539.69/540.91 c #Conflicts: 694000 | #Constraints: 25307 539.69/540.91 c #Conflicts: 695000 | #Constraints: 26307 539.69/540.91 c #Conflicts: 696000 | #Constraints: 27307 539.69/540.91 c #Conflicts: 697000 | #Constraints: 28307 539.69/540.91 c #Conflicts: 698000 | #Constraints: 29307 539.69/540.91 c #Conflicts: 699000 | #Constraints: 30307 539.69/540.91 c #Conflicts: 700000 | #Constraints: 31307 539.69/540.91 c #Conflicts: 701000 | #Constraints: 32307 539.69/540.91 c #Conflicts: 702000 | #Constraints: 33307 539.69/540.91 c #Conflicts: 703000 | #Constraints: 34307 539.69/540.91 c #Conflicts: 704000 | #Constraints: 35307 539.69/540.91 c #Conflicts: 705000 | #Constraints: 36307 539.69/540.91 c INPROCESSING 539.69/540.91 c GARBAGE COLLECT 539.69/540.91 c rational objective 55 556.15/557.46 c #Conflicts: 706000 | #Constraints: 20430 556.15/557.46 c #Conflicts: 707000 | #Constraints: 21432 556.15/557.46 c #Conflicts: 708000 | #Constraints: 22432 556.15/557.46 c #Conflicts: 709000 | #Constraints: 23432 556.15/557.46 c #Conflicts: 710000 | #Constraints: 24433 556.15/557.46 c #Conflicts: 711000 | #Constraints: 25435 556.15/557.46 c #Conflicts: 712000 | #Constraints: 26435 556.15/557.46 c #Conflicts: 713000 | #Constraints: 27435 556.15/557.46 c #Conflicts: 714000 | #Constraints: 28436 556.15/557.46 c #Conflicts: 715000 | #Constraints: 29436 556.15/557.46 c #Conflicts: 716000 | #Constraints: 30437 556.15/557.46 c #Conflicts: 717000 | #Constraints: 31437 556.15/557.46 c #Conflicts: 718000 | #Constraints: 32437 556.15/557.46 c #Conflicts: 719000 | #Constraints: 33437 556.15/557.46 c #Conflicts: 720000 | #Constraints: 34440 556.15/557.46 c #Conflicts: 721000 | #Constraints: 35440 556.15/557.46 c #Conflicts: 722000 | #Constraints: 36440 556.15/557.46 c INPROCESSING 556.15/557.46 c GARBAGE COLLECT 556.15/557.46 c rational objective 55 579.40/580.74 c #Conflicts: 723000 | #Constraints: 20506 579.40/580.74 c #Conflicts: 724000 | #Constraints: 21552 579.40/580.74 c #Conflicts: 725000 | #Constraints: 22922 579.40/580.74 c #Conflicts: 726000 | #Constraints: 24354 579.40/580.74 c #Conflicts: 727000 | #Constraints: 25913 579.40/580.74 c #Conflicts: 728000 | #Constraints: 27287 579.40/580.74 c #Conflicts: 729000 | #Constraints: 28287 579.40/580.74 c #Conflicts: 730000 | #Constraints: 29287 579.40/580.74 c #Conflicts: 731000 | #Constraints: 30288 579.40/580.74 c #Conflicts: 732000 | #Constraints: 31323 579.40/580.74 c #Conflicts: 733000 | #Constraints: 32685 579.40/580.74 c #Conflicts: 734000 | #Constraints: 33748 579.40/580.74 c #Conflicts: 735000 | #Constraints: 34822 579.40/580.74 c #Conflicts: 736000 | #Constraints: 36059 579.40/580.74 WSVECS04 Frhs2[74]: 6 -8.00005 0 shouldn't be 583.49/584.85 c #Conflicts: 737000 | #Constraints: 37297 583.49/584.85 c #Conflicts: 738000 | #Constraints: 38297 583.49/584.85 c #Conflicts: 739000 | #Constraints: 39301 583.49/584.85 c INPROCESSING 583.49/584.85 c GARBAGE COLLECT 583.49/584.85 c rational objective 55 601.35/602.71 c #Conflicts: 740000 | #Constraints: 21844 601.35/602.71 c #Conflicts: 741000 | #Constraints: 22844 601.35/602.71 c #Conflicts: 742000 | #Constraints: 23845 601.35/602.71 c #Conflicts: 743000 | #Constraints: 24845 601.35/602.71 c #Conflicts: 744000 | #Constraints: 25848 601.35/602.71 c #Conflicts: 745000 | #Constraints: 26895 601.35/602.71 c #Conflicts: 746000 | #Constraints: 27895 601.35/602.71 c #Conflicts: 747000 | #Constraints: 28896 601.35/602.71 c #Conflicts: 748000 | #Constraints: 29899 601.35/602.71 c #Conflicts: 749000 | #Constraints: 30900 601.35/602.71 c #Conflicts: 750000 | #Constraints: 31901 601.35/602.71 c #Conflicts: 751000 | #Constraints: 32905 601.35/602.71 c #Conflicts: 752000 | #Constraints: 33908 601.35/602.71 c #Conflicts: 753000 | #Constraints: 34911 601.35/602.71 c #Conflicts: 754000 | #Constraints: 35913 601.35/602.71 c #Conflicts: 755000 | #Constraints: 36916 601.35/602.71 c #Conflicts: 756000 | #Constraints: 37919 601.35/602.71 c INPROCESSING 601.35/602.71 c GARBAGE COLLECT 601.35/602.71 c rational objective 55 628.89/630.34 c #Conflicts: 757000 | #Constraints: 20955 628.89/630.34 c #Conflicts: 758000 | #Constraints: 21955 628.89/630.34 c #Conflicts: 759000 | #Constraints: 22955 628.89/630.34 c #Conflicts: 760000 | #Constraints: 23955 628.89/630.34 c #Conflicts: 761000 | #Constraints: 24955 628.89/630.34 c #Conflicts: 762000 | #Constraints: 25955 628.89/630.34 c #Conflicts: 763000 | #Constraints: 26955 628.89/630.34 c #Conflicts: 764000 | #Constraints: 27955 628.89/630.34 c #Conflicts: 765000 | #Constraints: 28955 628.89/630.34 c #Conflicts: 766000 | #Constraints: 29955 628.89/630.34 c #Conflicts: 767000 | #Constraints: 30955 628.89/630.34 c #Conflicts: 768000 | #Constraints: 31955 628.89/630.34 c #Conflicts: 769000 | #Constraints: 32955 628.89/630.34 c #Conflicts: 770000 | #Constraints: 33955 628.89/630.34 c #Conflicts: 771000 | #Constraints: 34955 628.89/630.34 c #Conflicts: 772000 | #Constraints: 35955 628.89/630.34 c #Conflicts: 773000 | #Constraints: 36955 628.89/630.34 c #Conflicts: 774000 | #Constraints: 37955 628.89/630.34 c INPROCESSING 628.89/630.34 c GARBAGE COLLECT 628.89/630.34 c rational objective 55 648.04/649.56 c #Conflicts: 775000 | #Constraints: 21166 648.04/649.56 c #Conflicts: 776000 | #Constraints: 22168 648.04/649.56 c #Conflicts: 777000 | #Constraints: 23169 648.04/649.56 c #Conflicts: 778000 | #Constraints: 24183 648.04/649.56 c #Conflicts: 779000 | #Constraints: 25184 648.04/649.56 c #Conflicts: 780000 | #Constraints: 26187 648.04/649.56 c #Conflicts: 781000 | #Constraints: 27197 648.04/649.56 c #Conflicts: 782000 | #Constraints: 28197 648.04/649.56 c #Conflicts: 783000 | #Constraints: 29200 648.04/649.56 c #Conflicts: 784000 | #Constraints: 30200 648.04/649.56 c #Conflicts: 785000 | #Constraints: 31200 648.04/649.56 c #Conflicts: 786000 | #Constraints: 32200 648.04/649.56 c #Conflicts: 787000 | #Constraints: 33200 648.04/649.56 c #Conflicts: 788000 | #Constraints: 34200 648.04/649.56 c #Conflicts: 789000 | #Constraints: 35200 648.04/649.56 c #Conflicts: 790000 | #Constraints: 36200 648.04/649.56 c #Conflicts: 791000 | #Constraints: 37207 648.04/649.56 c #Conflicts: 792000 | #Constraints: 38207 648.04/649.56 c INPROCESSING 648.04/649.56 c GARBAGE COLLECT 648.04/649.56 c rational objective 55 667.60/669.17 c #Conflicts: 793000 | #Constraints: 21395 667.60/669.17 c #Conflicts: 794000 | #Constraints: 22395 667.60/669.17 c #Conflicts: 795000 | #Constraints: 23395 667.60/669.17 c #Conflicts: 796000 | #Constraints: 24411 667.60/669.17 c #Conflicts: 797000 | #Constraints: 25435 667.60/669.17 c #Conflicts: 798000 | #Constraints: 26437 667.60/669.17 c #Conflicts: 799000 | #Constraints: 27478 667.60/669.17 c #Conflicts: 800000 | #Constraints: 28479 667.60/669.17 c #Conflicts: 801000 | #Constraints: 29488 667.60/669.17 c #Conflicts: 802000 | #Constraints: 30490 667.60/669.17 c #Conflicts: 803000 | #Constraints: 31496 667.60/669.17 c #Conflicts: 804000 | #Constraints: 32507 667.60/669.17 c #Conflicts: 805000 | #Constraints: 33511 667.60/669.17 c #Conflicts: 806000 | #Constraints: 34516 667.60/669.17 c #Conflicts: 807000 | #Constraints: 35536 667.60/669.17 c #Conflicts: 808000 | #Constraints: 36540 667.60/669.17 c #Conflicts: 809000 | #Constraints: 37552 667.60/669.17 c #Conflicts: 810000 | #Constraints: 38556 667.60/669.17 c INPROCESSING 667.60/669.17 c GARBAGE COLLECT 667.60/669.17 c rational objective 55 699.02/700.66 c #Conflicts: 811000 | #Constraints: 21569 699.02/700.66 c #Conflicts: 812000 | #Constraints: 22579 699.02/700.66 c #Conflicts: 813000 | #Constraints: 23579 699.02/700.66 c #Conflicts: 814000 | #Constraints: 24596 699.02/700.66 c #Conflicts: 815000 | #Constraints: 25596 699.02/700.66 c #Conflicts: 816000 | #Constraints: 26597 699.02/700.66 c #Conflicts: 817000 | #Constraints: 27597 699.02/700.66 c #Conflicts: 818000 | #Constraints: 28609 699.02/700.66 c #Conflicts: 819000 | #Constraints: 29612 699.02/700.66 c #Conflicts: 820000 | #Constraints: 30614 699.02/700.66 c #Conflicts: 821000 | #Constraints: 31637 699.02/700.66 c #Conflicts: 822000 | #Constraints: 32638 699.02/700.66 c #Conflicts: 823000 | #Constraints: 33642 699.02/700.66 c #Conflicts: 824000 | #Constraints: 34660 699.02/700.66 c #Conflicts: 825000 | #Constraints: 35666 699.02/700.66 c #Conflicts: 826000 | #Constraints: 36671 699.02/700.66 c #Conflicts: 827000 | #Constraints: 37676 699.02/700.66 c #Conflicts: 828000 | #Constraints: 38676 699.02/700.66 c INPROCESSING 699.02/700.66 c GARBAGE COLLECT 699.02/700.66 c rational objective 55 719.08/720.70 c #Conflicts: 829000 | #Constraints: 21539 719.08/720.70 c #Conflicts: 830000 | #Constraints: 22539 719.08/720.70 c #Conflicts: 831000 | #Constraints: 23542 719.08/720.70 c #Conflicts: 832000 | #Constraints: 24548 719.08/720.70 c #Conflicts: 833000 | #Constraints: 25559 719.08/720.70 c #Conflicts: 834000 | #Constraints: 26562 719.08/720.70 c #Conflicts: 835000 | #Constraints: 27562 719.08/720.70 c #Conflicts: 836000 | #Constraints: 28565 719.08/720.70 c #Conflicts: 837000 | #Constraints: 29582 719.08/720.70 c #Conflicts: 838000 | #Constraints: 30583 719.08/720.70 c #Conflicts: 839000 | #Constraints: 31583 719.08/720.70 c #Conflicts: 840000 | #Constraints: 32587 719.08/720.70 c #Conflicts: 841000 | #Constraints: 33588 719.08/720.70 c #Conflicts: 842000 | #Constraints: 34591 719.08/720.70 c #Conflicts: 843000 | #Constraints: 35608 719.08/720.70 c #Conflicts: 844000 | #Constraints: 36611 719.08/720.70 c #Conflicts: 845000 | #Constraints: 37618 719.08/720.70 c #Conflicts: 846000 | #Constraints: 38634 719.08/720.70 c INPROCESSING 719.08/720.70 c GARBAGE COLLECT 719.08/720.70 c rational objective 55 749.51/751.20 c #Conflicts: 847000 | #Constraints: 21295 749.51/751.20 c #Conflicts: 848000 | #Constraints: 22295 749.51/751.20 c #Conflicts: 849000 | #Constraints: 23295 749.51/751.20 c #Conflicts: 850000 | #Constraints: 24295 749.51/751.20 c #Conflicts: 851000 | #Constraints: 25295 749.51/751.20 c #Conflicts: 852000 | #Constraints: 26295 749.51/751.20 c #Conflicts: 853000 | #Constraints: 27295 749.51/751.20 c #Conflicts: 854000 | #Constraints: 28295 749.51/751.20 c #Conflicts: 855000 | #Constraints: 29295 749.51/751.20 c #Conflicts: 856000 | #Constraints: 30295 749.51/751.20 c #Conflicts: 857000 | #Constraints: 31295 749.51/751.20 c #Conflicts: 858000 | #Constraints: 32295 749.51/751.20 c #Conflicts: 859000 | #Constraints: 33295 749.51/751.20 c #Conflicts: 860000 | #Constraints: 34295 749.51/751.20 c #Conflicts: 861000 | #Constraints: 35295 749.51/751.20 c #Conflicts: 862000 | #Constraints: 36295 749.51/751.20 c #Conflicts: 863000 | #Constraints: 37295 749.51/751.20 c #Conflicts: 864000 | #Constraints: 38295 749.51/751.20 c #Conflicts: 865000 | #Constraints: 39295 749.51/751.20 c INPROCESSING 749.51/751.20 c GARBAGE COLLECT 749.51/751.20 c rational objective 55 769.46/771.20 c #Conflicts: 866000 | #Constraints: 21828 769.46/771.20 c #Conflicts: 867000 | #Constraints: 22837 769.46/771.20 c #Conflicts: 868000 | #Constraints: 23839 769.46/771.20 c #Conflicts: 869000 | #Constraints: 24844 769.46/771.20 c #Conflicts: 870000 | #Constraints: 25865 769.46/771.20 c #Conflicts: 871000 | #Constraints: 26877 769.46/771.20 c #Conflicts: 872000 | #Constraints: 27879 769.46/771.20 c #Conflicts: 873000 | #Constraints: 28883 769.46/771.20 c #Conflicts: 874000 | #Constraints: 29886 769.46/771.20 c #Conflicts: 875000 | #Constraints: 30888 769.46/771.20 c #Conflicts: 876000 | #Constraints: 31889 769.46/771.20 c #Conflicts: 877000 | #Constraints: 32907 769.46/771.20 c #Conflicts: 878000 | #Constraints: 33914 769.46/771.20 c #Conflicts: 879000 | #Constraints: 34917 769.46/771.20 c #Conflicts: 880000 | #Constraints: 35917 769.46/771.20 c #Conflicts: 881000 | #Constraints: 36920 769.46/771.20 c #Conflicts: 882000 | #Constraints: 37932 769.46/771.20 c #Conflicts: 883000 | #Constraints: 38938 769.46/771.20 c #Conflicts: 884000 | #Constraints: 39945 769.46/771.20 c INPROCESSING 769.46/771.20 c GARBAGE COLLECT 769.46/771.20 c rational objective 55 789.32/791.10 c #Conflicts: 885000 | #Constraints: 22261 789.32/791.10 c #Conflicts: 886000 | #Constraints: 23261 789.32/791.10 c #Conflicts: 887000 | #Constraints: 24261 789.32/791.10 c #Conflicts: 888000 | #Constraints: 25261 789.32/791.10 c #Conflicts: 889000 | #Constraints: 26261 789.32/791.10 c #Conflicts: 890000 | #Constraints: 27261 789.32/791.10 c #Conflicts: 891000 | #Constraints: 28261 789.32/791.10 c #Conflicts: 892000 | #Constraints: 29261 789.32/791.10 c #Conflicts: 893000 | #Constraints: 30261 789.32/791.10 c #Conflicts: 894000 | #Constraints: 31261 789.32/791.10 c #Conflicts: 895000 | #Constraints: 32261 789.32/791.10 c #Conflicts: 896000 | #Constraints: 33261 789.32/791.10 c #Conflicts: 897000 | #Constraints: 34261 789.32/791.10 c #Conflicts: 898000 | #Constraints: 35261 789.32/791.10 c #Conflicts: 899000 | #Constraints: 36261 789.32/791.10 c #Conflicts: 900000 | #Constraints: 37261 789.32/791.10 c #Conflicts: 901000 | #Constraints: 38261 789.32/791.10 c #Conflicts: 902000 | #Constraints: 39261 789.32/791.10 c #Conflicts: 903000 | #Constraints: 40261 789.32/791.10 c INPROCESSING 789.32/791.10 c GARBAGE COLLECT 789.32/791.10 c rational objective 55 827.04/829.00 c #Conflicts: 904000 | #Constraints: 22415 827.04/829.00 c #Conflicts: 905000 | #Constraints: 23415 827.04/829.00 c #Conflicts: 906000 | #Constraints: 24415 827.04/829.00 c #Conflicts: 907000 | #Constraints: 25415 827.04/829.00 c #Conflicts: 908000 | #Constraints: 26415 827.04/829.00 c #Conflicts: 909000 | #Constraints: 27415 827.04/829.00 c #Conflicts: 910000 | #Constraints: 28415 827.04/829.00 c #Conflicts: 911000 | #Constraints: 29415 827.04/829.00 c #Conflicts: 912000 | #Constraints: 30415 827.04/829.00 c #Conflicts: 913000 | #Constraints: 31415 827.04/829.00 c #Conflicts: 914000 | #Constraints: 32415 827.04/829.00 c #Conflicts: 915000 | #Constraints: 33415 827.04/829.00 c #Conflicts: 916000 | #Constraints: 34415 827.04/829.00 c #Conflicts: 917000 | #Constraints: 35415 827.04/829.00 c #Conflicts: 918000 | #Constraints: 36415 827.04/829.00 c #Conflicts: 919000 | #Constraints: 37415 827.04/829.00 c #Conflicts: 920000 | #Constraints: 38415 827.04/829.00 c #Conflicts: 921000 | #Constraints: 39415 827.04/829.00 c #Conflicts: 922000 | #Constraints: 40415 827.04/829.00 c INPROCESSING 827.04/829.00 c GARBAGE COLLECT 827.04/829.00 c rational objective 55 847.90/849.83 c #Conflicts: 923000 | #Constraints: 22395 847.90/849.83 c #Conflicts: 924000 | #Constraints: 23397 847.90/849.83 c #Conflicts: 925000 | #Constraints: 24397 847.90/849.83 c #Conflicts: 926000 | #Constraints: 25397 847.90/849.83 c #Conflicts: 927000 | #Constraints: 26397 847.90/849.83 c #Conflicts: 928000 | #Constraints: 27397 847.90/849.83 c #Conflicts: 929000 | #Constraints: 28401 847.90/849.83 c #Conflicts: 930000 | #Constraints: 29547 847.90/849.83 c #Conflicts: 931000 | #Constraints: 30547 847.90/849.83 c #Conflicts: 932000 | #Constraints: 31547 847.90/849.83 c #Conflicts: 933000 | #Constraints: 32547 847.90/849.83 c #Conflicts: 934000 | #Constraints: 33547 847.90/849.83 c #Conflicts: 935000 | #Constraints: 34560 847.90/849.83 c #Conflicts: 936000 | #Constraints: 35560 847.90/849.83 c #Conflicts: 937000 | #Constraints: 36560 847.90/849.83 c #Conflicts: 938000 | #Constraints: 37562 847.90/849.83 c #Conflicts: 939000 | #Constraints: 38569 847.90/849.83 c #Conflicts: 940000 | #Constraints: 39583 847.90/849.83 c #Conflicts: 941000 | #Constraints: 40583 847.90/849.83 c INPROCESSING 847.90/849.83 c GARBAGE COLLECT 847.90/849.83 c rational objective 55 895.60/897.63 c #Conflicts: 942000 | #Constraints: 22261 895.60/897.63 c #Conflicts: 943000 | #Constraints: 23261 895.60/897.63 c #Conflicts: 944000 | #Constraints: 24261 895.60/897.63 c #Conflicts: 945000 | #Constraints: 25261 895.60/897.63 c #Conflicts: 946000 | #Constraints: 26261 895.60/897.63 c #Conflicts: 947000 | #Constraints: 27261 895.60/897.63 c #Conflicts: 948000 | #Constraints: 28261 895.60/897.63 c #Conflicts: 949000 | #Constraints: 29261 895.60/897.63 c #Conflicts: 950000 | #Constraints: 30261 895.60/897.63 c #Conflicts: 951000 | #Constraints: 31261 895.60/897.63 c #Conflicts: 952000 | #Constraints: 32261 895.60/897.63 c #Conflicts: 953000 | #Constraints: 33261 895.60/897.63 c #Conflicts: 954000 | #Constraints: 34261 895.60/897.63 c #Conflicts: 955000 | #Constraints: 35261 895.60/897.63 c #Conflicts: 956000 | #Constraints: 36261 895.60/897.63 c #Conflicts: 957000 | #Constraints: 37261 895.60/897.63 c #Conflicts: 958000 | #Constraints: 38261 895.60/897.63 c #Conflicts: 959000 | #Constraints: 39261 895.60/897.63 c #Conflicts: 960000 | #Constraints: 40261 895.60/897.63 c #Conflicts: 961000 | #Constraints: 41261 895.60/897.63 c INPROCESSING 895.60/897.63 c GARBAGE COLLECT 895.60/897.63 c rational objective 55 920.14/922.21 c #Conflicts: 962000 | #Constraints: 22836 920.14/922.21 c #Conflicts: 963000 | #Constraints: 23837 920.14/922.21 c #Conflicts: 964000 | #Constraints: 24838 920.14/922.21 c #Conflicts: 965000 | #Constraints: 25838 920.14/922.21 c #Conflicts: 966000 | #Constraints: 26843 920.14/922.21 c #Conflicts: 967000 | #Constraints: 27844 920.14/922.21 c #Conflicts: 968000 | #Constraints: 28844 920.14/922.21 c #Conflicts: 969000 | #Constraints: 29847 920.14/922.21 c #Conflicts: 970000 | #Constraints: 30858 920.14/922.21 c #Conflicts: 971000 | #Constraints: 31859 920.14/922.21 c #Conflicts: 972000 | #Constraints: 32861 920.14/922.21 c #Conflicts: 973000 | #Constraints: 33867 920.14/922.21 c #Conflicts: 974000 | #Constraints: 34871 920.14/922.21 c #Conflicts: 975000 | #Constraints: 35876 920.14/922.21 c #Conflicts: 976000 | #Constraints: 36879 920.14/922.21 c #Conflicts: 977000 | #Constraints: 37879 920.14/922.21 c #Conflicts: 978000 | #Constraints: 38880 920.14/922.21 c #Conflicts: 979000 | #Constraints: 39880 920.14/922.21 c #Conflicts: 980000 | #Constraints: 40898 920.14/922.21 c #Conflicts: 981000 | #Constraints: 41902 920.14/922.21 c INPROCESSING 920.14/922.21 c GARBAGE COLLECT 920.14/922.21 c rational objective 55 943.39/945.52 c #Conflicts: 982000 | #Constraints: 23242 943.39/945.52 c #Conflicts: 983000 | #Constraints: 24242 943.39/945.52 c #Conflicts: 984000 | #Constraints: 25242 943.39/945.52 c #Conflicts: 985000 | #Constraints: 26242 943.39/945.52 c #Conflicts: 986000 | #Constraints: 27243 943.39/945.52 c #Conflicts: 987000 | #Constraints: 28250 943.39/945.52 c #Conflicts: 988000 | #Constraints: 29250 943.39/945.52 c #Conflicts: 989000 | #Constraints: 30250 943.39/945.52 c #Conflicts: 990000 | #Constraints: 31250 943.39/945.52 c #Conflicts: 991000 | #Constraints: 32250 943.39/945.52 c #Conflicts: 992000 | #Constraints: 33250 943.39/945.52 c #Conflicts: 993000 | #Constraints: 34250 943.39/945.52 c #Conflicts: 994000 | #Constraints: 35250 943.39/945.52 c #Conflicts: 995000 | #Constraints: 36250 943.39/945.52 c #Conflicts: 996000 | #Constraints: 37250 943.39/945.52 c #Conflicts: 997000 | #Constraints: 38250 943.39/945.52 c #Conflicts: 998000 | #Constraints: 39250 943.39/945.52 c #Conflicts: 999000 | #Constraints: 40250 943.39/945.52 c #Conflicts: 1000000 | #Constraints: 41250 943.39/945.52 c #Conflicts: 1001000 | #Constraints: 42250 943.39/945.52 c INPROCESSING 943.39/945.52 c GARBAGE COLLECT 943.39/945.52 c rational objective 55 957.56/959.72 c #Conflicts: 1002000 | #Constraints: 23414 957.56/959.72 c #Conflicts: 1003000 | #Constraints: 24559 957.56/959.72 c #Conflicts: 1004000 | #Constraints: 25636 957.56/959.72 c #Conflicts: 1005000 | #Constraints: 27186 957.56/959.72 c #Conflicts: 1006000 | #Constraints: 28350 957.56/959.72 c #Conflicts: 1007000 | #Constraints: 29351 957.56/959.72 c #Conflicts: 1008000 | #Constraints: 30566 957.56/959.72 WSVECS04 Frhs2[69]: 6 -32.0001 0 shouldn't be 957.56/959.76 WSVECS04 Frhs2[69]: 6 -32 0 shouldn't be 986.80/989.05 c #Conflicts: 1009000 | #Constraints: 32217 986.80/989.05 c #Conflicts: 1010000 | #Constraints: 33217 986.80/989.05 c #Conflicts: 1011000 | #Constraints: 34217 986.80/989.05 c #Conflicts: 1012000 | #Constraints: 35219 986.80/989.05 c #Conflicts: 1013000 | #Constraints: 36457 986.80/989.05 c #Conflicts: 1014000 | #Constraints: 37497 986.80/989.05 c #Conflicts: 1015000 | #Constraints: 38497 986.80/989.05 c #Conflicts: 1016000 | #Constraints: 39856 986.80/989.05 c #Conflicts: 1017000 | #Constraints: 40859 986.80/989.05 c #Conflicts: 1018000 | #Constraints: 41864 986.80/989.05 c #Conflicts: 1019000 | #Constraints: 42878 986.80/989.05 c #Conflicts: 1020000 | #Constraints: 44222 986.80/989.05 c #Conflicts: 1021000 | #Constraints: 46040 986.80/989.05 c INPROCESSING 986.80/989.05 c GARBAGE COLLECT 986.80/989.05 c rational objective 55 1014.04/1016.39 c #Conflicts: 1022000 | #Constraints: 25288 1014.04/1016.39 c #Conflicts: 1023000 | #Constraints: 26288 1014.04/1016.39 c #Conflicts: 1024000 | #Constraints: 27288 1014.04/1016.39 c #Conflicts: 1025000 | #Constraints: 28288 1014.04/1016.39 c #Conflicts: 1026000 | #Constraints: 29288 1014.04/1016.39 c #Conflicts: 1027000 | #Constraints: 30288 1014.04/1016.39 c #Conflicts: 1028000 | #Constraints: 31288 1014.04/1016.39 c #Conflicts: 1029000 | #Constraints: 32288 1014.04/1016.39 c #Conflicts: 1030000 | #Constraints: 33288 1014.04/1016.39 c #Conflicts: 1031000 | #Constraints: 34288 1014.04/1016.39 c #Conflicts: 1032000 | #Constraints: 35288 1014.04/1016.39 c #Conflicts: 1033000 | #Constraints: 36288 1014.04/1016.39 c #Conflicts: 1034000 | #Constraints: 37288 1014.04/1016.39 c #Conflicts: 1035000 | #Constraints: 38288 1014.04/1016.39 c #Conflicts: 1036000 | #Constraints: 39288 1014.04/1016.39 c #Conflicts: 1037000 | #Constraints: 40288 1014.04/1016.39 c #Conflicts: 1038000 | #Constraints: 41288 1014.04/1016.39 c #Conflicts: 1039000 | #Constraints: 42288 1014.04/1016.39 c #Conflicts: 1040000 | #Constraints: 43288 1014.04/1016.39 c #Conflicts: 1041000 | #Constraints: 44288 1014.04/1016.39 c INPROCESSING 1014.04/1016.39 c GARBAGE COLLECT 1014.04/1016.39 c rational objective 55 1039.38/1041.71 c #Conflicts: 1042000 | #Constraints: 24130 1039.38/1041.71 c #Conflicts: 1043000 | #Constraints: 25130 1039.38/1041.71 c #Conflicts: 1044000 | #Constraints: 26130 1039.38/1041.71 c #Conflicts: 1045000 | #Constraints: 27130 1039.38/1041.71 c #Conflicts: 1046000 | #Constraints: 28130 1039.38/1041.71 c #Conflicts: 1047000 | #Constraints: 29130 1039.38/1041.71 c #Conflicts: 1048000 | #Constraints: 30130 1039.38/1041.71 c #Conflicts: 1049000 | #Constraints: 31130 1039.38/1041.71 c #Conflicts: 1050000 | #Constraints: 32130 1039.38/1041.71 c #Conflicts: 1051000 | #Constraints: 33130 1039.38/1041.71 c #Conflicts: 1052000 | #Constraints: 34130 1039.38/1041.71 c #Conflicts: 1053000 | #Constraints: 35130 1039.38/1041.71 c #Conflicts: 1054000 | #Constraints: 36130 1039.38/1041.71 c #Conflicts: 1055000 | #Constraints: 37130 1039.38/1041.71 c #Conflicts: 1056000 | #Constraints: 38130 1039.38/1041.71 c #Conflicts: 1057000 | #Constraints: 39130 1039.38/1041.71 c #Conflicts: 1058000 | #Constraints: 40130 1039.38/1041.71 c #Conflicts: 1059000 | #Constraints: 41130 1039.38/1041.71 c #Conflicts: 1060000 | #Constraints: 42130 1039.38/1041.71 c #Conflicts: 1061000 | #Constraints: 43130 1039.38/1041.71 c #Conflicts: 1062000 | #Constraints: 44130 1039.38/1041.71 c INPROCESSING 1039.38/1041.71 c GARBAGE COLLECT 1039.38/1041.71 c rational objective 55 1078.11/1080.50 c #Conflicts: 1063000 | #Constraints: 24256 1078.11/1080.50 c #Conflicts: 1064000 | #Constraints: 25256 1078.11/1080.50 c #Conflicts: 1065000 | #Constraints: 26294 1078.11/1080.50 c #Conflicts: 1066000 | #Constraints: 27384 1078.11/1080.50 c #Conflicts: 1067000 | #Constraints: 28384 1078.11/1080.50 c #Conflicts: 1068000 | #Constraints: 29384 1078.11/1080.50 c #Conflicts: 1069000 | #Constraints: 30384 1078.11/1080.50 c #Conflicts: 1070000 | #Constraints: 31384 1078.11/1080.50 c #Conflicts: 1071000 | #Constraints: 32401 1078.11/1080.50 c #Conflicts: 1072000 | #Constraints: 33459 1078.11/1080.50 c #Conflicts: 1073000 | #Constraints: 35027 1078.11/1080.50 c #Conflicts: 1074000 | #Constraints: 36471 1078.11/1080.50 c #Conflicts: 1075000 | #Constraints: 37471 1078.11/1080.50 c #Conflicts: 1076000 | #Constraints: 38471 1078.11/1080.50 c #Conflicts: 1077000 | #Constraints: 39471 1078.11/1080.50 c #Conflicts: 1078000 | #Constraints: 40471 1078.11/1080.50 c #Conflicts: 1079000 | #Constraints: 41471 1078.11/1080.50 c #Conflicts: 1080000 | #Constraints: 42471 1078.11/1080.50 c #Conflicts: 1081000 | #Constraints: 43484 1078.11/1080.50 c #Conflicts: 1082000 | #Constraints: 44693 1078.11/1080.50 c #Conflicts: 1083000 | #Constraints: 45706 1078.11/1080.50 c INPROCESSING 1078.11/1080.50 c GARBAGE COLLECT 1078.11/1080.50 c rational objective 55 1102.05/1104.56 c #Conflicts: 1084000 | #Constraints: 25114 1102.05/1104.56 c #Conflicts: 1085000 | #Constraints: 26114 1102.05/1104.56 c #Conflicts: 1086000 | #Constraints: 27114 1102.05/1104.56 c #Conflicts: 1087000 | #Constraints: 28114 1102.05/1104.56 c #Conflicts: 1088000 | #Constraints: 29114 1102.05/1104.56 c #Conflicts: 1089000 | #Constraints: 30114 1102.05/1104.56 c #Conflicts: 1090000 | #Constraints: 31114 1102.05/1104.56 c #Conflicts: 1091000 | #Constraints: 32114 1102.05/1104.56 c #Conflicts: 1092000 | #Constraints: 33114 1102.05/1104.56 c #Conflicts: 1093000 | #Constraints: 34114 1102.05/1104.56 c #Conflicts: 1094000 | #Constraints: 35114 1102.05/1104.56 c #Conflicts: 1095000 | #Constraints: 36114 1102.05/1104.56 c #Conflicts: 1096000 | #Constraints: 37114 1102.05/1104.56 c #Conflicts: 1097000 | #Constraints: 38114 1102.05/1104.56 c #Conflicts: 1098000 | #Constraints: 39114 1102.05/1104.56 c #Conflicts: 1099000 | #Constraints: 40114 1102.05/1104.56 c #Conflicts: 1100000 | #Constraints: 41114 1102.05/1104.56 c #Conflicts: 1101000 | #Constraints: 42114 1102.05/1104.56 c #Conflicts: 1102000 | #Constraints: 43114 1102.05/1104.56 c #Conflicts: 1103000 | #Constraints: 44114 1102.05/1104.56 c #Conflicts: 1104000 | #Constraints: 45114 1102.05/1104.56 c INPROCESSING 1102.05/1104.56 c GARBAGE COLLECT 1102.05/1104.56 c rational objective 55 1140.17/1142.71 c #Conflicts: 1105000 | #Constraints: 24838 1140.17/1142.71 c #Conflicts: 1106000 | #Constraints: 25838 1140.17/1142.71 c #Conflicts: 1107000 | #Constraints: 26838 1140.17/1142.71 c #Conflicts: 1108000 | #Constraints: 27838 1140.17/1142.71 c #Conflicts: 1109000 | #Constraints: 28838 1140.17/1142.71 c #Conflicts: 1110000 | #Constraints: 29838 1140.17/1142.71 c #Conflicts: 1111000 | #Constraints: 30838 1140.17/1142.71 c #Conflicts: 1112000 | #Constraints: 31838 1140.17/1142.71 c #Conflicts: 1113000 | #Constraints: 32838 1140.17/1142.71 c #Conflicts: 1114000 | #Constraints: 33838 1140.17/1142.71 c #Conflicts: 1115000 | #Constraints: 34838 1140.17/1142.71 c #Conflicts: 1116000 | #Constraints: 35838 1140.17/1142.71 c #Conflicts: 1117000 | #Constraints: 36838 1140.17/1142.71 c #Conflicts: 1118000 | #Constraints: 37838 1140.17/1142.71 c #Conflicts: 1119000 | #Constraints: 38838 1140.17/1142.71 c #Conflicts: 1120000 | #Constraints: 39838 1140.17/1142.71 c #Conflicts: 1121000 | #Constraints: 40838 1140.17/1142.71 c #Conflicts: 1122000 | #Constraints: 41838 1140.17/1142.71 c #Conflicts: 1123000 | #Constraints: 42838 1140.17/1142.71 c #Conflicts: 1124000 | #Constraints: 43838 1140.17/1142.71 c #Conflicts: 1125000 | #Constraints: 44838 1140.17/1142.71 c INPROCESSING 1140.17/1142.71 c GARBAGE COLLECT 1140.17/1142.71 c rational objective 55 1166.02/1168.65 c #Conflicts: 1126000 | #Constraints: 24610 1166.02/1168.65 c #Conflicts: 1127000 | #Constraints: 25610 1166.02/1168.65 c #Conflicts: 1128000 | #Constraints: 26610 1166.02/1168.65 c #Conflicts: 1129000 | #Constraints: 27613 1166.02/1168.65 c #Conflicts: 1130000 | #Constraints: 28617 1166.02/1168.65 c #Conflicts: 1131000 | #Constraints: 29638 1166.02/1168.65 c #Conflicts: 1132000 | #Constraints: 30638 1166.02/1168.65 c #Conflicts: 1133000 | #Constraints: 31643 1166.02/1168.65 c #Conflicts: 1134000 | #Constraints: 32647 1166.02/1168.65 c #Conflicts: 1135000 | #Constraints: 33667 1166.02/1168.65 c #Conflicts: 1136000 | #Constraints: 34669 1166.02/1168.65 c #Conflicts: 1137000 | #Constraints: 35670 1166.02/1168.65 c #Conflicts: 1138000 | #Constraints: 36677 1166.02/1168.65 c #Conflicts: 1139000 | #Constraints: 37682 1166.02/1168.65 c #Conflicts: 1140000 | #Constraints: 38686 1166.02/1168.65 c #Conflicts: 1141000 | #Constraints: 39691 1166.02/1168.65 c #Conflicts: 1142000 | #Constraints: 40693 1166.02/1168.65 c #Conflicts: 1143000 | #Constraints: 41699 1166.02/1168.65 c #Conflicts: 1144000 | #Constraints: 42704 1166.02/1168.65 c #Conflicts: 1145000 | #Constraints: 43706 1166.02/1168.65 c #Conflicts: 1146000 | #Constraints: 44711 1166.02/1168.65 c INPROCESSING 1166.02/1168.65 c GARBAGE COLLECT 1166.02/1168.65 c rational objective 55 1191.46/1194.18 c #Conflicts: 1147000 | #Constraints: 24329 1191.46/1194.18 c #Conflicts: 1148000 | #Constraints: 25331 1191.46/1194.18 c #Conflicts: 1149000 | #Constraints: 26333 1191.46/1194.18 c #Conflicts: 1150000 | #Constraints: 27336 1191.46/1194.18 c #Conflicts: 1151000 | #Constraints: 28338 1191.46/1194.18 c #Conflicts: 1152000 | #Constraints: 29340 1191.46/1194.18 c #Conflicts: 1153000 | #Constraints: 30342 1191.46/1194.18 c #Conflicts: 1154000 | #Constraints: 31343 1191.46/1194.18 c #Conflicts: 1155000 | #Constraints: 32345 1191.46/1194.18 c #Conflicts: 1156000 | #Constraints: 33347 1191.46/1194.18 c #Conflicts: 1157000 | #Constraints: 34348 1191.46/1194.18 c #Conflicts: 1158000 | #Constraints: 35350 1191.46/1194.18 c #Conflicts: 1159000 | #Constraints: 36352 1191.46/1194.18 c #Conflicts: 1160000 | #Constraints: 37356 1191.46/1194.18 c #Conflicts: 1161000 | #Constraints: 38359 1191.46/1194.18 c #Conflicts: 1162000 | #Constraints: 39359 1191.46/1194.18 c #Conflicts: 1163000 | #Constraints: 40360 1191.46/1194.18 c #Conflicts: 1164000 | #Constraints: 41361 1191.46/1194.18 c #Conflicts: 1165000 | #Constraints: 42362 1191.46/1194.18 c #Conflicts: 1166000 | #Constraints: 43362 1191.46/1194.18 c #Conflicts: 1167000 | #Constraints: 44364 1191.46/1194.18 c #Conflicts: 1168000 | #Constraints: 45365 1191.46/1194.18 c INPROCESSING 1191.46/1194.18 c GARBAGE COLLECT 1191.46/1194.18 c rational objective 55 1244.34/1247.19 c #Conflicts: 1169000 | #Constraints: 24870 1244.34/1247.19 c #Conflicts: 1170000 | #Constraints: 25899 1244.34/1247.19 c #Conflicts: 1171000 | #Constraints: 26903 1244.34/1247.19 c #Conflicts: 1172000 | #Constraints: 27904 1244.34/1247.19 c #Conflicts: 1173000 | #Constraints: 28932 1244.34/1247.19 c #Conflicts: 1174000 | #Constraints: 29949 1244.34/1247.19 c #Conflicts: 1175000 | #Constraints: 30951 1244.34/1247.19 c #Conflicts: 1176000 | #Constraints: 31985 1244.34/1247.19 c #Conflicts: 1177000 | #Constraints: 32988 1244.34/1247.19 c #Conflicts: 1178000 | #Constraints: 34062 1244.34/1247.19 c #Conflicts: 1179000 | #Constraints: 35172 1244.34/1247.19 c #Conflicts: 1180000 | #Constraints: 36640 1244.34/1247.19 c #Conflicts: 1181000 | #Constraints: 37664 1244.34/1247.19 c #Conflicts: 1182000 | #Constraints: 38668 1244.34/1247.19 c #Conflicts: 1183000 | #Constraints: 39670 1244.34/1247.19 c #Conflicts: 1184000 | #Constraints: 40676 1244.34/1247.19 c #Conflicts: 1185000 | #Constraints: 41685 1244.34/1247.19 c #Conflicts: 1186000 | #Constraints: 42694 1244.34/1247.19 c #Conflicts: 1187000 | #Constraints: 43714 1244.34/1247.19 c #Conflicts: 1188000 | #Constraints: 44717 1244.34/1247.19 c #Conflicts: 1189000 | #Constraints: 45742 1244.34/1247.19 c #Conflicts: 1190000 | #Constraints: 46901 1244.34/1247.19 c INPROCESSING 1244.34/1247.19 c GARBAGE COLLECT 1244.34/1247.19 c rational objective 55 1271.88/1274.75 c #Conflicts: 1191000 | #Constraints: 25741 1271.88/1274.75 c #Conflicts: 1192000 | #Constraints: 26741 1271.88/1274.75 c #Conflicts: 1193000 | #Constraints: 27741 1271.88/1274.75 c #Conflicts: 1194000 | #Constraints: 28743 1271.88/1274.75 c #Conflicts: 1195000 | #Constraints: 29743 1271.88/1274.75 c #Conflicts: 1196000 | #Constraints: 30746 1271.88/1274.75 c #Conflicts: 1197000 | #Constraints: 31746 1271.88/1274.75 c #Conflicts: 1198000 | #Constraints: 32747 1271.88/1274.75 c #Conflicts: 1199000 | #Constraints: 33749 1271.88/1274.75 c #Conflicts: 1200000 | #Constraints: 34749 1271.88/1274.75 c #Conflicts: 1201000 | #Constraints: 35749 1271.88/1274.75 c #Conflicts: 1202000 | #Constraints: 36751 1271.88/1274.75 c #Conflicts: 1203000 | #Constraints: 37752 1271.88/1274.75 c #Conflicts: 1204000 | #Constraints: 38753 1271.88/1274.75 c #Conflicts: 1205000 | #Constraints: 39753 1271.88/1274.75 c #Conflicts: 1206000 | #Constraints: 40754 1271.88/1274.75 c #Conflicts: 1207000 | #Constraints: 41755 1271.88/1274.75 c #Conflicts: 1208000 | #Constraints: 42755 1271.88/1274.75 c #Conflicts: 1209000 | #Constraints: 43756 1271.88/1274.75 c #Conflicts: 1210000 | #Constraints: 44756 1271.88/1274.75 c #Conflicts: 1211000 | #Constraints: 45758 1271.88/1274.75 c #Conflicts: 1212000 | #Constraints: 46759 1271.88/1274.75 c INPROCESSING 1271.88/1274.75 c GARBAGE COLLECT 1271.88/1274.75 c rational objective 55 1299.42/1302.35 c #Conflicts: 1213000 | #Constraints: 25672 1299.42/1302.35 c #Conflicts: 1214000 | #Constraints: 26672 1299.42/1302.35 c #Conflicts: 1215000 | #Constraints: 27676 1299.42/1302.35 c #Conflicts: 1216000 | #Constraints: 28683 1299.42/1302.35 c #Conflicts: 1217000 | #Constraints: 29683 1299.42/1302.35 c #Conflicts: 1218000 | #Constraints: 30683 1299.42/1302.35 c #Conflicts: 1219000 | #Constraints: 31685 1299.42/1302.35 c #Conflicts: 1220000 | #Constraints: 32687 1299.42/1302.35 c #Conflicts: 1221000 | #Constraints: 33690 1299.42/1302.35 c #Conflicts: 1222000 | #Constraints: 34695 1299.42/1302.35 c #Conflicts: 1223000 | #Constraints: 35695 1299.42/1302.35 c #Conflicts: 1224000 | #Constraints: 36697 1299.42/1302.35 c #Conflicts: 1225000 | #Constraints: 37699 1299.42/1302.35 c #Conflicts: 1226000 | #Constraints: 38699 1299.42/1302.35 c #Conflicts: 1227000 | #Constraints: 39704 1299.42/1302.35 c #Conflicts: 1228000 | #Constraints: 40705 1299.42/1302.35 c #Conflicts: 1229000 | #Constraints: 41705 1299.42/1302.35 c #Conflicts: 1230000 | #Constraints: 42709 1299.42/1302.35 c #Conflicts: 1231000 | #Constraints: 43711 1299.42/1302.35 c #Conflicts: 1232000 | #Constraints: 44715 1299.42/1302.35 c #Conflicts: 1233000 | #Constraints: 45716 1299.42/1302.35 c #Conflicts: 1234000 | #Constraints: 46719 1299.42/1302.35 c INPROCESSING 1299.42/1302.35 c GARBAGE COLLECT 1299.42/1302.35 c rational objective 55 1351.12/1354.16 c #Conflicts: 1235000 | #Constraints: 25543 1351.12/1354.16 c #Conflicts: 1236000 | #Constraints: 26543 1351.12/1354.16 c #Conflicts: 1237000 | #Constraints: 27543 1351.12/1354.16 c #Conflicts: 1238000 | #Constraints: 28543 1351.12/1354.16 c #Conflicts: 1239000 | #Constraints: 29543 1351.12/1354.16 c #Conflicts: 1240000 | #Constraints: 30543 1351.12/1354.16 c #Conflicts: 1241000 | #Constraints: 31543 1351.12/1354.16 c #Conflicts: 1242000 | #Constraints: 32543 1351.12/1354.16 c #Conflicts: 1243000 | #Constraints: 33543 1351.12/1354.16 c #Conflicts: 1244000 | #Constraints: 34543 1351.12/1354.16 c #Conflicts: 1245000 | #Constraints: 35543 1351.12/1354.16 c #Conflicts: 1246000 | #Constraints: 36543 1351.12/1354.16 c #Conflicts: 1247000 | #Constraints: 37543 1351.12/1354.16 c #Conflicts: 1248000 | #Constraints: 38543 1351.12/1354.16 c #Conflicts: 1249000 | #Constraints: 39543 1351.12/1354.16 c #Conflicts: 1250000 | #Constraints: 40543 1351.12/1354.16 c #Conflicts: 1251000 | #Constraints: 41543 1351.12/1354.16 c #Conflicts: 1252000 | #Constraints: 42543 1351.12/1354.16 c #Conflicts: 1253000 | #Constraints: 43543 1351.12/1354.16 c #Conflicts: 1254000 | #Constraints: 44543 1351.12/1354.16 c #Conflicts: 1255000 | #Constraints: 45543 1351.12/1354.16 c #Conflicts: 1256000 | #Constraints: 46543 1351.12/1354.16 c INPROCESSING 1351.12/1354.16 c GARBAGE COLLECT 1351.12/1354.16 c rational objective 55 1380.64/1383.71 c #Conflicts: 1257000 | #Constraints: 25262 1380.64/1383.71 c #Conflicts: 1258000 | #Constraints: 26262 1380.64/1383.71 c #Conflicts: 1259000 | #Constraints: 27262 1380.64/1383.71 c #Conflicts: 1260000 | #Constraints: 28262 1380.64/1383.71 c #Conflicts: 1261000 | #Constraints: 29262 1380.64/1383.71 c #Conflicts: 1262000 | #Constraints: 30262 1380.64/1383.71 c #Conflicts: 1263000 | #Constraints: 31262 1380.64/1383.71 c #Conflicts: 1264000 | #Constraints: 32262 1380.64/1383.71 c #Conflicts: 1265000 | #Constraints: 33262 1380.64/1383.71 c #Conflicts: 1266000 | #Constraints: 34262 1380.64/1383.71 c #Conflicts: 1267000 | #Constraints: 35262 1380.64/1383.71 c #Conflicts: 1268000 | #Constraints: 36262 1380.64/1383.71 c #Conflicts: 1269000 | #Constraints: 37262 1380.64/1383.71 c #Conflicts: 1270000 | #Constraints: 38262 1380.64/1383.71 c #Conflicts: 1271000 | #Constraints: 39262 1380.64/1383.71 c #Conflicts: 1272000 | #Constraints: 40262 1380.64/1383.71 c #Conflicts: 1273000 | #Constraints: 41262 1380.64/1383.71 c #Conflicts: 1274000 | #Constraints: 42262 1380.64/1383.71 c #Conflicts: 1275000 | #Constraints: 43262 1380.64/1383.71 c #Conflicts: 1276000 | #Constraints: 44262 1380.64/1383.71 c #Conflicts: 1277000 | #Constraints: 45262 1380.64/1383.71 c #Conflicts: 1278000 | #Constraints: 46262 1380.64/1383.71 c #Conflicts: 1279000 | #Constraints: 47262 1380.64/1383.71 c INPROCESSING 1380.64/1383.71 c GARBAGE COLLECT 1380.64/1383.71 c rational objective 55 1435.13/1438.33 c #Conflicts: 1280000 | #Constraints: 25801 1435.13/1438.33 c #Conflicts: 1281000 | #Constraints: 26801 1435.13/1438.33 c #Conflicts: 1282000 | #Constraints: 27801 1435.13/1438.33 c #Conflicts: 1283000 | #Constraints: 28802 1435.13/1438.33 c #Conflicts: 1284000 | #Constraints: 29804 1435.13/1438.33 c #Conflicts: 1285000 | #Constraints: 30807 1435.13/1438.33 c #Conflicts: 1286000 | #Constraints: 31808 1435.13/1438.33 c #Conflicts: 1287000 | #Constraints: 32808 1435.13/1438.33 c #Conflicts: 1288000 | #Constraints: 33811 1435.13/1438.33 c #Conflicts: 1289000 | #Constraints: 34811 1435.13/1438.33 c #Conflicts: 1290000 | #Constraints: 35812 1435.13/1438.33 c #Conflicts: 1291000 | #Constraints: 36812 1435.13/1438.33 c #Conflicts: 1292000 | #Constraints: 37814 1435.13/1438.33 c #Conflicts: 1293000 | #Constraints: 38814 1435.13/1438.33 c #Conflicts: 1294000 | #Constraints: 39816 1435.13/1438.33 c #Conflicts: 1295000 | #Constraints: 40816 1435.13/1438.33 c #Conflicts: 1296000 | #Constraints: 41818 1435.13/1438.33 c #Conflicts: 1297000 | #Constraints: 42820 1435.13/1438.33 c #Conflicts: 1298000 | #Constraints: 43820 1435.13/1438.33 c #Conflicts: 1299000 | #Constraints: 44821 1435.13/1438.33 c #Conflicts: 1300000 | #Constraints: 45822 1435.13/1438.33 c #Conflicts: 1301000 | #Constraints: 46825 1435.13/1438.33 c #Conflicts: 1302000 | #Constraints: 47828 1435.13/1438.33 c INPROCESSING 1435.13/1438.33 c GARBAGE COLLECT 1435.13/1438.33 c rational objective 55 1466.06/1469.31 c #Conflicts: 1303000 | #Constraints: 26218 1466.06/1469.31 c #Conflicts: 1304000 | #Constraints: 27219 1466.06/1469.31 c #Conflicts: 1305000 | #Constraints: 28646 1466.06/1469.31 c #Conflicts: 1306000 | #Constraints: 29648 1466.06/1469.31 c #Conflicts: 1307000 | #Constraints: 30648 1466.06/1469.31 c #Conflicts: 1308000 | #Constraints: 31648 1466.06/1469.31 c #Conflicts: 1309000 | #Constraints: 32667 1466.06/1469.31 c #Conflicts: 1310000 | #Constraints: 33667 1466.06/1469.31 c #Conflicts: 1311000 | #Constraints: 34723 1466.06/1469.31 c #Conflicts: 1312000 | #Constraints: 35735 1466.06/1469.31 c #Conflicts: 1313000 | #Constraints: 36737 1466.06/1469.31 c #Conflicts: 1314000 | #Constraints: 37737 1466.06/1469.31 c #Conflicts: 1315000 | #Constraints: 38737 1466.06/1469.31 c #Conflicts: 1316000 | #Constraints: 39737 1466.06/1469.31 c #Conflicts: 1317000 | #Constraints: 40758 1466.06/1469.31 c #Conflicts: 1318000 | #Constraints: 41804 1466.06/1469.31 c #Conflicts: 1319000 | #Constraints: 42808 1466.06/1469.31 c #Conflicts: 1320000 | #Constraints: 43810 1466.06/1469.31 c #Conflicts: 1321000 | #Constraints: 44812 1466.06/1469.31 c #Conflicts: 1322000 | #Constraints: 45812 1466.06/1469.31 c #Conflicts: 1323000 | #Constraints: 46925 1466.06/1469.31 c #Conflicts: 1324000 | #Constraints: 47925 1466.06/1469.31 c #Conflicts: 1325000 | #Constraints: 48928 1466.06/1469.31 c INPROCESSING 1466.06/1469.31 c GARBAGE COLLECT 1466.06/1469.31 c rational objective 55 1498.79/1502.16 c #Conflicts: 1326000 | #Constraints: 26728 1498.79/1502.16 c #Conflicts: 1327000 | #Constraints: 27728 1498.79/1502.16 c #Conflicts: 1328000 | #Constraints: 28728 1498.79/1502.16 c #Conflicts: 1329000 | #Constraints: 29728 1498.79/1502.16 c #Conflicts: 1330000 | #Constraints: 30728 1498.79/1502.16 c #Conflicts: 1331000 | #Constraints: 31730 1498.79/1502.16 c #Conflicts: 1332000 | #Constraints: 32730 1498.79/1502.16 c #Conflicts: 1333000 | #Constraints: 33734 1498.79/1502.16 c #Conflicts: 1334000 | #Constraints: 34750 1498.79/1502.16 c #Conflicts: 1335000 | #Constraints: 35882 1498.79/1502.16 c #Conflicts: 1336000 | #Constraints: 37142 1498.79/1502.16 c #Conflicts: 1337000 | #Constraints: 38142 1498.79/1502.16 c #Conflicts: 1338000 | #Constraints: 39164 1498.79/1502.16 c #Conflicts: 1339000 | #Constraints: 40223 1498.79/1502.16 c #Conflicts: 1340000 | #Constraints: 41230 1498.79/1502.16 c #Conflicts: 1341000 | #Constraints: 42230 1498.79/1502.16 c #Conflicts: 1342000 | #Constraints: 43241 1498.79/1502.16 c #Conflicts: 1343000 | #Constraints: 44241 1498.79/1502.16 c #Conflicts: 1344000 | #Constraints: 45243 1498.79/1502.16 c #Conflicts: 1345000 | #Constraints: 46245 1498.79/1502.16 c #Conflicts: 1346000 | #Constraints: 47245 1498.79/1502.16 c #Conflicts: 1347000 | #Constraints: 48246 1498.79/1502.16 c #Conflicts: 1348000 | #Constraints: 49247 1498.79/1502.16 c INPROCESSING 1498.79/1502.16 c GARBAGE COLLECT 1498.79/1502.16 c rational objective 55 1575.32/1578.83 c #Conflicts: 1349000 | #Constraints: 26790 1575.32/1578.83 c #Conflicts: 1350000 | #Constraints: 27790 1575.32/1578.83 c #Conflicts: 1351000 | #Constraints: 28790 1575.32/1578.83 c #Conflicts: 1352000 | #Constraints: 29790 1575.32/1578.83 c #Conflicts: 1353000 | #Constraints: 30790 1575.32/1578.83 c #Conflicts: 1354000 | #Constraints: 31790 1575.32/1578.83 c #Conflicts: 1355000 | #Constraints: 32790 1575.32/1578.83 c #Conflicts: 1356000 | #Constraints: 33790 1575.32/1578.83 c #Conflicts: 1357000 | #Constraints: 34790 1575.32/1578.83 c #Conflicts: 1358000 | #Constraints: 35790 1575.32/1578.83 c #Conflicts: 1359000 | #Constraints: 36790 1575.32/1578.83 c #Conflicts: 1360000 | #Constraints: 37790 1575.32/1578.83 c #Conflicts: 1361000 | #Constraints: 38790 1575.32/1578.83 c #Conflicts: 1362000 | #Constraints: 39790 1575.32/1578.83 c #Conflicts: 1363000 | #Constraints: 40790 1575.32/1578.83 c #Conflicts: 1364000 | #Constraints: 41790 1575.32/1578.83 c #Conflicts: 1365000 | #Constraints: 42790 1575.32/1578.83 c #Conflicts: 1366000 | #Constraints: 43790 1575.32/1578.83 c #Conflicts: 1367000 | #Constraints: 44790 1575.32/1578.83 c #Conflicts: 1368000 | #Constraints: 45790 1575.32/1578.83 c #Conflicts: 1369000 | #Constraints: 46790 1575.32/1578.83 c #Conflicts: 1370000 | #Constraints: 47790 1575.32/1578.83 c #Conflicts: 1371000 | #Constraints: 48791 1575.32/1578.83 c INPROCESSING 1575.32/1578.83 c GARBAGE COLLECT 1575.32/1578.83 c rational objective 55 1608.84/1612.42 c #Conflicts: 1372000 | #Constraints: 26382 1608.84/1612.42 c #Conflicts: 1373000 | #Constraints: 27382 1608.84/1612.42 c #Conflicts: 1374000 | #Constraints: 28382 1608.84/1612.42 c #Conflicts: 1375000 | #Constraints: 29383 1608.84/1612.42 c #Conflicts: 1376000 | #Constraints: 30383 1608.84/1612.42 c #Conflicts: 1377000 | #Constraints: 31383 1608.84/1612.42 c #Conflicts: 1378000 | #Constraints: 32383 1608.84/1612.42 c #Conflicts: 1379000 | #Constraints: 33383 1608.84/1612.42 c #Conflicts: 1380000 | #Constraints: 34383 1608.84/1612.42 c #Conflicts: 1381000 | #Constraints: 35383 1608.84/1612.42 c #Conflicts: 1382000 | #Constraints: 36383 1608.84/1612.42 c #Conflicts: 1383000 | #Constraints: 37383 1608.84/1612.42 c #Conflicts: 1384000 | #Constraints: 38383 1608.84/1612.42 c #Conflicts: 1385000 | #Constraints: 39383 1608.84/1612.42 c #Conflicts: 1386000 | #Constraints: 40384 1608.84/1612.42 c #Conflicts: 1387000 | #Constraints: 41450 1608.84/1612.42 c #Conflicts: 1388000 | #Constraints: 42451 1608.84/1612.42 c #Conflicts: 1389000 | #Constraints: 43451 1608.84/1612.42 c #Conflicts: 1390000 | #Constraints: 44451 1608.84/1612.42 c #Conflicts: 1391000 | #Constraints: 45451 1608.84/1612.42 c #Conflicts: 1392000 | #Constraints: 46452 1608.84/1612.42 c #Conflicts: 1393000 | #Constraints: 47452 1608.84/1612.42 c #Conflicts: 1394000 | #Constraints: 48455 1608.84/1612.42 c #Conflicts: 1395000 | #Constraints: 49485 1608.84/1612.42 c INPROCESSING 1608.84/1612.42 c GARBAGE COLLECT 1608.84/1612.42 c rational objective 55 1641.47/1645.12 c #Conflicts: 1396000 | #Constraints: 26951 1641.47/1645.12 c #Conflicts: 1397000 | #Constraints: 27951 1641.47/1645.12 c #Conflicts: 1398000 | #Constraints: 28951 1641.47/1645.12 c #Conflicts: 1399000 | #Constraints: 29955 1641.47/1645.12 c #Conflicts: 1400000 | #Constraints: 30955 1641.47/1645.12 c #Conflicts: 1401000 | #Constraints: 31956 1641.47/1645.12 c #Conflicts: 1402000 | #Constraints: 32958 1641.47/1645.12 c #Conflicts: 1403000 | #Constraints: 33958 1641.47/1645.12 c #Conflicts: 1404000 | #Constraints: 34960 1641.47/1645.12 c #Conflicts: 1405000 | #Constraints: 35961 1641.47/1645.12 c #Conflicts: 1406000 | #Constraints: 36964 1641.47/1645.12 c #Conflicts: 1407000 | #Constraints: 37966 1641.47/1645.12 c #Conflicts: 1408000 | #Constraints: 38971 1641.47/1645.12 c #Conflicts: 1409000 | #Constraints: 39971 1641.47/1645.12 c #Conflicts: 1410000 | #Constraints: 40971 1641.47/1645.12 c #Conflicts: 1411000 | #Constraints: 41971 1641.47/1645.12 c #Conflicts: 1412000 | #Constraints: 42971 1641.47/1645.12 c #Conflicts: 1413000 | #Constraints: 43971 1641.47/1645.12 c #Conflicts: 1414000 | #Constraints: 44971 1641.47/1645.12 c #Conflicts: 1415000 | #Constraints: 45974 1641.47/1645.12 c #Conflicts: 1416000 | #Constraints: 46974 1641.47/1645.12 c #Conflicts: 1417000 | #Constraints: 47976 1641.47/1645.12 c #Conflicts: 1418000 | #Constraints: 48976 1641.47/1645.12 c #Conflicts: 1419000 | #Constraints: 49976 1641.47/1645.12 c INPROCESSING 1641.47/1645.12 c GARBAGE COLLECT 1641.47/1645.12 c rational objective 55 1716.22/1720.04 c #Conflicts: 1420000 | #Constraints: 27271 1716.22/1720.04 c #Conflicts: 1421000 | #Constraints: 28271 1716.22/1720.04 c #Conflicts: 1422000 | #Constraints: 29271 1716.22/1720.04 c #Conflicts: 1423000 | #Constraints: 30271 1716.22/1720.04 c #Conflicts: 1424000 | #Constraints: 31272 1716.22/1720.04 c #Conflicts: 1425000 | #Constraints: 32274 1716.22/1720.04 c #Conflicts: 1426000 | #Constraints: 33275 1716.22/1720.04 c #Conflicts: 1427000 | #Constraints: 34290 1716.22/1720.04 c #Conflicts: 1428000 | #Constraints: 35300 1716.22/1720.04 c #Conflicts: 1429000 | #Constraints: 36467 1716.22/1720.04 c #Conflicts: 1430000 | #Constraints: 37611 1716.22/1720.04 c #Conflicts: 1431000 | #Constraints: 38617 1716.22/1720.04 c #Conflicts: 1432000 | #Constraints: 39623 1716.22/1720.04 c #Conflicts: 1433000 | #Constraints: 41245 1716.22/1720.04 c #Conflicts: 1434000 | #Constraints: 42250 1716.22/1720.04 c #Conflicts: 1435000 | #Constraints: 43268 1716.22/1720.04 c #Conflicts: 1436000 | #Constraints: 44331 1716.22/1720.04 c #Conflicts: 1437000 | #Constraints: 45469 1716.22/1720.04 c #Conflicts: 1438000 | #Constraints: 46997 1716.22/1720.04 c #Conflicts: 1439000 | #Constraints: 47999 1716.22/1720.04 c #Conflicts: 1440000 | #Constraints: 48999 1716.22/1720.04 c #Conflicts: 1441000 | #Constraints: 50004 1716.22/1720.04 c #Conflicts: 1442000 | #Constraints: 51028 1716.22/1720.04 c #Conflicts: 1443000 | #Constraints: 52064 1716.22/1720.04 c INPROCESSING 1716.22/1720.04 c GARBAGE COLLECT 1716.22/1720.04 c rational objective 55 1751.15/1755.01 c #Conflicts: 1444000 | #Constraints: 28317 1751.15/1755.01 c #Conflicts: 1445000 | #Constraints: 29321 1751.15/1755.01 c #Conflicts: 1446000 | #Constraints: 30348 1751.15/1755.01 c #Conflicts: 1447000 | #Constraints: 31359 1751.15/1755.01 c #Conflicts: 1448000 | #Constraints: 32359 1751.15/1755.01 c #Conflicts: 1449000 | #Constraints: 33362 1751.15/1755.01 c #Conflicts: 1450000 | #Constraints: 34373 1751.15/1755.01 c #Conflicts: 1451000 | #Constraints: 35387 1751.15/1755.01 c #Conflicts: 1452000 | #Constraints: 36390 1751.15/1755.01 c #Conflicts: 1453000 | #Constraints: 37395 1751.15/1755.01 c #Conflicts: 1454000 | #Constraints: 38405 1751.15/1755.01 c #Conflicts: 1455000 | #Constraints: 39406 1751.15/1755.01 c #Conflicts: 1456000 | #Constraints: 40406 1751.15/1755.01 c #Conflicts: 1457000 | #Constraints: 41406 1751.15/1755.01 c #Conflicts: 1458000 | #Constraints: 42411 1751.15/1755.01 c #Conflicts: 1459000 | #Constraints: 43416 1751.15/1755.01 c #Conflicts: 1460000 | #Constraints: 44465 1751.15/1755.01 c #Conflicts: 1461000 | #Constraints: 45468 1751.15/1755.01 c #Conflicts: 1462000 | #Constraints: 46470 1751.15/1755.01 c #Conflicts: 1463000 | #Constraints: 47487 1751.15/1755.01 c #Conflicts: 1464000 | #Constraints: 48494 1751.15/1755.01 c #Conflicts: 1465000 | #Constraints: 49512 1751.15/1755.01 c #Conflicts: 1466000 | #Constraints: 50518 1751.15/1755.01 c #Conflicts: 1467000 | #Constraints: 51520 1751.15/1755.01 c INPROCESSING 1751.15/1755.01 c GARBAGE COLLECT 1751.15/1755.01 c rational objective 55 1787.47/1791.43 c #Conflicts: 1468000 | #Constraints: 27937 1787.47/1791.43 c #Conflicts: 1469000 | #Constraints: 28937 1787.47/1791.43 c #Conflicts: 1470000 | #Constraints: 29937 1787.47/1791.43 c #Conflicts: 1471000 | #Constraints: 30937 1787.47/1791.43 c #Conflicts: 1472000 | #Constraints: 31937 1787.47/1791.43 c #Conflicts: 1473000 | #Constraints: 32937 1787.47/1791.43 c #Conflicts: 1474000 | #Constraints: 33937 1787.47/1791.43 c #Conflicts: 1475000 | #Constraints: 34937 1787.47/1791.43 c #Conflicts: 1476000 | #Constraints: 35937 1787.47/1791.43 c #Conflicts: 1477000 | #Constraints: 36937 1787.47/1791.43 c #Conflicts: 1478000 | #Constraints: 37937 1787.47/1791.43 c #Conflicts: 1479000 | #Constraints: 38937 1787.47/1791.43 c #Conflicts: 1480000 | #Constraints: 39937 1787.47/1791.43 c #Conflicts: 1481000 | #Constraints: 40937 1787.47/1791.43 c #Conflicts: 1482000 | #Constraints: 41937 1787.47/1791.43 c #Conflicts: 1483000 | #Constraints: 42937 1787.47/1791.43 c #Conflicts: 1484000 | #Constraints: 43937 1787.47/1791.43 c #Conflicts: 1485000 | #Constraints: 44937 1787.47/1791.43 c #Conflicts: 1486000 | #Constraints: 45937 1787.47/1791.43 c #Conflicts: 1487000 | #Constraints: 46937 1787.47/1791.43 c #Conflicts: 1488000 | #Constraints: 47937 1787.47/1791.43 c #Conflicts: 1489000 | #Constraints: 48937 1787.47/1791.43 c #Conflicts: 1490000 | #Constraints: 49937 1787.47/1791.43 c #Conflicts: 1491000 | #Constraints: 50937 1787.47/1791.43 c INPROCESSING 1787.47/1791.43 c GARBAGE COLLECT 1787.47/1791.43 c rational objective 55 1865.62/1869.72 c #Conflicts: 1492000 | #Constraints: 27461 1865.62/1869.72 c #Conflicts: 1493000 | #Constraints: 28461 1865.62/1869.72 c #Conflicts: 1494000 | #Constraints: 29461 1865.62/1869.72 c #Conflicts: 1495000 | #Constraints: 30461 1865.62/1869.72 c #Conflicts: 1496000 | #Constraints: 31461 1865.62/1869.72 c #Conflicts: 1497000 | #Constraints: 32461 1865.62/1869.72 c #Conflicts: 1498000 | #Constraints: 33461 1865.62/1869.72 c #Conflicts: 1499000 | #Constraints: 34461 1865.62/1869.72 c #Conflicts: 1500000 | #Constraints: 35461 1865.62/1869.72 c #Conflicts: 1501000 | #Constraints: 36461 1865.62/1869.72 c #Conflicts: 1502000 | #Constraints: 37461 1865.62/1869.72 c #Conflicts: 1503000 | #Constraints: 38461 1865.62/1869.72 c #Conflicts: 1504000 | #Constraints: 39461 1865.62/1869.72 c #Conflicts: 1505000 | #Constraints: 40461 1865.62/1869.72 c #Conflicts: 1506000 | #Constraints: 41461 1865.62/1869.72 c #Conflicts: 1507000 | #Constraints: 42461 1865.62/1869.72 c #Conflicts: 1508000 | #Constraints: 43461 1865.62/1869.72 c #Conflicts: 1509000 | #Constraints: 44461 1865.62/1869.72 c #Conflicts: 1510000 | #Constraints: 45461 1865.62/1869.72 c #Conflicts: 1511000 | #Constraints: 46461 1865.62/1869.72 c #Conflicts: 1512000 | #Constraints: 47461 1865.62/1869.72 c #Conflicts: 1513000 | #Constraints: 48461 1865.62/1869.72 c #Conflicts: 1514000 | #Constraints: 49461 1865.62/1869.72 c #Conflicts: 1515000 | #Constraints: 50461 1865.62/1869.72 c #Conflicts: 1516000 | #Constraints: 51461 1865.62/1869.72 c INPROCESSING 1865.62/1869.72 c GARBAGE COLLECT 1865.62/1869.72 c rational objective 55 1902.05/1906.28 c #Conflicts: 1517000 | #Constraints: 27936 1902.05/1906.28 c #Conflicts: 1518000 | #Constraints: 28943 1902.05/1906.28 c #Conflicts: 1519000 | #Constraints: 29943 1902.05/1906.28 c #Conflicts: 1520000 | #Constraints: 30945 1902.05/1906.28 c #Conflicts: 1521000 | #Constraints: 31948 1902.05/1906.28 c #Conflicts: 1522000 | #Constraints: 32948 1902.05/1906.28 c #Conflicts: 1523000 | #Constraints: 33949 1902.05/1906.28 c #Conflicts: 1524000 | #Constraints: 34951 1902.05/1906.28 c #Conflicts: 1525000 | #Constraints: 35951 1902.05/1906.28 c #Conflicts: 1526000 | #Constraints: 36951 1902.05/1906.28 c #Conflicts: 1527000 | #Constraints: 37951 1902.05/1906.28 c #Conflicts: 1528000 | #Constraints: 38951 1902.05/1906.28 c #Conflicts: 1529000 | #Constraints: 39952 1902.05/1906.28 c #Conflicts: 1530000 | #Constraints: 40954 1902.05/1906.28 c #Conflicts: 1531000 | #Constraints: 41954 1902.05/1906.28 c #Conflicts: 1532000 | #Constraints: 42955 1902.05/1906.28 c #Conflicts: 1533000 | #Constraints: 43955 1902.05/1906.28 c #Conflicts: 1534000 | #Constraints: 44956 1902.05/1906.28 c #Conflicts: 1535000 | #Constraints: 45956 1902.05/1906.28 c #Conflicts: 1536000 | #Constraints: 46956 1902.05/1906.28 c #Conflicts: 1537000 | #Constraints: 47956 1902.05/1906.28 c #Conflicts: 1538000 | #Constraints: 48956 1902.05/1906.28 c #Conflicts: 1539000 | #Constraints: 49957 1902.05/1906.28 c #Conflicts: 1540000 | #Constraints: 50964 1902.05/1906.28 c #Conflicts: 1541000 | #Constraints: 51964 1902.05/1906.28 c INPROCESSING 1902.05/1906.28 c GARBAGE COLLECT 1902.05/1906.28 c rational objective 55 1939.56/1943.86 c #Conflicts: 1542000 | #Constraints: 28265 1939.56/1943.86 c #Conflicts: 1543000 | #Constraints: 29269 1939.56/1943.86 c #Conflicts: 1544000 | #Constraints: 30269 1939.56/1943.86 c #Conflicts: 1545000 | #Constraints: 31271 1939.56/1943.86 c #Conflicts: 1546000 | #Constraints: 32272 1939.56/1943.86 c #Conflicts: 1547000 | #Constraints: 33272 1939.56/1943.86 c #Conflicts: 1548000 | #Constraints: 34278 1939.56/1943.86 c #Conflicts: 1549000 | #Constraints: 35278 1939.56/1943.86 c #Conflicts: 1550000 | #Constraints: 36282 1939.56/1943.86 c #Conflicts: 1551000 | #Constraints: 37285 1939.56/1943.86 c #Conflicts: 1552000 | #Constraints: 38287 1939.56/1943.86 c #Conflicts: 1553000 | #Constraints: 39290 1939.56/1943.86 c #Conflicts: 1554000 | #Constraints: 40291 1939.56/1943.86 c #Conflicts: 1555000 | #Constraints: 41296 1939.56/1943.86 c #Conflicts: 1556000 | #Constraints: 42296 1939.56/1943.86 c #Conflicts: 1557000 | #Constraints: 43297 1939.56/1943.86 c #Conflicts: 1558000 | #Constraints: 44300 1939.56/1943.86 c #Conflicts: 1559000 | #Constraints: 45301 1939.56/1943.86 c #Conflicts: 1560000 | #Constraints: 46303 1939.56/1943.86 c #Conflicts: 1561000 | #Constraints: 47303 1939.56/1943.86 c #Conflicts: 1562000 | #Constraints: 48307 1939.56/1943.86 c #Conflicts: 1563000 | #Constraints: 49308 1939.56/1943.86 c #Conflicts: 1564000 | #Constraints: 50309 1939.56/1943.86 c #Conflicts: 1565000 | #Constraints: 51310 1939.56/1943.86 c #Conflicts: 1566000 | #Constraints: 52310 1939.56/1943.86 c INPROCESSING 1939.56/1943.86 c GARBAGE COLLECT 1939.56/1943.86 c rational objective 55 1945.16/1949.43 c #Conflicts: 1567000 | #Constraints: 28443 1945.16/1949.43 c #Conflicts: 1568000 | #Constraints: 29524 1945.16/1949.43 WSVECS04 Frhs2[5]: 6 -16.0001 0 shouldn't be 2016.62/2021.07 c #Conflicts: 1569000 | #Constraints: 30537 2016.62/2021.07 c #Conflicts: 1570000 | #Constraints: 31537 2016.62/2021.07 c #Conflicts: 1571000 | #Constraints: 32540 2016.62/2021.07 c #Conflicts: 1572000 | #Constraints: 33569 2016.62/2021.07 c #Conflicts: 1573000 | #Constraints: 34569 2016.62/2021.07 c #Conflicts: 1574000 | #Constraints: 35569 2016.62/2021.07 c #Conflicts: 1575000 | #Constraints: 36569 2016.62/2021.07 c #Conflicts: 1576000 | #Constraints: 37569 2016.62/2021.07 c #Conflicts: 1577000 | #Constraints: 38569 2016.62/2021.07 c #Conflicts: 1578000 | #Constraints: 39640 2016.62/2021.07 c #Conflicts: 1579000 | #Constraints: 40640 2016.62/2021.07 c #Conflicts: 1580000 | #Constraints: 41640 2016.62/2021.07 c #Conflicts: 1581000 | #Constraints: 42640 2016.62/2021.07 c #Conflicts: 1582000 | #Constraints: 43640 2016.62/2021.07 c #Conflicts: 1583000 | #Constraints: 44672 2016.62/2021.07 c #Conflicts: 1584000 | #Constraints: 45722 2016.62/2021.07 c #Conflicts: 1585000 | #Constraints: 46879 2016.62/2021.07 c #Conflicts: 1586000 | #Constraints: 47879 2016.62/2021.07 c #Conflicts: 1587000 | #Constraints: 48880 2016.62/2021.07 c #Conflicts: 1588000 | #Constraints: 49895 2016.62/2021.07 c #Conflicts: 1589000 | #Constraints: 50895 2016.62/2021.07 c #Conflicts: 1590000 | #Constraints: 51895 2016.62/2021.07 c #Conflicts: 1591000 | #Constraints: 52895 2016.62/2021.07 c INPROCESSING 2016.62/2021.07 c GARBAGE COLLECT 2016.62/2021.07 c rational objective 55 2064.20/2068.70 c #Conflicts: 1592000 | #Constraints: 28633 2064.20/2068.70 c #Conflicts: 1593000 | #Constraints: 29633 2064.20/2068.70 c #Conflicts: 1594000 | #Constraints: 30633 2064.20/2068.70 c #Conflicts: 1595000 | #Constraints: 31633 2064.20/2068.70 c #Conflicts: 1596000 | #Constraints: 32633 2064.20/2068.70 c #Conflicts: 1597000 | #Constraints: 33633 2064.20/2068.70 c #Conflicts: 1598000 | #Constraints: 34633 2064.20/2068.70 c #Conflicts: 1599000 | #Constraints: 35633 2064.20/2068.70 c #Conflicts: 1600000 | #Constraints: 36633 2064.20/2068.70 c #Conflicts: 1601000 | #Constraints: 37633 2064.20/2068.70 c #Conflicts: 1602000 | #Constraints: 38633 2064.20/2068.70 c #Conflicts: 1603000 | #Constraints: 39633 2064.20/2068.70 c #Conflicts: 1604000 | #Constraints: 40633 2064.20/2068.70 c #Conflicts: 1605000 | #Constraints: 41633 2064.20/2068.70 c #Conflicts: 1606000 | #Constraints: 42633 2064.20/2068.70 c #Conflicts: 1607000 | #Constraints: 43633 2064.20/2068.70 c #Conflicts: 1608000 | #Constraints: 44633 2064.20/2068.70 c #Conflicts: 1609000 | #Constraints: 45633 2064.20/2068.70 c #Conflicts: 1610000 | #Constraints: 46633 2064.20/2068.70 c #Conflicts: 1611000 | #Constraints: 47633 2064.20/2068.70 c #Conflicts: 1612000 | #Constraints: 48633 2064.20/2068.70 c #Conflicts: 1613000 | #Constraints: 49633 2064.20/2068.70 c #Conflicts: 1614000 | #Constraints: 50633 2064.20/2068.70 c #Conflicts: 1615000 | #Constraints: 51633 2064.20/2068.70 c #Conflicts: 1616000 | #Constraints: 52633 2064.20/2068.70 c INPROCESSING 2064.20/2068.70 c GARBAGE COLLECT 2064.20/2068.70 c rational objective 55 2190.72/2195.59 c #Conflicts: 1617000 | #Constraints: 28298 2190.72/2195.59 c #Conflicts: 1618000 | #Constraints: 29308 2190.72/2195.59 c #Conflicts: 1619000 | #Constraints: 30318 2190.72/2195.59 c #Conflicts: 1620000 | #Constraints: 31333 2190.72/2195.59 c #Conflicts: 1621000 | #Constraints: 32342 2190.72/2195.59 c #Conflicts: 1622000 | #Constraints: 33362 2190.72/2195.59 c #Conflicts: 1623000 | #Constraints: 34384 2190.72/2195.59 c #Conflicts: 1624000 | #Constraints: 35389 2190.72/2195.59 c #Conflicts: 1625000 | #Constraints: 36390 2190.72/2195.59 c #Conflicts: 1626000 | #Constraints: 37405 2190.72/2195.59 c #Conflicts: 1627000 | #Constraints: 38405 2190.72/2195.59 c #Conflicts: 1628000 | #Constraints: 39418 2190.72/2195.59 c #Conflicts: 1629000 | #Constraints: 40442 2190.72/2195.59 c #Conflicts: 1630000 | #Constraints: 41444 2190.72/2195.59 c #Conflicts: 1631000 | #Constraints: 42475 2190.72/2195.59 c #Conflicts: 1632000 | #Constraints: 43475 2190.72/2195.59 c #Conflicts: 1633000 | #Constraints: 44665 2190.72/2195.59 c #Conflicts: 1634000 | #Constraints: 45727 2190.72/2195.59 c #Conflicts: 1635000 | #Constraints: 47069 2190.72/2195.59 c #Conflicts: 1636000 | #Constraints: 48077 2190.72/2195.59 c #Conflicts: 1637000 | #Constraints: 49078 2190.72/2195.59 c #Conflicts: 1638000 | #Constraints: 50180 2190.72/2195.59 c #Conflicts: 1639000 | #Constraints: 51180 2190.72/2195.59 c #Conflicts: 1640000 | #Constraints: 52180 2190.72/2195.59 c #Conflicts: 1641000 | #Constraints: 53180 2190.72/2195.59 c #Conflicts: 1642000 | #Constraints: 54183 2190.72/2195.59 c INPROCESSING 2190.72/2195.59 c GARBAGE COLLECT 2190.72/2195.59 c #Conflicts: 1643000 | #Constraints: 29293 2190.72/2195.59 c #Conflicts: 1644000 | #Constraints: 30295 2190.72/2195.59 c #Conflicts: 1645000 | #Constraints: 31297 2190.72/2195.59 c #Conflicts: 1646000 | #Constraints: 32316 2190.72/2195.59 c #Conflicts: 1647000 | #Constraints: 33320 2190.72/2195.59 c #Conflicts: 1648000 | #Constraints: 34320 2190.72/2195.59 c #Conflicts: 1649000 | #Constraints: 35323 2190.72/2195.59 c #Conflicts: 1650000 | #Constraints: 36324 2190.72/2195.59 c #Conflicts: 1651000 | #Constraints: 37324 2190.72/2195.59 c #Conflicts: 1652000 | #Constraints: 38341 2190.72/2195.59 c #Conflicts: 1653000 | #Constraints: 39341 2190.72/2195.59 c #Conflicts: 1654000 | #Constraints: 40348 2190.72/2195.59 c #Conflicts: 1655000 | #Constraints: 41363 2190.72/2195.59 c #Conflicts: 1656000 | #Constraints: 42366 2190.72/2195.59 c #Conflicts: 1657000 | #Constraints: 43371 2190.72/2195.59 c #Conflicts: 1658000 | #Constraints: 44422 2190.72/2195.59 c #Conflicts: 1659000 | #Constraints: 45423 2190.72/2195.59 c #Conflicts: 1660000 | #Constraints: 46426 2190.72/2195.59 c #Conflicts: 1661000 | #Constraints: 47427 2190.72/2195.59 c #Conflicts: 1662000 | #Constraints: 48427 2190.72/2195.59 c #Conflicts: 1663000 | #Constraints: 49433 2190.72/2195.59 c #Conflicts: 1664000 | #Constraints: 50433 2190.72/2195.59 c #Conflicts: 1665000 | #Constraints: 51436 2190.72/2195.59 c #Conflicts: 1666000 | #Constraints: 52439 2190.72/2195.59 c #Conflicts: 1667000 | #Constraints: 53439 2190.72/2195.59 c #Conflicts: 1668000 | #Constraints: 54442 2190.72/2195.59 c INPROCESSING 2190.72/2195.59 c GARBAGE COLLECT 2190.72/2195.59 c rational objective 55 2235.82/2240.79 c #Conflicts: 1669000 | #Constraints: 29515 2235.82/2240.79 c #Conflicts: 1670000 | #Constraints: 30518 2235.82/2240.79 c #Conflicts: 1671000 | #Constraints: 31518 2235.82/2240.79 c #Conflicts: 1672000 | #Constraints: 32519 2235.82/2240.79 c #Conflicts: 1673000 | #Constraints: 33532 2235.82/2240.79 c #Conflicts: 1674000 | #Constraints: 34537 2235.82/2240.79 c #Conflicts: 1675000 | #Constraints: 35538 2235.82/2240.79 c #Conflicts: 1676000 | #Constraints: 36541 2235.82/2240.79 c #Conflicts: 1677000 | #Constraints: 37552 2235.82/2240.79 c #Conflicts: 1678000 | #Constraints: 38553 2235.82/2240.79 c #Conflicts: 1679000 | #Constraints: 39555 2235.82/2240.79 c #Conflicts: 1680000 | #Constraints: 40556 2235.82/2240.79 c #Conflicts: 1681000 | #Constraints: 41561 2235.82/2240.79 c #Conflicts: 1682000 | #Constraints: 42565 2235.82/2240.79 c #Conflicts: 1683000 | #Constraints: 43566 2235.82/2240.79 c #Conflicts: 1684000 | #Constraints: 44575 2235.82/2240.79 c #Conflicts: 1685000 | #Constraints: 45581 2235.82/2240.79 c #Conflicts: 1686000 | #Constraints: 46584 2235.82/2240.79 c #Conflicts: 1687000 | #Constraints: 47586 2235.82/2240.79 c #Conflicts: 1688000 | #Constraints: 48586 2235.82/2240.79 c #Conflicts: 1689000 | #Constraints: 49588 2235.82/2240.79 c #Conflicts: 1690000 | #Constraints: 50616 2235.82/2240.79 c #Conflicts: 1691000 | #Constraints: 51623 2235.82/2240.79 c #Conflicts: 1692000 | #Constraints: 52625 2235.82/2240.79 c #Conflicts: 1693000 | #Constraints: 53634 2235.82/2240.79 c #Conflicts: 1694000 | #Constraints: 54641 2235.82/2240.79 c INPROCESSING 2235.82/2240.79 c GARBAGE COLLECT 2235.82/2240.79 c rational objective 55 2348.77/2353.99 c #Conflicts: 1695000 | #Constraints: 29592 2348.77/2353.99 c #Conflicts: 1696000 | #Constraints: 30592 2348.77/2353.99 c #Conflicts: 1697000 | #Constraints: 31592 2348.77/2353.99 c #Conflicts: 1698000 | #Constraints: 32592 2348.77/2353.99 c #Conflicts: 1699000 | #Constraints: 33592 2348.77/2353.99 c #Conflicts: 1700000 | #Constraints: 34592 2348.77/2353.99 c #Conflicts: 1701000 | #Constraints: 35592 2348.77/2353.99 c #Conflicts: 1702000 | #Constraints: 36592 2348.77/2353.99 c #Conflicts: 1703000 | #Constraints: 37592 2348.77/2353.99 c #Conflicts: 1704000 | #Constraints: 38592 2348.77/2353.99 c #Conflicts: 1705000 | #Constraints: 39592 2348.77/2353.99 c #Conflicts: 1706000 | #Constraints: 40592 2348.77/2353.99 c #Conflicts: 1707000 | #Constraints: 41592 2348.77/2353.99 c #Conflicts: 1708000 | #Constraints: 42592 2348.77/2353.99 c #Conflicts: 1709000 | #Constraints: 43592 2348.77/2353.99 c #Conflicts: 1710000 | #Constraints: 44592 2348.77/2353.99 c #Conflicts: 1711000 | #Constraints: 45592 2348.77/2353.99 c #Conflicts: 1712000 | #Constraints: 46592 2348.77/2353.99 c #Conflicts: 1713000 | #Constraints: 47592 2348.77/2353.99 c #Conflicts: 1714000 | #Constraints: 48592 2348.77/2353.99 c #Conflicts: 1715000 | #Constraints: 49592 2348.77/2353.99 c #Conflicts: 1716000 | #Constraints: 50592 2348.77/2353.99 c #Conflicts: 1717000 | #Constraints: 51592 2348.77/2353.99 c #Conflicts: 1718000 | #Constraints: 52592 2348.77/2353.99 c #Conflicts: 1719000 | #Constraints: 53592 2348.77/2353.99 c #Conflicts: 1720000 | #Constraints: 54592 2348.77/2353.99 c INPROCESSING 2348.77/2353.99 c GARBAGE COLLECT 2348.77/2353.99 c rational objective 55 2394.54/2399.89 c #Conflicts: 1721000 | #Constraints: 29499 2394.54/2399.89 c #Conflicts: 1722000 | #Constraints: 30499 2394.54/2399.89 c #Conflicts: 1723000 | #Constraints: 31500 2394.54/2399.89 c #Conflicts: 1724000 | #Constraints: 32504 2394.54/2399.89 c #Conflicts: 1725000 | #Constraints: 33512 2394.54/2399.89 c #Conflicts: 1726000 | #Constraints: 34519 2394.54/2399.89 c #Conflicts: 1727000 | #Constraints: 35519 2394.54/2399.89 c #Conflicts: 1728000 | #Constraints: 36522 2394.54/2399.89 c #Conflicts: 1729000 | #Constraints: 37524 2394.54/2399.89 c #Conflicts: 1730000 | #Constraints: 38556 2394.54/2399.89 c #Conflicts: 1731000 | #Constraints: 39635 2394.54/2399.89 c #Conflicts: 1732000 | #Constraints: 40767 2394.54/2399.89 c #Conflicts: 1733000 | #Constraints: 41953 2394.54/2399.89 c #Conflicts: 1734000 | #Constraints: 43419 2394.54/2399.89 c #Conflicts: 1735000 | #Constraints: 44813 2394.54/2399.89 c #Conflicts: 1736000 | #Constraints: 46018 2394.54/2399.89 c #Conflicts: 1737000 | #Constraints: 47210 2394.54/2399.89 c #Conflicts: 1738000 | #Constraints: 48279 2394.54/2399.89 c #Conflicts: 1739000 | #Constraints: 49389 2394.54/2399.89 c #Conflicts: 1740000 | #Constraints: 50518 2394.54/2399.89 c #Conflicts: 1741000 | #Constraints: 51540 2394.54/2399.89 c #Conflicts: 1742000 | #Constraints: 52716 2394.54/2399.89 c #Conflicts: 1743000 | #Constraints: 53720 2394.54/2399.89 c #Conflicts: 1744000 | #Constraints: 54731 2394.54/2399.89 c #Conflicts: 1745000 | #Constraints: 55731 2394.54/2399.89 c #Conflicts: 1746000 | #Constraints: 56749 2394.54/2399.89 c INPROCESSING 2394.54/2399.89 c GARBAGE COLLECT 2394.54/2399.89 c rational objective 55 2442.31/2447.75 c #Conflicts: 1747000 | #Constraints: 30361 2442.31/2447.75 c #Conflicts: 1748000 | #Constraints: 31361 2442.31/2447.75 c #Conflicts: 1749000 | #Constraints: 32361 2442.31/2447.75 c #Conflicts: 1750000 | #Constraints: 33361 2442.31/2447.75 c #Conflicts: 1751000 | #Constraints: 34361 2442.31/2447.75 c #Conflicts: 1752000 | #Constraints: 35361 2442.31/2447.75 c #Conflicts: 1753000 | #Constraints: 36361 2442.31/2447.75 c #Conflicts: 1754000 | #Constraints: 37361 2442.31/2447.75 c #Conflicts: 1755000 | #Constraints: 38361 2442.31/2447.75 c #Conflicts: 1756000 | #Constraints: 39361 2442.31/2447.75 c #Conflicts: 1757000 | #Constraints: 40361 2442.31/2447.75 c #Conflicts: 1758000 | #Constraints: 41361 2442.31/2447.75 c #Conflicts: 1759000 | #Constraints: 42361 2442.31/2447.75 c #Conflicts: 1760000 | #Constraints: 43361 2442.31/2447.75 c #Conflicts: 1761000 | #Constraints: 44361 2442.31/2447.75 c #Conflicts: 1762000 | #Constraints: 45361 2442.31/2447.75 c #Conflicts: 1763000 | #Constraints: 46361 2442.31/2447.75 c #Conflicts: 1764000 | #Constraints: 47361 2442.31/2447.75 c #Conflicts: 1765000 | #Constraints: 48361 2442.31/2447.75 c #Conflicts: 1766000 | #Constraints: 49361 2442.31/2447.75 c #Conflicts: 1767000 | #Constraints: 50361 2442.31/2447.75 c #Conflicts: 1768000 | #Constraints: 51361 2442.31/2447.75 c #Conflicts: 1769000 | #Constraints: 52361 2442.31/2447.75 c #Conflicts: 1770000 | #Constraints: 53361 2442.31/2447.75 c #Conflicts: 1771000 | #Constraints: 54361 2442.31/2447.75 c #Conflicts: 1772000 | #Constraints: 55361 2442.31/2447.75 c #Conflicts: 1773000 | #Constraints: 56361 2442.31/2447.75 c INPROCESSING 2442.31/2447.75 c GARBAGE COLLECT 2442.31/2447.75 c rational objective 55 2531.77/2537.40 c #Conflicts: 1774000 | #Constraints: 30369 2531.77/2537.40 c #Conflicts: 1775000 | #Constraints: 31369 2531.77/2537.40 c #Conflicts: 1776000 | #Constraints: 32369 2531.77/2537.40 c #Conflicts: 1777000 | #Constraints: 33369 2531.77/2537.40 c #Conflicts: 1778000 | #Constraints: 34369 2531.77/2537.40 c #Conflicts: 1779000 | #Constraints: 35369 2531.77/2537.40 c #Conflicts: 1780000 | #Constraints: 36369 2531.77/2537.40 c #Conflicts: 1781000 | #Constraints: 37370 2531.77/2537.40 c #Conflicts: 1782000 | #Constraints: 38370 2531.77/2537.40 c #Conflicts: 1783000 | #Constraints: 39372 2531.77/2537.40 c #Conflicts: 1784000 | #Constraints: 40372 2531.77/2537.40 c #Conflicts: 1785000 | #Constraints: 41372 2531.77/2537.40 c #Conflicts: 1786000 | #Constraints: 42372 2531.77/2537.40 c #Conflicts: 1787000 | #Constraints: 43373 2531.77/2537.40 c #Conflicts: 1788000 | #Constraints: 44373 2531.77/2537.40 c #Conflicts: 1789000 | #Constraints: 45376 2531.77/2537.40 c #Conflicts: 1790000 | #Constraints: 46376 2531.77/2537.40 c #Conflicts: 1791000 | #Constraints: 47376 2531.77/2537.40 c #Conflicts: 1792000 | #Constraints: 48376 2531.77/2537.40 c #Conflicts: 1793000 | #Constraints: 49377 2531.77/2537.40 c #Conflicts: 1794000 | #Constraints: 50377 2531.77/2537.40 c #Conflicts: 1795000 | #Constraints: 51377 2531.77/2537.40 c #Conflicts: 1796000 | #Constraints: 52387 2531.77/2537.40 c #Conflicts: 1797000 | #Constraints: 53387 2531.77/2537.40 c #Conflicts: 1798000 | #Constraints: 54387 2531.77/2537.40 c #Conflicts: 1799000 | #Constraints: 55388 2531.77/2537.40 c #Conflicts: 1800000 | #Constraints: 56388 2531.77/2537.40 c INPROCESSING 2531.77/2537.40 c GARBAGE COLLECT 2531.77/2537.40 c rational objective 55 2580.34/2586.13 c #Conflicts: 1801000 | #Constraints: 30506 2580.34/2586.13 c #Conflicts: 1802000 | #Constraints: 31527 2580.34/2586.13 c #Conflicts: 1803000 | #Constraints: 32528 2580.34/2586.13 c #Conflicts: 1804000 | #Constraints: 33528 2580.34/2586.13 c #Conflicts: 1805000 | #Constraints: 34534 2580.34/2586.13 c #Conflicts: 1806000 | #Constraints: 35534 2580.34/2586.13 c #Conflicts: 1807000 | #Constraints: 36562 2580.34/2586.13 c #Conflicts: 1808000 | #Constraints: 37573 2580.34/2586.13 c #Conflicts: 1809000 | #Constraints: 38573 2580.34/2586.13 c #Conflicts: 1810000 | #Constraints: 39574 2580.34/2586.13 c #Conflicts: 1811000 | #Constraints: 40576 2580.34/2586.13 c #Conflicts: 1812000 | #Constraints: 41576 2580.34/2586.13 c #Conflicts: 1813000 | #Constraints: 42584 2580.34/2586.13 c #Conflicts: 1814000 | #Constraints: 43603 2580.34/2586.13 c #Conflicts: 1815000 | #Constraints: 44647 2580.34/2586.13 c #Conflicts: 1816000 | #Constraints: 45648 2580.34/2586.13 c #Conflicts: 1817000 | #Constraints: 46650 2580.34/2586.13 c #Conflicts: 1818000 | #Constraints: 47666 2580.34/2586.13 c #Conflicts: 1819000 | #Constraints: 48674 2580.34/2586.13 c #Conflicts: 1820000 | #Constraints: 49674 2580.34/2586.13 c #Conflicts: 1821000 | #Constraints: 50675 2580.34/2586.13 c #Conflicts: 1822000 | #Constraints: 51679 2580.34/2586.13 c #Conflicts: 1823000 | #Constraints: 52713 2580.34/2586.13 c #Conflicts: 1824000 | #Constraints: 53733 2580.34/2586.13 c #Conflicts: 1825000 | #Constraints: 54742 2580.34/2586.13 c #Conflicts: 1826000 | #Constraints: 55743 2580.34/2586.13 c #Conflicts: 1827000 | #Constraints: 56745 2580.34/2586.13 c INPROCESSING 2580.34/2586.13 c GARBAGE COLLECT 2580.34/2586.13 c rational objective 55 2630.10/2636.08 c #Conflicts: 1828000 | #Constraints: 30652 2630.10/2636.08 c #Conflicts: 1829000 | #Constraints: 31662 2630.10/2636.08 c #Conflicts: 1830000 | #Constraints: 32663 2630.10/2636.08 c #Conflicts: 1831000 | #Constraints: 33668 2630.10/2636.08 c #Conflicts: 1832000 | #Constraints: 34670 2630.10/2636.08 c #Conflicts: 1833000 | #Constraints: 35721 2630.10/2636.08 c #Conflicts: 1834000 | #Constraints: 36732 2630.10/2636.08 c #Conflicts: 1835000 | #Constraints: 37805 2630.10/2636.08 c #Conflicts: 1836000 | #Constraints: 38806 2630.10/2636.08 c #Conflicts: 1837000 | #Constraints: 39817 2630.10/2636.08 c #Conflicts: 1838000 | #Constraints: 40832 2630.10/2636.08 c #Conflicts: 1839000 | #Constraints: 41840 2630.10/2636.08 c #Conflicts: 1840000 | #Constraints: 42879 2630.10/2636.08 c #Conflicts: 1841000 | #Constraints: 43879 2630.10/2636.08 c #Conflicts: 1842000 | #Constraints: 44879 2630.10/2636.08 c #Conflicts: 1843000 | #Constraints: 45886 2630.10/2636.08 c #Conflicts: 1844000 | #Constraints: 46888 2630.10/2636.08 c #Conflicts: 1845000 | #Constraints: 47891 2630.10/2636.08 c #Conflicts: 1846000 | #Constraints: 48892 2630.10/2636.08 c #Conflicts: 1847000 | #Constraints: 49923 2630.10/2636.08 c #Conflicts: 1848000 | #Constraints: 50926 2630.10/2636.08 c #Conflicts: 1849000 | #Constraints: 51937 2630.10/2636.08 c #Conflicts: 1850000 | #Constraints: 52942 2630.10/2636.08 c #Conflicts: 1851000 | #Constraints: 54230 2630.10/2636.08 c #Conflicts: 1852000 | #Constraints: 55245 2630.10/2636.08 c #Conflicts: 1853000 | #Constraints: 56250 2630.10/2636.08 c #Conflicts: 1854000 | #Constraints: 57262 2630.10/2636.08 c INPROCESSING 2630.10/2636.08 c GARBAGE COLLECT 2630.10/2636.08 c rational objective 55 2732.47/2738.65 c #Conflicts: 1855000 | #Constraints: 30847 2732.47/2738.65 c #Conflicts: 1856000 | #Constraints: 31847 2732.47/2738.65 c #Conflicts: 1857000 | #Constraints: 32847 2732.47/2738.65 c #Conflicts: 1858000 | #Constraints: 33847 2732.47/2738.65 c #Conflicts: 1859000 | #Constraints: 34847 2732.47/2738.65 c #Conflicts: 1860000 | #Constraints: 35847 2732.47/2738.65 c #Conflicts: 1861000 | #Constraints: 36847 2732.47/2738.65 c #Conflicts: 1862000 | #Constraints: 37847 2732.47/2738.65 c #Conflicts: 1863000 | #Constraints: 38847 2732.47/2738.65 c #Conflicts: 1864000 | #Constraints: 39931 2732.47/2738.65 c #Conflicts: 1865000 | #Constraints: 41197 2732.47/2738.65 c #Conflicts: 1866000 | #Constraints: 42301 2732.47/2738.65 c #Conflicts: 1867000 | #Constraints: 43305 2732.47/2738.65 c #Conflicts: 1868000 | #Constraints: 44343 2732.47/2738.65 c #Conflicts: 1869000 | #Constraints: 45946 2732.47/2738.65 c #Conflicts: 1870000 | #Constraints: 46987 2732.47/2738.65 c #Conflicts: 1871000 | #Constraints: 48209 2732.47/2738.65 c #Conflicts: 1872000 | #Constraints: 49678 2732.47/2738.65 c #Conflicts: 1873000 | #Constraints: 51020 2732.47/2738.65 c #Conflicts: 1874000 | #Constraints: 52186 2732.47/2738.65 c #Conflicts: 1875000 | #Constraints: 53979 2732.47/2738.65 c #Conflicts: 1876000 | #Constraints: 55549 2732.47/2738.65 c #Conflicts: 1877000 | #Constraints: 56739 2732.47/2738.65 c #Conflicts: 1878000 | #Constraints: 58398 2732.47/2738.65 c #Conflicts: 1879000 | #Constraints: 59412 2732.47/2738.65 c #Conflicts: 1880000 | #Constraints: 60497 2732.47/2738.65 c #Conflicts: 1881000 | #Constraints: 61705 2732.47/2738.65 c INPROCESSING 2732.47/2738.65 c GARBAGE COLLECT 2732.47/2738.65 c rational objective 55 2783.36/2789.61 c #Conflicts: 1882000 | #Constraints: 32949 2783.36/2789.61 c #Conflicts: 1883000 | #Constraints: 33949 2783.36/2789.61 c #Conflicts: 1884000 | #Constraints: 34949 2783.36/2789.61 c #Conflicts: 1885000 | #Constraints: 35949 2783.36/2789.61 c #Conflicts: 1886000 | #Constraints: 36949 2783.36/2789.61 c #Conflicts: 1887000 | #Constraints: 37949 2783.36/2789.61 c #Conflicts: 1888000 | #Constraints: 38949 2783.36/2789.61 c #Conflicts: 1889000 | #Constraints: 39949 2783.36/2789.61 c #Conflicts: 1890000 | #Constraints: 40949 2783.36/2789.61 c #Conflicts: 1891000 | #Constraints: 41949 2783.36/2789.61 c #Conflicts: 1892000 | #Constraints: 42949 2783.36/2789.61 c #Conflicts: 1893000 | #Constraints: 43949 2783.36/2789.61 c #Conflicts: 1894000 | #Constraints: 44949 2783.36/2789.61 c #Conflicts: 1895000 | #Constraints: 45949 2783.36/2789.61 c #Conflicts: 1896000 | #Constraints: 46949 2783.36/2789.61 c #Conflicts: 1897000 | #Constraints: 47949 2783.36/2789.61 c #Conflicts: 1898000 | #Constraints: 48949 2783.36/2789.61 c #Conflicts: 1899000 | #Constraints: 49949 2783.36/2789.61 c #Conflicts: 1900000 | #Constraints: 50949 2783.36/2789.61 c #Conflicts: 1901000 | #Constraints: 51949 2783.36/2789.61 c #Conflicts: 1902000 | #Constraints: 52949 2783.36/2789.61 c #Conflicts: 1903000 | #Constraints: 53949 2783.36/2789.61 c #Conflicts: 1904000 | #Constraints: 54949 2783.36/2789.61 c #Conflicts: 1905000 | #Constraints: 55949 2783.36/2789.61 c #Conflicts: 1906000 | #Constraints: 56949 2783.36/2789.61 c #Conflicts: 1907000 | #Constraints: 57949 2783.36/2789.61 c #Conflicts: 1908000 | #Constraints: 58949 2783.36/2789.61 c #Conflicts: 1909000 | #Constraints: 59949 2783.36/2789.61 c INPROCESSING 2783.36/2789.61 c GARBAGE COLLECT 2783.36/2789.61 c rational objective 55 2907.26/2913.81 c #Conflicts: 1910000 | #Constraints: 32154 2907.26/2913.81 c #Conflicts: 1911000 | #Constraints: 33154 2907.26/2913.81 c #Conflicts: 1912000 | #Constraints: 34154 2907.26/2913.81 c #Conflicts: 1913000 | #Constraints: 35154 2907.26/2913.81 c #Conflicts: 1914000 | #Constraints: 36154 2907.26/2913.81 c #Conflicts: 1915000 | #Constraints: 37154 2907.26/2913.81 c #Conflicts: 1916000 | #Constraints: 38154 2907.26/2913.81 c #Conflicts: 1917000 | #Constraints: 39154 2907.26/2913.81 c #Conflicts: 1918000 | #Constraints: 40154 2907.26/2913.81 c #Conflicts: 1919000 | #Constraints: 41154 2907.26/2913.81 c #Conflicts: 1920000 | #Constraints: 42154 2907.26/2913.81 c #Conflicts: 1921000 | #Constraints: 43154 2907.26/2913.81 c #Conflicts: 1922000 | #Constraints: 44154 2907.26/2913.81 c #Conflicts: 1923000 | #Constraints: 45154 2907.26/2913.81 c #Conflicts: 1924000 | #Constraints: 46154 2907.26/2913.81 c #Conflicts: 1925000 | #Constraints: 47154 2907.26/2913.81 c #Conflicts: 1926000 | #Constraints: 48154 2907.26/2913.81 c #Conflicts: 1927000 | #Constraints: 49154 2907.26/2913.81 c #Conflicts: 1928000 | #Constraints: 50154 2907.26/2913.81 c #Conflicts: 1929000 | #Constraints: 51154 2907.26/2913.81 c #Conflicts: 1930000 | #Constraints: 52154 2907.26/2913.81 c #Conflicts: 1931000 | #Constraints: 53154 2907.26/2913.81 c #Conflicts: 1932000 | #Constraints: 54154 2907.26/2913.81 c #Conflicts: 1933000 | #Constraints: 55154 2907.26/2913.81 c #Conflicts: 1934000 | #Constraints: 56154 2907.26/2913.81 c #Conflicts: 1935000 | #Constraints: 57154 2907.26/2913.81 c #Conflicts: 1936000 | #Constraints: 58154 2907.26/2913.81 c #Conflicts: 1937000 | #Constraints: 59154 2907.26/2913.81 c INPROCESSING 2907.26/2913.81 c GARBAGE COLLECT 2907.26/2913.81 c rational objective 55 2956.82/2963.58 c #Conflicts: 1938000 | #Constraints: 31880 2956.82/2963.58 c #Conflicts: 1939000 | #Constraints: 32883 2956.82/2963.58 c #Conflicts: 1940000 | #Constraints: 33884 2956.82/2963.58 c #Conflicts: 1941000 | #Constraints: 34884 2956.82/2963.58 c #Conflicts: 1942000 | #Constraints: 35886 2956.82/2963.58 c #Conflicts: 1943000 | #Constraints: 36892 2956.82/2963.58 c #Conflicts: 1944000 | #Constraints: 37893 2956.82/2963.58 c #Conflicts: 1945000 | #Constraints: 38903 2956.82/2963.58 c #Conflicts: 1946000 | #Constraints: 39906 2956.82/2963.58 c #Conflicts: 1947000 | #Constraints: 40908 2956.82/2963.58 c #Conflicts: 1948000 | #Constraints: 41913 2956.82/2963.58 c #Conflicts: 1949000 | #Constraints: 42917 2956.82/2963.58 c #Conflicts: 1950000 | #Constraints: 43925 2956.82/2963.58 c #Conflicts: 1951000 | #Constraints: 44959 2956.82/2963.58 c #Conflicts: 1952000 | #Constraints: 45961 2956.82/2963.58 c #Conflicts: 1953000 | #Constraints: 46964 2956.82/2963.58 c #Conflicts: 1954000 | #Constraints: 47967 2956.82/2963.58 c #Conflicts: 1955000 | #Constraints: 48967 2956.82/2963.58 c #Conflicts: 1956000 | #Constraints: 49968 2956.82/2963.58 c #Conflicts: 1957000 | #Constraints: 50973 2956.82/2963.58 c #Conflicts: 1958000 | #Constraints: 51973 2956.82/2963.58 c #Conflicts: 1959000 | #Constraints: 52976 2956.82/2963.58 c #Conflicts: 1960000 | #Constraints: 54004 2956.82/2963.58 c #Conflicts: 1961000 | #Constraints: 55005 2956.82/2963.58 c #Conflicts: 1962000 | #Constraints: 56016 2956.82/2963.58 c #Conflicts: 1963000 | #Constraints: 57023 2956.82/2963.58 c #Conflicts: 1964000 | #Constraints: 58026 2956.82/2963.58 c #Conflicts: 1965000 | #Constraints: 59026 2956.82/2963.58 c INPROCESSING 2956.82/2963.58 c GARBAGE COLLECT 2956.82/2963.58 c rational objective 55 3007.70/3014.57 c #Conflicts: 1966000 | #Constraints: 31809 3007.70/3014.57 c #Conflicts: 1967000 | #Constraints: 32809 3007.70/3014.57 c #Conflicts: 1968000 | #Constraints: 33809 3007.70/3014.57 c #Conflicts: 1969000 | #Constraints: 34823 3007.70/3014.57 c #Conflicts: 1970000 | #Constraints: 35823 3007.70/3014.57 c #Conflicts: 1971000 | #Constraints: 36830 3007.70/3014.57 c #Conflicts: 1972000 | #Constraints: 37832 3007.70/3014.57 c #Conflicts: 1973000 | #Constraints: 38834 3007.70/3014.57 c #Conflicts: 1974000 | #Constraints: 39834 3007.70/3014.57 c #Conflicts: 1975000 | #Constraints: 40834 3007.70/3014.57 c #Conflicts: 1976000 | #Constraints: 41834 3007.70/3014.57 c #Conflicts: 1977000 | #Constraints: 42834 3007.70/3014.57 c #Conflicts: 1978000 | #Constraints: 43834 3007.70/3014.57 c #Conflicts: 1979000 | #Constraints: 44834 3007.70/3014.57 c #Conflicts: 1980000 | #Constraints: 45834 3007.70/3014.57 c #Conflicts: 1981000 | #Constraints: 46834 3007.70/3014.57 c #Conflicts: 1982000 | #Constraints: 47834 3007.70/3014.57 c #Conflicts: 1983000 | #Constraints: 48834 3007.70/3014.57 c #Conflicts: 1984000 | #Constraints: 49834 3007.70/3014.57 c #Conflicts: 1985000 | #Constraints: 50834 3007.70/3014.57 c #Conflicts: 1986000 | #Constraints: 51834 3007.70/3014.57 c #Conflicts: 1987000 | #Constraints: 52834 3007.70/3014.57 c #Conflicts: 1988000 | #Constraints: 53834 3007.70/3014.57 c #Conflicts: 1989000 | #Constraints: 54834 3007.70/3014.57 c #Conflicts: 1990000 | #Constraints: 55834 3007.70/3014.57 c #Conflicts: 1991000 | #Constraints: 56834 3007.70/3014.57 c #Conflicts: 1992000 | #Constraints: 57834 3007.70/3014.57 c #Conflicts: 1993000 | #Constraints: 58845 3007.70/3014.57 c INPROCESSING 3007.70/3014.57 c GARBAGE COLLECT 3007.70/3014.57 c rational objective 55 3122.22/3129.32 c #Conflicts: 1994000 | #Constraints: 31634 3122.22/3129.32 c #Conflicts: 1995000 | #Constraints: 32634 3122.22/3129.32 c #Conflicts: 1996000 | #Constraints: 33634 3122.22/3129.32 c #Conflicts: 1997000 | #Constraints: 34634 3122.22/3129.32 c #Conflicts: 1998000 | #Constraints: 35634 3122.22/3129.32 c #Conflicts: 1999000 | #Constraints: 36634 3122.22/3129.32 c #Conflicts: 2000000 | #Constraints: 37634 3122.22/3129.32 c #Conflicts: 2001000 | #Constraints: 38634 3122.22/3129.32 c #Conflicts: 2002000 | #Constraints: 39634 3122.22/3129.32 c #Conflicts: 2003000 | #Constraints: 40634 3122.22/3129.32 c #Conflicts: 2004000 | #Constraints: 41634 3122.22/3129.32 c #Conflicts: 2005000 | #Constraints: 42634 3122.22/3129.32 c #Conflicts: 2006000 | #Constraints: 43634 3122.22/3129.32 c #Conflicts: 2007000 | #Constraints: 44634 3122.22/3129.32 c #Conflicts: 2008000 | #Constraints: 45634 3122.22/3129.32 c #Conflicts: 2009000 | #Constraints: 46634 3122.22/3129.32 c #Conflicts: 2010000 | #Constraints: 47634 3122.22/3129.32 c #Conflicts: 2011000 | #Constraints: 48634 3122.22/3129.32 c #Conflicts: 2012000 | #Constraints: 49634 3122.22/3129.32 c #Conflicts: 2013000 | #Constraints: 50634 3122.22/3129.32 c #Conflicts: 2014000 | #Constraints: 51634 3122.22/3129.32 c #Conflicts: 2015000 | #Constraints: 52634 3122.22/3129.32 c #Conflicts: 2016000 | #Constraints: 53634 3122.22/3129.32 c #Conflicts: 2017000 | #Constraints: 54634 3122.22/3129.32 c #Conflicts: 2018000 | #Constraints: 55634 3122.22/3129.32 c #Conflicts: 2019000 | #Constraints: 56634 3122.22/3129.32 c #Conflicts: 2020000 | #Constraints: 57634 3122.22/3129.32 c #Conflicts: 2021000 | #Constraints: 58634 3122.22/3129.32 c INPROCESSING 3122.22/3129.32 c GARBAGE COLLECT 3122.22/3129.32 c rational objective 55 3173.10/3180.30 c #Conflicts: 2022000 | #Constraints: 31332 3173.10/3180.30 c #Conflicts: 2023000 | #Constraints: 32332 3173.10/3180.30 c #Conflicts: 2024000 | #Constraints: 33332 3173.10/3180.30 c #Conflicts: 2025000 | #Constraints: 34335 3173.10/3180.30 c #Conflicts: 2026000 | #Constraints: 35338 3173.10/3180.30 c #Conflicts: 2027000 | #Constraints: 36340 3173.10/3180.30 c #Conflicts: 2028000 | #Constraints: 37340 3173.10/3180.30 c #Conflicts: 2029000 | #Constraints: 38342 3173.10/3180.30 c #Conflicts: 2030000 | #Constraints: 39342 3173.10/3180.30 c #Conflicts: 2031000 | #Constraints: 40342 3173.10/3180.30 c #Conflicts: 2032000 | #Constraints: 41356 3173.10/3180.30 c #Conflicts: 2033000 | #Constraints: 42357 3173.10/3180.30 c #Conflicts: 2034000 | #Constraints: 43365 3173.10/3180.30 c #Conflicts: 2035000 | #Constraints: 44371 3173.10/3180.30 c #Conflicts: 2036000 | #Constraints: 45371 3173.10/3180.30 c #Conflicts: 2037000 | #Constraints: 46373 3173.10/3180.30 c #Conflicts: 2038000 | #Constraints: 47375 3173.10/3180.30 c #Conflicts: 2039000 | #Constraints: 48378 3173.10/3180.30 c #Conflicts: 2040000 | #Constraints: 49380 3173.10/3180.30 c #Conflicts: 2041000 | #Constraints: 50381 3173.10/3180.30 c #Conflicts: 2042000 | #Constraints: 51381 3173.10/3180.30 c #Conflicts: 2043000 | #Constraints: 52383 3173.10/3180.30 c #Conflicts: 2044000 | #Constraints: 53383 3173.10/3180.30 c #Conflicts: 2045000 | #Constraints: 54385 3173.10/3180.30 c #Conflicts: 2046000 | #Constraints: 55385 3173.10/3180.30 c #Conflicts: 2047000 | #Constraints: 56393 3173.10/3180.30 c #Conflicts: 2048000 | #Constraints: 57393 3173.10/3180.30 c #Conflicts: 2049000 | #Constraints: 58393 3173.10/3180.30 c #Conflicts: 2050000 | #Constraints: 59393 3173.10/3180.30 c INPROCESSING 3173.10/3180.30 c GARBAGE COLLECT 3173.10/3180.30 c rational objective 55 3225.46/3232.83 c #Conflicts: 2051000 | #Constraints: 31906 3225.46/3232.83 c #Conflicts: 2052000 | #Constraints: 32906 3225.46/3232.83 c #Conflicts: 2053000 | #Constraints: 33906 3225.46/3232.83 c #Conflicts: 2054000 | #Constraints: 34906 3225.46/3232.83 c #Conflicts: 2055000 | #Constraints: 35906 3225.46/3232.83 c #Conflicts: 2056000 | #Constraints: 36906 3225.46/3232.83 c #Conflicts: 2057000 | #Constraints: 37906 3225.46/3232.83 c #Conflicts: 2058000 | #Constraints: 38906 3225.46/3232.83 c #Conflicts: 2059000 | #Constraints: 39906 3225.46/3232.83 c #Conflicts: 2060000 | #Constraints: 40906 3225.46/3232.83 c #Conflicts: 2061000 | #Constraints: 41906 3225.46/3232.83 c #Conflicts: 2062000 | #Constraints: 42906 3225.46/3232.83 c #Conflicts: 2063000 | #Constraints: 43906 3225.46/3232.83 c #Conflicts: 2064000 | #Constraints: 44906 3225.46/3232.83 c #Conflicts: 2065000 | #Constraints: 45906 3225.46/3232.83 c #Conflicts: 2066000 | #Constraints: 46906 3225.46/3232.83 c #Conflicts: 2067000 | #Constraints: 47906 3225.46/3232.83 c #Conflicts: 2068000 | #Constraints: 48906 3225.46/3232.83 c #Conflicts: 2069000 | #Constraints: 49906 3225.46/3232.83 c #Conflicts: 2070000 | #Constraints: 50906 3225.46/3232.83 c #Conflicts: 2071000 | #Constraints: 51906 3225.46/3232.83 c #Conflicts: 2072000 | #Constraints: 52906 3225.46/3232.83 c #Conflicts: 2073000 | #Constraints: 53906 3225.46/3232.83 c #Conflicts: 2074000 | #Constraints: 54906 3225.46/3232.83 c #Conflicts: 2075000 | #Constraints: 55906 3225.46/3232.83 c #Conflicts: 2076000 | #Constraints: 56906 3225.46/3232.83 c #Conflicts: 2077000 | #Constraints: 57906 3225.46/3232.83 c #Conflicts: 2078000 | #Constraints: 58906 3225.46/3232.83 c #Conflicts: 2079000 | #Constraints: 59906 3225.46/3232.83 c INPROCESSING 3225.46/3232.83 c GARBAGE COLLECT 3225.46/3232.83 c rational objective 55 3318.23/3325.82 c #Conflicts: 2080000 | #Constraints: 32253 3318.23/3325.82 c #Conflicts: 2081000 | #Constraints: 33254 3318.23/3325.82 c #Conflicts: 2082000 | #Constraints: 34267 3318.23/3325.82 c #Conflicts: 2083000 | #Constraints: 35274 3318.23/3325.82 c #Conflicts: 2084000 | #Constraints: 36274 3318.23/3325.82 c #Conflicts: 2085000 | #Constraints: 37282 3318.23/3325.82 c #Conflicts: 2086000 | #Constraints: 38313 3318.23/3325.82 c #Conflicts: 2087000 | #Constraints: 39321 3318.23/3325.82 c #Conflicts: 2088000 | #Constraints: 40331 3318.23/3325.82 c #Conflicts: 2089000 | #Constraints: 41343 3318.23/3325.82 c #Conflicts: 2090000 | #Constraints: 42355 3318.23/3325.82 c #Conflicts: 2091000 | #Constraints: 43392 3318.23/3325.82 c #Conflicts: 2092000 | #Constraints: 44395 3318.23/3325.82 c #Conflicts: 2093000 | #Constraints: 45404 3318.23/3325.82 c #Conflicts: 2094000 | #Constraints: 46412 3318.23/3325.82 c #Conflicts: 2095000 | #Constraints: 47414 3318.23/3325.82 c #Conflicts: 2096000 | #Constraints: 48577 3318.23/3325.82 c #Conflicts: 2097000 | #Constraints: 49732 3318.23/3325.82 c #Conflicts: 2098000 | #Constraints: 50748 3318.23/3325.82 c #Conflicts: 2099000 | #Constraints: 51812 3318.23/3325.82 c #Conflicts: 2100000 | #Constraints: 52812 3318.23/3325.82 c #Conflicts: 2101000 | #Constraints: 53812 3318.23/3325.82 c #Conflicts: 2102000 | #Constraints: 55021 3318.23/3325.82 c #Conflicts: 2103000 | #Constraints: 56706 3318.23/3325.82 c #Conflicts: 2104000 | #Constraints: 58434 3318.23/3325.82 c #Conflicts: 2105000 | #Constraints: 59476 3318.23/3325.82 c #Conflicts: 2106000 | #Constraints: 60522 3318.23/3325.82 c #Conflicts: 2107000 | #Constraints: 61709 3318.23/3325.82 c #Conflicts: 2108000 | #Constraints: 62954 3318.23/3325.82 c INPROCESSING 3318.23/3325.82 c GARBAGE COLLECT 3318.23/3325.82 c rational objective 55 3374.00/3381.72 c #Conflicts: 2109000 | #Constraints: 33776 3374.00/3381.72 c #Conflicts: 2110000 | #Constraints: 34776 3374.00/3381.72 c #Conflicts: 2111000 | #Constraints: 35776 3374.00/3381.72 c #Conflicts: 2112000 | #Constraints: 36776 3374.00/3381.72 c #Conflicts: 2113000 | #Constraints: 37776 3374.00/3381.72 c #Conflicts: 2114000 | #Constraints: 38776 3374.00/3381.72 c #Conflicts: 2115000 | #Constraints: 39776 3374.00/3381.72 c #Conflicts: 2116000 | #Constraints: 40776 3374.00/3381.72 c #Conflicts: 2117000 | #Constraints: 41776 3374.00/3381.72 c #Conflicts: 2118000 | #Constraints: 42776 3374.00/3381.72 c #Conflicts: 2119000 | #Constraints: 43776 3374.00/3381.72 c #Conflicts: 2120000 | #Constraints: 44776 3374.00/3381.72 c #Conflicts: 2121000 | #Constraints: 45776 3374.00/3381.72 c #Conflicts: 2122000 | #Constraints: 46776 3374.00/3381.72 c #Conflicts: 2123000 | #Constraints: 47776 3374.00/3381.72 c #Conflicts: 2124000 | #Constraints: 48776 3374.00/3381.72 c #Conflicts: 2125000 | #Constraints: 49776 3374.00/3381.72 c #Conflicts: 2126000 | #Constraints: 50776 3374.00/3381.72 c #Conflicts: 2127000 | #Constraints: 51776 3374.00/3381.72 c #Conflicts: 2128000 | #Constraints: 52776 3374.00/3381.72 c #Conflicts: 2129000 | #Constraints: 53776 3374.00/3381.72 c #Conflicts: 2130000 | #Constraints: 54776 3374.00/3381.72 c #Conflicts: 2131000 | #Constraints: 55776 3374.00/3381.72 c #Conflicts: 2132000 | #Constraints: 56776 3374.00/3381.72 c #Conflicts: 2133000 | #Constraints: 57776 3374.00/3381.72 c #Conflicts: 2134000 | #Constraints: 58776 3374.00/3381.72 c #Conflicts: 2135000 | #Constraints: 59776 3374.00/3381.72 c #Conflicts: 2136000 | #Constraints: 60776 3374.00/3381.72 c #Conflicts: 2137000 | #Constraints: 61776 3374.00/3381.72 c INPROCESSING 3374.00/3381.72 c GARBAGE COLLECT 3374.00/3381.72 c rational objective 55 3431.55/3439.40 c #Conflicts: 2138000 | #Constraints: 33088 3431.55/3439.40 c #Conflicts: 2139000 | #Constraints: 34088 3431.55/3439.40 c #Conflicts: 2140000 | #Constraints: 35090 3431.55/3439.40 c #Conflicts: 2141000 | #Constraints: 36093 3431.55/3439.40 c #Conflicts: 2142000 | #Constraints: 37093 3431.55/3439.40 c #Conflicts: 2143000 | #Constraints: 38093 3431.55/3439.40 c #Conflicts: 2144000 | #Constraints: 39094 3431.55/3439.40 c #Conflicts: 2145000 | #Constraints: 40098 3431.55/3439.40 c #Conflicts: 2146000 | #Constraints: 41106 3431.55/3439.40 c #Conflicts: 2147000 | #Constraints: 42106 3431.55/3439.40 c #Conflicts: 2148000 | #Constraints: 43107 3431.55/3439.40 c #Conflicts: 2149000 | #Constraints: 44110 3431.55/3439.40 c #Conflicts: 2150000 | #Constraints: 45114 3431.55/3439.40 c #Conflicts: 2151000 | #Constraints: 46115 3431.55/3439.40 c #Conflicts: 2152000 | #Constraints: 47126 3431.55/3439.40 c #Conflicts: 2153000 | #Constraints: 48129 3431.55/3439.40 c #Conflicts: 2154000 | #Constraints: 49132 3431.55/3439.40 c #Conflicts: 2155000 | #Constraints: 50133 3431.55/3439.40 c #Conflicts: 2156000 | #Constraints: 51137 3431.55/3439.40 c #Conflicts: 2157000 | #Constraints: 52137 3431.55/3439.40 c #Conflicts: 2158000 | #Constraints: 53146 3431.55/3439.40 c #Conflicts: 2159000 | #Constraints: 54147 3431.55/3439.40 c #Conflicts: 2160000 | #Constraints: 55149 3431.55/3439.40 c #Conflicts: 2161000 | #Constraints: 56151 3431.55/3439.40 c #Conflicts: 2162000 | #Constraints: 57168 3431.55/3439.40 c #Conflicts: 2163000 | #Constraints: 58168 3431.55/3439.40 c #Conflicts: 2164000 | #Constraints: 59168 3431.55/3439.40 c #Conflicts: 2165000 | #Constraints: 60168 3431.55/3439.40 c #Conflicts: 2166000 | #Constraints: 61171 3431.55/3439.40 c INPROCESSING 3431.55/3439.40 c GARBAGE COLLECT 3431.55/3439.40 c rational objective 55 3509.47/3517.51 c #Conflicts: 2167000 | #Constraints: 32587 3509.47/3517.51 c #Conflicts: 2168000 | #Constraints: 33587 3509.47/3517.51 c #Conflicts: 2169000 | #Constraints: 34587 3509.47/3517.51 c #Conflicts: 2170000 | #Constraints: 35587 3509.47/3517.51 c #Conflicts: 2171000 | #Constraints: 36587 3509.47/3517.51 c #Conflicts: 2172000 | #Constraints: 37587 3509.47/3517.51 c #Conflicts: 2173000 | #Constraints: 38587 3509.47/3517.51 c #Conflicts: 2174000 | #Constraints: 39587 3509.47/3517.51 c #Conflicts: 2175000 | #Constraints: 40587 3509.47/3517.51 c #Conflicts: 2176000 | #Constraints: 41587 3509.47/3517.51 c #Conflicts: 2177000 | #Constraints: 42587 3509.47/3517.51 c #Conflicts: 2178000 | #Constraints: 43587 3509.47/3517.51 c #Conflicts: 2179000 | #Constraints: 44587 3509.47/3517.51 c #Conflicts: 2180000 | #Constraints: 45587 3509.47/3517.51 c #Conflicts: 2181000 | #Constraints: 46587 3509.47/3517.51 c #Conflicts: 2182000 | #Constraints: 47587 3509.47/3517.51 c #Conflicts: 2183000 | #Constraints: 48587 3509.47/3517.51 c #Conflicts: 2184000 | #Constraints: 49587 3509.47/3517.51 c #Conflicts: 2185000 | #Constraints: 50587 3509.47/3517.51 c #Conflicts: 2186000 | #Constraints: 51587 3509.47/3517.51 c #Conflicts: 2187000 | #Constraints: 52587 3509.47/3517.51 c #Conflicts: 2188000 | #Constraints: 53587 3509.47/3517.51 c #Conflicts: 2189000 | #Constraints: 54587 3509.47/3517.51 c #Conflicts: 2190000 | #Constraints: 55587 3509.47/3517.51 c #Conflicts: 2191000 | #Constraints: 56587 3509.47/3517.51 c #Conflicts: 2192000 | #Constraints: 57587 3509.47/3517.51 c #Conflicts: 2193000 | #Constraints: 58587 3509.47/3517.51 c #Conflicts: 2194000 | #Constraints: 59587 3509.47/3517.51 c #Conflicts: 2195000 | #Constraints: 60587 3509.47/3517.51 c #Conflicts: 2196000 | #Constraints: 61587 3509.47/3517.51 c INPROCESSING 3509.47/3517.51 c GARBAGE COLLECT 3509.47/3517.51 c rational objective 55 3570.52/3578.76 c #Conflicts: 2197000 | #Constraints: 32995 3570.52/3578.76 c #Conflicts: 2198000 | #Constraints: 33996 3570.52/3578.76 c #Conflicts: 2199000 | #Constraints: 34997 3570.52/3578.76 c #Conflicts: 2200000 | #Constraints: 35998 3570.52/3578.76 c #Conflicts: 2201000 | #Constraints: 37007 3570.52/3578.76 c #Conflicts: 2202000 | #Constraints: 38009 3570.52/3578.76 c #Conflicts: 2203000 | #Constraints: 39009 3570.52/3578.76 c #Conflicts: 2204000 | #Constraints: 40015 3570.52/3578.76 c #Conflicts: 2205000 | #Constraints: 41015 3570.52/3578.76 c #Conflicts: 2206000 | #Constraints: 42043 3570.52/3578.76 c #Conflicts: 2207000 | #Constraints: 43053 3570.52/3578.76 c #Conflicts: 2208000 | #Constraints: 44090 3570.52/3578.76 c #Conflicts: 2209000 | #Constraints: 45167 3570.52/3578.76 c #Conflicts: 2210000 | #Constraints: 46171 3570.52/3578.76 c #Conflicts: 2211000 | #Constraints: 47172 3570.52/3578.76 c #Conflicts: 2212000 | #Constraints: 48174 3570.52/3578.76 c #Conflicts: 2213000 | #Constraints: 49177 3570.52/3578.76 c #Conflicts: 2214000 | #Constraints: 50182 3570.52/3578.76 c #Conflicts: 2215000 | #Constraints: 51201 3570.52/3578.76 c #Conflicts: 2216000 | #Constraints: 52222 3570.52/3578.76 c #Conflicts: 2217000 | #Constraints: 53224 3570.52/3578.76 c #Conflicts: 2218000 | #Constraints: 54225 3570.52/3578.76 c #Conflicts: 2219000 | #Constraints: 55225 3570.52/3578.76 c #Conflicts: 2220000 | #Constraints: 56233 3570.52/3578.76 c #Conflicts: 2221000 | #Constraints: 57235 3570.52/3578.76 c #Conflicts: 2222000 | #Constraints: 58236 3570.52/3578.76 c #Conflicts: 2223000 | #Constraints: 59237 3570.52/3578.76 c #Conflicts: 2224000 | #Constraints: 60247 3570.52/3578.76 c #Conflicts: 2225000 | #Constraints: 61248 3570.52/3578.76 c #Conflicts: 2226000 | #Constraints: 62261 3570.52/3578.76 c INPROCESSING 3570.52/3578.76 c GARBAGE COLLECT 3570.52/3578.76 c rational objective 55 3600.04/3608.30 c #Conflicts: 2227000 | #Constraints: 33413 3600.04/3608.30 c #Conflicts: 2228000 | #Constraints: 34413 3600.04/3608.30 c #Conflicts: 2229000 | #Constraints: 35413 3600.04/3608.30 c #Conflicts: 2230000 | #Constraints: 36413 3600.04/3608.30 c #Conflicts: 2231000 | #Constraints: 37413 3600.04/3608.30 c #Conflicts: 2232000 | #Constraints: 38413 3600.04/3608.30 c #Conflicts: 2233000 | #Constraints: 39413 3600.04/3608.30 c #Conflicts: 2234000 | #Constraints: 40413 3600.04/3608.30 c #Conflicts: 2235000 | #Constraints: 41413 3600.04/3608.30 c #Conflicts: 2236000 | #Constraints: 42413 3600.04/3608.30 c #Conflicts: 2237000 | #Constraints: 43413 3600.04/3608.30 c #Conflicts: 2238000 | #Constraints: 44413 3600.04/3608.30 c Program interrupted by user. 3600.04/3608.30 c cpu time 3577.66 s 3600.04/3608.30 c deterministic time 436915296050 4.37e+11 3600.04/3608.30 c optimization time 29.3032 s 3600.04/3608.30 c total solve time 3548.34 s 3600.04/3608.30 c core-guided solve time 1695.32 s 3600.04/3608.30 c propagation time 3318.23 s 3600.04/3608.30 c conflict analysis time 229.663 s 3600.04/3608.30 c propagations 467294195 3600.04/3608.30 c resolve steps 12271019 3600.04/3608.30 c decisions 6607886 3600.04/3608.30 c conflicts 2238310 3600.04/3608.30 c restarts 4093 3600.04/3608.30 c inprocessing phases 140 3600.04/3608.30 c input clauses 2 3600.04/3608.30 c input cardinalities 0 3600.04/3608.30 c input general constraints 2453 3600.04/3608.30 c input average constraint length 25.25 3600.04/3608.30 c input average constraint degree 232.13 3600.04/3608.30 c learned clauses 840022 3600.04/3608.30 c learned cardinalities 14 3600.04/3608.30 c learned general constraints 1454822 3600.04/3608.30 c learned average constraint length 37.96 3600.04/3608.30 c learned average constraint degree 29892723.82 3600.04/3608.30 c watched constraints 1439172 3600.04/3608.30 c counting constraints 18103 3600.04/3608.30 c gcd simplifications 31334 3600.04/3608.30 c detected cardinalities 14 3600.04/3608.30 c weakened non-implied lits 6211898 3600.04/3608.30 c weakened non-implying lits 21635 3600.04/3608.30 c original variables 1288 3600.04/3608.30 c clausal propagations 8175445 3600.04/3608.30 c cardinality propagations 7892 3600.04/3608.30 c watched propagations 438522656 3600.04/3608.30 c counting propagations 19190105 3600.04/3608.30 c watch lookups 85161930081 3600.04/3608.30 c watch backjump lookups 75101321649 3600.04/3608.30 c watch checks 190921591284 3600.04/3608.30 c propagation checks 84410999395 3600.04/3608.30 c constraint additions 367121939 3600.04/3608.30 c trail pops 476139420 3600.04/3608.30 c formula constraints 2431 3600.04/3608.30 c learned constraints 2238308 3600.04/3608.30 c bound constraints 24 3600.04/3608.30 c core-guided constraints 0 3600.04/3608.30 c encountered formula constraints 8571156 3600.04/3608.30 c encountered learned constraints 5513327 3600.04/3608.30 c encountered bound constraints 4577 3600.04/3608.30 c encountered core-guided constraints 0 3600.04/3608.30 c LP total time 103.144 s 3600.04/3608.30 c LP solve time 89.73 s 3600.04/3608.30 c LP constraints added 3515 3600.04/3608.30 c LP constraints removed 1071 3600.04/3608.30 c LP pivots internal 2238450 3600.04/3608.30 c LP pivots root 51750 3600.04/3608.30 c LP calls 59903 3600.04/3608.30 c LP optimalities 3354 3600.04/3608.30 c LP no pivot count 212 3600.04/3608.30 c LP infeasibilities 56416 3600.04/3608.30 c LP valid Farkas constraints 56398 3600.04/3608.30 c LP learned Farkas constraints 1 3600.04/3608.30 c LP basis resets 131 3600.04/3608.30 c LP cycling count 53 3600.04/3608.30 c LP singular count 77 3600.04/3608.30 c LP no primal count 0 3600.04/3608.30 c LP no farkas count 0 3600.04/3608.30 c LP other issue count 1 3600.04/3608.30 c LP Gomory cuts 151 3600.04/3608.30 c LP learned cuts 933 3600.04/3608.30 c LP deleted cuts 1071 3600.04/3608.30 c LP encountered Gomory constraints 177225 3600.04/3608.30 c LP encountered Farkas constraints 243041 3600.04/3608.30 c LP encountered learned Farkas constraints 2 3600.04/3608.30 c CG auxiliary variables introduced 0 3600.04/3608.30 c CG solutions found 24 3600.04/3608.30 c CG cores constructed 0 3600.04/3608.30 c CG core cardinality constraints returned 0 3600.04/3608.30 c CG unit cores 0 3600.04/3608.30 c CG single cores 0 3600.04/3608.30 c CG blocks removed during cardinality reduction 0 3600.04/3608.30 c CG first core best 0 3600.04/3608.30 c CG decision core best 0 3600.04/3608.30 c CG core reduction tie 0 3600.04/3608.30 c CG core degree average 0.00 3600.04/3608.30 c CG core slack average 0.00 3600.04/3608.30 s SATISFIABLE 3600.04/3608.30 v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 -x42 x43 x44 x45 -x46 x47 -x48 -x49 -x50 x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 x65 -x66 -x67 -x68 x69 -x70 x71 -x72 x73 x74 x75 -x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 -x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 -x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 -x184 -x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 -x246 x247 x248 x249 x250 x251 x252 -x253 x254 x255 x256 x257 x258 x259 -x260 -x261 -x262 x263 x264 x265 x266 -x267 -x268 x269 x270 x271 x272 -x273 -x274 x275 x276 x277 -x278 -x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 -x300 x301 x302 x303 x304 x305 -x306 -x307 x308 x309 x310 x311 -x312 -x313 -x314 x315 x316 x317 -x318 -x319 x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 -x349 x350 x351 x352 -x353 -x354 x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 -x505 -x506 -x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 -x524 x525 x526 x527 x528 x529 x530 -x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 -x549 -x550 -x551 -x552 x553 x554 x555 x556 x557 x558 -x559 x560 x561 x562 x563 x564 x565 -x566 -x567 -x568 x569 x570 x571 x572 -x573 -x574 x575 x576 x577 x578 -x579 -x580 x581 x582 x583 -x584 -x585 x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 x596 x597 x598 x599 -x600 x601 x602 x603 x604 x605 -x606 -x607 x608 x609 x610 x611 -x612 -x613 -x614 x615 x616 x617 -x618 -x619 x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 -x644 x645 x646 x647 -x648 -x649 x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 -x783 x784 x785 x786 x787 x788 x789 x790 -x791 -x792 x793 x794 x795 x796 x797 -x798 -x799 x800 x801 x802 x803 -x804 x805 x806 x807 x808 -x809 x810 x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 x820 x821 x822 x823 x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 -x838 x839 x840 x841 -x842 -x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 -x857 x858 x859 x860 x861 -x862 -x863 x864 x865 x866 -x867 -x868 x869 x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 -x886 x887 x888 x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 x955 x956 x957 x958 -x959 -x960 x961 x962 x963 x964 -x965 x966 x967 x968 x969 -x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 x984 x985 -x986 -x987 x988 x989 x990 x991 -x992 -x993 x994 x995 x996 -x997 x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 x1010 x1011 -x1012 -x1013 x1014 x1015 x1016 -x1017 -x1018 x1019 x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 x1034 x1035 -x1036 x1037 x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 -x1111 -x1112 x1113 x1114 x1115 x1116 x1117 -x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 -x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 x1203 x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 -x1245 -x1246 -x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288
OK 75
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62485 MiB free)
memory of node 1: 64473 MiB (62706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455149-1721459786/watcher-4455149-1721459786 -o /tmp/evaluation-result-4455149-1721459786/solver-4455149-1721459786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040617 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455149-1721459786.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1042555, runsolver pid=1042552
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.14 4.09 5/250 1042564
/proc/meminfo: memFree=128189912/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=45092 memory=16132 CPUtime=0.1 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 4252 0 0 0 9 1 0 0 20 0 1 0 198145663 46174208 4033 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 11273 4033 1845 922 0 3225 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45092 KiB
Current children cumulated memory: 16132 KiB
[startup+0.205771 s]*
/proc/loadavg: 4.11 4.14 4.09 5/253 1042570
/proc/meminfo: memFree=128186284/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=47188 memory=18244 CPUtime=0.2 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 4774 0 0 0 18 2 0 0 20 0 1 0 198145663 48320512 4561 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 11797 4561 1845 922 0 3749 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47188 KiB
Current children cumulated memory: 18244 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.11 4.14 4.09 5/252 1042576
/proc/meminfo: memFree=128182660/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=48788 memory=20092 CPUtime=0.3 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 5258 0 0 0 28 2 0 0 20 0 1 0 198145663 49958912 5023 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 12197 5023 1845 922 0 4149 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48788 KiB
Current children cumulated memory: 20092 KiB
[startup+0.700204 s]
/proc/loadavg: 4.11 4.14 4.09 4/251 1042616
/proc/meminfo: memFree=128804016/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=50116 memory=21200 CPUtime=0.69 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 7033 0 0 0 65 4 0 0 20 0 1 0 198145663 51318784 5300 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 12529 5300 1845 922 0 4481 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50116 KiB
Current children cumulated memory: 21200 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.14 4.09 4/253 1042694
/proc/meminfo: memFree=128780512/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=50116 memory=21460 CPUtime=1.49 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 7122 0 0 0 142 7 0 0 20 0 1 0 198145663 51318784 5365 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 12529 5365 1845 922 0 4481 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50116 KiB
Current children cumulated memory: 21460 KiB
[startup+3.10537 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 1042740
/proc/meminfo: memFree=128236120/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=52280 memory=24584 CPUtime=3.08 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 9233 0 0 0 295 13 0 0 20 0 1 0 198145663 53534720 6146 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 13070 6146 1960 922 0 5022 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52280 KiB
Current children cumulated memory: 24584 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.14 4.09 5/255 1042833
/proc/meminfo: memFree=128573992/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=54228 memory=28468 CPUtime=6.27 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 11392 0 0 0 605 22 0 0 20 0 1 0 198145663 55529472 7117 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 13557 7117 1960 922 0 5509 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54228 KiB
Current children cumulated memory: 28468 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 1042833
/proc/meminfo: memFree=128557212/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=54260 memory=28632 CPUtime=12.66 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 14507 0 0 0 1227 39 0 0 20 0 1 0 198145663 55562240 7158 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 13565 7158 1960 922 0 5517 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54260 KiB
Current children cumulated memory: 28632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.09 5/255 1042836
/proc/meminfo: memFree=128516004/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=61108 memory=35456 CPUtime=25.43 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 18829 0 0 0 2477 66 0 0 20 0 1 0 198145663 62574592 8864 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 15277 8864 1960 922 0 7229 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 61108 KiB
Current children cumulated memory: 35456 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 1042839
/proc/meminfo: memFree=128491632/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=60260 memory=34448 CPUtime=50.98 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 21751 0 0 0 4983 115 0 0 20 0 1 0 198145663 61706240 8612 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 15065 8612 1960 922 0 7017 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 60260 KiB
Current children cumulated memory: 34448 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1042895
/proc/meminfo: memFree=128506344/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=59028 memory=33416 CPUtime=102.06 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 27499 0 0 0 10012 194 0 0 20 0 1 0 198145663 60444672 8354 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 14757 8354 1960 922 0 6709 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 59028 KiB
Current children cumulated memory: 33416 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 1042906
/proc/meminfo: memFree=128453304/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=68748 memory=43472 CPUtime=161.93 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 32114 0 0 0 15917 276 0 0 20 0 1 0 198145663 70397952 10868 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 17187 10868 1960 922 0 9139 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 68748 KiB
Current children cumulated memory: 43472 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1042921
/proc/meminfo: memFree=128439964/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=68620 memory=40176 CPUtime=221.8 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 39497 0 0 0 21826 354 0 0 20 0 1 0 198145663 70266880 10044 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 17155 10044 1960 922 0 9107 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 68620 KiB
Current children cumulated memory: 40176 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1042933
/proc/meminfo: memFree=128419380/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=75828 memory=47196 CPUtime=281.66 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 43266 0 0 0 27735 431 0 0 20 0 1 0 198145663 77647872 11799 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 18957 11799 1960 922 0 10909 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 75828 KiB
Current children cumulated memory: 47196 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1042943
/proc/meminfo: memFree=128377564/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=76368 memory=49684 CPUtime=341.53 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 45361 0 0 0 33656 497 0 0 20 0 1 0 198145663 78200832 12421 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 19092 12421 1960 922 0 11044 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 76368 KiB
Current children cumulated memory: 49684 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1042954
/proc/meminfo: memFree=128364444/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=80004 memory=53524 CPUtime=401.39 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 45792 0 0 0 39577 562 0 0 20 0 1 0 198145663 81924096 13381 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 20001 13381 1960 922 0 11953 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 80004 KiB
Current children cumulated memory: 53524 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1042965
/proc/meminfo: memFree=128351896/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=78496 memory=52012 CPUtime=461.26 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 46325 0 0 0 45507 619 0 0 20 0 1 0 198145663 80379904 13003 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 19624 13003 1960 922 0 11576 0
################
# More data... #
################
Current children cumulated memory: 80636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/254 1044810
/proc/meminfo: memFree=128013104/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=112476 memory=80856 CPUtime=2915.73 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 75105 0 0 0 289611 1962 0 0 20 0 1 0 198145663 115175424 20214 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28119 20214 1960 922 0 20071 0
Current children cumulated CPU time: 2915.73 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 80856 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/254 1044820
/proc/meminfo: memFree=128004924/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=112476 memory=81104 CPUtime=2975.58 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 75131 0 0 0 295564 1994 0 0 20 0 1 0 198145663 115175424 20276 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28119 20276 1960 922 0 20071 0
Current children cumulated CPU time: 2975.58 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 81104 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/254 1044830
/proc/meminfo: memFree=127994376/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=116220 memory=84848 CPUtime=3035.44 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 75585 0 0 0 301527 2017 0 0 20 0 1 0 198145663 119009280 21212 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 29055 21212 1960 922 0 21007 0
Current children cumulated CPU time: 3035.44 s
Current children cumulated vsize: 116220 KiB
Current children cumulated memory: 84848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/254 1044841
/proc/meminfo: memFree=127994060/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=116220 memory=84848 CPUtime=3095.29 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 75616 0 0 0 307499 2030 0 0 20 0 1 0 198145663 119009280 21212 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 29055 21212 1960 922 0 21007 0
Current children cumulated CPU time: 3095.29 s
Current children cumulated vsize: 116220 KiB
Current children cumulated memory: 84848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/254 1044851
/proc/meminfo: memFree=127982100/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=116220 memory=84848 CPUtime=3155.14 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 75646 0 0 0 313457 2057 0 0 20 0 1 0 198145663 119009280 21212 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 29055 21212 1960 922 0 21007 0
Current children cumulated CPU time: 3155.14 s
Current children cumulated vsize: 116220 KiB
Current children cumulated memory: 84848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/256 1044865
/proc/meminfo: memFree=127957532/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=116220 memory=84848 CPUtime=3215 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 75674 0 0 0 319414 2086 0 0 20 0 1 0 198145663 119009280 21212 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 29055 21212 1960 922 0 21007 0
Current children cumulated CPU time: 3215 s
Current children cumulated vsize: 116220 KiB
Current children cumulated memory: 84848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/256 1044876
/proc/meminfo: memFree=127924320/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=112360 memory=80968 CPUtime=3274.85 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 76105 0 0 0 325374 2111 0 0 20 0 1 0 198145663 115056640 20242 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28090 20242 1960 922 0 20042 0
Current children cumulated CPU time: 3274.85 s
Current children cumulated vsize: 112360 KiB
Current children cumulated memory: 80968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 1044886
/proc/meminfo: memFree=127910272/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=115780 memory=84408 CPUtime=3334.7 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 76478 0 0 0 331339 2131 0 0 20 0 1 0 198145663 118558720 21102 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28945 21102 1960 922 0 20897 0
Current children cumulated CPU time: 3334.7 s
Current children cumulated vsize: 115780 KiB
Current children cumulated memory: 84408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/256 1044897
/proc/meminfo: memFree=127907120/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=115780 memory=84408 CPUtime=3394.55 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 76506 0 0 0 337292 2163 0 0 20 0 1 0 198145663 118558720 21102 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28945 21102 1960 922 0 20897 0
Current children cumulated CPU time: 3394.55 s
Current children cumulated vsize: 115780 KiB
Current children cumulated memory: 84408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/256 1044908
/proc/meminfo: memFree=127903460/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=110864 memory=79620 CPUtime=3454.4 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 77845 0 0 0 343254 2186 0 0 20 0 1 0 198145663 113524736 19905 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 27716 19905 1960 922 0 19668 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 110864 KiB
Current children cumulated memory: 79620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/256 1044918
/proc/meminfo: memFree=127884708/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=110864 memory=79620 CPUtime=3514.26 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 77877 0 0 0 349219 2207 0 0 20 0 1 0 198145663 113524736 19905 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 27716 19905 1960 922 0 19668 0
Current children cumulated CPU time: 3514.26 s
Current children cumulated vsize: 110864 KiB
Current children cumulated memory: 79620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/254 1044928
/proc/meminfo: memFree=127800888/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=114648 memory=83112 CPUtime=3574.11 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 78745 0 0 0 355180 2231 0 0 20 0 1 0 198145663 117399552 20778 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28662 20778 1960 922 0 20614 0
Current children cumulated CPU time: 3574.11 s
Current children cumulated vsize: 114648 KiB
Current children cumulated memory: 83112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 1044932
/proc/meminfo: memFree=127798928/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=114648 memory=83112 CPUtime=3600.04 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 78745 0 0 0 357765 2239 0 0 20 0 1 0 198145663 117399552 20778 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28662 20778 1960 922 0 20614 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 114648 KiB
Current children cumulated memory: 83112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.3 s]
# the end of solver process 1042555 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.66 s, system=22.3987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 1044932
/proc/meminfo: memFree=127798928/131524600 swapFree=131071996/131071996
[pid=1042555] ppid=1042552 vsize=114648 memory=83112 CPUtime=3600.04 cores=4,6
/proc/1042555/stat : 1042555 (roundingsat) R 1042552 1042555 1040606 0 -1 4194304 78745 0 0 0 357765 2239 0 0 20 0 1 0 198145663 117399552 20778 134679101440 4194304 7968373 140734520972592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 12861440 140734520976316 140734520976480 140734520976480 140734520983497 0
/proc/1042555/statm: 28662 20778 1960 922 0 20614 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 114648 KiB
Current children cumulated memory: 83112 KiB
Child status: 0
Real time (s): 3608.3
CPU time (s): 3600.06
CPU user time (s): 3577.66
CPU system time (s): 22.3987
CPU usage (%): 99.7715
Max. virtual memory (cumulated for all children) (KiB): 116220
Max. memory (cumulated for all children) (KiB): 84848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.66
system time used= 22.3987
maximum resident set size= 88136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78754
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= 24
involuntary context switches= 1373
# summary of solver processes directly reported to runsolver:
# pid: 1042555
# total CPU time (s): 3600.06
# total CPU user time (s): 3577.66
# total CPU system time (s): 22.3987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39895 second user time and 15.2553 second system time
The end
Begin job on nodeC028 at 2024-07-20 09:16:39 IDJOB=4455149 IDBENCH=147695 IDSOLVER=3084 FILE ID=nodeC028/4455149-1721459786 RUNJOBID= nodeC028-1721456189-1040617 SLURM_JOB_ID= 7545691 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.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-4455149-1721459786/watcher-4455149-1721459786 -o /tmp/evaluation-result-4455149-1721459786/solver-4455149-1721459786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040617 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455149-1721459786.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f RANDOM SEED=1300798766 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.297 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3693.384 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3648.838 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.192 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.864 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.213 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3647.565 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3623.246 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128197216 kB MemAvailable: 128728804 kB Buffers: 545564 kB Cached: 834580 kB SwapCached: 0 kB Active: 1075984 kB Inactive: 1651572 kB Active(anon): 1560 kB Inactive(anon): 1391440 kB Active(file): 1074424 kB Inactive(file): 260132 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5664 kB Writeback: 0 kB AnonPages: 1342052 kB Mapped: 114748 kB Shmem: 45912 kB KReclaimable: 73712 kB Slab: 181828 kB SReclaimable: 73712 kB SUnreclaim: 108116 kB KernelStack: 4192 kB PageTables: 11904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2038876 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 759808 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: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890044 MiB End job on nodeC028 at 2024-07-20 10:16:47