| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | UNSAT | 801.543 | 803.69 |
| Name | PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x80split.opb |
| MD5SUM | 1a3ecc72c33db076137ced748302e815 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.93963 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 801 |
| Total number of constraints | 401 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 401 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 6 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 801 #constraints 802 0.00/0.01 c rational objective 400.5 0.20/0.21 c #Conflicts: 1000 | #Constraints: 1820 0.20/0.21 c #Conflicts: 2000 | #Constraints: 2826 0.20/0.21 c INPROCESSING 0.20/0.21 c GARBAGE COLLECT 0.20/0.21 c rational objective 400.5 0.30/0.38 c #Conflicts: 3000 | #Constraints: 2861 0.30/0.38 c #Conflicts: 4000 | #Constraints: 3866 0.30/0.38 c INPROCESSING 0.30/0.38 c GARBAGE COLLECT 0.30/0.38 c rational objective 400.5 0.60/0.62 c #Conflicts: 5000 | #Constraints: 3278 0.60/0.62 c #Conflicts: 6000 | #Constraints: 4283 0.60/0.62 c INPROCESSING 0.60/0.62 c GARBAGE COLLECT 0.60/0.62 c rational objective 400.5 0.78/0.86 c #Conflicts: 7000 | #Constraints: 3282 0.78/0.86 c #Conflicts: 8000 | #Constraints: 4287 0.78/0.86 c #Conflicts: 9000 | #Constraints: 5289 0.78/0.86 c INPROCESSING 0.78/0.86 c GARBAGE COLLECT 0.78/0.86 c rational objective 400.5 1.09/1.14 c #Conflicts: 10000 | #Constraints: 3989 1.09/1.14 c #Conflicts: 11000 | #Constraints: 4995 1.09/1.14 c #Conflicts: 12000 | #Constraints: 5996 1.09/1.14 c INPROCESSING 1.09/1.14 c GARBAGE COLLECT 1.09/1.14 c rational objective 400.5 1.39/1.44 c #Conflicts: 13000 | #Constraints: 4452 1.39/1.44 c #Conflicts: 14000 | #Constraints: 5459 1.39/1.44 c #Conflicts: 15000 | #Constraints: 6460 1.39/1.44 c INPROCESSING 1.39/1.44 c GARBAGE COLLECT 1.39/1.44 c rational objective 400.5 1.99/2.02 c #Conflicts: 16000 | #Constraints: 4683 1.99/2.02 c #Conflicts: 17000 | #Constraints: 5685 1.99/2.02 c #Conflicts: 18000 | #Constraints: 6686 1.99/2.02 c INPROCESSING 1.99/2.02 c GARBAGE COLLECT 1.99/2.02 c rational objective 400.5 2.29/2.39 c #Conflicts: 19000 | #Constraints: 4693 2.29/2.39 c #Conflicts: 20000 | #Constraints: 5696 2.29/2.39 c #Conflicts: 21000 | #Constraints: 6699 2.29/2.39 c INPROCESSING 2.29/2.39 c GARBAGE COLLECT 2.29/2.39 c rational objective 400.5 2.68/2.76 c #Conflicts: 22000 | #Constraints: 4498 2.68/2.76 c #Conflicts: 23000 | #Constraints: 5498 2.68/2.76 c #Conflicts: 24000 | #Constraints: 6502 2.68/2.76 c #Conflicts: 25000 | #Constraints: 7507 2.68/2.76 c INPROCESSING 2.68/2.76 c GARBAGE COLLECT 2.68/2.76 c rational objective 400.5 3.08/3.13 c #Conflicts: 26000 | #Constraints: 5118 3.08/3.13 c #Conflicts: 27000 | #Constraints: 6119 3.08/3.13 c #Conflicts: 28000 | #Constraints: 7123 3.08/3.13 c #Conflicts: 29000 | #Constraints: 8127 3.08/3.13 c INPROCESSING 3.08/3.13 c GARBAGE COLLECT 3.08/3.13 c rational objective 400.5 3.48/3.55 c #Conflicts: 30000 | #Constraints: 5512 3.48/3.55 c #Conflicts: 31000 | #Constraints: 6514 3.48/3.55 c #Conflicts: 32000 | #Constraints: 7516 3.48/3.55 c #Conflicts: 33000 | #Constraints: 8518 3.48/3.55 c INPROCESSING 3.48/3.55 c GARBAGE COLLECT 3.48/3.55 c rational objective 400.5 3.99/4.09 c #Conflicts: 34000 | #Constraints: 5721 3.99/4.09 c #Conflicts: 35000 | #Constraints: 6723 3.99/4.09 c #Conflicts: 36000 | #Constraints: 7724 3.99/4.09 c #Conflicts: 37000 | #Constraints: 8728 3.99/4.09 c INPROCESSING 3.99/4.09 c GARBAGE COLLECT 3.99/4.09 c rational objective 400.5 4.57/4.67 c #Conflicts: 38000 | #Constraints: 5721 4.57/4.67 c #Conflicts: 39000 | #Constraints: 6722 4.57/4.67 c #Conflicts: 40000 | #Constraints: 7722 4.57/4.67 c #Conflicts: 41000 | #Constraints: 8722 4.57/4.67 c INPROCESSING 4.57/4.67 c GARBAGE COLLECT 4.57/4.67 c rational objective 400.5 5.28/5.30 c #Conflicts: 42000 | #Constraints: 5520 5.28/5.30 c #Conflicts: 43000 | #Constraints: 6521 5.28/5.30 c #Conflicts: 44000 | #Constraints: 7522 5.28/5.30 c #Conflicts: 45000 | #Constraints: 8523 5.28/5.30 c #Conflicts: 46000 | #Constraints: 9525 5.28/5.30 c INPROCESSING 5.28/5.30 c GARBAGE COLLECT 5.28/5.30 c rational objective 400.5 5.77/5.80 c #Conflicts: 47000 | #Constraints: 6114 5.77/5.80 c #Conflicts: 48000 | #Constraints: 7114 5.77/5.80 c #Conflicts: 49000 | #Constraints: 8116 5.77/5.80 c #Conflicts: 50000 | #Constraints: 9119 5.77/5.80 c #Conflicts: 51000 | #Constraints: 10120 5.77/5.80 c INPROCESSING 5.77/5.80 c GARBAGE COLLECT 5.77/5.80 c rational objective 400.5 6.27/6.35 c #Conflicts: 52000 | #Constraints: 6521 6.27/6.35 c #Conflicts: 53000 | #Constraints: 7522 6.27/6.35 c #Conflicts: 54000 | #Constraints: 8524 6.27/6.35 c #Conflicts: 55000 | #Constraints: 9524 6.27/6.35 c #Conflicts: 56000 | #Constraints: 10527 6.27/6.35 c INPROCESSING 6.27/6.35 c GARBAGE COLLECT 6.27/6.35 c rational objective 400.5 6.87/6.93 c #Conflicts: 57000 | #Constraints: 6728 6.87/6.93 c #Conflicts: 58000 | #Constraints: 7730 6.87/6.93 c #Conflicts: 59000 | #Constraints: 8730 6.87/6.93 c #Conflicts: 60000 | #Constraints: 9731 6.87/6.93 c #Conflicts: 61000 | #Constraints: 10732 6.87/6.93 c INPROCESSING 6.87/6.93 c GARBAGE COLLECT 6.87/6.93 c rational objective 400.5 7.47/7.51 c #Conflicts: 62000 | #Constraints: 6732 7.47/7.51 c #Conflicts: 63000 | #Constraints: 7733 7.47/7.51 c #Conflicts: 64000 | #Constraints: 8736 7.47/7.51 c #Conflicts: 65000 | #Constraints: 9739 7.47/7.51 c #Conflicts: 66000 | #Constraints: 10742 7.47/7.51 c INPROCESSING 7.47/7.51 c GARBAGE COLLECT 7.47/7.51 c rational objective 400.5 8.07/8.15 c #Conflicts: 67000 | #Constraints: 6529 8.07/8.15 c #Conflicts: 68000 | #Constraints: 7529 8.07/8.15 c #Conflicts: 69000 | #Constraints: 8531 8.07/8.15 c #Conflicts: 70000 | #Constraints: 9531 8.07/8.15 c #Conflicts: 71000 | #Constraints: 10532 8.07/8.15 c #Conflicts: 72000 | #Constraints: 11532 8.07/8.15 c INPROCESSING 8.07/8.15 c GARBAGE COLLECT 8.07/8.15 c rational objective 400.5 8.67/8.74 c #Conflicts: 73000 | #Constraints: 7126 8.67/8.74 c #Conflicts: 74000 | #Constraints: 8127 8.67/8.74 c #Conflicts: 75000 | #Constraints: 9127 8.67/8.74 c #Conflicts: 76000 | #Constraints: 10128 8.67/8.74 c #Conflicts: 77000 | #Constraints: 11129 8.67/8.74 c #Conflicts: 78000 | #Constraints: 12132 8.67/8.74 c INPROCESSING 8.67/8.74 c GARBAGE COLLECT 8.67/8.74 c rational objective 400.5 9.47/9.51 c #Conflicts: 79000 | #Constraints: 7525 9.47/9.51 c #Conflicts: 80000 | #Constraints: 8527 9.47/9.51 c #Conflicts: 81000 | #Constraints: 9527 9.47/9.51 c #Conflicts: 82000 | #Constraints: 10527 9.47/9.51 c #Conflicts: 83000 | #Constraints: 11527 9.47/9.51 c #Conflicts: 84000 | #Constraints: 12527 9.47/9.51 c INPROCESSING 9.47/9.51 c GARBAGE COLLECT 9.47/9.51 c rational objective 400.5 10.26/10.38 c #Conflicts: 85000 | #Constraints: 7725 10.26/10.38 c #Conflicts: 86000 | #Constraints: 8725 10.26/10.38 c #Conflicts: 87000 | #Constraints: 9725 10.26/10.38 c #Conflicts: 88000 | #Constraints: 10725 10.26/10.38 c #Conflicts: 89000 | #Constraints: 11726 10.26/10.38 c #Conflicts: 90000 | #Constraints: 12729 10.26/10.38 c INPROCESSING 10.26/10.38 c GARBAGE COLLECT 10.26/10.38 c rational objective 400.5 11.07/11.19 c #Conflicts: 91000 | #Constraints: 7729 11.07/11.19 c #Conflicts: 92000 | #Constraints: 8729 11.07/11.19 c #Conflicts: 93000 | #Constraints: 9730 11.07/11.19 c #Conflicts: 94000 | #Constraints: 10730 11.07/11.19 c #Conflicts: 95000 | #Constraints: 11730 11.07/11.19 c #Conflicts: 96000 | #Constraints: 12731 11.07/11.19 c INPROCESSING 11.07/11.19 c GARBAGE COLLECT 11.07/11.19 c rational objective 400.5 12.06/12.18 c #Conflicts: 97000 | #Constraints: 7529 12.06/12.18 c #Conflicts: 98000 | #Constraints: 8530 12.06/12.18 c #Conflicts: 99000 | #Constraints: 9530 12.06/12.18 c #Conflicts: 100000 | #Constraints: 10530 12.06/12.18 c #Conflicts: 101000 | #Constraints: 11530 12.06/12.18 c #Conflicts: 102000 | #Constraints: 12531 12.06/12.18 c #Conflicts: 103000 | #Constraints: 13531 12.06/12.18 c INPROCESSING 12.06/12.18 c GARBAGE COLLECT 12.06/12.18 c rational objective 400.5 12.85/12.97 c #Conflicts: 104000 | #Constraints: 8120 12.85/12.97 c #Conflicts: 105000 | #Constraints: 9120 12.85/12.97 c #Conflicts: 106000 | #Constraints: 10120 12.85/12.97 c #Conflicts: 107000 | #Constraints: 11123 12.85/12.97 c #Conflicts: 108000 | #Constraints: 12124 12.85/12.97 c #Conflicts: 109000 | #Constraints: 13125 12.85/12.97 c #Conflicts: 110000 | #Constraints: 14125 12.85/12.97 c INPROCESSING 12.85/12.97 c GARBAGE COLLECT 12.85/12.97 c rational objective 400.5 13.75/13.81 c #Conflicts: 111000 | #Constraints: 8519 13.75/13.81 c #Conflicts: 112000 | #Constraints: 9520 13.75/13.81 c #Conflicts: 113000 | #Constraints: 10522 13.75/13.81 c #Conflicts: 114000 | #Constraints: 11523 13.75/13.81 c #Conflicts: 115000 | #Constraints: 12524 13.75/13.81 c #Conflicts: 116000 | #Constraints: 13524 13.75/13.81 c #Conflicts: 117000 | #Constraints: 14524 13.75/13.81 c INPROCESSING 13.75/13.81 c GARBAGE COLLECT 13.75/13.81 c rational objective 400.5 14.55/14.62 c #Conflicts: 118000 | #Constraints: 8725 14.55/14.62 c #Conflicts: 119000 | #Constraints: 9726 14.55/14.62 c #Conflicts: 120000 | #Constraints: 10726 14.55/14.62 c #Conflicts: 121000 | #Constraints: 11726 14.55/14.62 c #Conflicts: 122000 | #Constraints: 12726 14.55/14.62 c #Conflicts: 123000 | #Constraints: 13726 14.55/14.62 c #Conflicts: 124000 | #Constraints: 14727 14.55/14.62 c INPROCESSING 14.55/14.62 c GARBAGE COLLECT 14.55/14.62 c rational objective 400.5 15.45/15.54 c #Conflicts: 125000 | #Constraints: 8726 15.45/15.54 c #Conflicts: 126000 | #Constraints: 9726 15.45/15.54 c #Conflicts: 127000 | #Constraints: 10727 15.45/15.54 c #Conflicts: 128000 | #Constraints: 11728 15.45/15.54 c #Conflicts: 129000 | #Constraints: 12728 15.45/15.54 c #Conflicts: 130000 | #Constraints: 13728 15.45/15.54 c #Conflicts: 131000 | #Constraints: 14728 15.45/15.54 c INPROCESSING 15.45/15.54 c GARBAGE COLLECT 15.45/15.54 c rational objective 400.5 16.34/16.47 c #Conflicts: 132000 | #Constraints: 8518 16.34/16.47 c #Conflicts: 133000 | #Constraints: 9518 16.34/16.47 c #Conflicts: 134000 | #Constraints: 10520 16.34/16.47 c #Conflicts: 135000 | #Constraints: 11521 16.34/16.47 c #Conflicts: 136000 | #Constraints: 12521 16.34/16.47 c #Conflicts: 137000 | #Constraints: 13522 16.34/16.47 c #Conflicts: 138000 | #Constraints: 14523 16.34/16.47 c #Conflicts: 139000 | #Constraints: 15523 16.34/16.47 c INPROCESSING 16.34/16.47 c GARBAGE COLLECT 16.34/16.47 c rational objective 400.5 17.34/17.49 c #Conflicts: 140000 | #Constraints: 9125 17.34/17.49 c #Conflicts: 141000 | #Constraints: 10125 17.34/17.49 c #Conflicts: 142000 | #Constraints: 11125 17.34/17.49 c #Conflicts: 143000 | #Constraints: 12125 17.34/17.49 c #Conflicts: 144000 | #Constraints: 13127 17.34/17.49 c #Conflicts: 145000 | #Constraints: 14128 17.34/17.49 c #Conflicts: 146000 | #Constraints: 15128 17.34/17.49 c #Conflicts: 147000 | #Constraints: 16128 17.34/17.49 c INPROCESSING 17.34/17.49 c GARBAGE COLLECT 17.34/17.49 c rational objective 400.5 18.95/19.07 c #Conflicts: 148000 | #Constraints: 9834 18.95/19.07 c #Conflicts: 149000 | #Constraints: 11576 18.95/19.07 c #Conflicts: 150000 | #Constraints: 13333 18.95/19.07 c #Conflicts: 151000 | #Constraints: 15025 18.95/19.07 c #Conflicts: 152000 | #Constraints: 16818 18.95/19.07 c #Conflicts: 153000 | #Constraints: 18494 18.95/19.07 c #Conflicts: 154000 | #Constraints: 20256 18.95/19.07 c #Conflicts: 155000 | #Constraints: 21913 18.95/19.07 c INPROCESSING 18.95/19.07 c GARBAGE COLLECT 18.95/19.07 c rational objective 400.5 20.94/21.09 c #Conflicts: 156000 | #Constraints: 13189 20.94/21.09 c #Conflicts: 157000 | #Constraints: 14948 20.94/21.09 c #Conflicts: 158000 | #Constraints: 16732 20.94/21.09 c #Conflicts: 159000 | #Constraints: 18476 20.94/21.09 c #Conflicts: 160000 | #Constraints: 20228 20.94/21.09 c #Conflicts: 161000 | #Constraints: 21968 20.94/21.09 c #Conflicts: 162000 | #Constraints: 23575 20.94/21.09 c #Conflicts: 163000 | #Constraints: 25225 20.94/21.09 c INPROCESSING 20.94/21.09 c GARBAGE COLLECT 20.94/21.09 c rational objective 400.5 23.22/23.35 c #Conflicts: 164000 | #Constraints: 14596 23.22/23.35 c #Conflicts: 165000 | #Constraints: 16226 23.22/23.35 c #Conflicts: 166000 | #Constraints: 17842 23.22/23.35 c #Conflicts: 167000 | #Constraints: 19561 23.22/23.35 c #Conflicts: 168000 | #Constraints: 21310 23.22/23.35 c #Conflicts: 169000 | #Constraints: 23062 23.22/23.35 c #Conflicts: 170000 | #Constraints: 24755 23.22/23.35 c #Conflicts: 171000 | #Constraints: 26471 23.22/23.35 c INPROCESSING 23.22/23.35 c GARBAGE COLLECT 23.22/23.35 c rational objective 400.5 25.62/25.75 c #Conflicts: 172000 | #Constraints: 14956 25.62/25.75 c #Conflicts: 173000 | #Constraints: 16680 25.62/25.75 c #Conflicts: 174000 | #Constraints: 18442 25.62/25.75 c #Conflicts: 175000 | #Constraints: 20161 25.62/25.75 c #Conflicts: 176000 | #Constraints: 21935 25.62/25.75 c #Conflicts: 177000 | #Constraints: 23628 25.62/25.75 c #Conflicts: 178000 | #Constraints: 25324 25.62/25.75 c #Conflicts: 179000 | #Constraints: 27048 25.62/25.75 c #Conflicts: 180000 | #Constraints: 28823 25.62/25.75 c INPROCESSING 25.62/25.75 c GARBAGE COLLECT 25.62/25.75 c rational objective 400.5 27.81/27.91 c #Conflicts: 181000 | #Constraints: 16463 27.81/27.91 c #Conflicts: 182000 | #Constraints: 18058 27.81/27.91 c #Conflicts: 183000 | #Constraints: 19725 27.81/27.91 c #Conflicts: 184000 | #Constraints: 21423 27.81/27.91 c #Conflicts: 185000 | #Constraints: 23058 27.81/27.91 c #Conflicts: 186000 | #Constraints: 24746 27.81/27.91 c #Conflicts: 187000 | #Constraints: 26528 27.81/27.91 c #Conflicts: 188000 | #Constraints: 28245 27.81/27.91 c #Conflicts: 189000 | #Constraints: 29930 27.81/27.91 c INPROCESSING 27.81/27.91 c GARBAGE COLLECT 27.81/27.91 c rational objective 400.5 29.80/29.94 c #Conflicts: 190000 | #Constraints: 17086 29.80/29.94 c #Conflicts: 191000 | #Constraints: 18776 29.80/29.94 c #Conflicts: 192000 | #Constraints: 20495 29.80/29.94 c #Conflicts: 193000 | #Constraints: 22228 29.80/29.94 c #Conflicts: 194000 | #Constraints: 23994 29.80/29.94 c #Conflicts: 195000 | #Constraints: 25703 29.80/29.94 c #Conflicts: 196000 | #Constraints: 27398 29.80/29.94 c #Conflicts: 197000 | #Constraints: 29120 29.80/29.94 c #Conflicts: 198000 | #Constraints: 30743 29.80/29.94 c INPROCESSING 29.80/29.94 c GARBAGE COLLECT 29.80/29.94 c rational objective 400.5 32.00/32.18 c #Conflicts: 199000 | #Constraints: 17583 32.00/32.18 c #Conflicts: 200000 | #Constraints: 19219 32.00/32.18 c #Conflicts: 201000 | #Constraints: 20903 32.00/32.18 c #Conflicts: 202000 | #Constraints: 22534 32.00/32.18 c #Conflicts: 203000 | #Constraints: 24196 32.00/32.18 c #Conflicts: 204000 | #Constraints: 25864 32.00/32.18 c #Conflicts: 205000 | #Constraints: 27513 32.00/32.18 c #Conflicts: 206000 | #Constraints: 29318 32.00/32.18 c #Conflicts: 207000 | #Constraints: 31037 32.00/32.18 c INPROCESSING 32.00/32.18 c GARBAGE COLLECT 32.00/32.18 c rational objective 400.5 34.30/34.43 c #Conflicts: 208000 | #Constraints: 17485 34.30/34.43 c #Conflicts: 209000 | #Constraints: 19080 34.30/34.43 c #Conflicts: 210000 | #Constraints: 20729 34.30/34.43 c #Conflicts: 211000 | #Constraints: 22380 34.30/34.43 c #Conflicts: 212000 | #Constraints: 24083 34.30/34.43 c #Conflicts: 213000 | #Constraints: 25737 34.30/34.43 c #Conflicts: 214000 | #Constraints: 27429 34.30/34.43 c #Conflicts: 215000 | #Constraints: 29187 34.30/34.43 c #Conflicts: 216000 | #Constraints: 30826 34.30/34.43 c INPROCESSING 34.30/34.43 c GARBAGE COLLECT 34.30/34.43 c rational objective 400.5 36.49/36.69 c #Conflicts: 217000 | #Constraints: 17093 36.49/36.69 c #Conflicts: 218000 | #Constraints: 18833 36.49/36.69 c #Conflicts: 219000 | #Constraints: 20562 36.49/36.69 c #Conflicts: 220000 | #Constraints: 22212 36.49/36.69 c #Conflicts: 221000 | #Constraints: 23924 36.49/36.69 c #Conflicts: 222000 | #Constraints: 25557 36.49/36.69 c #Conflicts: 223000 | #Constraints: 27225 36.49/36.69 c #Conflicts: 224000 | #Constraints: 28884 36.49/36.69 c #Conflicts: 225000 | #Constraints: 30522 36.49/36.69 c #Conflicts: 226000 | #Constraints: 32200 36.49/36.69 c INPROCESSING 36.49/36.69 c GARBAGE COLLECT 36.49/36.69 c rational objective 400.5 39.28/39.40 c #Conflicts: 227000 | #Constraints: 17997 39.28/39.40 c #Conflicts: 228000 | #Constraints: 19607 39.28/39.40 c #Conflicts: 229000 | #Constraints: 21197 39.28/39.40 c #Conflicts: 230000 | #Constraints: 22827 39.28/39.40 c #Conflicts: 231000 | #Constraints: 24521 39.28/39.40 c #Conflicts: 232000 | #Constraints: 26263 39.28/39.40 c #Conflicts: 233000 | #Constraints: 28012 39.28/39.40 c #Conflicts: 234000 | #Constraints: 29718 39.28/39.40 c #Conflicts: 235000 | #Constraints: 31447 39.28/39.40 c #Conflicts: 236000 | #Constraints: 33161 39.28/39.40 c INPROCESSING 39.28/39.40 c GARBAGE COLLECT 39.28/39.40 c rational objective 400.5 42.47/42.68 c #Conflicts: 237000 | #Constraints: 18794 42.47/42.68 c #Conflicts: 238000 | #Constraints: 20378 42.47/42.68 c #Conflicts: 239000 | #Constraints: 22083 42.47/42.68 c #Conflicts: 240000 | #Constraints: 23801 42.47/42.68 c #Conflicts: 241000 | #Constraints: 25513 42.47/42.68 c #Conflicts: 242000 | #Constraints: 27302 42.47/42.68 c #Conflicts: 243000 | #Constraints: 29024 42.47/42.68 c #Conflicts: 244000 | #Constraints: 30707 42.47/42.68 c #Conflicts: 245000 | #Constraints: 32385 42.47/42.68 c #Conflicts: 246000 | #Constraints: 34150 42.47/42.68 c INPROCESSING 42.47/42.68 c GARBAGE COLLECT 42.47/42.68 c rational objective 400.5 50.15/50.30 c #Conflicts: 247000 | #Constraints: 19253 50.15/50.30 c #Conflicts: 248000 | #Constraints: 20955 50.15/50.30 c #Conflicts: 249000 | #Constraints: 22630 50.15/50.30 c #Conflicts: 250000 | #Constraints: 24318 50.15/50.30 c #Conflicts: 251000 | #Constraints: 26110 50.15/50.30 c #Conflicts: 252000 | #Constraints: 27852 50.15/50.30 c #Conflicts: 253000 | #Constraints: 29549 50.15/50.30 c #Conflicts: 254000 | #Constraints: 31317 50.15/50.30 c #Conflicts: 255000 | #Constraints: 33020 50.15/50.30 c #Conflicts: 256000 | #Constraints: 34689 50.15/50.30 c INPROCESSING 50.15/50.30 c GARBAGE COLLECT 50.15/50.30 c #Conflicts: 257000 | #Constraints: 19424 50.15/50.30 c #Conflicts: 258000 | #Constraints: 21136 50.15/50.30 c #Conflicts: 259000 | #Constraints: 22790 50.15/50.30 c #Conflicts: 260000 | #Constraints: 24486 50.15/50.30 c #Conflicts: 261000 | #Constraints: 26184 50.15/50.30 c #Conflicts: 262000 | #Constraints: 27871 50.15/50.30 c #Conflicts: 263000 | #Constraints: 29572 50.15/50.30 c #Conflicts: 264000 | #Constraints: 31241 50.15/50.30 c #Conflicts: 265000 | #Constraints: 32830 50.15/50.30 c #Conflicts: 266000 | #Constraints: 34486 50.15/50.30 c INPROCESSING 50.15/50.30 c GARBAGE COLLECT 50.15/50.30 c rational objective 400.5 53.85/54.07 c #Conflicts: 267000 | #Constraints: 18855 53.85/54.07 c #Conflicts: 268000 | #Constraints: 20404 53.85/54.07 c #Conflicts: 269000 | #Constraints: 22086 53.85/54.07 c #Conflicts: 270000 | #Constraints: 23764 53.85/54.07 c #Conflicts: 271000 | #Constraints: 25464 53.85/54.07 c #Conflicts: 272000 | #Constraints: 27145 53.85/54.07 c #Conflicts: 273000 | #Constraints: 28801 53.85/54.07 c #Conflicts: 274000 | #Constraints: 30479 53.85/54.07 c #Conflicts: 275000 | #Constraints: 32070 53.85/54.07 c #Conflicts: 276000 | #Constraints: 33742 53.85/54.07 c #Conflicts: 277000 | #Constraints: 35453 53.85/54.07 c INPROCESSING 53.85/54.07 c GARBAGE COLLECT 53.85/54.07 c rational objective 400.5 57.53/57.75 c #Conflicts: 278000 | #Constraints: 19756 57.53/57.75 c #Conflicts: 279000 | #Constraints: 21399 57.53/57.75 c #Conflicts: 280000 | #Constraints: 23104 57.53/57.75 c #Conflicts: 281000 | #Constraints: 24742 57.53/57.75 c #Conflicts: 282000 | #Constraints: 26415 57.53/57.75 c #Conflicts: 283000 | #Constraints: 27985 57.53/57.75 c #Conflicts: 284000 | #Constraints: 29571 57.53/57.75 c #Conflicts: 285000 | #Constraints: 31333 57.53/57.75 c #Conflicts: 286000 | #Constraints: 33010 57.53/57.75 c #Conflicts: 287000 | #Constraints: 34733 57.53/57.75 c #Conflicts: 288000 | #Constraints: 36387 57.53/57.75 c INPROCESSING 57.53/57.75 c GARBAGE COLLECT 57.53/57.75 c rational objective 400.5 61.23/61.43 c #Conflicts: 289000 | #Constraints: 20369 61.23/61.43 c #Conflicts: 290000 | #Constraints: 21978 61.23/61.43 c #Conflicts: 291000 | #Constraints: 23710 61.23/61.43 c #Conflicts: 292000 | #Constraints: 25418 61.23/61.43 c #Conflicts: 293000 | #Constraints: 27101 61.23/61.43 c #Conflicts: 294000 | #Constraints: 28698 61.23/61.43 c #Conflicts: 295000 | #Constraints: 30400 61.23/61.43 c #Conflicts: 296000 | #Constraints: 32110 61.23/61.43 c #Conflicts: 297000 | #Constraints: 33848 61.23/61.43 c #Conflicts: 298000 | #Constraints: 35602 61.23/61.43 c #Conflicts: 299000 | #Constraints: 37282 61.23/61.43 c INPROCESSING 61.23/61.43 c GARBAGE COLLECT 61.23/61.43 c rational objective 400.5 65.31/65.58 c #Conflicts: 300000 | #Constraints: 20770 65.31/65.58 c #Conflicts: 301000 | #Constraints: 22309 65.31/65.58 c #Conflicts: 302000 | #Constraints: 24029 65.31/65.58 c #Conflicts: 303000 | #Constraints: 25718 65.31/65.58 c #Conflicts: 304000 | #Constraints: 27425 65.31/65.58 c #Conflicts: 305000 | #Constraints: 29164 65.31/65.58 c #Conflicts: 306000 | #Constraints: 30898 65.31/65.58 c #Conflicts: 307000 | #Constraints: 32619 65.31/65.58 c #Conflicts: 308000 | #Constraints: 34366 65.31/65.58 c #Conflicts: 309000 | #Constraints: 36154 65.31/65.58 c #Conflicts: 310000 | #Constraints: 37836 65.31/65.58 c INPROCESSING 65.31/65.58 c GARBAGE COLLECT 65.31/65.58 c rational objective 400.5 68.70/68.95 c #Conflicts: 311000 | #Constraints: 20893 68.70/68.95 c #Conflicts: 312000 | #Constraints: 22421 68.70/68.95 c #Conflicts: 313000 | #Constraints: 24066 68.70/68.95 c #Conflicts: 314000 | #Constraints: 25680 68.70/68.95 c #Conflicts: 315000 | #Constraints: 27467 68.70/68.95 c #Conflicts: 316000 | #Constraints: 29198 68.70/68.95 c #Conflicts: 317000 | #Constraints: 30949 68.70/68.95 c #Conflicts: 318000 | #Constraints: 32675 68.70/68.95 c #Conflicts: 319000 | #Constraints: 34459 68.70/68.95 c #Conflicts: 320000 | #Constraints: 36262 68.70/68.95 c #Conflicts: 321000 | #Constraints: 37827 68.70/68.95 c INPROCESSING 68.70/68.95 c GARBAGE COLLECT 68.70/68.95 c rational objective 400.5 71.99/72.24 c #Conflicts: 322000 | #Constraints: 20568 71.99/72.24 c #Conflicts: 323000 | #Constraints: 22330 71.99/72.24 c #Conflicts: 324000 | #Constraints: 24091 71.99/72.24 c #Conflicts: 325000 | #Constraints: 25778 71.99/72.24 c #Conflicts: 326000 | #Constraints: 27459 71.99/72.24 c #Conflicts: 327000 | #Constraints: 29140 71.99/72.24 c #Conflicts: 328000 | #Constraints: 30823 71.99/72.24 c #Conflicts: 329000 | #Constraints: 32506 71.99/72.24 c #Conflicts: 330000 | #Constraints: 34183 71.99/72.24 c #Conflicts: 331000 | #Constraints: 35890 71.99/72.24 c #Conflicts: 332000 | #Constraints: 37570 71.99/72.24 c #Conflicts: 333000 | #Constraints: 39263 71.99/72.24 c INPROCESSING 71.99/72.24 c GARBAGE COLLECT 71.99/72.24 c rational objective 400.5 76.58/76.87 c #Conflicts: 334000 | #Constraints: 21667 76.58/76.87 c #Conflicts: 335000 | #Constraints: 23369 76.58/76.87 c #Conflicts: 336000 | #Constraints: 24985 76.58/76.87 c #Conflicts: 337000 | #Constraints: 26660 76.58/76.87 c #Conflicts: 338000 | #Constraints: 28342 76.58/76.87 c #Conflicts: 339000 | #Constraints: 30104 76.58/76.87 c #Conflicts: 340000 | #Constraints: 31703 76.58/76.87 c #Conflicts: 341000 | #Constraints: 33243 76.58/76.87 c #Conflicts: 342000 | #Constraints: 34925 76.58/76.87 c #Conflicts: 343000 | #Constraints: 36634 76.58/76.87 c #Conflicts: 344000 | #Constraints: 38332 76.58/76.87 c #Conflicts: 345000 | #Constraints: 40035 76.58/76.87 c INPROCESSING 76.58/76.87 c GARBAGE COLLECT 76.58/76.87 c rational objective 400.5 81.87/82.15 c #Conflicts: 346000 | #Constraints: 22281 81.87/82.15 c #Conflicts: 347000 | #Constraints: 24012 81.87/82.15 c #Conflicts: 348000 | #Constraints: 25814 81.87/82.15 c #Conflicts: 349000 | #Constraints: 27531 81.87/82.15 c #Conflicts: 350000 | #Constraints: 29301 81.87/82.15 c #Conflicts: 351000 | #Constraints: 30961 81.87/82.15 c #Conflicts: 352000 | #Constraints: 32687 81.87/82.15 c #Conflicts: 353000 | #Constraints: 34347 81.87/82.15 c #Conflicts: 354000 | #Constraints: 35959 81.87/82.15 c #Conflicts: 355000 | #Constraints: 37697 81.87/82.15 c #Conflicts: 356000 | #Constraints: 39381 81.87/82.15 c #Conflicts: 357000 | #Constraints: 41122 81.87/82.15 c INPROCESSING 81.87/82.15 c GARBAGE COLLECT 81.87/82.15 c rational objective 400.5 86.95/87.20 c #Conflicts: 358000 | #Constraints: 22731 86.95/87.20 c #Conflicts: 359000 | #Constraints: 24329 86.95/87.20 c #Conflicts: 360000 | #Constraints: 25983 86.95/87.20 c #Conflicts: 361000 | #Constraints: 27714 86.95/87.20 c #Conflicts: 362000 | #Constraints: 29474 86.95/87.20 c #Conflicts: 363000 | #Constraints: 31141 86.95/87.20 c #Conflicts: 364000 | #Constraints: 32795 86.95/87.20 c #Conflicts: 365000 | #Constraints: 34472 86.95/87.20 c #Conflicts: 366000 | #Constraints: 36186 86.95/87.20 c #Conflicts: 367000 | #Constraints: 37841 86.95/87.20 c #Conflicts: 368000 | #Constraints: 39363 86.95/87.20 c #Conflicts: 369000 | #Constraints: 41063 86.95/87.20 c INPROCESSING 86.95/87.20 c GARBAGE COLLECT 86.95/87.20 c rational objective 400.5 91.14/91.41 c #Conflicts: 370000 | #Constraints: 22408 91.14/91.41 c #Conflicts: 371000 | #Constraints: 24064 91.14/91.41 c #Conflicts: 372000 | #Constraints: 25709 91.14/91.41 c #Conflicts: 373000 | #Constraints: 27346 91.14/91.41 c #Conflicts: 374000 | #Constraints: 28967 91.14/91.41 c #Conflicts: 375000 | #Constraints: 30661 91.14/91.41 c #Conflicts: 376000 | #Constraints: 32296 91.14/91.41 c #Conflicts: 377000 | #Constraints: 33901 91.14/91.41 c #Conflicts: 378000 | #Constraints: 35532 91.14/91.41 c #Conflicts: 379000 | #Constraints: 37219 91.14/91.41 c #Conflicts: 380000 | #Constraints: 38972 91.14/91.41 c #Conflicts: 381000 | #Constraints: 40689 91.14/91.41 c INPROCESSING 91.14/91.41 c GARBAGE COLLECT 91.14/91.41 c rational objective 400.5 96.33/96.64 c #Conflicts: 382000 | #Constraints: 22082 96.33/96.64 c #Conflicts: 383000 | #Constraints: 23778 96.33/96.64 c #Conflicts: 384000 | #Constraints: 25509 96.33/96.64 c #Conflicts: 385000 | #Constraints: 27293 96.33/96.64 c #Conflicts: 386000 | #Constraints: 28987 96.33/96.64 c #Conflicts: 387000 | #Constraints: 30716 96.33/96.64 c #Conflicts: 388000 | #Constraints: 32410 96.33/96.64 c #Conflicts: 389000 | #Constraints: 34081 96.33/96.64 c #Conflicts: 390000 | #Constraints: 35787 96.33/96.64 c #Conflicts: 391000 | #Constraints: 37459 96.33/96.64 c #Conflicts: 392000 | #Constraints: 39110 96.33/96.64 c #Conflicts: 393000 | #Constraints: 40802 96.33/96.64 c #Conflicts: 394000 | #Constraints: 42527 96.33/96.64 c INPROCESSING 96.33/96.64 c GARBAGE COLLECT 96.33/96.64 c rational objective 400.5 102.21/102.51 c #Conflicts: 395000 | #Constraints: 23230 102.21/102.51 c #Conflicts: 396000 | #Constraints: 24876 102.21/102.51 c #Conflicts: 397000 | #Constraints: 26471 102.21/102.51 c #Conflicts: 398000 | #Constraints: 28168 102.21/102.51 c #Conflicts: 399000 | #Constraints: 29859 102.21/102.51 c #Conflicts: 400000 | #Constraints: 31584 102.21/102.51 c #Conflicts: 401000 | #Constraints: 33364 102.21/102.51 c #Conflicts: 402000 | #Constraints: 35104 102.21/102.51 c #Conflicts: 403000 | #Constraints: 36775 102.21/102.51 c #Conflicts: 404000 | #Constraints: 38521 102.21/102.51 c #Conflicts: 405000 | #Constraints: 40256 102.21/102.51 c #Conflicts: 406000 | #Constraints: 41958 102.21/102.51 c #Conflicts: 407000 | #Constraints: 43690 102.21/102.51 c INPROCESSING 102.21/102.51 c GARBAGE COLLECT 102.21/102.51 c rational objective 400.5 106.70/107.08 c #Conflicts: 408000 | #Constraints: 24003 106.70/107.08 c #Conflicts: 409000 | #Constraints: 25700 106.70/107.08 c #Conflicts: 410000 | #Constraints: 27444 106.70/107.08 c #Conflicts: 411000 | #Constraints: 29174 106.70/107.08 c #Conflicts: 412000 | #Constraints: 30771 106.70/107.08 c #Conflicts: 413000 | #Constraints: 32319 106.70/107.08 c #Conflicts: 414000 | #Constraints: 34040 106.70/107.08 c #Conflicts: 415000 | #Constraints: 35781 106.70/107.08 c #Conflicts: 416000 | #Constraints: 37517 106.70/107.08 c #Conflicts: 417000 | #Constraints: 39185 106.70/107.08 c #Conflicts: 418000 | #Constraints: 40860 106.70/107.08 c #Conflicts: 419000 | #Constraints: 42454 106.70/107.08 c #Conflicts: 420000 | #Constraints: 44023 106.70/107.08 c INPROCESSING 106.70/107.08 c GARBAGE COLLECT 106.70/107.08 c rational objective 400.5 110.29/110.62 c #Conflicts: 421000 | #Constraints: 24195 110.29/110.62 c #Conflicts: 422000 | #Constraints: 25796 110.29/110.62 c #Conflicts: 423000 | #Constraints: 27420 110.29/110.62 c #Conflicts: 424000 | #Constraints: 28970 110.29/110.62 c #Conflicts: 425000 | #Constraints: 30591 110.29/110.62 c #Conflicts: 426000 | #Constraints: 32148 110.29/110.62 c #Conflicts: 427000 | #Constraints: 33665 110.29/110.62 c #Conflicts: 428000 | #Constraints: 35178 110.29/110.62 c #Conflicts: 429000 | #Constraints: 36711 110.29/110.62 c #Conflicts: 430000 | #Constraints: 38224 110.29/110.62 c #Conflicts: 431000 | #Constraints: 39835 110.29/110.62 c #Conflicts: 432000 | #Constraints: 41553 110.29/110.62 c #Conflicts: 433000 | #Constraints: 43256 110.29/110.62 c INPROCESSING 110.29/110.62 c GARBAGE COLLECT 110.29/110.62 c rational objective 400.5 120.25/120.60 c #Conflicts: 434000 | #Constraints: 23585 120.25/120.60 c #Conflicts: 435000 | #Constraints: 25128 120.25/120.60 c #Conflicts: 436000 | #Constraints: 26868 120.25/120.60 c #Conflicts: 437000 | #Constraints: 28576 120.25/120.60 c #Conflicts: 438000 | #Constraints: 30338 120.25/120.60 c #Conflicts: 439000 | #Constraints: 31983 120.25/120.60 c #Conflicts: 440000 | #Constraints: 33617 120.25/120.60 c #Conflicts: 441000 | #Constraints: 35385 120.25/120.60 c #Conflicts: 442000 | #Constraints: 37110 120.25/120.60 c #Conflicts: 443000 | #Constraints: 38895 120.25/120.60 c #Conflicts: 444000 | #Constraints: 40650 120.25/120.60 c #Conflicts: 445000 | #Constraints: 42420 120.25/120.60 c #Conflicts: 446000 | #Constraints: 44057 120.25/120.60 c INPROCESSING 120.25/120.60 c GARBAGE COLLECT 120.25/120.60 c #Conflicts: 447000 | #Constraints: 23671 120.25/120.60 c #Conflicts: 448000 | #Constraints: 25401 120.25/120.60 c #Conflicts: 449000 | #Constraints: 27133 120.25/120.60 c #Conflicts: 450000 | #Constraints: 28832 120.25/120.60 c #Conflicts: 451000 | #Constraints: 30535 120.25/120.60 c #Conflicts: 452000 | #Constraints: 32231 120.25/120.60 c #Conflicts: 453000 | #Constraints: 33923 120.25/120.60 c #Conflicts: 454000 | #Constraints: 35635 120.25/120.60 c #Conflicts: 455000 | #Constraints: 37301 120.25/120.60 c #Conflicts: 456000 | #Constraints: 38994 120.25/120.60 c #Conflicts: 457000 | #Constraints: 40692 120.25/120.60 c #Conflicts: 458000 | #Constraints: 42420 120.25/120.60 c #Conflicts: 459000 | #Constraints: 44086 120.25/120.60 c #Conflicts: 460000 | #Constraints: 45730 120.25/120.60 c INPROCESSING 120.25/120.60 c GARBAGE COLLECT 120.25/120.60 c rational objective 400.5 124.14/124.57 c #Conflicts: 461000 | #Constraints: 24931 124.14/124.57 c #Conflicts: 462000 | #Constraints: 26581 124.14/124.57 c #Conflicts: 463000 | #Constraints: 28258 124.14/124.57 c #Conflicts: 464000 | #Constraints: 29935 124.14/124.57 c #Conflicts: 465000 | #Constraints: 31546 124.14/124.57 c #Conflicts: 466000 | #Constraints: 33206 124.14/124.57 c #Conflicts: 467000 | #Constraints: 34891 124.14/124.57 c #Conflicts: 468000 | #Constraints: 36509 124.14/124.57 c #Conflicts: 469000 | #Constraints: 38139 124.14/124.57 c #Conflicts: 470000 | #Constraints: 39805 124.14/124.57 c #Conflicts: 471000 | #Constraints: 41449 124.14/124.57 c #Conflicts: 472000 | #Constraints: 43105 124.14/124.57 c #Conflicts: 473000 | #Constraints: 44718 124.14/124.57 c #Conflicts: 474000 | #Constraints: 46348 124.14/124.57 c INPROCESSING 124.14/124.57 c GARBAGE COLLECT 124.14/124.57 c rational objective 400.5 127.54/127.98 c #Conflicts: 475000 | #Constraints: 25414 127.54/127.98 c #Conflicts: 476000 | #Constraints: 27141 127.54/127.98 c #Conflicts: 477000 | #Constraints: 28844 127.54/127.98 c #Conflicts: 478000 | #Constraints: 30587 127.54/127.98 c #Conflicts: 479000 | #Constraints: 32252 127.54/127.98 c #Conflicts: 480000 | #Constraints: 33943 127.54/127.98 c #Conflicts: 481000 | #Constraints: 35491 127.54/127.98 c #Conflicts: 482000 | #Constraints: 37004 127.54/127.98 c #Conflicts: 483000 | #Constraints: 38735 127.54/127.98 c #Conflicts: 484000 | #Constraints: 40381 127.54/127.98 c #Conflicts: 485000 | #Constraints: 42090 127.54/127.98 c #Conflicts: 486000 | #Constraints: 43767 127.54/127.98 c #Conflicts: 487000 | #Constraints: 45515 127.54/127.98 c #Conflicts: 488000 | #Constraints: 47208 127.54/127.98 c INPROCESSING 127.54/127.98 c GARBAGE COLLECT 127.54/127.98 c rational objective 400.5 130.93/131.37 c #Conflicts: 489000 | #Constraints: 25771 130.93/131.37 c #Conflicts: 490000 | #Constraints: 27501 130.93/131.37 c #Conflicts: 491000 | #Constraints: 29170 130.93/131.37 c #Conflicts: 492000 | #Constraints: 30822 130.93/131.37 c #Conflicts: 493000 | #Constraints: 32467 130.93/131.37 c #Conflicts: 494000 | #Constraints: 34182 130.93/131.37 c #Conflicts: 495000 | #Constraints: 35821 130.93/131.37 c #Conflicts: 496000 | #Constraints: 37452 130.93/131.37 c #Conflicts: 497000 | #Constraints: 39141 130.93/131.37 c #Conflicts: 498000 | #Constraints: 40811 130.93/131.37 c #Conflicts: 499000 | #Constraints: 42480 130.93/131.37 c #Conflicts: 500000 | #Constraints: 44166 130.93/131.37 c #Conflicts: 501000 | #Constraints: 45800 130.93/131.37 c #Conflicts: 502000 | #Constraints: 47490 130.93/131.37 c INPROCESSING 130.93/131.37 c GARBAGE COLLECT 130.93/131.37 c rational objective 400.5 136.21/136.67 c #Conflicts: 503000 | #Constraints: 25792 136.21/136.67 c #Conflicts: 504000 | #Constraints: 27487 136.21/136.67 c #Conflicts: 505000 | #Constraints: 29216 136.21/136.67 c #Conflicts: 506000 | #Constraints: 30893 136.21/136.67 c #Conflicts: 507000 | #Constraints: 32654 136.21/136.67 c #Conflicts: 508000 | #Constraints: 34383 136.21/136.67 c #Conflicts: 509000 | #Constraints: 36092 136.21/136.67 c #Conflicts: 510000 | #Constraints: 37771 136.21/136.67 c #Conflicts: 511000 | #Constraints: 39455 136.21/136.67 c #Conflicts: 512000 | #Constraints: 41186 136.21/136.67 c #Conflicts: 513000 | #Constraints: 42894 136.21/136.67 c #Conflicts: 514000 | #Constraints: 44612 136.21/136.67 c #Conflicts: 515000 | #Constraints: 46210 136.21/136.67 c #Conflicts: 516000 | #Constraints: 47904 136.21/136.67 c INPROCESSING 136.21/136.67 c GARBAGE COLLECT 136.21/136.67 c rational objective 400.5 143.00/143.42 c #Conflicts: 517000 | #Constraints: 25567 143.00/143.42 c #Conflicts: 518000 | #Constraints: 27185 143.00/143.42 c #Conflicts: 519000 | #Constraints: 28795 143.00/143.42 c #Conflicts: 520000 | #Constraints: 30549 143.00/143.42 c #Conflicts: 521000 | #Constraints: 32240 143.00/143.42 c #Conflicts: 522000 | #Constraints: 33933 143.00/143.42 c #Conflicts: 523000 | #Constraints: 35651 143.00/143.42 c #Conflicts: 524000 | #Constraints: 37311 143.00/143.42 c #Conflicts: 525000 | #Constraints: 39074 143.00/143.42 c #Conflicts: 526000 | #Constraints: 40712 143.00/143.42 c #Conflicts: 527000 | #Constraints: 42380 143.00/143.42 c #Conflicts: 528000 | #Constraints: 43900 143.00/143.42 c #Conflicts: 529000 | #Constraints: 45622 143.00/143.42 c #Conflicts: 530000 | #Constraints: 47306 143.00/143.42 c #Conflicts: 531000 | #Constraints: 49001 143.00/143.42 c INPROCESSING 143.00/143.42 c GARBAGE COLLECT 143.00/143.42 c rational objective 400.5 150.58/151.02 c #Conflicts: 532000 | #Constraints: 26430 150.58/151.02 c #Conflicts: 533000 | #Constraints: 28100 150.58/151.02 c #Conflicts: 534000 | #Constraints: 29758 150.58/151.02 c #Conflicts: 535000 | #Constraints: 31545 150.58/151.02 c #Conflicts: 536000 | #Constraints: 33222 150.58/151.02 c #Conflicts: 537000 | #Constraints: 34838 150.58/151.02 c #Conflicts: 538000 | #Constraints: 36544 150.58/151.02 c #Conflicts: 539000 | #Constraints: 38197 150.58/151.02 c #Conflicts: 540000 | #Constraints: 39839 150.58/151.02 c #Conflicts: 541000 | #Constraints: 41524 150.58/151.02 c #Conflicts: 542000 | #Constraints: 43153 150.58/151.02 c #Conflicts: 543000 | #Constraints: 44718 150.58/151.02 c #Conflicts: 544000 | #Constraints: 46444 150.58/151.02 c #Conflicts: 545000 | #Constraints: 48163 150.58/151.02 c #Conflicts: 546000 | #Constraints: 49884 150.58/151.02 c INPROCESSING 150.58/151.02 c GARBAGE COLLECT 150.58/151.02 c rational objective 400.5 155.06/155.54 c #Conflicts: 547000 | #Constraints: 27102 155.06/155.54 c #Conflicts: 548000 | #Constraints: 28740 155.06/155.54 c #Conflicts: 549000 | #Constraints: 30439 155.06/155.54 c #Conflicts: 550000 | #Constraints: 32152 155.06/155.54 c #Conflicts: 551000 | #Constraints: 33829 155.06/155.54 c #Conflicts: 552000 | #Constraints: 35473 155.06/155.54 c #Conflicts: 553000 | #Constraints: 37123 155.06/155.54 c #Conflicts: 554000 | #Constraints: 38789 155.06/155.54 c #Conflicts: 555000 | #Constraints: 40484 155.06/155.54 c #Conflicts: 556000 | #Constraints: 42142 155.06/155.54 c #Conflicts: 557000 | #Constraints: 43816 155.06/155.54 c #Conflicts: 558000 | #Constraints: 45523 155.06/155.54 c #Conflicts: 559000 | #Constraints: 47286 155.06/155.54 c #Conflicts: 560000 | #Constraints: 48892 155.06/155.54 c #Conflicts: 561000 | #Constraints: 50561 155.06/155.54 c INPROCESSING 155.06/155.54 c GARBAGE COLLECT 155.06/155.54 c rational objective 400.5 158.66/159.11 c #Conflicts: 562000 | #Constraints: 27395 158.66/159.11 c #Conflicts: 563000 | #Constraints: 29164 158.66/159.11 c #Conflicts: 564000 | #Constraints: 30786 158.66/159.11 c #Conflicts: 565000 | #Constraints: 32322 158.66/159.11 c #Conflicts: 566000 | #Constraints: 34048 158.66/159.11 c #Conflicts: 567000 | #Constraints: 35759 158.66/159.11 c #Conflicts: 568000 | #Constraints: 37438 158.66/159.11 c #Conflicts: 569000 | #Constraints: 39112 158.66/159.11 c #Conflicts: 570000 | #Constraints: 40730 158.66/159.11 c #Conflicts: 571000 | #Constraints: 42422 158.66/159.11 c #Conflicts: 572000 | #Constraints: 44050 158.66/159.11 c #Conflicts: 573000 | #Constraints: 45724 158.66/159.11 c #Conflicts: 574000 | #Constraints: 47263 158.66/159.11 c #Conflicts: 575000 | #Constraints: 48807 158.66/159.11 c #Conflicts: 576000 | #Constraints: 50437 158.66/159.11 c INPROCESSING 158.66/159.11 c GARBAGE COLLECT 158.66/159.11 c rational objective 400.5 162.84/163.37 c #Conflicts: 577000 | #Constraints: 27237 162.84/163.37 c #Conflicts: 578000 | #Constraints: 28909 162.84/163.37 c #Conflicts: 579000 | #Constraints: 30599 162.84/163.37 c #Conflicts: 580000 | #Constraints: 32289 162.84/163.37 c #Conflicts: 581000 | #Constraints: 33981 162.84/163.37 c #Conflicts: 582000 | #Constraints: 35634 162.84/163.37 c #Conflicts: 583000 | #Constraints: 37179 162.84/163.37 c #Conflicts: 584000 | #Constraints: 38810 162.84/163.37 c #Conflicts: 585000 | #Constraints: 40527 162.84/163.37 c #Conflicts: 586000 | #Constraints: 42200 162.84/163.37 c #Conflicts: 587000 | #Constraints: 43828 162.84/163.37 c #Conflicts: 588000 | #Constraints: 45441 162.84/163.37 c #Conflicts: 589000 | #Constraints: 47200 162.84/163.37 c #Conflicts: 590000 | #Constraints: 48859 162.84/163.37 c #Conflicts: 591000 | #Constraints: 50562 162.84/163.37 c INPROCESSING 162.84/163.37 c GARBAGE COLLECT 162.84/163.37 c rational objective 400.5 167.73/168.25 c #Conflicts: 592000 | #Constraints: 26693 167.73/168.25 c #Conflicts: 593000 | #Constraints: 28334 167.73/168.25 c #Conflicts: 594000 | #Constraints: 30045 167.73/168.25 c #Conflicts: 595000 | #Constraints: 31831 167.73/168.25 c #Conflicts: 596000 | #Constraints: 33586 167.73/168.25 c #Conflicts: 597000 | #Constraints: 35341 167.73/168.25 c #Conflicts: 598000 | #Constraints: 37016 167.73/168.25 c #Conflicts: 599000 | #Constraints: 38641 167.73/168.25 c #Conflicts: 600000 | #Constraints: 40162 167.73/168.25 c #Conflicts: 601000 | #Constraints: 41745 167.73/168.25 c #Conflicts: 602000 | #Constraints: 43273 167.73/168.25 c #Conflicts: 603000 | #Constraints: 45064 167.73/168.25 c #Conflicts: 604000 | #Constraints: 46761 167.73/168.25 c #Conflicts: 605000 | #Constraints: 48466 167.73/168.25 c #Conflicts: 606000 | #Constraints: 50148 167.73/168.25 c #Conflicts: 607000 | #Constraints: 51815 167.73/168.25 c INPROCESSING 167.73/168.25 c GARBAGE COLLECT 167.73/168.25 c rational objective 400.5 174.91/175.45 c #Conflicts: 608000 | #Constraints: 27810 174.91/175.45 c #Conflicts: 609000 | #Constraints: 29506 174.91/175.45 c #Conflicts: 610000 | #Constraints: 31160 174.91/175.45 c #Conflicts: 611000 | #Constraints: 32843 174.91/175.45 c #Conflicts: 612000 | #Constraints: 34424 174.91/175.45 c #Conflicts: 613000 | #Constraints: 35924 174.91/175.45 c #Conflicts: 614000 | #Constraints: 37437 174.91/175.45 c #Conflicts: 615000 | #Constraints: 38988 174.91/175.45 c #Conflicts: 616000 | #Constraints: 40766 174.91/175.45 c #Conflicts: 617000 | #Constraints: 42516 174.91/175.45 c #Conflicts: 618000 | #Constraints: 44125 174.91/175.45 c #Conflicts: 619000 | #Constraints: 45764 174.91/175.45 c #Conflicts: 620000 | #Constraints: 47452 174.91/175.45 c #Conflicts: 621000 | #Constraints: 49236 174.91/175.45 c #Conflicts: 622000 | #Constraints: 50835 174.91/175.45 c #Conflicts: 623000 | #Constraints: 52570 174.91/175.45 c INPROCESSING 174.91/175.45 c GARBAGE COLLECT 174.91/175.45 c rational objective 400.5 179.39/179.99 c #Conflicts: 624000 | #Constraints: 28416 179.39/179.99 c #Conflicts: 625000 | #Constraints: 30139 179.39/179.99 c #Conflicts: 626000 | #Constraints: 31756 179.39/179.99 c #Conflicts: 627000 | #Constraints: 33423 179.39/179.99 c #Conflicts: 628000 | #Constraints: 35082 179.39/179.99 c #Conflicts: 629000 | #Constraints: 36705 179.39/179.99 c #Conflicts: 630000 | #Constraints: 38409 179.39/179.99 c #Conflicts: 631000 | #Constraints: 40120 179.39/179.99 c #Conflicts: 632000 | #Constraints: 41772 179.39/179.99 c #Conflicts: 633000 | #Constraints: 43400 179.39/179.99 c #Conflicts: 634000 | #Constraints: 45027 179.39/179.99 c #Conflicts: 635000 | #Constraints: 46753 179.39/179.99 c #Conflicts: 636000 | #Constraints: 48423 179.39/179.99 c #Conflicts: 637000 | #Constraints: 50146 179.39/179.99 c #Conflicts: 638000 | #Constraints: 51865 179.39/179.99 c #Conflicts: 639000 | #Constraints: 53591 179.39/179.99 c INPROCESSING 179.39/179.99 c GARBAGE COLLECT 179.39/179.99 c rational objective 400.5 185.08/185.69 c #Conflicts: 640000 | #Constraints: 28998 185.08/185.69 c #Conflicts: 641000 | #Constraints: 30625 185.08/185.69 c #Conflicts: 642000 | #Constraints: 32223 185.08/185.69 c #Conflicts: 643000 | #Constraints: 33895 185.08/185.69 c #Conflicts: 644000 | #Constraints: 35613 185.08/185.69 c #Conflicts: 645000 | #Constraints: 37278 185.08/185.69 c #Conflicts: 646000 | #Constraints: 38937 185.08/185.69 c #Conflicts: 647000 | #Constraints: 40588 185.08/185.69 c #Conflicts: 648000 | #Constraints: 42297 185.08/185.69 c #Conflicts: 649000 | #Constraints: 44053 185.08/185.69 c #Conflicts: 650000 | #Constraints: 45679 185.08/185.69 c #Conflicts: 651000 | #Constraints: 47466 185.08/185.69 c #Conflicts: 652000 | #Constraints: 49180 185.08/185.69 c #Conflicts: 653000 | #Constraints: 50878 185.08/185.69 c #Conflicts: 654000 | #Constraints: 52505 185.08/185.69 c #Conflicts: 655000 | #Constraints: 54045 185.08/185.69 c INPROCESSING 185.08/185.69 c GARBAGE COLLECT 185.08/185.69 c rational objective 400.5 190.76/191.31 c #Conflicts: 656000 | #Constraints: 29004 190.76/191.31 c #Conflicts: 657000 | #Constraints: 30690 190.76/191.31 c #Conflicts: 658000 | #Constraints: 32334 190.76/191.31 c #Conflicts: 659000 | #Constraints: 34096 190.76/191.31 c #Conflicts: 660000 | #Constraints: 35801 190.76/191.31 c #Conflicts: 661000 | #Constraints: 37465 190.76/191.31 c #Conflicts: 662000 | #Constraints: 39186 190.76/191.31 c #Conflicts: 663000 | #Constraints: 40744 190.76/191.31 c #Conflicts: 664000 | #Constraints: 42471 190.76/191.31 c #Conflicts: 665000 | #Constraints: 44171 190.76/191.31 c #Conflicts: 666000 | #Constraints: 45878 190.76/191.31 c #Conflicts: 667000 | #Constraints: 47394 190.76/191.31 c #Conflicts: 668000 | #Constraints: 49038 190.76/191.31 c #Conflicts: 669000 | #Constraints: 50675 190.76/191.31 c #Conflicts: 670000 | #Constraints: 52274 190.76/191.31 c #Conflicts: 671000 | #Constraints: 54028 190.76/191.31 c INPROCESSING 190.76/191.31 c GARBAGE COLLECT 190.76/191.31 c rational objective 400.5 196.25/196.86 c #Conflicts: 672000 | #Constraints: 28701 196.25/196.86 c #Conflicts: 673000 | #Constraints: 30378 196.25/196.86 c #Conflicts: 674000 | #Constraints: 32106 196.25/196.86 c #Conflicts: 675000 | #Constraints: 33839 196.25/196.86 c #Conflicts: 676000 | #Constraints: 35549 196.25/196.86 c #Conflicts: 677000 | #Constraints: 37182 196.25/196.86 c #Conflicts: 678000 | #Constraints: 38836 196.25/196.86 c #Conflicts: 679000 | #Constraints: 40512 196.25/196.86 c #Conflicts: 680000 | #Constraints: 42261 196.25/196.86 c #Conflicts: 681000 | #Constraints: 43992 196.25/196.86 c #Conflicts: 682000 | #Constraints: 45661 196.25/196.86 c #Conflicts: 683000 | #Constraints: 47356 196.25/196.86 c #Conflicts: 684000 | #Constraints: 49135 196.25/196.86 c #Conflicts: 685000 | #Constraints: 50869 196.25/196.86 c #Conflicts: 686000 | #Constraints: 52388 196.25/196.86 c #Conflicts: 687000 | #Constraints: 53957 196.25/196.86 c #Conflicts: 688000 | #Constraints: 55667 196.25/196.86 c INPROCESSING 196.25/196.86 c GARBAGE COLLECT 196.25/196.86 c rational objective 400.5 202.72/203.31 c #Conflicts: 689000 | #Constraints: 29784 202.72/203.31 c #Conflicts: 690000 | #Constraints: 31491 202.72/203.31 c #Conflicts: 691000 | #Constraints: 33215 202.72/203.31 c #Conflicts: 692000 | #Constraints: 34954 202.72/203.31 c #Conflicts: 693000 | #Constraints: 36629 202.72/203.31 c #Conflicts: 694000 | #Constraints: 38203 202.72/203.31 c #Conflicts: 695000 | #Constraints: 39800 202.72/203.31 c #Conflicts: 696000 | #Constraints: 41513 202.72/203.31 c #Conflicts: 697000 | #Constraints: 43140 202.72/203.31 c #Conflicts: 698000 | #Constraints: 44722 202.72/203.31 c #Conflicts: 699000 | #Constraints: 46262 202.72/203.31 c #Conflicts: 700000 | #Constraints: 47950 202.72/203.31 c #Conflicts: 701000 | #Constraints: 49688 202.72/203.31 c #Conflicts: 702000 | #Constraints: 51447 202.72/203.31 c #Conflicts: 703000 | #Constraints: 53171 202.72/203.31 c #Conflicts: 704000 | #Constraints: 54812 202.72/203.31 c #Conflicts: 705000 | #Constraints: 56533 202.72/203.31 c INPROCESSING 202.72/203.31 c GARBAGE COLLECT 202.72/203.31 c rational objective 400.5 207.61/208.26 c #Conflicts: 706000 | #Constraints: 30463 207.61/208.26 c #Conflicts: 707000 | #Constraints: 32230 207.61/208.26 c #Conflicts: 708000 | #Constraints: 33863 207.61/208.26 c #Conflicts: 709000 | #Constraints: 35644 207.61/208.26 c #Conflicts: 710000 | #Constraints: 37364 207.61/208.26 c #Conflicts: 711000 | #Constraints: 39122 207.61/208.26 c #Conflicts: 712000 | #Constraints: 40871 207.61/208.26 c #Conflicts: 713000 | #Constraints: 42615 207.61/208.26 c #Conflicts: 714000 | #Constraints: 44304 207.61/208.26 c #Conflicts: 715000 | #Constraints: 46048 207.61/208.26 c #Conflicts: 716000 | #Constraints: 47780 207.61/208.26 c #Conflicts: 717000 | #Constraints: 49474 207.61/208.26 c #Conflicts: 718000 | #Constraints: 51193 207.61/208.26 c #Conflicts: 719000 | #Constraints: 52859 207.61/208.26 c #Conflicts: 720000 | #Constraints: 54582 207.61/208.26 c #Conflicts: 721000 | #Constraints: 56253 207.61/208.26 c #Conflicts: 722000 | #Constraints: 57859 207.61/208.26 c INPROCESSING 207.61/208.26 c GARBAGE COLLECT 207.61/208.26 c rational objective 400.5 217.19/217.85 c #Conflicts: 723000 | #Constraints: 31159 217.19/217.85 c #Conflicts: 724000 | #Constraints: 32766 217.19/217.85 c #Conflicts: 725000 | #Constraints: 34351 217.19/217.85 c #Conflicts: 726000 | #Constraints: 35569 217.19/217.85 c #Conflicts: 727000 | #Constraints: 36569 217.19/217.85 c #Conflicts: 728000 | #Constraints: 38159 217.19/217.85 c #Conflicts: 729000 | #Constraints: 39894 217.19/217.85 c #Conflicts: 730000 | #Constraints: 41202 217.19/217.85 c #Conflicts: 731000 | #Constraints: 42202 217.19/217.85 c #Conflicts: 732000 | #Constraints: 43202 217.19/217.85 c #Conflicts: 733000 | #Constraints: 44202 217.19/217.85 c #Conflicts: 734000 | #Constraints: 45792 217.19/217.85 c #Conflicts: 735000 | #Constraints: 47434 217.19/217.85 c #Conflicts: 736000 | #Constraints: 49048 217.19/217.85 c #Conflicts: 737000 | #Constraints: 50730 217.19/217.85 c #Conflicts: 738000 | #Constraints: 52433 217.19/217.85 c #Conflicts: 739000 | #Constraints: 53852 217.19/217.85 c INPROCESSING 217.19/217.85 c GARBAGE COLLECT 217.19/217.85 c rational objective 400.5 222.97/223.60 c #Conflicts: 740000 | #Constraints: 28689 222.97/223.60 c #Conflicts: 741000 | #Constraints: 30149 222.97/223.60 c #Conflicts: 742000 | #Constraints: 31652 222.97/223.60 c #Conflicts: 743000 | #Constraints: 33189 222.97/223.60 c #Conflicts: 744000 | #Constraints: 34904 222.97/223.60 c #Conflicts: 745000 | #Constraints: 36660 222.97/223.60 c #Conflicts: 746000 | #Constraints: 38456 222.97/223.60 c #Conflicts: 747000 | #Constraints: 40110 222.97/223.60 c #Conflicts: 748000 | #Constraints: 41839 222.97/223.60 c #Conflicts: 749000 | #Constraints: 43481 222.97/223.60 c #Conflicts: 750000 | #Constraints: 45103 222.97/223.60 c #Conflicts: 751000 | #Constraints: 46722 222.97/223.60 c #Conflicts: 752000 | #Constraints: 48418 222.97/223.60 c #Conflicts: 753000 | #Constraints: 50156 222.97/223.60 c #Conflicts: 754000 | #Constraints: 51880 222.97/223.60 c #Conflicts: 755000 | #Constraints: 53556 222.97/223.60 c #Conflicts: 756000 | #Constraints: 55285 222.97/223.60 c INPROCESSING 222.97/223.60 c GARBAGE COLLECT 222.97/223.60 c rational objective 400.5 228.46/229.16 c #Conflicts: 757000 | #Constraints: 29252 228.46/229.16 c #Conflicts: 758000 | #Constraints: 30980 228.46/229.16 c #Conflicts: 759000 | #Constraints: 32688 228.46/229.16 c #Conflicts: 760000 | #Constraints: 34345 228.46/229.16 c #Conflicts: 761000 | #Constraints: 35936 228.46/229.16 c #Conflicts: 762000 | #Constraints: 37447 228.46/229.16 c #Conflicts: 763000 | #Constraints: 39086 228.46/229.16 c #Conflicts: 764000 | #Constraints: 40768 228.46/229.16 c #Conflicts: 765000 | #Constraints: 42465 228.46/229.16 c #Conflicts: 766000 | #Constraints: 44191 228.46/229.16 c #Conflicts: 767000 | #Constraints: 45840 228.46/229.16 c #Conflicts: 768000 | #Constraints: 47511 228.46/229.16 c #Conflicts: 769000 | #Constraints: 49158 228.46/229.16 c #Conflicts: 770000 | #Constraints: 50796 228.46/229.16 c #Conflicts: 771000 | #Constraints: 52452 228.46/229.16 c #Conflicts: 772000 | #Constraints: 54075 228.46/229.16 c #Conflicts: 773000 | #Constraints: 55818 228.46/229.16 c #Conflicts: 774000 | #Constraints: 57499 228.46/229.16 c INPROCESSING 228.46/229.16 c GARBAGE COLLECT 228.46/229.16 c rational objective 400.5 233.94/234.66 c #Conflicts: 775000 | #Constraints: 30733 233.94/234.66 c #Conflicts: 776000 | #Constraints: 32401 233.94/234.66 c #Conflicts: 777000 | #Constraints: 34037 233.94/234.66 c #Conflicts: 778000 | #Constraints: 35822 233.94/234.66 c #Conflicts: 779000 | #Constraints: 37466 233.94/234.66 c #Conflicts: 780000 | #Constraints: 39177 233.94/234.66 c #Conflicts: 781000 | #Constraints: 40889 233.94/234.66 c #Conflicts: 782000 | #Constraints: 42623 233.94/234.66 c #Conflicts: 783000 | #Constraints: 44345 233.94/234.66 c #Conflicts: 784000 | #Constraints: 46108 233.94/234.66 c #Conflicts: 785000 | #Constraints: 47828 233.94/234.66 c #Conflicts: 786000 | #Constraints: 49548 233.94/234.66 c #Conflicts: 787000 | #Constraints: 51175 233.94/234.66 c #Conflicts: 788000 | #Constraints: 52858 233.94/234.66 c #Conflicts: 789000 | #Constraints: 54474 233.94/234.66 c #Conflicts: 790000 | #Constraints: 56187 233.94/234.66 c #Conflicts: 791000 | #Constraints: 57967 233.94/234.66 c #Conflicts: 792000 | #Constraints: 59587 233.94/234.66 c INPROCESSING 233.94/234.66 c GARBAGE COLLECT 233.94/234.66 c rational objective 400.5 241.32/242.02 c #Conflicts: 793000 | #Constraints: 31932 241.32/242.02 c #Conflicts: 794000 | #Constraints: 33666 241.32/242.02 c #Conflicts: 795000 | #Constraints: 35288 241.32/242.02 c #Conflicts: 796000 | #Constraints: 36950 241.32/242.02 c #Conflicts: 797000 | #Constraints: 38673 241.32/242.02 c #Conflicts: 798000 | #Constraints: 40297 241.32/242.02 c #Conflicts: 799000 | #Constraints: 42032 241.32/242.02 c #Conflicts: 800000 | #Constraints: 43686 241.32/242.02 c #Conflicts: 801000 | #Constraints: 45388 241.32/242.02 c #Conflicts: 802000 | #Constraints: 47074 241.32/242.02 c #Conflicts: 803000 | #Constraints: 48797 241.32/242.02 c #Conflicts: 804000 | #Constraints: 50488 241.32/242.02 c #Conflicts: 805000 | #Constraints: 52185 241.32/242.02 c #Conflicts: 806000 | #Constraints: 53932 241.32/242.02 c #Conflicts: 807000 | #Constraints: 55559 241.32/242.02 c #Conflicts: 808000 | #Constraints: 57232 241.32/242.02 c #Conflicts: 809000 | #Constraints: 58969 241.32/242.02 c #Conflicts: 810000 | #Constraints: 60545 241.32/242.02 c INPROCESSING 241.32/242.02 c GARBAGE COLLECT 241.32/242.02 c rational objective 400.5 248.60/249.33 c #Conflicts: 811000 | #Constraints: 32507 248.60/249.33 c #Conflicts: 812000 | #Constraints: 34162 248.60/249.33 c #Conflicts: 813000 | #Constraints: 35838 248.60/249.33 c #Conflicts: 814000 | #Constraints: 37457 248.60/249.33 c #Conflicts: 815000 | #Constraints: 38972 248.60/249.33 c #Conflicts: 816000 | #Constraints: 40701 248.60/249.33 c #Conflicts: 817000 | #Constraints: 42410 248.60/249.33 c #Conflicts: 818000 | #Constraints: 44074 248.60/249.33 c #Conflicts: 819000 | #Constraints: 45785 248.60/249.33 c #Conflicts: 820000 | #Constraints: 47390 248.60/249.33 c #Conflicts: 821000 | #Constraints: 48995 248.60/249.33 c #Conflicts: 822000 | #Constraints: 50700 248.60/249.33 c #Conflicts: 823000 | #Constraints: 52381 248.60/249.33 c #Conflicts: 824000 | #Constraints: 54107 248.60/249.33 c #Conflicts: 825000 | #Constraints: 55716 248.60/249.33 c #Conflicts: 826000 | #Constraints: 57338 248.60/249.33 c #Conflicts: 827000 | #Constraints: 59083 248.60/249.33 c #Conflicts: 828000 | #Constraints: 60811 248.60/249.33 c INPROCESSING 248.60/249.33 c GARBAGE COLLECT 248.60/249.33 c rational objective 400.5 258.17/258.93 c #Conflicts: 829000 | #Constraints: 32403 258.17/258.93 c #Conflicts: 830000 | #Constraints: 34012 258.17/258.93 c #Conflicts: 831000 | #Constraints: 35681 258.17/258.93 c #Conflicts: 832000 | #Constraints: 37338 258.17/258.93 c #Conflicts: 833000 | #Constraints: 39034 258.17/258.93 c #Conflicts: 834000 | #Constraints: 40776 258.17/258.93 c #Conflicts: 835000 | #Constraints: 42486 258.17/258.93 c #Conflicts: 836000 | #Constraints: 44159 258.17/258.93 c #Conflicts: 837000 | #Constraints: 45748 258.17/258.93 c #Conflicts: 838000 | #Constraints: 47509 258.17/258.93 c #Conflicts: 839000 | #Constraints: 49242 258.17/258.93 c #Conflicts: 840000 | #Constraints: 50967 258.17/258.93 c #Conflicts: 841000 | #Constraints: 52637 258.17/258.93 c #Conflicts: 842000 | #Constraints: 54222 258.17/258.93 c #Conflicts: 843000 | #Constraints: 55857 258.17/258.93 c #Conflicts: 844000 | #Constraints: 57440 258.17/258.93 c #Conflicts: 845000 | #Constraints: 59091 258.17/258.93 c #Conflicts: 846000 | #Constraints: 60770 258.17/258.93 c INPROCESSING 258.17/258.93 c GARBAGE COLLECT 258.17/258.93 c rational objective 400.5 266.36/267.17 c #Conflicts: 847000 | #Constraints: 32020 266.36/267.17 c #Conflicts: 848000 | #Constraints: 33782 266.36/267.17 c #Conflicts: 849000 | #Constraints: 35489 266.36/267.17 c #Conflicts: 850000 | #Constraints: 37205 266.36/267.17 c #Conflicts: 851000 | #Constraints: 38806 266.36/267.17 c #Conflicts: 852000 | #Constraints: 40544 266.36/267.17 c #Conflicts: 853000 | #Constraints: 42291 266.36/267.17 c #Conflicts: 854000 | #Constraints: 43973 266.36/267.17 c #Conflicts: 855000 | #Constraints: 45674 266.36/267.17 c #Conflicts: 856000 | #Constraints: 47297 266.36/267.17 c #Conflicts: 857000 | #Constraints: 48985 266.36/267.17 c #Conflicts: 858000 | #Constraints: 50685 266.36/267.17 c #Conflicts: 859000 | #Constraints: 52382 266.36/267.17 c #Conflicts: 860000 | #Constraints: 54089 266.36/267.17 c #Conflicts: 861000 | #Constraints: 55649 266.36/267.17 c #Conflicts: 862000 | #Constraints: 57423 266.36/267.17 c #Conflicts: 863000 | #Constraints: 59221 266.36/267.17 c #Conflicts: 864000 | #Constraints: 60953 266.36/267.17 c #Conflicts: 865000 | #Constraints: 62677 266.36/267.17 c INPROCESSING 266.36/267.17 c GARBAGE COLLECT 266.36/267.17 c rational objective 400.5 278.62/279.42 c #Conflicts: 866000 | #Constraints: 33363 278.62/279.42 c #Conflicts: 867000 | #Constraints: 35091 278.62/279.42 c #Conflicts: 868000 | #Constraints: 36775 278.62/279.42 c #Conflicts: 869000 | #Constraints: 38439 278.62/279.42 c #Conflicts: 870000 | #Constraints: 40076 278.62/279.42 c #Conflicts: 871000 | #Constraints: 41749 278.62/279.42 c #Conflicts: 872000 | #Constraints: 43256 278.62/279.42 c #Conflicts: 873000 | #Constraints: 44880 278.62/279.42 c #Conflicts: 874000 | #Constraints: 46556 278.62/279.42 c #Conflicts: 875000 | #Constraints: 48299 278.62/279.42 c #Conflicts: 876000 | #Constraints: 49848 278.62/279.42 c #Conflicts: 877000 | #Constraints: 51552 278.62/279.42 c #Conflicts: 878000 | #Constraints: 53187 278.62/279.42 c #Conflicts: 879000 | #Constraints: 54865 278.62/279.42 c #Conflicts: 880000 | #Constraints: 56576 278.62/279.42 c #Conflicts: 881000 | #Constraints: 58319 278.62/279.42 c #Conflicts: 882000 | #Constraints: 60036 278.62/279.42 c #Conflicts: 883000 | #Constraints: 61684 278.62/279.42 c #Conflicts: 884000 | #Constraints: 63365 278.62/279.42 c INPROCESSING 278.62/279.42 c GARBAGE COLLECT 278.62/279.42 c rational objective 400.5 287.69/288.51 c #Conflicts: 885000 | #Constraints: 33669 287.69/288.51 c #Conflicts: 886000 | #Constraints: 34672 287.69/288.51 c #Conflicts: 887000 | #Constraints: 35672 287.69/288.51 c #Conflicts: 888000 | #Constraints: 36672 287.69/288.51 c #Conflicts: 889000 | #Constraints: 37672 287.69/288.51 c #Conflicts: 890000 | #Constraints: 38672 287.69/288.51 c #Conflicts: 891000 | #Constraints: 40157 287.69/288.51 c #Conflicts: 892000 | #Constraints: 41684 287.69/288.51 c #Conflicts: 893000 | #Constraints: 43373 287.69/288.51 c #Conflicts: 894000 | #Constraints: 44892 287.69/288.51 c #Conflicts: 895000 | #Constraints: 46491 287.69/288.51 c #Conflicts: 896000 | #Constraints: 48094 287.69/288.51 c #Conflicts: 897000 | #Constraints: 49640 287.69/288.51 c #Conflicts: 898000 | #Constraints: 51314 287.69/288.51 c #Conflicts: 899000 | #Constraints: 52946 287.69/288.51 c #Conflicts: 900000 | #Constraints: 54650 287.69/288.51 c #Conflicts: 901000 | #Constraints: 56333 287.69/288.51 c #Conflicts: 902000 | #Constraints: 57933 287.69/288.51 c #Conflicts: 903000 | #Constraints: 59637 287.69/288.51 c INPROCESSING 287.69/288.51 c GARBAGE COLLECT 287.69/288.51 c rational objective 400.5 294.28/295.10 c #Conflicts: 904000 | #Constraints: 31953 294.28/295.10 c #Conflicts: 905000 | #Constraints: 33627 294.28/295.10 c #Conflicts: 906000 | #Constraints: 35339 294.28/295.10 c #Conflicts: 907000 | #Constraints: 37127 294.28/295.10 c #Conflicts: 908000 | #Constraints: 38544 294.28/295.10 c #Conflicts: 909000 | #Constraints: 39803 294.28/295.10 c #Conflicts: 910000 | #Constraints: 41238 294.28/295.10 c #Conflicts: 911000 | #Constraints: 42507 294.28/295.10 c #Conflicts: 912000 | #Constraints: 43917 294.28/295.10 c #Conflicts: 913000 | #Constraints: 45122 294.28/295.10 c #Conflicts: 914000 | #Constraints: 46488 294.28/295.10 c #Conflicts: 915000 | #Constraints: 47896 294.28/295.10 c #Conflicts: 916000 | #Constraints: 48912 294.28/295.10 c #Conflicts: 917000 | #Constraints: 50026 294.28/295.10 c #Conflicts: 918000 | #Constraints: 51688 294.28/295.10 c #Conflicts: 919000 | #Constraints: 53408 294.28/295.10 c #Conflicts: 920000 | #Constraints: 54655 294.28/295.10 c #Conflicts: 921000 | #Constraints: 56194 294.28/295.10 c #Conflicts: 922000 | #Constraints: 57577 294.28/295.10 c INPROCESSING 294.28/295.10 c GARBAGE COLLECT 294.28/295.10 c rational objective 400.5 299.56/300.47 c #Conflicts: 923000 | #Constraints: 30207 299.56/300.47 c #Conflicts: 924000 | #Constraints: 31207 299.56/300.47 c #Conflicts: 925000 | #Constraints: 32302 299.56/300.47 c #Conflicts: 926000 | #Constraints: 33885 299.56/300.47 c #Conflicts: 927000 | #Constraints: 35462 299.56/300.47 c #Conflicts: 928000 | #Constraints: 37094 299.56/300.47 c #Conflicts: 929000 | #Constraints: 38683 299.56/300.47 c #Conflicts: 930000 | #Constraints: 40303 299.56/300.47 c #Conflicts: 931000 | #Constraints: 41932 299.56/300.47 c #Conflicts: 932000 | #Constraints: 43575 299.56/300.47 c #Conflicts: 933000 | #Constraints: 45181 299.56/300.47 c #Conflicts: 934000 | #Constraints: 46826 299.56/300.47 c #Conflicts: 935000 | #Constraints: 48435 299.56/300.47 c #Conflicts: 936000 | #Constraints: 50150 299.56/300.47 c #Conflicts: 937000 | #Constraints: 51837 299.56/300.47 c #Conflicts: 938000 | #Constraints: 53472 299.56/300.47 c #Conflicts: 939000 | #Constraints: 55064 299.56/300.47 c #Conflicts: 940000 | #Constraints: 56729 299.56/300.47 c #Conflicts: 941000 | #Constraints: 58264 299.56/300.47 c INPROCESSING 299.56/300.47 c GARBAGE COLLECT 299.56/300.47 c rational objective 400.5 304.35/305.25 c #Conflicts: 942000 | #Constraints: 30733 304.35/305.25 c #Conflicts: 943000 | #Constraints: 32347 304.35/305.25 c #Conflicts: 944000 | #Constraints: 34039 304.35/305.25 c #Conflicts: 945000 | #Constraints: 35675 304.35/305.25 c #Conflicts: 946000 | #Constraints: 37253 304.35/305.25 c #Conflicts: 947000 | #Constraints: 38778 304.35/305.25 c #Conflicts: 948000 | #Constraints: 40336 304.35/305.25 c #Conflicts: 949000 | #Constraints: 41982 304.35/305.25 c #Conflicts: 950000 | #Constraints: 43652 304.35/305.25 c #Conflicts: 951000 | #Constraints: 45384 304.35/305.25 c #Conflicts: 952000 | #Constraints: 47045 304.35/305.25 c #Conflicts: 953000 | #Constraints: 48765 304.35/305.25 c #Conflicts: 954000 | #Constraints: 50357 304.35/305.25 c #Conflicts: 955000 | #Constraints: 52087 304.35/305.25 c #Conflicts: 956000 | #Constraints: 53753 304.35/305.25 c #Conflicts: 957000 | #Constraints: 55367 304.35/305.25 c #Conflicts: 958000 | #Constraints: 57093 304.35/305.25 c #Conflicts: 959000 | #Constraints: 58823 304.35/305.25 c #Conflicts: 960000 | #Constraints: 60540 304.35/305.25 c #Conflicts: 961000 | #Constraints: 62162 304.35/305.25 c INPROCESSING 304.35/305.25 c GARBAGE COLLECT 304.35/305.25 c rational objective 400.5 311.42/312.32 c #Conflicts: 962000 | #Constraints: 33095 311.42/312.32 c #Conflicts: 963000 | #Constraints: 34748 311.42/312.32 c #Conflicts: 964000 | #Constraints: 36304 311.42/312.32 c #Conflicts: 965000 | #Constraints: 37995 311.42/312.32 c #Conflicts: 966000 | #Constraints: 39664 311.42/312.32 c #Conflicts: 967000 | #Constraints: 40839 311.42/312.32 c #Conflicts: 968000 | #Constraints: 41839 311.42/312.32 c #Conflicts: 969000 | #Constraints: 42839 311.42/312.32 c #Conflicts: 970000 | #Constraints: 43839 311.42/312.32 c #Conflicts: 971000 | #Constraints: 44839 311.42/312.32 c #Conflicts: 972000 | #Constraints: 45839 311.42/312.32 c #Conflicts: 973000 | #Constraints: 46839 311.42/312.32 c #Conflicts: 974000 | #Constraints: 48198 311.42/312.32 c #Conflicts: 975000 | #Constraints: 49967 311.42/312.32 c #Conflicts: 976000 | #Constraints: 51732 311.42/312.32 c #Conflicts: 977000 | #Constraints: 53466 311.42/312.32 c #Conflicts: 978000 | #Constraints: 55202 311.42/312.32 c #Conflicts: 979000 | #Constraints: 56957 311.42/312.32 c #Conflicts: 980000 | #Constraints: 58633 311.42/312.32 c #Conflicts: 981000 | #Constraints: 60314 311.42/312.32 c INPROCESSING 311.42/312.32 c GARBAGE COLLECT 311.42/312.32 c rational objective 400.5 317.91/318.81 c #Conflicts: 982000 | #Constraints: 31940 317.91/318.81 c #Conflicts: 983000 | #Constraints: 33179 317.91/318.81 c #Conflicts: 984000 | #Constraints: 34186 317.91/318.81 c #Conflicts: 985000 | #Constraints: 35186 317.91/318.81 c #Conflicts: 986000 | #Constraints: 36307 317.91/318.81 c #Conflicts: 987000 | #Constraints: 37350 317.91/318.81 c #Conflicts: 988000 | #Constraints: 38680 317.91/318.81 c #Conflicts: 989000 | #Constraints: 40304 317.91/318.81 c #Conflicts: 990000 | #Constraints: 41958 317.91/318.81 c #Conflicts: 991000 | #Constraints: 43602 317.91/318.81 c #Conflicts: 992000 | #Constraints: 45255 317.91/318.81 c #Conflicts: 993000 | #Constraints: 46849 317.91/318.81 c #Conflicts: 994000 | #Constraints: 48461 317.91/318.81 c #Conflicts: 995000 | #Constraints: 49999 317.91/318.81 c #Conflicts: 996000 | #Constraints: 51357 317.91/318.81 c #Conflicts: 997000 | #Constraints: 52373 317.91/318.81 c #Conflicts: 998000 | #Constraints: 53433 317.91/318.81 c #Conflicts: 999000 | #Constraints: 54433 317.91/318.81 c #Conflicts: 1000000 | #Constraints: 55433 317.91/318.81 c #Conflicts: 1001000 | #Constraints: 56478 317.91/318.81 c INPROCESSING 317.91/318.81 c GARBAGE COLLECT 317.91/318.81 c rational objective 400.5 321.30/322.23 c #Conflicts: 1002000 | #Constraints: 29730 321.30/322.23 c #Conflicts: 1003000 | #Constraints: 30827 321.30/322.23 c #Conflicts: 1004000 | #Constraints: 32150 321.30/322.23 c #Conflicts: 1005000 | #Constraints: 33505 321.30/322.23 c #Conflicts: 1006000 | #Constraints: 35154 321.30/322.23 c #Conflicts: 1007000 | #Constraints: 36753 321.30/322.23 c #Conflicts: 1008000 | #Constraints: 37753 321.30/322.23 c #Conflicts: 1009000 | #Constraints: 38754 321.30/322.23 c #Conflicts: 1010000 | #Constraints: 39768 321.30/322.23 c #Conflicts: 1011000 | #Constraints: 40772 321.30/322.23 c #Conflicts: 1012000 | #Constraints: 41772 321.30/322.23 c #Conflicts: 1013000 | #Constraints: 42772 321.30/322.23 c #Conflicts: 1014000 | #Constraints: 43776 321.30/322.23 c #Conflicts: 1015000 | #Constraints: 44799 321.30/322.23 c #Conflicts: 1016000 | #Constraints: 45800 321.30/322.23 c #Conflicts: 1017000 | #Constraints: 46800 321.30/322.23 c #Conflicts: 1018000 | #Constraints: 47802 321.30/322.23 c #Conflicts: 1019000 | #Constraints: 48814 321.30/322.23 c #Conflicts: 1020000 | #Constraints: 49814 321.30/322.23 c #Conflicts: 1021000 | #Constraints: 50814 321.30/322.23 c INPROCESSING 321.30/322.23 c GARBAGE COLLECT 321.30/322.23 c rational objective 400.5 325.99/326.93 c #Conflicts: 1022000 | #Constraints: 26790 325.99/326.93 c #Conflicts: 1023000 | #Constraints: 27790 325.99/326.93 c #Conflicts: 1024000 | #Constraints: 28790 325.99/326.93 c #Conflicts: 1025000 | #Constraints: 29964 325.99/326.93 c #Conflicts: 1026000 | #Constraints: 31610 325.99/326.93 c #Conflicts: 1027000 | #Constraints: 33178 325.99/326.93 c #Conflicts: 1028000 | #Constraints: 34894 325.99/326.93 c #Conflicts: 1029000 | #Constraints: 36603 325.99/326.93 c #Conflicts: 1030000 | #Constraints: 38383 325.99/326.93 c #Conflicts: 1031000 | #Constraints: 40148 325.99/326.93 c #Conflicts: 1032000 | #Constraints: 41843 325.99/326.93 c #Conflicts: 1033000 | #Constraints: 43578 325.99/326.93 c #Conflicts: 1034000 | #Constraints: 45337 325.99/326.93 c #Conflicts: 1035000 | #Constraints: 47092 325.99/326.93 c #Conflicts: 1036000 | #Constraints: 48854 325.99/326.93 c #Conflicts: 1037000 | #Constraints: 50589 325.99/326.93 c #Conflicts: 1038000 | #Constraints: 52350 325.99/326.93 c #Conflicts: 1039000 | #Constraints: 54066 325.99/326.93 c #Conflicts: 1040000 | #Constraints: 55778 325.99/326.93 c #Conflicts: 1041000 | #Constraints: 57526 325.99/326.93 c INPROCESSING 325.99/326.93 c GARBAGE COLLECT 325.99/326.93 c rational objective 400.5 333.47/334.49 c #Conflicts: 1042000 | #Constraints: 30485 333.47/334.49 c #Conflicts: 1043000 | #Constraints: 32246 333.47/334.49 c #Conflicts: 1044000 | #Constraints: 33971 333.47/334.49 c #Conflicts: 1045000 | #Constraints: 35757 333.47/334.49 c #Conflicts: 1046000 | #Constraints: 37480 333.47/334.49 c #Conflicts: 1047000 | #Constraints: 39175 333.47/334.49 c #Conflicts: 1048000 | #Constraints: 40829 333.47/334.49 c #Conflicts: 1049000 | #Constraints: 42448 333.47/334.49 c #Conflicts: 1050000 | #Constraints: 44133 333.47/334.49 c #Conflicts: 1051000 | #Constraints: 45816 333.47/334.49 c #Conflicts: 1052000 | #Constraints: 47465 333.47/334.49 c #Conflicts: 1053000 | #Constraints: 49146 333.47/334.49 c #Conflicts: 1054000 | #Constraints: 50813 333.47/334.49 c #Conflicts: 1055000 | #Constraints: 52473 333.47/334.49 c #Conflicts: 1056000 | #Constraints: 54121 333.47/334.49 c #Conflicts: 1057000 | #Constraints: 55839 333.47/334.49 c #Conflicts: 1058000 | #Constraints: 57497 333.47/334.49 c #Conflicts: 1059000 | #Constraints: 59203 333.47/334.49 c #Conflicts: 1060000 | #Constraints: 60770 333.47/334.49 c #Conflicts: 1061000 | #Constraints: 62458 333.47/334.49 c #Conflicts: 1062000 | #Constraints: 64181 333.47/334.49 c INPROCESSING 333.47/334.49 c GARBAGE COLLECT 333.47/334.49 c rational objective 400.5 337.86/338.89 c #Conflicts: 1063000 | #Constraints: 33978 337.86/338.89 c #Conflicts: 1064000 | #Constraints: 35550 337.86/338.89 c #Conflicts: 1065000 | #Constraints: 36595 337.86/338.89 c #Conflicts: 1066000 | #Constraints: 37595 337.86/338.89 c #Conflicts: 1067000 | #Constraints: 38604 337.86/338.89 c #Conflicts: 1068000 | #Constraints: 39617 337.86/338.89 c #Conflicts: 1069000 | #Constraints: 40617 337.86/338.89 c #Conflicts: 1070000 | #Constraints: 41617 337.86/338.89 c #Conflicts: 1071000 | #Constraints: 42684 337.86/338.89 c #Conflicts: 1072000 | #Constraints: 43866 337.86/338.89 c #Conflicts: 1073000 | #Constraints: 44866 337.86/338.89 c #Conflicts: 1074000 | #Constraints: 45866 337.86/338.89 c #Conflicts: 1075000 | #Constraints: 46878 337.86/338.89 c #Conflicts: 1076000 | #Constraints: 47883 337.86/338.89 c #Conflicts: 1077000 | #Constraints: 49297 337.86/338.89 c #Conflicts: 1078000 | #Constraints: 50563 337.86/338.89 c #Conflicts: 1079000 | #Constraints: 51563 337.86/338.89 c #Conflicts: 1080000 | #Constraints: 52715 337.86/338.89 c #Conflicts: 1081000 | #Constraints: 53914 337.86/338.89 c #Conflicts: 1082000 | #Constraints: 54920 337.86/338.89 c #Conflicts: 1083000 | #Constraints: 55962 337.86/338.89 c INPROCESSING 337.86/338.89 c GARBAGE COLLECT 337.86/338.89 c rational objective 400.5 341.05/342.01 c #Conflicts: 1084000 | #Constraints: 29476 341.05/342.01 c #Conflicts: 1085000 | #Constraints: 30476 341.05/342.01 c #Conflicts: 1086000 | #Constraints: 31476 341.05/342.01 c #Conflicts: 1087000 | #Constraints: 32476 341.05/342.01 c #Conflicts: 1088000 | #Constraints: 33476 341.05/342.01 c #Conflicts: 1089000 | #Constraints: 34476 341.05/342.01 c #Conflicts: 1090000 | #Constraints: 35484 341.05/342.01 c #Conflicts: 1091000 | #Constraints: 36494 341.05/342.01 c #Conflicts: 1092000 | #Constraints: 37502 341.05/342.01 c #Conflicts: 1093000 | #Constraints: 38528 341.05/342.01 c #Conflicts: 1094000 | #Constraints: 39568 341.05/342.01 c #Conflicts: 1095000 | #Constraints: 40756 341.05/342.01 c #Conflicts: 1096000 | #Constraints: 41844 341.05/342.01 c #Conflicts: 1097000 | #Constraints: 42958 341.05/342.01 c #Conflicts: 1098000 | #Constraints: 44000 341.05/342.01 c #Conflicts: 1099000 | #Constraints: 45024 341.05/342.01 c #Conflicts: 1100000 | #Constraints: 46078 341.05/342.01 c #Conflicts: 1101000 | #Constraints: 47102 341.05/342.01 c #Conflicts: 1102000 | #Constraints: 48110 341.05/342.01 c #Conflicts: 1103000 | #Constraints: 49134 341.05/342.01 c #Conflicts: 1104000 | #Constraints: 50193 341.05/342.01 c INPROCESSING 341.05/342.01 c GARBAGE COLLECT 341.05/342.01 c rational objective 400.5 344.94/345.93 c #Conflicts: 1105000 | #Constraints: 26598 344.94/345.93 c #Conflicts: 1106000 | #Constraints: 27765 344.94/345.93 c #Conflicts: 1107000 | #Constraints: 29482 344.94/345.93 c #Conflicts: 1108000 | #Constraints: 31162 344.94/345.93 c #Conflicts: 1109000 | #Constraints: 32702 344.94/345.93 c #Conflicts: 1110000 | #Constraints: 33991 344.94/345.93 c #Conflicts: 1111000 | #Constraints: 35029 344.94/345.93 c #Conflicts: 1112000 | #Constraints: 36029 344.94/345.93 c #Conflicts: 1113000 | #Constraints: 37063 344.94/345.93 c #Conflicts: 1114000 | #Constraints: 38063 344.94/345.93 c #Conflicts: 1115000 | #Constraints: 39063 344.94/345.93 c #Conflicts: 1116000 | #Constraints: 40063 344.94/345.93 c #Conflicts: 1117000 | #Constraints: 41063 344.94/345.93 c #Conflicts: 1118000 | #Constraints: 42063 344.94/345.93 c #Conflicts: 1119000 | #Constraints: 43063 344.94/345.93 c #Conflicts: 1120000 | #Constraints: 44063 344.94/345.93 c #Conflicts: 1121000 | #Constraints: 45063 344.94/345.93 c #Conflicts: 1122000 | #Constraints: 46063 344.94/345.93 c #Conflicts: 1123000 | #Constraints: 47063 344.94/345.93 c #Conflicts: 1124000 | #Constraints: 48063 344.94/345.93 c #Conflicts: 1125000 | #Constraints: 49063 344.94/345.93 c INPROCESSING 344.94/345.93 c GARBAGE COLLECT 344.94/345.93 c rational objective 400.5 351.72/352.70 c #Conflicts: 1126000 | #Constraints: 25914 351.72/352.70 c #Conflicts: 1127000 | #Constraints: 26914 351.72/352.70 c #Conflicts: 1128000 | #Constraints: 28264 351.72/352.70 c #Conflicts: 1129000 | #Constraints: 30009 351.72/352.70 c #Conflicts: 1130000 | #Constraints: 31788 351.72/352.70 c #Conflicts: 1131000 | #Constraints: 33526 351.72/352.70 c #Conflicts: 1132000 | #Constraints: 35133 351.72/352.70 c #Conflicts: 1133000 | #Constraints: 36816 351.72/352.70 c #Conflicts: 1134000 | #Constraints: 38446 351.72/352.70 c #Conflicts: 1135000 | #Constraints: 40069 351.72/352.70 c #Conflicts: 1136000 | #Constraints: 41742 351.72/352.70 c #Conflicts: 1137000 | #Constraints: 43413 351.72/352.70 c #Conflicts: 1138000 | #Constraints: 45010 351.72/352.70 c #Conflicts: 1139000 | #Constraints: 46653 351.72/352.70 c #Conflicts: 1140000 | #Constraints: 48335 351.72/352.70 c #Conflicts: 1141000 | #Constraints: 50013 351.72/352.70 c #Conflicts: 1142000 | #Constraints: 51682 351.72/352.70 c #Conflicts: 1143000 | #Constraints: 53345 351.72/352.70 c #Conflicts: 1144000 | #Constraints: 55150 351.72/352.70 c #Conflicts: 1145000 | #Constraints: 56806 351.72/352.70 c #Conflicts: 1146000 | #Constraints: 58320 351.72/352.70 c INPROCESSING 351.72/352.70 c GARBAGE COLLECT 351.72/352.70 c rational objective 400.5 359.30/360.30 c #Conflicts: 1147000 | #Constraints: 30729 359.30/360.30 c #Conflicts: 1148000 | #Constraints: 32402 359.30/360.30 c #Conflicts: 1149000 | #Constraints: 34100 359.30/360.30 c #Conflicts: 1150000 | #Constraints: 35760 359.30/360.30 c #Conflicts: 1151000 | #Constraints: 37521 359.30/360.30 c #Conflicts: 1152000 | #Constraints: 39225 359.30/360.30 c #Conflicts: 1153000 | #Constraints: 40990 359.30/360.30 c #Conflicts: 1154000 | #Constraints: 42743 359.30/360.30 c #Conflicts: 1155000 | #Constraints: 44418 359.30/360.30 c #Conflicts: 1156000 | #Constraints: 46140 359.30/360.30 c #Conflicts: 1157000 | #Constraints: 47773 359.30/360.30 c #Conflicts: 1158000 | #Constraints: 49497 359.30/360.30 c #Conflicts: 1159000 | #Constraints: 51134 359.30/360.30 c #Conflicts: 1160000 | #Constraints: 52828 359.30/360.30 c #Conflicts: 1161000 | #Constraints: 54521 359.30/360.30 c #Conflicts: 1162000 | #Constraints: 56189 359.30/360.30 c #Conflicts: 1163000 | #Constraints: 57811 359.30/360.30 c #Conflicts: 1164000 | #Constraints: 59438 359.30/360.30 c #Conflicts: 1165000 | #Constraints: 61146 359.30/360.30 c #Conflicts: 1166000 | #Constraints: 62889 359.30/360.30 c #Conflicts: 1167000 | #Constraints: 64600 359.30/360.30 c #Conflicts: 1168000 | #Constraints: 66387 359.30/360.30 c INPROCESSING 359.30/360.30 c GARBAGE COLLECT 359.30/360.30 c rational objective 400.5 366.79/367.85 c #Conflicts: 1169000 | #Constraints: 35134 366.79/367.85 c #Conflicts: 1170000 | #Constraints: 36762 366.79/367.85 c #Conflicts: 1171000 | #Constraints: 38433 366.79/367.85 c #Conflicts: 1172000 | #Constraints: 40052 366.79/367.85 c #Conflicts: 1173000 | #Constraints: 41745 366.79/367.85 c #Conflicts: 1174000 | #Constraints: 43377 366.79/367.85 c #Conflicts: 1175000 | #Constraints: 45023 366.79/367.85 c #Conflicts: 1176000 | #Constraints: 46766 366.79/367.85 c #Conflicts: 1177000 | #Constraints: 48406 366.79/367.85 c #Conflicts: 1178000 | #Constraints: 50028 366.79/367.85 c #Conflicts: 1179000 | #Constraints: 51693 366.79/367.85 c #Conflicts: 1180000 | #Constraints: 53437 366.79/367.85 c #Conflicts: 1181000 | #Constraints: 55120 366.79/367.85 c #Conflicts: 1182000 | #Constraints: 56815 366.79/367.85 c #Conflicts: 1183000 | #Constraints: 58515 366.79/367.85 c #Conflicts: 1184000 | #Constraints: 60243 366.79/367.85 c #Conflicts: 1185000 | #Constraints: 61890 366.79/367.85 c #Conflicts: 1186000 | #Constraints: 63569 366.79/367.85 c #Conflicts: 1187000 | #Constraints: 65123 366.79/367.85 c #Conflicts: 1188000 | #Constraints: 66653 366.79/367.85 c #Conflicts: 1189000 | #Constraints: 68367 366.79/367.85 c #Conflicts: 1190000 | #Constraints: 70020 366.79/367.85 c INPROCESSING 366.79/367.85 c GARBAGE COLLECT 366.79/367.85 c rational objective 400.5 375.66/376.70 c #Conflicts: 1191000 | #Constraints: 37083 375.66/376.70 c #Conflicts: 1192000 | #Constraints: 38769 375.66/376.70 c #Conflicts: 1193000 | #Constraints: 40480 375.66/376.70 c #Conflicts: 1194000 | #Constraints: 42152 375.66/376.70 c #Conflicts: 1195000 | #Constraints: 43794 375.66/376.70 c #Conflicts: 1196000 | #Constraints: 45380 375.66/376.70 c #Conflicts: 1197000 | #Constraints: 47100 375.66/376.70 c #Conflicts: 1198000 | #Constraints: 48732 375.66/376.70 c #Conflicts: 1199000 | #Constraints: 50227 375.66/376.70 c #Conflicts: 1200000 | #Constraints: 51902 375.66/376.70 c #Conflicts: 1201000 | #Constraints: 53596 375.66/376.70 c #Conflicts: 1202000 | #Constraints: 55356 375.66/376.70 c #Conflicts: 1203000 | #Constraints: 57072 375.66/376.70 c #Conflicts: 1204000 | #Constraints: 58777 375.66/376.70 c #Conflicts: 1205000 | #Constraints: 60388 375.66/376.70 c #Conflicts: 1206000 | #Constraints: 61927 375.66/376.70 c #Conflicts: 1207000 | #Constraints: 63184 375.66/376.70 c #Conflicts: 1208000 | #Constraints: 64944 375.66/376.70 c #Conflicts: 1209000 | #Constraints: 66651 375.66/376.70 c #Conflicts: 1210000 | #Constraints: 68335 375.66/376.70 c #Conflicts: 1211000 | #Constraints: 69987 375.66/376.70 c #Conflicts: 1212000 | #Constraints: 71747 375.66/376.70 c INPROCESSING 375.66/376.70 c GARBAGE COLLECT 375.66/376.70 c rational objective 400.5 381.64/382.73 c #Conflicts: 1213000 | #Constraints: 38118 381.64/382.73 c #Conflicts: 1214000 | #Constraints: 39751 381.64/382.73 c #Conflicts: 1215000 | #Constraints: 41470 381.64/382.73 c #Conflicts: 1216000 | #Constraints: 43135 381.64/382.73 c #Conflicts: 1217000 | #Constraints: 44801 381.64/382.73 c #Conflicts: 1218000 | #Constraints: 46542 381.64/382.73 c #Conflicts: 1219000 | #Constraints: 48122 381.64/382.73 c #Conflicts: 1220000 | #Constraints: 49624 381.64/382.73 c #Conflicts: 1221000 | #Constraints: 51121 381.64/382.73 c #Conflicts: 1222000 | #Constraints: 52634 381.64/382.73 c #Conflicts: 1223000 | #Constraints: 54255 381.64/382.73 c #Conflicts: 1224000 | #Constraints: 55771 381.64/382.73 c #Conflicts: 1225000 | #Constraints: 57391 381.64/382.73 c #Conflicts: 1226000 | #Constraints: 58895 381.64/382.73 c #Conflicts: 1227000 | #Constraints: 60380 381.64/382.73 c #Conflicts: 1228000 | #Constraints: 61933 381.64/382.73 c #Conflicts: 1229000 | #Constraints: 63519 381.64/382.73 c #Conflicts: 1230000 | #Constraints: 65205 381.64/382.73 c #Conflicts: 1231000 | #Constraints: 66877 381.64/382.73 c #Conflicts: 1232000 | #Constraints: 68584 381.64/382.73 c #Conflicts: 1233000 | #Constraints: 70322 381.64/382.73 c #Conflicts: 1234000 | #Constraints: 72044 381.64/382.73 c INPROCESSING 381.64/382.73 c GARBAGE COLLECT 381.64/382.73 c rational objective 400.5 389.42/390.57 c #Conflicts: 1235000 | #Constraints: 38023 389.42/390.57 c #Conflicts: 1236000 | #Constraints: 39561 389.42/390.57 c #Conflicts: 1237000 | #Constraints: 41310 389.42/390.57 c #Conflicts: 1238000 | #Constraints: 43022 389.42/390.57 c #Conflicts: 1239000 | #Constraints: 44678 389.42/390.57 c #Conflicts: 1240000 | #Constraints: 46302 389.42/390.57 c #Conflicts: 1241000 | #Constraints: 47990 389.42/390.57 c #Conflicts: 1242000 | #Constraints: 49725 389.42/390.57 c #Conflicts: 1243000 | #Constraints: 51381 389.42/390.57 c #Conflicts: 1244000 | #Constraints: 53105 389.42/390.57 c #Conflicts: 1245000 | #Constraints: 54804 389.42/390.57 c #Conflicts: 1246000 | #Constraints: 56473 389.42/390.57 c #Conflicts: 1247000 | #Constraints: 58149 389.42/390.57 c #Conflicts: 1248000 | #Constraints: 59805 389.42/390.57 c #Conflicts: 1249000 | #Constraints: 61486 389.42/390.57 c #Conflicts: 1250000 | #Constraints: 63251 389.42/390.57 c #Conflicts: 1251000 | #Constraints: 64950 389.42/390.57 c #Conflicts: 1252000 | #Constraints: 66594 389.42/390.57 c #Conflicts: 1253000 | #Constraints: 68304 389.42/390.57 c #Conflicts: 1254000 | #Constraints: 70048 389.42/390.57 c #Conflicts: 1255000 | #Constraints: 71781 389.42/390.57 c #Conflicts: 1256000 | #Constraints: 73512 389.42/390.57 c INPROCESSING 389.42/390.57 c GARBAGE COLLECT 389.42/390.57 c rational objective 400.5 397.50/398.69 c #Conflicts: 1257000 | #Constraints: 38407 397.50/398.69 c #Conflicts: 1258000 | #Constraints: 39852 397.50/398.69 c #Conflicts: 1259000 | #Constraints: 41475 397.50/398.69 c #Conflicts: 1260000 | #Constraints: 42657 397.50/398.69 c #Conflicts: 1261000 | #Constraints: 43867 397.50/398.69 c #Conflicts: 1262000 | #Constraints: 45201 397.50/398.69 c #Conflicts: 1263000 | #Constraints: 46552 397.50/398.69 c #Conflicts: 1264000 | #Constraints: 48195 397.50/398.69 c #Conflicts: 1265000 | #Constraints: 49764 397.50/398.69 c #Conflicts: 1266000 | #Constraints: 51049 397.50/398.69 c #Conflicts: 1267000 | #Constraints: 52359 397.50/398.69 c #Conflicts: 1268000 | #Constraints: 53690 397.50/398.69 c #Conflicts: 1269000 | #Constraints: 55443 397.50/398.69 c #Conflicts: 1270000 | #Constraints: 57076 397.50/398.69 c #Conflicts: 1271000 | #Constraints: 58690 397.50/398.69 c #Conflicts: 1272000 | #Constraints: 60290 397.50/398.69 c #Conflicts: 1273000 | #Constraints: 61971 397.50/398.69 c #Conflicts: 1274000 | #Constraints: 63650 397.50/398.69 c #Conflicts: 1275000 | #Constraints: 65187 397.50/398.69 c #Conflicts: 1276000 | #Constraints: 66544 397.50/398.69 c #Conflicts: 1277000 | #Constraints: 67969 397.50/398.69 c #Conflicts: 1278000 | #Constraints: 69151 397.50/398.69 c #Conflicts: 1279000 | #Constraints: 70551 397.50/398.69 c INPROCESSING 397.50/398.69 c GARBAGE COLLECT 397.50/398.69 c rational objective 400.5 405.08/406.26 c #Conflicts: 1280000 | #Constraints: 37025 405.08/406.26 c #Conflicts: 1281000 | #Constraints: 38678 405.08/406.26 c #Conflicts: 1282000 | #Constraints: 40157 405.08/406.26 c #Conflicts: 1283000 | #Constraints: 41758 405.08/406.26 c #Conflicts: 1284000 | #Constraints: 43385 405.08/406.26 c #Conflicts: 1285000 | #Constraints: 44385 405.08/406.26 c #Conflicts: 1286000 | #Constraints: 45385 405.08/406.26 c #Conflicts: 1287000 | #Constraints: 46388 405.08/406.26 c #Conflicts: 1288000 | #Constraints: 47388 405.08/406.26 c #Conflicts: 1289000 | #Constraints: 48389 405.08/406.26 c #Conflicts: 1290000 | #Constraints: 49389 405.08/406.26 c #Conflicts: 1291000 | #Constraints: 50389 405.08/406.26 c #Conflicts: 1292000 | #Constraints: 51389 405.08/406.26 c #Conflicts: 1293000 | #Constraints: 52390 405.08/406.26 c #Conflicts: 1294000 | #Constraints: 53390 405.08/406.26 c #Conflicts: 1295000 | #Constraints: 54390 405.08/406.26 c #Conflicts: 1296000 | #Constraints: 55390 405.08/406.26 c #Conflicts: 1297000 | #Constraints: 56391 405.08/406.26 c #Conflicts: 1298000 | #Constraints: 57392 405.08/406.26 c #Conflicts: 1299000 | #Constraints: 58396 405.08/406.26 c #Conflicts: 1300000 | #Constraints: 59396 405.08/406.26 c #Conflicts: 1301000 | #Constraints: 60396 405.08/406.26 c #Conflicts: 1302000 | #Constraints: 61396 405.08/406.26 c INPROCESSING 405.08/406.26 c GARBAGE COLLECT 405.08/406.26 c rational objective 400.5 412.66/413.80 c #Conflicts: 1303000 | #Constraints: 32670 412.66/413.80 c #Conflicts: 1304000 | #Constraints: 34367 412.66/413.80 c #Conflicts: 1305000 | #Constraints: 35877 412.66/413.80 c #Conflicts: 1306000 | #Constraints: 37470 412.66/413.80 c #Conflicts: 1307000 | #Constraints: 39112 412.66/413.80 c #Conflicts: 1308000 | #Constraints: 40631 412.66/413.80 c #Conflicts: 1309000 | #Constraints: 42292 412.66/413.80 c #Conflicts: 1310000 | #Constraints: 43917 412.66/413.80 c #Conflicts: 1311000 | #Constraints: 45596 412.66/413.80 c #Conflicts: 1312000 | #Constraints: 47260 412.66/413.80 c #Conflicts: 1313000 | #Constraints: 48803 412.66/413.80 c #Conflicts: 1314000 | #Constraints: 50313 412.66/413.80 c #Conflicts: 1315000 | #Constraints: 51839 412.66/413.80 c #Conflicts: 1316000 | #Constraints: 53348 412.66/413.80 c #Conflicts: 1317000 | #Constraints: 54752 412.66/413.80 c #Conflicts: 1318000 | #Constraints: 56198 412.66/413.80 c #Conflicts: 1319000 | #Constraints: 57715 412.66/413.80 c #Conflicts: 1320000 | #Constraints: 59330 412.66/413.80 c #Conflicts: 1321000 | #Constraints: 61022 412.66/413.80 c #Conflicts: 1322000 | #Constraints: 62687 412.66/413.80 c #Conflicts: 1323000 | #Constraints: 64378 412.66/413.80 c #Conflicts: 1324000 | #Constraints: 66069 412.66/413.80 c #Conflicts: 1325000 | #Constraints: 67726 412.66/413.80 c INPROCESSING 412.66/413.80 c GARBAGE COLLECT 412.66/413.80 c rational objective 400.5 419.94/421.12 c #Conflicts: 1326000 | #Constraints: 36069 419.94/421.12 c #Conflicts: 1327000 | #Constraints: 37792 419.94/421.12 c #Conflicts: 1328000 | #Constraints: 39392 419.94/421.12 c #Conflicts: 1329000 | #Constraints: 40876 419.94/421.12 c #Conflicts: 1330000 | #Constraints: 42449 419.94/421.12 c #Conflicts: 1331000 | #Constraints: 44135 419.94/421.12 c #Conflicts: 1332000 | #Constraints: 45640 419.94/421.12 c #Conflicts: 1333000 | #Constraints: 47306 419.94/421.12 c #Conflicts: 1334000 | #Constraints: 48941 419.94/421.12 c #Conflicts: 1335000 | #Constraints: 50656 419.94/421.12 c #Conflicts: 1336000 | #Constraints: 52362 419.94/421.12 c #Conflicts: 1337000 | #Constraints: 53997 419.94/421.12 c #Conflicts: 1338000 | #Constraints: 55650 419.94/421.12 c #Conflicts: 1339000 | #Constraints: 57292 419.94/421.12 c #Conflicts: 1340000 | #Constraints: 58993 419.94/421.12 c #Conflicts: 1341000 | #Constraints: 60666 419.94/421.12 c #Conflicts: 1342000 | #Constraints: 62331 419.94/421.12 c #Conflicts: 1343000 | #Constraints: 63970 419.94/421.12 c #Conflicts: 1344000 | #Constraints: 65674 419.94/421.12 c #Conflicts: 1345000 | #Constraints: 67371 419.94/421.12 c #Conflicts: 1346000 | #Constraints: 69076 419.94/421.12 c #Conflicts: 1347000 | #Constraints: 70706 419.94/421.12 c #Conflicts: 1348000 | #Constraints: 72298 419.94/421.12 c INPROCESSING 419.94/421.12 c GARBAGE COLLECT 419.94/421.12 c rational objective 400.5 428.72/429.98 c #Conflicts: 1349000 | #Constraints: 38199 428.72/429.98 c #Conflicts: 1350000 | #Constraints: 39938 428.72/429.98 c #Conflicts: 1351000 | #Constraints: 41639 428.72/429.98 c #Conflicts: 1352000 | #Constraints: 43370 428.72/429.98 c #Conflicts: 1353000 | #Constraints: 45126 428.72/429.98 c #Conflicts: 1354000 | #Constraints: 46858 428.72/429.98 c #Conflicts: 1355000 | #Constraints: 48497 428.72/429.98 c #Conflicts: 1356000 | #Constraints: 50187 428.72/429.98 c #Conflicts: 1357000 | #Constraints: 51831 428.72/429.98 c #Conflicts: 1358000 | #Constraints: 53503 428.72/429.98 c #Conflicts: 1359000 | #Constraints: 55170 428.72/429.98 c #Conflicts: 1360000 | #Constraints: 56886 428.72/429.98 c #Conflicts: 1361000 | #Constraints: 58523 428.72/429.98 c #Conflicts: 1362000 | #Constraints: 60127 428.72/429.98 c #Conflicts: 1363000 | #Constraints: 61765 428.72/429.98 c #Conflicts: 1364000 | #Constraints: 63454 428.72/429.98 c #Conflicts: 1365000 | #Constraints: 65060 428.72/429.98 c #Conflicts: 1366000 | #Constraints: 66642 428.72/429.98 c #Conflicts: 1367000 | #Constraints: 68356 428.72/429.98 c #Conflicts: 1368000 | #Constraints: 69946 428.72/429.98 c #Conflicts: 1369000 | #Constraints: 71652 428.72/429.98 c #Conflicts: 1370000 | #Constraints: 73288 428.72/429.98 c #Conflicts: 1371000 | #Constraints: 74924 428.72/429.98 c INPROCESSING 428.72/429.98 c GARBAGE COLLECT 428.72/429.98 c rational objective 400.5 436.99/438.26 c #Conflicts: 1372000 | #Constraints: 39049 436.99/438.26 c #Conflicts: 1373000 | #Constraints: 40798 436.99/438.26 c #Conflicts: 1374000 | #Constraints: 42492 436.99/438.26 c #Conflicts: 1375000 | #Constraints: 44137 436.99/438.26 c #Conflicts: 1376000 | #Constraints: 45848 436.99/438.26 c #Conflicts: 1377000 | #Constraints: 47612 436.99/438.26 c #Conflicts: 1378000 | #Constraints: 49322 436.99/438.26 c #Conflicts: 1379000 | #Constraints: 51024 436.99/438.26 c #Conflicts: 1380000 | #Constraints: 52603 436.99/438.26 c #Conflicts: 1381000 | #Constraints: 54280 436.99/438.26 c #Conflicts: 1382000 | #Constraints: 55956 436.99/438.26 c #Conflicts: 1383000 | #Constraints: 57558 436.99/438.26 c #Conflicts: 1384000 | #Constraints: 59189 436.99/438.26 c #Conflicts: 1385000 | #Constraints: 60869 436.99/438.26 c #Conflicts: 1386000 | #Constraints: 62540 436.99/438.26 c #Conflicts: 1387000 | #Constraints: 64174 436.99/438.26 c #Conflicts: 1388000 | #Constraints: 65871 436.99/438.26 c #Conflicts: 1389000 | #Constraints: 67479 436.99/438.26 c #Conflicts: 1390000 | #Constraints: 69178 436.99/438.26 c #Conflicts: 1391000 | #Constraints: 70783 436.99/438.26 c #Conflicts: 1392000 | #Constraints: 72386 436.99/438.26 c #Conflicts: 1393000 | #Constraints: 73907 436.99/438.26 c #Conflicts: 1394000 | #Constraints: 75610 436.99/438.26 c #Conflicts: 1395000 | #Constraints: 77337 436.99/438.26 c INPROCESSING 436.99/438.26 c GARBAGE COLLECT 436.99/438.26 c rational objective 400.5 450.76/452.08 c #Conflicts: 1396000 | #Constraints: 40591 450.76/452.08 c #Conflicts: 1397000 | #Constraints: 42179 450.76/452.08 c #Conflicts: 1398000 | #Constraints: 43836 450.76/452.08 c #Conflicts: 1399000 | #Constraints: 45507 450.76/452.08 c #Conflicts: 1400000 | #Constraints: 47218 450.76/452.08 c #Conflicts: 1401000 | #Constraints: 48825 450.76/452.08 c #Conflicts: 1402000 | #Constraints: 50372 450.76/452.08 c #Conflicts: 1403000 | #Constraints: 51980 450.76/452.08 c #Conflicts: 1404000 | #Constraints: 53637 450.76/452.08 c #Conflicts: 1405000 | #Constraints: 55232 450.76/452.08 c #Conflicts: 1406000 | #Constraints: 56909 450.76/452.08 c #Conflicts: 1407000 | #Constraints: 58601 450.76/452.08 c #Conflicts: 1408000 | #Constraints: 60209 450.76/452.08 c #Conflicts: 1409000 | #Constraints: 61854 450.76/452.08 c #Conflicts: 1410000 | #Constraints: 63629 450.76/452.08 c #Conflicts: 1411000 | #Constraints: 65333 450.76/452.08 c #Conflicts: 1412000 | #Constraints: 67054 450.76/452.08 c #Conflicts: 1413000 | #Constraints: 68755 450.76/452.08 c #Conflicts: 1414000 | #Constraints: 70357 450.76/452.08 c #Conflicts: 1415000 | #Constraints: 72004 450.76/452.08 c #Conflicts: 1416000 | #Constraints: 73746 450.76/452.08 c #Conflicts: 1417000 | #Constraints: 75448 450.76/452.08 c #Conflicts: 1418000 | #Constraints: 77122 450.76/452.08 c #Conflicts: 1419000 | #Constraints: 78755 450.76/452.08 c INPROCESSING 450.76/452.08 c GARBAGE COLLECT 450.76/452.08 c rational objective 400.5 462.32/463.69 c #Conflicts: 1420000 | #Constraints: 41558 462.32/463.69 c #Conflicts: 1421000 | #Constraints: 43123 462.32/463.69 c #Conflicts: 1422000 | #Constraints: 44711 462.32/463.69 c #Conflicts: 1423000 | #Constraints: 46343 462.32/463.69 c #Conflicts: 1424000 | #Constraints: 48042 462.32/463.69 c #Conflicts: 1425000 | #Constraints: 49647 462.32/463.69 c #Conflicts: 1426000 | #Constraints: 51291 462.32/463.69 c #Conflicts: 1427000 | #Constraints: 52960 462.32/463.69 c #Conflicts: 1428000 | #Constraints: 54610 462.32/463.69 c #Conflicts: 1429000 | #Constraints: 56305 462.32/463.69 c #Conflicts: 1430000 | #Constraints: 58026 462.32/463.69 c #Conflicts: 1431000 | #Constraints: 59750 462.32/463.69 c #Conflicts: 1432000 | #Constraints: 61408 462.32/463.69 c #Conflicts: 1433000 | #Constraints: 63103 462.32/463.69 c #Conflicts: 1434000 | #Constraints: 64743 462.32/463.69 c #Conflicts: 1435000 | #Constraints: 66383 462.32/463.69 c #Conflicts: 1436000 | #Constraints: 67988 462.32/463.69 c #Conflicts: 1437000 | #Constraints: 69679 462.32/463.69 c #Conflicts: 1438000 | #Constraints: 71367 462.32/463.69 c #Conflicts: 1439000 | #Constraints: 72980 462.32/463.69 c #Conflicts: 1440000 | #Constraints: 74598 462.32/463.69 c #Conflicts: 1441000 | #Constraints: 76152 462.32/463.69 c #Conflicts: 1442000 | #Constraints: 77829 462.32/463.69 c #Conflicts: 1443000 | #Constraints: 78968 462.32/463.69 c INPROCESSING 462.32/463.69 c GARBAGE COLLECT 462.32/463.69 c rational objective 400.5 474.70/476.02 c #Conflicts: 1444000 | #Constraints: 41527 474.70/476.02 c #Conflicts: 1445000 | #Constraints: 43059 474.70/476.02 c #Conflicts: 1446000 | #Constraints: 44596 474.70/476.02 c #Conflicts: 1447000 | #Constraints: 46175 474.70/476.02 c #Conflicts: 1448000 | #Constraints: 47754 474.70/476.02 c #Conflicts: 1449000 | #Constraints: 49361 474.70/476.02 c #Conflicts: 1450000 | #Constraints: 50953 474.70/476.02 c #Conflicts: 1451000 | #Constraints: 51953 474.70/476.02 c #Conflicts: 1452000 | #Constraints: 52955 474.70/476.02 c #Conflicts: 1453000 | #Constraints: 53955 474.70/476.02 c #Conflicts: 1454000 | #Constraints: 55066 474.70/476.02 c #Conflicts: 1455000 | #Constraints: 56066 474.70/476.02 c #Conflicts: 1456000 | #Constraints: 57245 474.70/476.02 c #Conflicts: 1457000 | #Constraints: 58246 474.70/476.02 c #Conflicts: 1458000 | #Constraints: 59305 474.70/476.02 c #Conflicts: 1459000 | #Constraints: 60306 474.70/476.02 c #Conflicts: 1460000 | #Constraints: 61307 474.70/476.02 c #Conflicts: 1461000 | #Constraints: 62675 474.70/476.02 c #Conflicts: 1462000 | #Constraints: 64218 474.70/476.02 c #Conflicts: 1463000 | #Constraints: 65740 474.70/476.02 c #Conflicts: 1464000 | #Constraints: 67425 474.70/476.02 c #Conflicts: 1465000 | #Constraints: 69049 474.70/476.02 c #Conflicts: 1466000 | #Constraints: 70716 474.70/476.02 c #Conflicts: 1467000 | #Constraints: 72331 474.70/476.02 c INPROCESSING 474.70/476.02 c GARBAGE COLLECT 474.70/476.02 c rational objective 400.5 486.47/487.88 c #Conflicts: 1468000 | #Constraints: 37631 486.47/487.88 c #Conflicts: 1469000 | #Constraints: 38631 486.47/487.88 c #Conflicts: 1470000 | #Constraints: 39634 486.47/487.88 c #Conflicts: 1471000 | #Constraints: 40994 486.47/487.88 c #Conflicts: 1472000 | #Constraints: 42249 486.47/487.88 c #Conflicts: 1473000 | #Constraints: 43781 486.47/487.88 c #Conflicts: 1474000 | #Constraints: 45246 486.47/487.88 c #Conflicts: 1475000 | #Constraints: 46781 486.47/487.88 c #Conflicts: 1476000 | #Constraints: 48118 486.47/487.88 c #Conflicts: 1477000 | #Constraints: 49724 486.47/487.88 c #Conflicts: 1478000 | #Constraints: 51378 486.47/487.88 c #Conflicts: 1479000 | #Constraints: 53016 486.47/487.88 c #Conflicts: 1480000 | #Constraints: 54605 486.47/487.88 c #Conflicts: 1481000 | #Constraints: 56288 486.47/487.88 c #Conflicts: 1482000 | #Constraints: 57946 486.47/487.88 c #Conflicts: 1483000 | #Constraints: 59644 486.47/487.88 c #Conflicts: 1484000 | #Constraints: 61288 486.47/487.88 c #Conflicts: 1485000 | #Constraints: 62446 486.47/487.88 c #Conflicts: 1486000 | #Constraints: 64121 486.47/487.88 c #Conflicts: 1487000 | #Constraints: 65666 486.47/487.88 c #Conflicts: 1488000 | #Constraints: 67338 486.47/487.88 c #Conflicts: 1489000 | #Constraints: 69117 486.47/487.88 c #Conflicts: 1490000 | #Constraints: 70775 486.47/487.88 c #Conflicts: 1491000 | #Constraints: 72426 486.47/487.88 c INPROCESSING 486.47/487.88 c GARBAGE COLLECT 486.47/487.88 c rational objective 400.5 497.93/499.37 c #Conflicts: 1492000 | #Constraints: 37547 497.93/499.37 c #Conflicts: 1493000 | #Constraints: 38547 497.93/499.37 c #Conflicts: 1494000 | #Constraints: 39547 497.93/499.37 c #Conflicts: 1495000 | #Constraints: 40548 497.93/499.37 c #Conflicts: 1496000 | #Constraints: 41959 497.93/499.37 c #Conflicts: 1497000 | #Constraints: 43646 497.93/499.37 c #Conflicts: 1498000 | #Constraints: 45361 497.93/499.37 c #Conflicts: 1499000 | #Constraints: 47017 497.93/499.37 c #Conflicts: 1500000 | #Constraints: 48676 497.93/499.37 c #Conflicts: 1501000 | #Constraints: 50225 497.93/499.37 c #Conflicts: 1502000 | #Constraints: 51471 497.93/499.37 c #Conflicts: 1503000 | #Constraints: 52604 497.93/499.37 c #Conflicts: 1504000 | #Constraints: 53795 497.93/499.37 c #Conflicts: 1505000 | #Constraints: 54911 497.93/499.37 c #Conflicts: 1506000 | #Constraints: 55968 497.93/499.37 c #Conflicts: 1507000 | #Constraints: 57524 497.93/499.37 c #Conflicts: 1508000 | #Constraints: 59180 497.93/499.37 c #Conflicts: 1509000 | #Constraints: 60777 497.93/499.37 c #Conflicts: 1510000 | #Constraints: 62244 497.93/499.37 c #Conflicts: 1511000 | #Constraints: 63785 497.93/499.37 c #Conflicts: 1512000 | #Constraints: 65453 497.93/499.37 c #Conflicts: 1513000 | #Constraints: 67109 497.93/499.37 c #Conflicts: 1514000 | #Constraints: 68756 497.93/499.37 c #Conflicts: 1515000 | #Constraints: 70429 497.93/499.37 c #Conflicts: 1516000 | #Constraints: 72000 497.93/499.37 c INPROCESSING 497.93/499.37 c GARBAGE COLLECT 497.93/499.37 c rational objective 400.5 509.61/511.02 c #Conflicts: 1517000 | #Constraints: 37394 509.61/511.02 c #Conflicts: 1518000 | #Constraints: 38394 509.61/511.02 c #Conflicts: 1519000 | #Constraints: 39470 509.61/511.02 c #Conflicts: 1520000 | #Constraints: 40755 509.61/511.02 c #Conflicts: 1521000 | #Constraints: 42354 509.61/511.02 c #Conflicts: 1522000 | #Constraints: 44036 509.61/511.02 c #Conflicts: 1523000 | #Constraints: 45694 509.61/511.02 c #Conflicts: 1524000 | #Constraints: 47350 509.61/511.02 c #Conflicts: 1525000 | #Constraints: 49013 509.61/511.02 c #Conflicts: 1526000 | #Constraints: 50648 509.61/511.02 c #Conflicts: 1527000 | #Constraints: 52293 509.61/511.02 c #Conflicts: 1528000 | #Constraints: 54029 509.61/511.02 c #Conflicts: 1529000 | #Constraints: 55704 509.61/511.02 c #Conflicts: 1530000 | #Constraints: 57400 509.61/511.02 c #Conflicts: 1531000 | #Constraints: 59087 509.61/511.02 c #Conflicts: 1532000 | #Constraints: 60609 509.61/511.02 c #Conflicts: 1533000 | #Constraints: 62226 509.61/511.02 c #Conflicts: 1534000 | #Constraints: 63867 509.61/511.02 c #Conflicts: 1535000 | #Constraints: 65533 509.61/511.02 c #Conflicts: 1536000 | #Constraints: 67180 509.61/511.02 c #Conflicts: 1537000 | #Constraints: 68797 509.61/511.02 c #Conflicts: 1538000 | #Constraints: 70085 509.61/511.02 c #Conflicts: 1539000 | #Constraints: 71508 509.61/511.02 c #Conflicts: 1540000 | #Constraints: 73063 509.61/511.02 c #Conflicts: 1541000 | #Constraints: 74733 509.61/511.02 c INPROCESSING 509.61/511.02 c GARBAGE COLLECT 509.61/511.02 c rational objective 400.5 516.78/518.22 c #Conflicts: 1542000 | #Constraints: 38857 516.78/518.22 c #Conflicts: 1543000 | #Constraints: 39895 516.78/518.22 c #Conflicts: 1544000 | #Constraints: 41230 516.78/518.22 c #Conflicts: 1545000 | #Constraints: 42846 516.78/518.22 c #Conflicts: 1546000 | #Constraints: 44307 516.78/518.22 c #Conflicts: 1547000 | #Constraints: 45573 516.78/518.22 c #Conflicts: 1548000 | #Constraints: 47212 516.78/518.22 c #Conflicts: 1549000 | #Constraints: 48826 516.78/518.22 c #Conflicts: 1550000 | #Constraints: 50426 516.78/518.22 c #Conflicts: 1551000 | #Constraints: 51991 516.78/518.22 c #Conflicts: 1552000 | #Constraints: 53571 516.78/518.22 c #Conflicts: 1553000 | #Constraints: 55190 516.78/518.22 c #Conflicts: 1554000 | #Constraints: 56786 516.78/518.22 c #Conflicts: 1555000 | #Constraints: 58313 516.78/518.22 c #Conflicts: 1556000 | #Constraints: 59912 516.78/518.22 c #Conflicts: 1557000 | #Constraints: 61447 516.78/518.22 c #Conflicts: 1558000 | #Constraints: 63013 516.78/518.22 c #Conflicts: 1559000 | #Constraints: 64754 516.78/518.22 c #Conflicts: 1560000 | #Constraints: 66456 516.78/518.22 c #Conflicts: 1561000 | #Constraints: 68123 516.78/518.22 c #Conflicts: 1562000 | #Constraints: 69848 516.78/518.22 c #Conflicts: 1563000 | #Constraints: 71565 516.78/518.22 c #Conflicts: 1564000 | #Constraints: 73221 516.78/518.22 c #Conflicts: 1565000 | #Constraints: 74906 516.78/518.22 c #Conflicts: 1566000 | #Constraints: 76527 516.78/518.22 c INPROCESSING 516.78/518.22 c GARBAGE COLLECT 516.78/518.22 c rational objective 400.5 526.46/527.98 c #Conflicts: 1567000 | #Constraints: 40424 526.46/527.98 c #Conflicts: 1568000 | #Constraints: 41850 526.46/527.98 c #Conflicts: 1569000 | #Constraints: 43513 526.46/527.98 c #Conflicts: 1570000 | #Constraints: 45119 526.46/527.98 c #Conflicts: 1571000 | #Constraints: 46616 526.46/527.98 c #Conflicts: 1572000 | #Constraints: 48134 526.46/527.98 c #Conflicts: 1573000 | #Constraints: 49719 526.46/527.98 c #Conflicts: 1574000 | #Constraints: 51329 526.46/527.98 c #Conflicts: 1575000 | #Constraints: 52964 526.46/527.98 c #Conflicts: 1576000 | #Constraints: 54575 526.46/527.98 c #Conflicts: 1577000 | #Constraints: 56121 526.46/527.98 c #Conflicts: 1578000 | #Constraints: 57598 526.46/527.98 c #Conflicts: 1579000 | #Constraints: 59107 526.46/527.98 c #Conflicts: 1580000 | #Constraints: 60793 526.46/527.98 c #Conflicts: 1581000 | #Constraints: 62174 526.46/527.98 c #Conflicts: 1582000 | #Constraints: 63569 526.46/527.98 c #Conflicts: 1583000 | #Constraints: 65066 526.46/527.98 c #Conflicts: 1584000 | #Constraints: 66208 526.46/527.98 c #Conflicts: 1585000 | #Constraints: 67439 526.46/527.98 c #Conflicts: 1586000 | #Constraints: 68567 526.46/527.98 c #Conflicts: 1587000 | #Constraints: 69884 526.46/527.98 c #Conflicts: 1588000 | #Constraints: 71601 526.46/527.98 c #Conflicts: 1589000 | #Constraints: 73200 526.46/527.98 c #Conflicts: 1590000 | #Constraints: 74752 526.46/527.98 c #Conflicts: 1591000 | #Constraints: 76447 526.46/527.98 c INPROCESSING 526.46/527.98 c GARBAGE COLLECT 526.46/527.98 c rational objective 400.5 532.84/534.31 c #Conflicts: 1592000 | #Constraints: 40071 532.84/534.31 c #Conflicts: 1593000 | #Constraints: 41654 532.84/534.31 c #Conflicts: 1594000 | #Constraints: 43315 532.84/534.31 c #Conflicts: 1595000 | #Constraints: 44903 532.84/534.31 c #Conflicts: 1596000 | #Constraints: 45908 532.84/534.31 c #Conflicts: 1597000 | #Constraints: 46909 532.84/534.31 c #Conflicts: 1598000 | #Constraints: 48431 532.84/534.31 c #Conflicts: 1599000 | #Constraints: 49847 532.84/534.31 c #Conflicts: 1600000 | #Constraints: 51031 532.84/534.31 c #Conflicts: 1601000 | #Constraints: 52197 532.84/534.31 c #Conflicts: 1602000 | #Constraints: 53327 532.84/534.31 c #Conflicts: 1603000 | #Constraints: 54473 532.84/534.31 c #Conflicts: 1604000 | #Constraints: 55651 532.84/534.31 c #Conflicts: 1605000 | #Constraints: 56918 532.84/534.31 c #Conflicts: 1606000 | #Constraints: 58122 532.84/534.31 c #Conflicts: 1607000 | #Constraints: 59366 532.84/534.31 c #Conflicts: 1608000 | #Constraints: 60458 532.84/534.31 c #Conflicts: 1609000 | #Constraints: 61458 532.84/534.31 c #Conflicts: 1610000 | #Constraints: 62485 532.84/534.31 c #Conflicts: 1611000 | #Constraints: 63518 532.84/534.31 c #Conflicts: 1612000 | #Constraints: 64518 532.84/534.31 c #Conflicts: 1613000 | #Constraints: 65518 532.84/534.31 c #Conflicts: 1614000 | #Constraints: 66518 532.84/534.31 c #Conflicts: 1615000 | #Constraints: 67565 532.84/534.31 c #Conflicts: 1616000 | #Constraints: 68989 532.84/534.31 c INPROCESSING 532.84/534.31 c GARBAGE COLLECT 532.84/534.31 c rational objective 400.5 538.42/539.99 c #Conflicts: 1617000 | #Constraints: 35732 538.42/539.99 c #Conflicts: 1618000 | #Constraints: 36732 538.42/539.99 c #Conflicts: 1619000 | #Constraints: 38201 538.42/539.99 c #Conflicts: 1620000 | #Constraints: 39821 538.42/539.99 c #Conflicts: 1621000 | #Constraints: 41464 538.42/539.99 c #Conflicts: 1622000 | #Constraints: 43106 538.42/539.99 c #Conflicts: 1623000 | #Constraints: 44882 538.42/539.99 c #Conflicts: 1624000 | #Constraints: 46584 538.42/539.99 c #Conflicts: 1625000 | #Constraints: 48268 538.42/539.99 c #Conflicts: 1626000 | #Constraints: 49852 538.42/539.99 c #Conflicts: 1627000 | #Constraints: 51625 538.42/539.99 c #Conflicts: 1628000 | #Constraints: 53315 538.42/539.99 c #Conflicts: 1629000 | #Constraints: 55020 538.42/539.99 c #Conflicts: 1630000 | #Constraints: 56684 538.42/539.99 c #Conflicts: 1631000 | #Constraints: 58337 538.42/539.99 c #Conflicts: 1632000 | #Constraints: 59990 538.42/539.99 c #Conflicts: 1633000 | #Constraints: 61597 538.42/539.99 c #Conflicts: 1634000 | #Constraints: 63241 538.42/539.99 c #Conflicts: 1635000 | #Constraints: 64892 538.42/539.99 c #Conflicts: 1636000 | #Constraints: 66521 538.42/539.99 c #Conflicts: 1637000 | #Constraints: 68197 538.42/539.99 c #Conflicts: 1638000 | #Constraints: 69819 538.42/539.99 c #Conflicts: 1639000 | #Constraints: 71363 538.42/539.99 c #Conflicts: 1640000 | #Constraints: 72999 538.42/539.99 c #Conflicts: 1641000 | #Constraints: 74642 538.42/539.99 c #Conflicts: 1642000 | #Constraints: 76306 538.42/539.99 c INPROCESSING 538.42/539.99 c GARBAGE COLLECT 538.42/539.99 c rational objective 400.5 546.80/548.37 c #Conflicts: 1643000 | #Constraints: 40086 546.80/548.37 c #Conflicts: 1644000 | #Constraints: 41780 546.80/548.37 c #Conflicts: 1645000 | #Constraints: 43403 546.80/548.37 c #Conflicts: 1646000 | #Constraints: 44976 546.80/548.37 c #Conflicts: 1647000 | #Constraints: 46661 546.80/548.37 c #Conflicts: 1648000 | #Constraints: 48312 546.80/548.37 c #Conflicts: 1649000 | #Constraints: 49912 546.80/548.37 c #Conflicts: 1650000 | #Constraints: 51577 546.80/548.37 c #Conflicts: 1651000 | #Constraints: 53166 546.80/548.37 c #Conflicts: 1652000 | #Constraints: 54831 546.80/548.37 c #Conflicts: 1653000 | #Constraints: 56501 546.80/548.37 c #Conflicts: 1654000 | #Constraints: 58086 546.80/548.37 c #Conflicts: 1655000 | #Constraints: 59615 546.80/548.37 c #Conflicts: 1656000 | #Constraints: 61181 546.80/548.37 c #Conflicts: 1657000 | #Constraints: 62812 546.80/548.37 c #Conflicts: 1658000 | #Constraints: 64491 546.80/548.37 c #Conflicts: 1659000 | #Constraints: 66176 546.80/548.37 c #Conflicts: 1660000 | #Constraints: 67851 546.80/548.37 c #Conflicts: 1661000 | #Constraints: 69424 546.80/548.37 c #Conflicts: 1662000 | #Constraints: 71065 546.80/548.37 c #Conflicts: 1663000 | #Constraints: 72760 546.80/548.37 c #Conflicts: 1664000 | #Constraints: 74424 546.80/548.37 c #Conflicts: 1665000 | #Constraints: 76097 546.80/548.37 c #Conflicts: 1666000 | #Constraints: 77785 546.80/548.37 c #Conflicts: 1667000 | #Constraints: 79452 546.80/548.37 c #Conflicts: 1668000 | #Constraints: 81140 546.80/548.37 c INPROCESSING 546.80/548.37 c GARBAGE COLLECT 546.80/548.37 c rational objective 400.5 558.27/559.87 c #Conflicts: 1669000 | #Constraints: 42675 558.27/559.87 c #Conflicts: 1670000 | #Constraints: 44352 558.27/559.87 c #Conflicts: 1671000 | #Constraints: 45929 558.27/559.87 c #Conflicts: 1672000 | #Constraints: 47600 558.27/559.87 c #Conflicts: 1673000 | #Constraints: 49233 558.27/559.87 c #Conflicts: 1674000 | #Constraints: 50745 558.27/559.87 c #Conflicts: 1675000 | #Constraints: 52292 558.27/559.87 c #Conflicts: 1676000 | #Constraints: 53956 558.27/559.87 c #Conflicts: 1677000 | #Constraints: 55580 558.27/559.87 c #Conflicts: 1678000 | #Constraints: 57170 558.27/559.87 c #Conflicts: 1679000 | #Constraints: 58833 558.27/559.87 c #Conflicts: 1680000 | #Constraints: 60396 558.27/559.87 c #Conflicts: 1681000 | #Constraints: 62043 558.27/559.87 c #Conflicts: 1682000 | #Constraints: 63729 558.27/559.87 c #Conflicts: 1683000 | #Constraints: 65345 558.27/559.87 c #Conflicts: 1684000 | #Constraints: 66965 558.27/559.87 c #Conflicts: 1685000 | #Constraints: 68615 558.27/559.87 c #Conflicts: 1686000 | #Constraints: 70241 558.27/559.87 c #Conflicts: 1687000 | #Constraints: 71886 558.27/559.87 c #Conflicts: 1688000 | #Constraints: 73606 558.27/559.87 c #Conflicts: 1689000 | #Constraints: 75268 558.27/559.87 c #Conflicts: 1690000 | #Constraints: 76884 558.27/559.87 c #Conflicts: 1691000 | #Constraints: 78482 558.27/559.87 c #Conflicts: 1692000 | #Constraints: 80094 558.27/559.87 c #Conflicts: 1693000 | #Constraints: 81695 558.27/559.87 c #Conflicts: 1694000 | #Constraints: 83370 558.27/559.87 c INPROCESSING 558.27/559.87 c GARBAGE COLLECT 558.27/559.87 c rational objective 400.5 567.35/568.98 c #Conflicts: 1695000 | #Constraints: 43869 567.35/568.98 c #Conflicts: 1696000 | #Constraints: 45560 567.35/568.98 c #Conflicts: 1697000 | #Constraints: 47226 567.35/568.98 c #Conflicts: 1698000 | #Constraints: 48829 567.35/568.98 c #Conflicts: 1699000 | #Constraints: 50463 567.35/568.98 c #Conflicts: 1700000 | #Constraints: 51999 567.35/568.98 c #Conflicts: 1701000 | #Constraints: 53612 567.35/568.98 c #Conflicts: 1702000 | #Constraints: 55240 567.35/568.98 c #Conflicts: 1703000 | #Constraints: 56434 567.35/568.98 c #Conflicts: 1704000 | #Constraints: 57747 567.35/568.98 c #Conflicts: 1705000 | #Constraints: 59382 567.35/568.98 c #Conflicts: 1706000 | #Constraints: 61040 567.35/568.98 c #Conflicts: 1707000 | #Constraints: 62609 567.35/568.98 c #Conflicts: 1708000 | #Constraints: 64173 567.35/568.98 c #Conflicts: 1709000 | #Constraints: 65786 567.35/568.98 c #Conflicts: 1710000 | #Constraints: 67443 567.35/568.98 c #Conflicts: 1711000 | #Constraints: 69197 567.35/568.98 c #Conflicts: 1712000 | #Constraints: 70875 567.35/568.98 c #Conflicts: 1713000 | #Constraints: 72459 567.35/568.98 c #Conflicts: 1714000 | #Constraints: 74135 567.35/568.98 c #Conflicts: 1715000 | #Constraints: 75698 567.35/568.98 c #Conflicts: 1716000 | #Constraints: 77325 567.35/568.98 c #Conflicts: 1717000 | #Constraints: 78992 567.35/568.98 c #Conflicts: 1718000 | #Constraints: 80568 567.35/568.98 c #Conflicts: 1719000 | #Constraints: 82249 567.35/568.98 c #Conflicts: 1720000 | #Constraints: 83851 567.35/568.98 c INPROCESSING 567.35/568.98 c GARBAGE COLLECT 567.35/568.98 c rational objective 400.5 578.22/579.84 c #Conflicts: 1721000 | #Constraints: 43916 578.22/579.84 c #Conflicts: 1722000 | #Constraints: 45566 578.22/579.84 c #Conflicts: 1723000 | #Constraints: 47143 578.22/579.84 c #Conflicts: 1724000 | #Constraints: 48842 578.22/579.84 c #Conflicts: 1725000 | #Constraints: 50461 578.22/579.84 c #Conflicts: 1726000 | #Constraints: 52030 578.22/579.84 c #Conflicts: 1727000 | #Constraints: 53665 578.22/579.84 c #Conflicts: 1728000 | #Constraints: 55317 578.22/579.84 c #Conflicts: 1729000 | #Constraints: 56923 578.22/579.84 c #Conflicts: 1730000 | #Constraints: 58467 578.22/579.84 c #Conflicts: 1731000 | #Constraints: 60025 578.22/579.84 c #Conflicts: 1732000 | #Constraints: 61512 578.22/579.84 c #Conflicts: 1733000 | #Constraints: 63069 578.22/579.84 c #Conflicts: 1734000 | #Constraints: 64639 578.22/579.84 c #Conflicts: 1735000 | #Constraints: 66218 578.22/579.84 c #Conflicts: 1736000 | #Constraints: 67796 578.22/579.84 c #Conflicts: 1737000 | #Constraints: 69503 578.22/579.84 c #Conflicts: 1738000 | #Constraints: 71142 578.22/579.84 c #Conflicts: 1739000 | #Constraints: 72787 578.22/579.84 c #Conflicts: 1740000 | #Constraints: 74427 578.22/579.84 c #Conflicts: 1741000 | #Constraints: 75958 578.22/579.84 c #Conflicts: 1742000 | #Constraints: 77467 578.22/579.84 c #Conflicts: 1743000 | #Constraints: 79176 578.22/579.84 c #Conflicts: 1744000 | #Constraints: 80825 578.22/579.84 c #Conflicts: 1745000 | #Constraints: 82363 578.22/579.84 c #Conflicts: 1746000 | #Constraints: 83938 578.22/579.84 c INPROCESSING 578.22/579.84 c GARBAGE COLLECT 578.22/579.84 c rational objective 400.5 588.09/589.75 c #Conflicts: 1747000 | #Constraints: 43597 588.09/589.75 c #Conflicts: 1748000 | #Constraints: 45226 588.09/589.75 c #Conflicts: 1749000 | #Constraints: 46764 588.09/589.75 c #Conflicts: 1750000 | #Constraints: 48260 588.09/589.75 c #Conflicts: 1751000 | #Constraints: 49905 588.09/589.75 c #Conflicts: 1752000 | #Constraints: 51590 588.09/589.75 c #Conflicts: 1753000 | #Constraints: 53268 588.09/589.75 c #Conflicts: 1754000 | #Constraints: 54862 588.09/589.75 c #Conflicts: 1755000 | #Constraints: 56497 588.09/589.75 c #Conflicts: 1756000 | #Constraints: 58164 588.09/589.75 c #Conflicts: 1757000 | #Constraints: 59867 588.09/589.75 c #Conflicts: 1758000 | #Constraints: 61528 588.09/589.75 c #Conflicts: 1759000 | #Constraints: 63299 588.09/589.75 c #Conflicts: 1760000 | #Constraints: 65023 588.09/589.75 c #Conflicts: 1761000 | #Constraints: 66608 588.09/589.75 c #Conflicts: 1762000 | #Constraints: 68262 588.09/589.75 c #Conflicts: 1763000 | #Constraints: 69936 588.09/589.75 c #Conflicts: 1764000 | #Constraints: 71626 588.09/589.75 c #Conflicts: 1765000 | #Constraints: 73234 588.09/589.75 c #Conflicts: 1766000 | #Constraints: 74858 588.09/589.75 c #Conflicts: 1767000 | #Constraints: 76440 588.09/589.75 c #Conflicts: 1768000 | #Constraints: 78049 588.09/589.75 c #Conflicts: 1769000 | #Constraints: 79755 588.09/589.75 c #Conflicts: 1770000 | #Constraints: 81384 588.09/589.75 c #Conflicts: 1771000 | #Constraints: 83018 588.09/589.75 c #Conflicts: 1772000 | #Constraints: 84660 588.09/589.75 c #Conflicts: 1773000 | #Constraints: 86284 588.09/589.75 c INPROCESSING 588.09/589.75 c GARBAGE COLLECT 588.09/589.75 c rational objective 400.5 599.47/601.13 c #Conflicts: 1774000 | #Constraints: 45172 599.47/601.13 c #Conflicts: 1775000 | #Constraints: 46760 599.47/601.13 c #Conflicts: 1776000 | #Constraints: 48335 599.47/601.13 c #Conflicts: 1777000 | #Constraints: 49842 599.47/601.13 c #Conflicts: 1778000 | #Constraints: 51585 599.47/601.13 c #Conflicts: 1779000 | #Constraints: 53283 599.47/601.13 c #Conflicts: 1780000 | #Constraints: 54959 599.47/601.13 c #Conflicts: 1781000 | #Constraints: 56595 599.47/601.13 c #Conflicts: 1782000 | #Constraints: 58140 599.47/601.13 c #Conflicts: 1783000 | #Constraints: 59674 599.47/601.13 c #Conflicts: 1784000 | #Constraints: 61185 599.47/601.13 c #Conflicts: 1785000 | #Constraints: 62772 599.47/601.13 c #Conflicts: 1786000 | #Constraints: 64397 599.47/601.13 c #Conflicts: 1787000 | #Constraints: 66074 599.47/601.13 c #Conflicts: 1788000 | #Constraints: 67631 599.47/601.13 c #Conflicts: 1789000 | #Constraints: 69340 599.47/601.13 c #Conflicts: 1790000 | #Constraints: 70890 599.47/601.13 c #Conflicts: 1791000 | #Constraints: 72499 599.47/601.13 c #Conflicts: 1792000 | #Constraints: 74091 599.47/601.13 c #Conflicts: 1793000 | #Constraints: 75731 599.47/601.13 c #Conflicts: 1794000 | #Constraints: 77290 599.47/601.13 c #Conflicts: 1795000 | #Constraints: 78826 599.47/601.13 c #Conflicts: 1796000 | #Constraints: 80454 599.47/601.13 c #Conflicts: 1797000 | #Constraints: 82087 599.47/601.13 c #Conflicts: 1798000 | #Constraints: 83701 599.47/601.13 c #Conflicts: 1799000 | #Constraints: 85339 599.47/601.13 c #Conflicts: 1800000 | #Constraints: 86924 599.47/601.13 c INPROCESSING 599.47/601.13 c GARBAGE COLLECT 599.47/601.13 c rational objective 400.5 610.53/612.22 c #Conflicts: 1801000 | #Constraints: 45530 610.53/612.22 c #Conflicts: 1802000 | #Constraints: 47235 610.53/612.22 c #Conflicts: 1803000 | #Constraints: 48935 610.53/612.22 c #Conflicts: 1804000 | #Constraints: 50450 610.53/612.22 c #Conflicts: 1805000 | #Constraints: 51981 610.53/612.22 c #Conflicts: 1806000 | #Constraints: 53572 610.53/612.22 c #Conflicts: 1807000 | #Constraints: 55212 610.53/612.22 c #Conflicts: 1808000 | #Constraints: 56859 610.53/612.22 c #Conflicts: 1809000 | #Constraints: 58560 610.53/612.22 c #Conflicts: 1810000 | #Constraints: 60247 610.53/612.22 c #Conflicts: 1811000 | #Constraints: 61858 610.53/612.22 c #Conflicts: 1812000 | #Constraints: 63495 610.53/612.22 c #Conflicts: 1813000 | #Constraints: 65124 610.53/612.22 c #Conflicts: 1814000 | #Constraints: 66788 610.53/612.22 c #Conflicts: 1815000 | #Constraints: 68406 610.53/612.22 c #Conflicts: 1816000 | #Constraints: 70034 610.53/612.22 c #Conflicts: 1817000 | #Constraints: 71691 610.53/612.22 c #Conflicts: 1818000 | #Constraints: 73319 610.53/612.22 c #Conflicts: 1819000 | #Constraints: 74897 610.53/612.22 c #Conflicts: 1820000 | #Constraints: 76617 610.53/612.22 c #Conflicts: 1821000 | #Constraints: 78300 610.53/612.22 c #Conflicts: 1822000 | #Constraints: 79983 610.53/612.22 c #Conflicts: 1823000 | #Constraints: 81565 610.53/612.22 c #Conflicts: 1824000 | #Constraints: 83185 610.53/612.22 c #Conflicts: 1825000 | #Constraints: 84813 610.53/612.22 c #Conflicts: 1826000 | #Constraints: 86397 610.53/612.22 c #Conflicts: 1827000 | #Constraints: 87917 610.53/612.22 c INPROCESSING 610.53/612.22 c GARBAGE COLLECT 610.53/612.22 c rational objective 400.5 617.81/619.58 c #Conflicts: 1828000 | #Constraints: 46189 617.81/619.58 c #Conflicts: 1829000 | #Constraints: 47848 617.81/619.58 c #Conflicts: 1830000 | #Constraints: 49538 617.81/619.58 c #Conflicts: 1831000 | #Constraints: 51207 617.81/619.58 c #Conflicts: 1832000 | #Constraints: 52801 617.81/619.58 c #Conflicts: 1833000 | #Constraints: 54297 617.81/619.58 c #Conflicts: 1834000 | #Constraints: 55797 617.81/619.58 c #Conflicts: 1835000 | #Constraints: 57312 617.81/619.58 c #Conflicts: 1836000 | #Constraints: 58818 617.81/619.58 c #Conflicts: 1837000 | #Constraints: 60310 617.81/619.58 c #Conflicts: 1838000 | #Constraints: 61813 617.81/619.58 c #Conflicts: 1839000 | #Constraints: 63334 617.81/619.58 c #Conflicts: 1840000 | #Constraints: 64844 617.81/619.58 c #Conflicts: 1841000 | #Constraints: 66341 617.81/619.58 c #Conflicts: 1842000 | #Constraints: 67901 617.81/619.58 c #Conflicts: 1843000 | #Constraints: 69510 617.81/619.58 c #Conflicts: 1844000 | #Constraints: 71110 617.81/619.58 c #Conflicts: 1845000 | #Constraints: 72737 617.81/619.58 c #Conflicts: 1846000 | #Constraints: 74299 617.81/619.58 c #Conflicts: 1847000 | #Constraints: 75850 617.81/619.58 c #Conflicts: 1848000 | #Constraints: 77424 617.81/619.58 c #Conflicts: 1849000 | #Constraints: 79048 617.81/619.58 c #Conflicts: 1850000 | #Constraints: 80699 617.81/619.58 c #Conflicts: 1851000 | #Constraints: 82327 617.81/619.58 c #Conflicts: 1852000 | #Constraints: 84044 617.81/619.58 c #Conflicts: 1853000 | #Constraints: 85616 617.81/619.58 c #Conflicts: 1854000 | #Constraints: 87217 617.81/619.58 c INPROCESSING 617.81/619.58 c GARBAGE COLLECT 617.81/619.58 c rational objective 400.5 626.40/628.13 c #Conflicts: 1855000 | #Constraints: 45568 626.40/628.13 c #Conflicts: 1856000 | #Constraints: 47090 626.40/628.13 c #Conflicts: 1857000 | #Constraints: 48612 626.40/628.13 c #Conflicts: 1858000 | #Constraints: 50114 626.40/628.13 c #Conflicts: 1859000 | #Constraints: 51744 626.40/628.13 c #Conflicts: 1860000 | #Constraints: 53426 626.40/628.13 c #Conflicts: 1861000 | #Constraints: 55073 626.40/628.13 c #Conflicts: 1862000 | #Constraints: 56679 626.40/628.13 c #Conflicts: 1863000 | #Constraints: 58269 626.40/628.13 c #Conflicts: 1864000 | #Constraints: 59855 626.40/628.13 c #Conflicts: 1865000 | #Constraints: 61431 626.40/628.13 c #Conflicts: 1866000 | #Constraints: 62965 626.40/628.13 c #Conflicts: 1867000 | #Constraints: 64485 626.40/628.13 c #Conflicts: 1868000 | #Constraints: 66025 626.40/628.13 c #Conflicts: 1869000 | #Constraints: 67549 626.40/628.13 c #Conflicts: 1870000 | #Constraints: 69089 626.40/628.13 c #Conflicts: 1871000 | #Constraints: 70705 626.40/628.13 c #Conflicts: 1872000 | #Constraints: 72299 626.40/628.13 c #Conflicts: 1873000 | #Constraints: 73936 626.40/628.13 c #Conflicts: 1874000 | #Constraints: 75510 626.40/628.13 c #Conflicts: 1875000 | #Constraints: 77148 626.40/628.13 c #Conflicts: 1876000 | #Constraints: 78735 626.40/628.13 c #Conflicts: 1877000 | #Constraints: 80286 626.40/628.13 c #Conflicts: 1878000 | #Constraints: 81942 626.40/628.13 c #Conflicts: 1879000 | #Constraints: 83546 626.40/628.13 c #Conflicts: 1880000 | #Constraints: 85223 626.40/628.13 c #Conflicts: 1881000 | #Constraints: 86871 626.40/628.13 c INPROCESSING 626.40/628.13 c GARBAGE COLLECT 626.40/628.13 c rational objective 400.5 635.57/637.36 c #Conflicts: 1882000 | #Constraints: 45098 635.57/637.36 c #Conflicts: 1883000 | #Constraints: 46752 635.57/637.36 c #Conflicts: 1884000 | #Constraints: 48408 635.57/637.36 c #Conflicts: 1885000 | #Constraints: 50016 635.57/637.36 c #Conflicts: 1886000 | #Constraints: 51608 635.57/637.36 c #Conflicts: 1887000 | #Constraints: 53299 635.57/637.36 c #Conflicts: 1888000 | #Constraints: 54947 635.57/637.36 c #Conflicts: 1889000 | #Constraints: 56540 635.57/637.36 c #Conflicts: 1890000 | #Constraints: 58211 635.57/637.36 c #Conflicts: 1891000 | #Constraints: 59805 635.57/637.36 c #Conflicts: 1892000 | #Constraints: 61403 635.57/637.36 c #Conflicts: 1893000 | #Constraints: 62973 635.57/637.36 c #Conflicts: 1894000 | #Constraints: 64623 635.57/637.36 c #Conflicts: 1895000 | #Constraints: 66255 635.57/637.36 c #Conflicts: 1896000 | #Constraints: 67903 635.57/637.36 c #Conflicts: 1897000 | #Constraints: 69458 635.57/637.36 c #Conflicts: 1898000 | #Constraints: 71028 635.57/637.36 c #Conflicts: 1899000 | #Constraints: 72719 635.57/637.36 c #Conflicts: 1900000 | #Constraints: 74340 635.57/637.36 c #Conflicts: 1901000 | #Constraints: 76040 635.57/637.36 c #Conflicts: 1902000 | #Constraints: 77681 635.57/637.36 c #Conflicts: 1903000 | #Constraints: 79236 635.57/637.36 c #Conflicts: 1904000 | #Constraints: 80838 635.57/637.36 c #Conflicts: 1905000 | #Constraints: 82413 635.57/637.36 c #Conflicts: 1906000 | #Constraints: 83993 635.57/637.36 c #Conflicts: 1907000 | #Constraints: 85644 635.57/637.36 c #Conflicts: 1908000 | #Constraints: 87175 635.57/637.36 c #Conflicts: 1909000 | #Constraints: 88776 635.57/637.36 c INPROCESSING 635.57/637.36 c GARBAGE COLLECT 635.57/637.36 c rational objective 400.5 648.84/650.64 c #Conflicts: 1910000 | #Constraints: 46270 648.84/650.64 c #Conflicts: 1911000 | #Constraints: 47768 648.84/650.64 c #Conflicts: 1912000 | #Constraints: 49454 648.84/650.64 c #Conflicts: 1913000 | #Constraints: 51107 648.84/650.64 c #Conflicts: 1914000 | #Constraints: 52771 648.84/650.64 c #Conflicts: 1915000 | #Constraints: 54345 648.84/650.64 c #Conflicts: 1916000 | #Constraints: 55976 648.84/650.64 c #Conflicts: 1917000 | #Constraints: 57642 648.84/650.64 c #Conflicts: 1918000 | #Constraints: 59225 648.84/650.64 c #Conflicts: 1919000 | #Constraints: 60837 648.84/650.64 c #Conflicts: 1920000 | #Constraints: 62432 648.84/650.64 c #Conflicts: 1921000 | #Constraints: 64042 648.84/650.64 c #Conflicts: 1922000 | #Constraints: 65758 648.84/650.64 c #Conflicts: 1923000 | #Constraints: 67453 648.84/650.64 c #Conflicts: 1924000 | #Constraints: 69117 648.84/650.64 c #Conflicts: 1925000 | #Constraints: 70709 648.84/650.64 c #Conflicts: 1926000 | #Constraints: 72283 648.84/650.64 c #Conflicts: 1927000 | #Constraints: 73937 648.84/650.64 c #Conflicts: 1928000 | #Constraints: 75549 648.84/650.64 c #Conflicts: 1929000 | #Constraints: 77199 648.84/650.64 c #Conflicts: 1930000 | #Constraints: 78866 648.84/650.64 c #Conflicts: 1931000 | #Constraints: 80533 648.84/650.64 c #Conflicts: 1932000 | #Constraints: 82132 648.84/650.64 c #Conflicts: 1933000 | #Constraints: 83688 648.84/650.64 c #Conflicts: 1934000 | #Constraints: 85279 648.84/650.64 c #Conflicts: 1935000 | #Constraints: 86959 648.84/650.64 c #Conflicts: 1936000 | #Constraints: 88637 648.84/650.64 c #Conflicts: 1937000 | #Constraints: 90245 648.84/650.64 c INPROCESSING 648.84/650.64 c GARBAGE COLLECT 648.84/650.64 c rational objective 400.5 659.50/661.36 c #Conflicts: 1938000 | #Constraints: 47210 659.50/661.36 c #Conflicts: 1939000 | #Constraints: 48835 659.50/661.36 c #Conflicts: 1940000 | #Constraints: 50470 659.50/661.36 c #Conflicts: 1941000 | #Constraints: 52088 659.50/661.36 c #Conflicts: 1942000 | #Constraints: 53851 659.50/661.36 c #Conflicts: 1943000 | #Constraints: 55525 659.50/661.36 c #Conflicts: 1944000 | #Constraints: 57115 659.50/661.36 c #Conflicts: 1945000 | #Constraints: 58764 659.50/661.36 c #Conflicts: 1946000 | #Constraints: 60415 659.50/661.36 c #Conflicts: 1947000 | #Constraints: 62025 659.50/661.36 c #Conflicts: 1948000 | #Constraints: 63665 659.50/661.36 c #Conflicts: 1949000 | #Constraints: 65279 659.50/661.36 c #Conflicts: 1950000 | #Constraints: 66960 659.50/661.36 c #Conflicts: 1951000 | #Constraints: 68668 659.50/661.36 c #Conflicts: 1952000 | #Constraints: 70343 659.50/661.36 c #Conflicts: 1953000 | #Constraints: 72043 659.50/661.36 c #Conflicts: 1954000 | #Constraints: 73709 659.50/661.36 c #Conflicts: 1955000 | #Constraints: 75356 659.50/661.36 c #Conflicts: 1956000 | #Constraints: 76896 659.50/661.36 c #Conflicts: 1957000 | #Constraints: 78390 659.50/661.36 c #Conflicts: 1958000 | #Constraints: 79879 659.50/661.36 c #Conflicts: 1959000 | #Constraints: 81495 659.50/661.36 c #Conflicts: 1960000 | #Constraints: 83184 659.50/661.36 c #Conflicts: 1961000 | #Constraints: 84813 659.50/661.36 c #Conflicts: 1962000 | #Constraints: 86445 659.50/661.36 c #Conflicts: 1963000 | #Constraints: 88072 659.50/661.36 c #Conflicts: 1964000 | #Constraints: 89755 659.50/661.36 c #Conflicts: 1965000 | #Constraints: 91419 659.50/661.36 c INPROCESSING 659.50/661.36 c GARBAGE COLLECT 659.50/661.36 c rational objective 400.5 668.48/670.37 c #Conflicts: 1966000 | #Constraints: 47419 668.48/670.37 c #Conflicts: 1967000 | #Constraints: 48617 668.48/670.37 c #Conflicts: 1968000 | #Constraints: 49984 668.48/670.37 c #Conflicts: 1969000 | #Constraints: 51411 668.48/670.37 c #Conflicts: 1970000 | #Constraints: 52724 668.48/670.37 c #Conflicts: 1971000 | #Constraints: 54213 668.48/670.37 c #Conflicts: 1972000 | #Constraints: 55896 668.48/670.37 c #Conflicts: 1973000 | #Constraints: 57395 668.48/670.37 c #Conflicts: 1974000 | #Constraints: 58936 668.48/670.37 c #Conflicts: 1975000 | #Constraints: 60658 668.48/670.37 c #Conflicts: 1976000 | #Constraints: 62106 668.48/670.37 c #Conflicts: 1977000 | #Constraints: 63760 668.48/670.37 c #Conflicts: 1978000 | #Constraints: 65392 668.48/670.37 c #Conflicts: 1979000 | #Constraints: 67016 668.48/670.37 c #Conflicts: 1980000 | #Constraints: 68695 668.48/670.37 c #Conflicts: 1981000 | #Constraints: 70115 668.48/670.37 c #Conflicts: 1982000 | #Constraints: 71350 668.48/670.37 c #Conflicts: 1983000 | #Constraints: 72799 668.48/670.37 c #Conflicts: 1984000 | #Constraints: 74241 668.48/670.37 c #Conflicts: 1985000 | #Constraints: 75760 668.48/670.37 c #Conflicts: 1986000 | #Constraints: 76998 668.48/670.37 c #Conflicts: 1987000 | #Constraints: 78590 668.48/670.37 c #Conflicts: 1988000 | #Constraints: 79778 668.48/670.37 c #Conflicts: 1989000 | #Constraints: 81159 668.48/670.37 c #Conflicts: 1990000 | #Constraints: 82860 668.48/670.37 c #Conflicts: 1991000 | #Constraints: 84518 668.48/670.37 c #Conflicts: 1992000 | #Constraints: 86120 668.48/670.37 c #Conflicts: 1993000 | #Constraints: 87367 668.48/670.37 c INPROCESSING 668.48/670.37 c GARBAGE COLLECT 668.48/670.37 c rational objective 400.5 679.75/681.65 c #Conflicts: 1994000 | #Constraints: 45684 679.75/681.65 c #Conflicts: 1995000 | #Constraints: 47344 679.75/681.65 c #Conflicts: 1996000 | #Constraints: 49020 679.75/681.65 c #Conflicts: 1997000 | #Constraints: 50656 679.75/681.65 c #Conflicts: 1998000 | #Constraints: 52234 679.75/681.65 c #Conflicts: 1999000 | #Constraints: 53785 679.75/681.65 c #Conflicts: 2000000 | #Constraints: 55313 679.75/681.65 c #Conflicts: 2001000 | #Constraints: 57062 679.75/681.65 c #Conflicts: 2002000 | #Constraints: 58711 679.75/681.65 c #Conflicts: 2003000 | #Constraints: 60251 679.75/681.65 c #Conflicts: 2004000 | #Constraints: 61952 679.75/681.65 c #Conflicts: 2005000 | #Constraints: 63588 679.75/681.65 c #Conflicts: 2006000 | #Constraints: 65111 679.75/681.65 c #Conflicts: 2007000 | #Constraints: 66656 679.75/681.65 c #Conflicts: 2008000 | #Constraints: 68290 679.75/681.65 c #Conflicts: 2009000 | #Constraints: 69793 679.75/681.65 c #Conflicts: 2010000 | #Constraints: 71288 679.75/681.65 c #Conflicts: 2011000 | #Constraints: 72786 679.75/681.65 c #Conflicts: 2012000 | #Constraints: 74468 679.75/681.65 c #Conflicts: 2013000 | #Constraints: 76184 679.75/681.65 c #Conflicts: 2014000 | #Constraints: 77860 679.75/681.65 c #Conflicts: 2015000 | #Constraints: 79494 679.75/681.65 c #Conflicts: 2016000 | #Constraints: 81158 679.75/681.65 c #Conflicts: 2017000 | #Constraints: 82793 679.75/681.65 c #Conflicts: 2018000 | #Constraints: 84436 679.75/681.65 c #Conflicts: 2019000 | #Constraints: 86105 679.75/681.65 c #Conflicts: 2020000 | #Constraints: 87765 679.75/681.65 c #Conflicts: 2021000 | #Constraints: 89415 679.75/681.65 c INPROCESSING 679.75/681.65 c GARBAGE COLLECT 679.75/681.65 c rational objective 400.5 712.47/714.48 c #Conflicts: 2022000 | #Constraints: 46360 712.47/714.48 c #Conflicts: 2023000 | #Constraints: 48012 712.47/714.48 c #Conflicts: 2024000 | #Constraints: 49619 712.47/714.48 c #Conflicts: 2025000 | #Constraints: 51119 712.47/714.48 c #Conflicts: 2026000 | #Constraints: 52753 712.47/714.48 c #Conflicts: 2027000 | #Constraints: 54402 712.47/714.48 c #Conflicts: 2028000 | #Constraints: 55983 712.47/714.48 c #Conflicts: 2029000 | #Constraints: 57674 712.47/714.48 c #Conflicts: 2030000 | #Constraints: 59256 712.47/714.48 c #Conflicts: 2031000 | #Constraints: 60941 712.47/714.48 c #Conflicts: 2032000 | #Constraints: 62505 712.47/714.48 c #Conflicts: 2033000 | #Constraints: 64166 712.47/714.48 c #Conflicts: 2034000 | #Constraints: 65781 712.47/714.48 c #Conflicts: 2035000 | #Constraints: 67474 712.47/714.48 c #Conflicts: 2036000 | #Constraints: 69235 712.47/714.48 c #Conflicts: 2037000 | #Constraints: 70903 712.47/714.48 c #Conflicts: 2038000 | #Constraints: 72557 712.47/714.48 c #Conflicts: 2039000 | #Constraints: 74199 712.47/714.48 c #Conflicts: 2040000 | #Constraints: 75734 712.47/714.48 c #Conflicts: 2041000 | #Constraints: 77410 712.47/714.48 c #Conflicts: 2042000 | #Constraints: 79033 712.47/714.48 c #Conflicts: 2043000 | #Constraints: 80591 712.47/714.48 c #Conflicts: 2044000 | #Constraints: 82151 712.47/714.48 c #Conflicts: 2045000 | #Constraints: 83805 712.47/714.48 c #Conflicts: 2046000 | #Constraints: 85026 712.47/714.48 c #Conflicts: 2047000 | #Constraints: 86046 712.47/714.48 c #Conflicts: 2048000 | #Constraints: 87077 712.47/714.48 c #Conflicts: 2049000 | #Constraints: 88288 712.47/714.48 c #Conflicts: 2050000 | #Constraints: 89436 712.47/714.48 c INPROCESSING 712.47/714.48 c GARBAGE COLLECT 712.47/714.48 c #Conflicts: 2051000 | #Constraints: 46478 712.47/714.48 c #Conflicts: 2052000 | #Constraints: 47769 712.47/714.48 c #Conflicts: 2053000 | #Constraints: 48878 712.47/714.48 c #Conflicts: 2054000 | #Constraints: 50160 712.47/714.48 c #Conflicts: 2055000 | #Constraints: 51821 712.47/714.48 c #Conflicts: 2056000 | #Constraints: 52970 712.47/714.48 c #Conflicts: 2057000 | #Constraints: 54451 712.47/714.48 c #Conflicts: 2058000 | #Constraints: 55755 712.47/714.48 c #Conflicts: 2059000 | #Constraints: 56986 712.47/714.48 c #Conflicts: 2060000 | #Constraints: 58042 712.47/714.48 c #Conflicts: 2061000 | #Constraints: 59220 712.47/714.48 c #Conflicts: 2062000 | #Constraints: 60661 712.47/714.48 c #Conflicts: 2063000 | #Constraints: 61672 712.47/714.48 c #Conflicts: 2064000 | #Constraints: 63171 712.47/714.48 c #Conflicts: 2065000 | #Constraints: 64714 712.47/714.48 c #Conflicts: 2066000 | #Constraints: 66340 712.47/714.48 c #Conflicts: 2067000 | #Constraints: 67949 712.47/714.48 c #Conflicts: 2068000 | #Constraints: 69569 712.47/714.48 c #Conflicts: 2069000 | #Constraints: 71298 712.47/714.48 c #Conflicts: 2070000 | #Constraints: 72937 712.47/714.48 c #Conflicts: 2071000 | #Constraints: 74483 712.47/714.48 c #Conflicts: 2072000 | #Constraints: 75519 712.47/714.48 c #Conflicts: 2073000 | #Constraints: 76859 712.47/714.48 c #Conflicts: 2074000 | #Constraints: 77935 712.47/714.48 c #Conflicts: 2075000 | #Constraints: 79055 712.47/714.48 c #Conflicts: 2076000 | #Constraints: 80153 712.47/714.48 c #Conflicts: 2077000 | #Constraints: 81193 712.47/714.48 c #Conflicts: 2078000 | #Constraints: 82193 712.47/714.48 c #Conflicts: 2079000 | #Constraints: 83193 712.47/714.48 c INPROCESSING 712.47/714.48 c GARBAGE COLLECT 712.47/714.48 c #Conflicts: 2080000 | #Constraints: 43560 712.47/714.48 c #Conflicts: 2081000 | #Constraints: 45037 712.47/714.48 c #Conflicts: 2082000 | #Constraints: 46250 712.47/714.48 c #Conflicts: 2083000 | #Constraints: 47300 712.47/714.48 c #Conflicts: 2084000 | #Constraints: 48958 712.47/714.48 c #Conflicts: 2085000 | #Constraints: 50366 712.47/714.48 c #Conflicts: 2086000 | #Constraints: 51534 712.47/714.48 c #Conflicts: 2087000 | #Constraints: 52637 712.47/714.48 c #Conflicts: 2088000 | #Constraints: 53791 712.47/714.48 c #Conflicts: 2089000 | #Constraints: 54822 712.47/714.48 c #Conflicts: 2090000 | #Constraints: 55960 712.47/714.48 c #Conflicts: 2091000 | #Constraints: 56991 712.47/714.48 c #Conflicts: 2092000 | #Constraints: 58048 712.47/714.48 c #Conflicts: 2093000 | #Constraints: 59092 712.47/714.48 c #Conflicts: 2094000 | #Constraints: 60155 712.47/714.48 c #Conflicts: 2095000 | #Constraints: 61302 712.47/714.48 c #Conflicts: 2096000 | #Constraints: 62350 712.47/714.48 c #Conflicts: 2097000 | #Constraints: 63406 712.47/714.48 c #Conflicts: 2098000 | #Constraints: 64439 712.47/714.48 c #Conflicts: 2099000 | #Constraints: 65440 730.92/732.92 c #Conflicts: 2100000 | #Constraints: 66441 730.92/732.92 c #Conflicts: 2101000 | #Constraints: 67472 730.92/732.92 c #Conflicts: 2102000 | #Constraints: 68909 730.92/732.92 c #Conflicts: 2103000 | #Constraints: 70410 730.92/732.92 c #Conflicts: 2104000 | #Constraints: 71907 730.92/732.92 c #Conflicts: 2105000 | #Constraints: 73409 730.92/732.92 c #Conflicts: 2106000 | #Constraints: 74911 730.92/732.92 c #Conflicts: 2107000 | #Constraints: 76413 730.92/732.92 c #Conflicts: 2108000 | #Constraints: 77911 730.92/732.92 c INPROCESSING 730.92/732.92 c GARBAGE COLLECT 730.92/732.92 c #Conflicts: 2109000 | #Constraints: 40488 730.92/732.92 c #Conflicts: 2110000 | #Constraints: 41521 730.92/732.92 c #Conflicts: 2111000 | #Constraints: 42618 730.92/732.92 c #Conflicts: 2112000 | #Constraints: 43726 730.92/732.92 c #Conflicts: 2113000 | #Constraints: 44883 730.92/732.92 c #Conflicts: 2114000 | #Constraints: 45945 730.92/732.92 c #Conflicts: 2115000 | #Constraints: 47079 730.92/732.92 c #Conflicts: 2116000 | #Constraints: 48147 730.92/732.92 c #Conflicts: 2117000 | #Constraints: 49276 730.92/732.92 c #Conflicts: 2118000 | #Constraints: 50340 730.92/732.92 c #Conflicts: 2119000 | #Constraints: 51416 730.92/732.92 c #Conflicts: 2120000 | #Constraints: 52502 730.92/732.92 c #Conflicts: 2121000 | #Constraints: 53562 730.92/732.92 c #Conflicts: 2122000 | #Constraints: 54577 730.92/732.92 c #Conflicts: 2123000 | #Constraints: 55637 730.92/732.92 c #Conflicts: 2124000 | #Constraints: 56816 730.92/732.92 c #Conflicts: 2125000 | #Constraints: 57939 730.92/732.92 c #Conflicts: 2126000 | #Constraints: 58985 730.92/732.92 c #Conflicts: 2127000 | #Constraints: 60133 730.92/732.92 c #Conflicts: 2128000 | #Constraints: 61201 730.92/732.92 c #Conflicts: 2129000 | #Constraints: 62354 730.92/732.92 c #Conflicts: 2130000 | #Constraints: 63456 730.92/732.92 c #Conflicts: 2131000 | #Constraints: 64680 730.92/732.92 c #Conflicts: 2132000 | #Constraints: 65745 730.92/732.92 c #Conflicts: 2133000 | #Constraints: 66895 730.92/732.92 c #Conflicts: 2134000 | #Constraints: 67964 730.92/732.92 c #Conflicts: 2135000 | #Constraints: 69182 730.92/732.92 c #Conflicts: 2136000 | #Constraints: 70272 730.92/732.92 c #Conflicts: 2137000 | #Constraints: 71295 730.92/732.92 c INPROCESSING 730.92/732.92 c GARBAGE COLLECT 730.92/732.92 c #Conflicts: 2138000 | #Constraints: 37310 730.92/732.92 c #Conflicts: 2139000 | #Constraints: 38421 730.92/732.92 c #Conflicts: 2140000 | #Constraints: 39649 730.92/732.92 c #Conflicts: 2141000 | #Constraints: 40818 730.92/732.92 c #Conflicts: 2142000 | #Constraints: 42068 730.92/732.92 c #Conflicts: 2143000 | #Constraints: 43525 730.92/732.92 c #Conflicts: 2144000 | #Constraints: 44983 730.92/732.92 c #Conflicts: 2145000 | #Constraints: 46507 730.92/732.92 c #Conflicts: 2146000 | #Constraints: 48005 730.92/732.92 c #Conflicts: 2147000 | #Constraints: 49515 730.92/732.92 c #Conflicts: 2148000 | #Constraints: 51005 730.92/732.92 c #Conflicts: 2149000 | #Constraints: 52516 730.92/732.92 c #Conflicts: 2150000 | #Constraints: 53824 730.92/732.92 c #Conflicts: 2151000 | #Constraints: 54869 730.92/732.92 c #Conflicts: 2152000 | #Constraints: 55957 730.92/732.92 c #Conflicts: 2153000 | #Constraints: 57067 730.92/732.92 c #Conflicts: 2154000 | #Constraints: 58106 730.92/732.92 c #Conflicts: 2155000 | #Constraints: 59203 730.92/732.92 c #Conflicts: 2156000 | #Constraints: 60208 730.92/732.92 c #Conflicts: 2157000 | #Constraints: 61249 730.92/732.92 c #Conflicts: 2158000 | #Constraints: 62336 730.92/732.92 c #Conflicts: 2159000 | #Constraints: 63430 730.92/732.92 c #Conflicts: 2160000 | #Constraints: 64510 730.92/732.92 c #Conflicts: 2161000 | #Constraints: 65611 730.92/732.92 c #Conflicts: 2162000 | #Constraints: 66700 730.92/732.92 c #Conflicts: 2163000 | #Constraints: 67815 730.92/732.92 c #Conflicts: 2164000 | #Constraints: 68858 730.92/732.92 c #Conflicts: 2165000 | #Constraints: 70014 730.92/732.92 c #Conflicts: 2166000 | #Constraints: 71163 730.92/732.92 c INPROCESSING 730.92/732.92 c GARBAGE COLLECT 730.92/732.92 c #Conflicts: 2167000 | #Constraints: 36946 730.92/732.92 c #Conflicts: 2168000 | #Constraints: 37950 730.92/732.92 c #Conflicts: 2169000 | #Constraints: 38950 730.92/732.92 c #Conflicts: 2170000 | #Constraints: 39962 730.92/732.92 c #Conflicts: 2171000 | #Constraints: 41015 730.92/732.92 c #Conflicts: 2172000 | #Constraints: 42087 730.92/732.92 c #Conflicts: 2173000 | #Constraints: 43168 730.92/732.92 c #Conflicts: 2174000 | #Constraints: 44360 730.92/732.92 c #Conflicts: 2175000 | #Constraints: 45367 730.92/732.92 c #Conflicts: 2176000 | #Constraints: 46403 744.88/746.94 c #Conflicts: 2177000 | #Constraints: 47469 744.88/746.94 c #Conflicts: 2178000 | #Constraints: 48634 744.88/746.94 c #Conflicts: 2179000 | #Constraints: 49663 744.88/746.94 c #Conflicts: 2180000 | #Constraints: 50702 744.88/746.94 c #Conflicts: 2181000 | #Constraints: 51763 744.88/746.94 c #Conflicts: 2182000 | #Constraints: 52949 744.88/746.94 c #Conflicts: 2183000 | #Constraints: 53960 744.88/746.94 c #Conflicts: 2184000 | #Constraints: 54973 744.88/746.94 c #Conflicts: 2185000 | #Constraints: 56225 744.88/746.94 c #Conflicts: 2186000 | #Constraints: 57268 744.88/746.94 c #Conflicts: 2187000 | #Constraints: 58323 744.88/746.94 c #Conflicts: 2188000 | #Constraints: 59406 744.88/746.94 c #Conflicts: 2189000 | #Constraints: 60415 744.88/746.94 c #Conflicts: 2190000 | #Constraints: 61534 744.88/746.94 c #Conflicts: 2191000 | #Constraints: 62564 744.88/746.94 c #Conflicts: 2192000 | #Constraints: 63669 744.88/746.94 c #Conflicts: 2193000 | #Constraints: 64775 744.88/746.94 c #Conflicts: 2194000 | #Constraints: 65787 744.88/746.94 c #Conflicts: 2195000 | #Constraints: 66873 744.88/746.94 c #Conflicts: 2196000 | #Constraints: 67954 744.88/746.94 c INPROCESSING 744.88/746.94 c GARBAGE COLLECT 744.88/746.94 c #Conflicts: 2197000 | #Constraints: 35490 744.88/746.94 c #Conflicts: 2198000 | #Constraints: 37070 744.88/746.94 c #Conflicts: 2199000 | #Constraints: 38634 744.88/746.94 c #Conflicts: 2200000 | #Constraints: 40169 744.88/746.94 c #Conflicts: 2201000 | #Constraints: 41621 744.88/746.94 c #Conflicts: 2202000 | #Constraints: 42897 744.88/746.94 c #Conflicts: 2203000 | #Constraints: 44411 744.88/746.94 c #Conflicts: 2204000 | #Constraints: 45625 744.88/746.94 c #Conflicts: 2205000 | #Constraints: 46671 744.88/746.94 c #Conflicts: 2206000 | #Constraints: 47748 744.88/746.94 c #Conflicts: 2207000 | #Constraints: 48760 744.88/746.94 c #Conflicts: 2208000 | #Constraints: 50063 744.88/746.94 c #Conflicts: 2209000 | #Constraints: 51063 744.88/746.94 c #Conflicts: 2210000 | #Constraints: 52063 744.88/746.94 c #Conflicts: 2211000 | #Constraints: 53075 744.88/746.94 c #Conflicts: 2212000 | #Constraints: 54255 744.88/746.94 c #Conflicts: 2213000 | #Constraints: 55446 744.88/746.94 c #Conflicts: 2214000 | #Constraints: 56447 744.88/746.94 c #Conflicts: 2215000 | #Constraints: 57447 744.88/746.94 c #Conflicts: 2216000 | #Constraints: 58447 744.88/746.94 c #Conflicts: 2217000 | #Constraints: 59494 744.88/746.94 c #Conflicts: 2218000 | #Constraints: 60534 744.88/746.94 c #Conflicts: 2219000 | #Constraints: 61587 744.88/746.94 c #Conflicts: 2220000 | #Constraints: 62764 744.88/746.94 c #Conflicts: 2221000 | #Constraints: 63836 744.88/746.94 c #Conflicts: 2222000 | #Constraints: 64925 744.88/746.94 c #Conflicts: 2223000 | #Constraints: 66015 744.88/746.94 c #Conflicts: 2224000 | #Constraints: 67084 744.88/746.94 c #Conflicts: 2225000 | #Constraints: 68110 744.88/746.94 c #Conflicts: 2226000 | #Constraints: 69193 744.88/746.94 c INPROCESSING 744.88/746.94 c GARBAGE COLLECT 744.88/746.94 c #Conflicts: 2227000 | #Constraints: 36490 744.88/746.94 c #Conflicts: 2228000 | #Constraints: 37658 744.88/746.94 c #Conflicts: 2229000 | #Constraints: 38658 744.88/746.94 c #Conflicts: 2230000 | #Constraints: 39658 744.88/746.94 c #Conflicts: 2231000 | #Constraints: 40708 744.88/746.94 c #Conflicts: 2232000 | #Constraints: 42039 744.88/746.94 c #Conflicts: 2233000 | #Constraints: 43328 744.88/746.94 c #Conflicts: 2234000 | #Constraints: 44577 744.88/746.94 c #Conflicts: 2235000 | #Constraints: 45620 744.88/746.94 c #Conflicts: 2236000 | #Constraints: 46697 744.88/746.94 c #Conflicts: 2237000 | #Constraints: 47783 744.88/746.94 c #Conflicts: 2238000 | #Constraints: 49192 744.88/746.94 c #Conflicts: 2239000 | #Constraints: 50304 744.88/746.94 c #Conflicts: 2240000 | #Constraints: 51451 744.88/746.94 c #Conflicts: 2241000 | #Constraints: 52513 744.88/746.94 c #Conflicts: 2242000 | #Constraints: 53571 744.88/746.94 c #Conflicts: 2243000 | #Constraints: 54571 744.88/746.94 c #Conflicts: 2244000 | #Constraints: 55571 744.88/746.94 c #Conflicts: 2245000 | #Constraints: 56584 744.88/746.94 c #Conflicts: 2246000 | #Constraints: 57607 744.88/746.94 c #Conflicts: 2247000 | #Constraints: 58658 744.88/746.94 c #Conflicts: 2248000 | #Constraints: 59769 744.88/746.94 c #Conflicts: 2249000 | #Constraints: 60779 744.88/746.94 c #Conflicts: 2250000 | #Constraints: 61877 744.88/746.94 c #Conflicts: 2251000 | #Constraints: 62954 744.88/746.94 c #Conflicts: 2252000 | #Constraints: 63987 744.88/746.94 c #Conflicts: 2253000 | #Constraints: 65004 760.55/762.60 c #Conflicts: 2254000 | #Constraints: 66067 760.55/762.60 c #Conflicts: 2255000 | #Constraints: 67209 760.55/762.60 c #Conflicts: 2256000 | #Constraints: 68265 760.55/762.60 c INPROCESSING 760.55/762.60 c GARBAGE COLLECT 760.55/762.60 c #Conflicts: 2257000 | #Constraints: 35784 760.55/762.60 c #Conflicts: 2258000 | #Constraints: 37002 760.55/762.60 c #Conflicts: 2259000 | #Constraints: 38113 760.55/762.60 c #Conflicts: 2260000 | #Constraints: 39133 760.55/762.60 c #Conflicts: 2261000 | #Constraints: 40178 760.55/762.60 c #Conflicts: 2262000 | #Constraints: 41183 760.55/762.60 c #Conflicts: 2263000 | #Constraints: 42404 760.55/762.60 c #Conflicts: 2264000 | #Constraints: 43591 760.55/762.60 c #Conflicts: 2265000 | #Constraints: 44621 760.55/762.60 c #Conflicts: 2266000 | #Constraints: 45621 760.55/762.60 c #Conflicts: 2267000 | #Constraints: 46621 760.55/762.60 c #Conflicts: 2268000 | #Constraints: 47904 760.55/762.60 c #Conflicts: 2269000 | #Constraints: 49259 760.55/762.60 c #Conflicts: 2270000 | #Constraints: 50305 760.55/762.60 c #Conflicts: 2271000 | #Constraints: 51404 760.55/762.60 c #Conflicts: 2272000 | #Constraints: 52508 760.55/762.60 c #Conflicts: 2273000 | #Constraints: 53603 760.55/762.60 c #Conflicts: 2274000 | #Constraints: 54672 760.55/762.60 c #Conflicts: 2275000 | #Constraints: 55749 760.55/762.60 c #Conflicts: 2276000 | #Constraints: 56773 760.55/762.60 c #Conflicts: 2277000 | #Constraints: 57776 760.55/762.60 c #Conflicts: 2278000 | #Constraints: 58829 760.55/762.60 c #Conflicts: 2279000 | #Constraints: 59835 760.55/762.60 c #Conflicts: 2280000 | #Constraints: 60864 760.55/762.60 c #Conflicts: 2281000 | #Constraints: 61911 760.55/762.60 c #Conflicts: 2282000 | #Constraints: 62950 760.55/762.60 c #Conflicts: 2283000 | #Constraints: 64058 760.55/762.60 c #Conflicts: 2284000 | #Constraints: 65157 760.55/762.60 c #Conflicts: 2285000 | #Constraints: 66405 760.55/762.60 c #Conflicts: 2286000 | #Constraints: 67423 760.55/762.60 c INPROCESSING 760.55/762.60 c GARBAGE COLLECT 760.55/762.60 c #Conflicts: 2287000 | #Constraints: 35123 760.55/762.60 c #Conflicts: 2288000 | #Constraints: 36123 760.55/762.60 c #Conflicts: 2289000 | #Constraints: 37160 760.55/762.60 c #Conflicts: 2290000 | #Constraints: 38653 760.55/762.60 c #Conflicts: 2291000 | #Constraints: 39970 760.55/762.60 c #Conflicts: 2292000 | #Constraints: 41343 760.55/762.60 c #Conflicts: 2293000 | #Constraints: 42646 760.55/762.60 c #Conflicts: 2294000 | #Constraints: 44038 760.55/762.60 c #Conflicts: 2295000 | #Constraints: 45520 760.55/762.60 c #Conflicts: 2296000 | #Constraints: 47007 760.55/762.60 c #Conflicts: 2297000 | #Constraints: 48150 760.55/762.60 c #Conflicts: 2298000 | #Constraints: 49234 760.55/762.60 c #Conflicts: 2299000 | #Constraints: 50323 760.55/762.60 c #Conflicts: 2300000 | #Constraints: 51393 760.55/762.60 c #Conflicts: 2301000 | #Constraints: 52407 760.55/762.60 c #Conflicts: 2302000 | #Constraints: 53489 760.55/762.60 c #Conflicts: 2303000 | #Constraints: 54512 760.55/762.60 c #Conflicts: 2304000 | #Constraints: 55593 760.55/762.60 c #Conflicts: 2305000 | #Constraints: 56606 760.55/762.60 c #Conflicts: 2306000 | #Constraints: 57606 760.55/762.60 c #Conflicts: 2307000 | #Constraints: 58607 760.55/762.60 c #Conflicts: 2308000 | #Constraints: 59668 760.55/762.60 c #Conflicts: 2309000 | #Constraints: 60693 760.55/762.60 c #Conflicts: 2310000 | #Constraints: 61693 760.55/762.60 c #Conflicts: 2311000 | #Constraints: 62693 760.55/762.60 c #Conflicts: 2312000 | #Constraints: 63711 760.55/762.60 c #Conflicts: 2313000 | #Constraints: 64768 760.55/762.60 c #Conflicts: 2314000 | #Constraints: 65802 760.55/762.60 c #Conflicts: 2315000 | #Constraints: 66863 760.55/762.60 c #Conflicts: 2316000 | #Constraints: 67863 760.55/762.60 c INPROCESSING 760.55/762.60 c GARBAGE COLLECT 760.55/762.60 c #Conflicts: 2317000 | #Constraints: 35129 760.55/762.60 c #Conflicts: 2318000 | #Constraints: 36429 760.55/762.60 c #Conflicts: 2319000 | #Constraints: 37936 760.55/762.60 c #Conflicts: 2320000 | #Constraints: 39420 760.55/762.60 c #Conflicts: 2321000 | #Constraints: 40926 760.55/762.60 c #Conflicts: 2322000 | #Constraints: 42427 760.55/762.60 c #Conflicts: 2323000 | #Constraints: 43964 760.55/762.60 c #Conflicts: 2324000 | #Constraints: 45461 760.55/762.60 c #Conflicts: 2325000 | #Constraints: 46952 760.55/762.60 c #Conflicts: 2326000 | #Constraints: 48447 760.55/762.60 c #Conflicts: 2327000 | #Constraints: 49954 760.55/762.60 c #Conflicts: 2328000 | #Constraints: 51471 760.55/762.60 c #Conflicts: 2329000 | #Constraints: 52960 760.55/762.60 c #Conflicts: 2330000 | #Constraints: 54457 781.69/783.85 c #Conflicts: 2331000 | #Constraints: 55957 781.69/783.85 c #Conflicts: 2332000 | #Constraints: 57462 781.69/783.85 c #Conflicts: 2333000 | #Constraints: 58968 781.69/783.85 c #Conflicts: 2334000 | #Constraints: 60477 781.69/783.85 c #Conflicts: 2335000 | #Constraints: 61988 781.69/783.85 c #Conflicts: 2336000 | #Constraints: 63489 781.69/783.85 c #Conflicts: 2337000 | #Constraints: 64992 781.69/783.85 c #Conflicts: 2338000 | #Constraints: 66492 781.69/783.85 c #Conflicts: 2339000 | #Constraints: 67980 781.69/783.85 c #Conflicts: 2340000 | #Constraints: 69474 781.69/783.85 c #Conflicts: 2341000 | #Constraints: 70962 781.69/783.85 c #Conflicts: 2342000 | #Constraints: 72466 781.69/783.85 c #Conflicts: 2343000 | #Constraints: 73965 781.69/783.85 c #Conflicts: 2344000 | #Constraints: 75459 781.69/783.85 c #Conflicts: 2345000 | #Constraints: 76964 781.69/783.85 c #Conflicts: 2346000 | #Constraints: 78461 781.69/783.85 c #Conflicts: 2347000 | #Constraints: 79963 781.69/783.85 c INPROCESSING 781.69/783.85 c GARBAGE COLLECT 781.69/783.85 c #Conflicts: 2348000 | #Constraints: 41674 781.69/783.85 c #Conflicts: 2349000 | #Constraints: 42674 781.69/783.85 c #Conflicts: 2350000 | #Constraints: 43808 781.69/783.85 c #Conflicts: 2351000 | #Constraints: 45056 781.69/783.85 c #Conflicts: 2352000 | #Constraints: 46195 781.69/783.85 c #Conflicts: 2353000 | #Constraints: 47301 781.69/783.85 c #Conflicts: 2354000 | #Constraints: 48349 781.69/783.85 c #Conflicts: 2355000 | #Constraints: 49365 781.69/783.85 c #Conflicts: 2356000 | #Constraints: 50365 781.69/783.85 c #Conflicts: 2357000 | #Constraints: 51365 781.69/783.85 c #Conflicts: 2358000 | #Constraints: 52442 781.69/783.85 c #Conflicts: 2359000 | #Constraints: 53998 781.69/783.85 c #Conflicts: 2360000 | #Constraints: 55112 781.69/783.85 c #Conflicts: 2361000 | #Constraints: 56115 781.69/783.85 c #Conflicts: 2362000 | #Constraints: 57209 781.69/783.85 c #Conflicts: 2363000 | #Constraints: 58350 781.69/783.85 c #Conflicts: 2364000 | #Constraints: 59679 781.69/783.85 c #Conflicts: 2365000 | #Constraints: 60875 781.69/783.85 c #Conflicts: 2366000 | #Constraints: 62383 781.69/783.85 c #Conflicts: 2367000 | #Constraints: 63663 781.69/783.85 c #Conflicts: 2368000 | #Constraints: 64877 781.69/783.85 c #Conflicts: 2369000 | #Constraints: 65907 781.69/783.85 c #Conflicts: 2370000 | #Constraints: 66907 781.69/783.85 c #Conflicts: 2371000 | #Constraints: 67912 781.69/783.85 c #Conflicts: 2372000 | #Constraints: 69013 781.69/783.85 c #Conflicts: 2373000 | #Constraints: 70213 781.69/783.85 c #Conflicts: 2374000 | #Constraints: 71389 781.69/783.85 c #Conflicts: 2375000 | #Constraints: 72483 781.69/783.85 c #Conflicts: 2376000 | #Constraints: 73508 781.69/783.85 c #Conflicts: 2377000 | #Constraints: 74532 781.69/783.85 c #Conflicts: 2378000 | #Constraints: 75555 781.69/783.85 c INPROCESSING 781.69/783.85 c GARBAGE COLLECT 781.69/783.85 c #Conflicts: 2379000 | #Constraints: 39336 781.69/783.85 c #Conflicts: 2380000 | #Constraints: 40393 781.69/783.85 c #Conflicts: 2381000 | #Constraints: 41544 781.69/783.85 c #Conflicts: 2382000 | #Constraints: 42571 781.69/783.85 c #Conflicts: 2383000 | #Constraints: 43599 781.69/783.85 c #Conflicts: 2384000 | #Constraints: 44599 781.69/783.85 c #Conflicts: 2385000 | #Constraints: 45600 781.69/783.85 c #Conflicts: 2386000 | #Constraints: 46682 781.69/783.85 c #Conflicts: 2387000 | #Constraints: 47770 781.69/783.85 c #Conflicts: 2388000 | #Constraints: 48947 781.69/783.85 c #Conflicts: 2389000 | #Constraints: 50142 781.69/783.85 c #Conflicts: 2390000 | #Constraints: 51308 781.69/783.85 c #Conflicts: 2391000 | #Constraints: 52389 781.69/783.85 c #Conflicts: 2392000 | #Constraints: 53489 781.69/783.85 c #Conflicts: 2393000 | #Constraints: 54646 781.69/783.85 c #Conflicts: 2394000 | #Constraints: 55728 781.69/783.85 c #Conflicts: 2395000 | #Constraints: 56808 781.69/783.85 c #Conflicts: 2396000 | #Constraints: 57885 781.69/783.85 c #Conflicts: 2397000 | #Constraints: 59070 781.69/783.85 c #Conflicts: 2398000 | #Constraints: 60219 781.69/783.85 c #Conflicts: 2399000 | #Constraints: 61271 781.69/783.85 c #Conflicts: 2400000 | #Constraints: 62311 781.69/783.85 c #Conflicts: 2401000 | #Constraints: 63358 781.69/783.85 c #Conflicts: 2402000 | #Constraints: 64374 781.69/783.85 c #Conflicts: 2403000 | #Constraints: 65407 781.69/783.85 c #Conflicts: 2404000 | #Constraints: 66788 781.69/783.85 c #Conflicts: 2405000 | #Constraints: 67817 781.69/783.85 c #Conflicts: 2406000 | #Constraints: 68827 781.69/783.85 c #Conflicts: 2407000 | #Constraints: 69860 781.69/783.85 c #Conflicts: 2408000 | #Constraints: 70915 794.96/797.17 c #Conflicts: 2409000 | #Constraints: 71965 794.96/797.17 c INPROCESSING 794.96/797.17 c GARBAGE COLLECT 794.96/797.17 c #Conflicts: 2410000 | #Constraints: 37622 794.96/797.17 c #Conflicts: 2411000 | #Constraints: 38623 794.96/797.17 c #Conflicts: 2412000 | #Constraints: 39739 794.96/797.17 c #Conflicts: 2413000 | #Constraints: 40904 794.96/797.17 c #Conflicts: 2414000 | #Constraints: 41924 794.96/797.17 c #Conflicts: 2415000 | #Constraints: 42924 794.96/797.17 c #Conflicts: 2416000 | #Constraints: 43925 794.96/797.17 c #Conflicts: 2417000 | #Constraints: 45050 794.96/797.17 c #Conflicts: 2418000 | #Constraints: 46145 794.96/797.17 c #Conflicts: 2419000 | #Constraints: 47242 794.96/797.17 c #Conflicts: 2420000 | #Constraints: 48458 794.96/797.17 c #Conflicts: 2421000 | #Constraints: 49736 794.96/797.17 c #Conflicts: 2422000 | #Constraints: 51109 794.96/797.17 c #Conflicts: 2423000 | #Constraints: 52226 794.96/797.17 c #Conflicts: 2424000 | #Constraints: 53326 794.96/797.17 c #Conflicts: 2425000 | #Constraints: 54405 794.96/797.17 c #Conflicts: 2426000 | #Constraints: 55516 794.96/797.17 c #Conflicts: 2427000 | #Constraints: 56621 794.96/797.17 c #Conflicts: 2428000 | #Constraints: 57691 794.96/797.17 c #Conflicts: 2429000 | #Constraints: 58760 794.96/797.17 c #Conflicts: 2430000 | #Constraints: 59798 794.96/797.17 c #Conflicts: 2431000 | #Constraints: 60973 794.96/797.17 c #Conflicts: 2432000 | #Constraints: 62288 794.96/797.17 c #Conflicts: 2433000 | #Constraints: 63341 794.96/797.17 c #Conflicts: 2434000 | #Constraints: 64404 794.96/797.17 c #Conflicts: 2435000 | #Constraints: 65552 794.96/797.17 c #Conflicts: 2436000 | #Constraints: 66645 794.96/797.17 c #Conflicts: 2437000 | #Constraints: 67650 794.96/797.17 c #Conflicts: 2438000 | #Constraints: 68687 794.96/797.17 c #Conflicts: 2439000 | #Constraints: 69721 794.96/797.17 c #Conflicts: 2440000 | #Constraints: 70797 794.96/797.17 c INPROCESSING 794.96/797.17 c GARBAGE COLLECT 794.96/797.17 c #Conflicts: 2441000 | #Constraints: 36883 794.96/797.17 c #Conflicts: 2442000 | #Constraints: 37955 794.96/797.17 c #Conflicts: 2443000 | #Constraints: 39059 794.96/797.17 c #Conflicts: 2444000 | #Constraints: 40109 794.96/797.17 c #Conflicts: 2445000 | #Constraints: 41134 794.96/797.17 c #Conflicts: 2446000 | #Constraints: 42142 794.96/797.17 c #Conflicts: 2447000 | #Constraints: 43228 794.96/797.17 c #Conflicts: 2448000 | #Constraints: 44271 794.96/797.17 c #Conflicts: 2449000 | #Constraints: 45294 794.96/797.17 c #Conflicts: 2450000 | #Constraints: 46394 794.96/797.17 c #Conflicts: 2451000 | #Constraints: 47537 794.96/797.17 c #Conflicts: 2452000 | #Constraints: 48572 794.96/797.17 c #Conflicts: 2453000 | #Constraints: 49730 794.96/797.17 c #Conflicts: 2454000 | #Constraints: 50862 794.96/797.17 c #Conflicts: 2455000 | #Constraints: 51932 794.96/797.17 c #Conflicts: 2456000 | #Constraints: 53033 794.96/797.17 c #Conflicts: 2457000 | #Constraints: 54282 794.96/797.17 c #Conflicts: 2458000 | #Constraints: 55319 794.96/797.17 c #Conflicts: 2459000 | #Constraints: 56320 794.96/797.17 c #Conflicts: 2460000 | #Constraints: 57320 794.96/797.17 c #Conflicts: 2461000 | #Constraints: 58324 794.96/797.17 c #Conflicts: 2462000 | #Constraints: 59393 794.96/797.17 c #Conflicts: 2463000 | #Constraints: 60396 794.96/797.17 c #Conflicts: 2464000 | #Constraints: 61396 794.96/797.17 c #Conflicts: 2465000 | #Constraints: 62532 794.96/797.17 c #Conflicts: 2466000 | #Constraints: 63681 794.96/797.17 c #Conflicts: 2467000 | #Constraints: 64730 794.96/797.17 c #Conflicts: 2468000 | #Constraints: 65814 794.96/797.17 c #Conflicts: 2469000 | #Constraints: 67117 794.96/797.17 c #Conflicts: 2470000 | #Constraints: 68222 794.96/797.17 c #Conflicts: 2471000 | #Constraints: 69230 794.96/797.17 c INPROCESSING 794.96/797.17 c GARBAGE COLLECT 794.96/797.17 c #Conflicts: 2472000 | #Constraints: 28953 794.96/797.17 c #Conflicts: 2473000 | #Constraints: 29965 794.96/797.17 c #Conflicts: 2474000 | #Constraints: 31053 794.96/797.17 c #Conflicts: 2475000 | #Constraints: 32129 794.96/797.17 c #Conflicts: 2476000 | #Constraints: 33242 794.96/797.17 c #Conflicts: 2477000 | #Constraints: 34498 794.96/797.17 c #Conflicts: 2478000 | #Constraints: 35498 794.96/797.17 c #Conflicts: 2479000 | #Constraints: 36498 794.96/797.17 c #Conflicts: 2480000 | #Constraints: 37580 794.96/797.17 c #Conflicts: 2481000 | #Constraints: 38719 794.96/797.17 c #Conflicts: 2482000 | #Constraints: 39852 794.96/797.17 c #Conflicts: 2483000 | #Constraints: 40996 794.96/797.17 c #Conflicts: 2484000 | #Constraints: 42048 794.96/797.17 c #Conflicts: 2485000 | #Constraints: 43221 801.44/803.68 c #Conflicts: 2486000 | #Constraints: 44229 801.44/803.68 c #Conflicts: 2487000 | #Constraints: 45403 801.44/803.68 c #Conflicts: 2488000 | #Constraints: 46543 801.44/803.68 c #Conflicts: 2489000 | #Constraints: 47576 801.44/803.68 c #Conflicts: 2490000 | #Constraints: 48628 801.44/803.68 c #Conflicts: 2491000 | #Constraints: 49789 801.44/803.68 c #Conflicts: 2492000 | #Constraints: 50871 801.44/803.68 c #Conflicts: 2493000 | #Constraints: 51979 801.44/803.68 c #Conflicts: 2494000 | #Constraints: 53388 801.44/803.68 c #Conflicts: 2495000 | #Constraints: 54505 801.44/803.68 c #Conflicts: 2496000 | #Constraints: 55659 801.44/803.68 c #Conflicts: 2497000 | #Constraints: 56817 801.44/803.68 c #Conflicts: 2498000 | #Constraints: 57900 801.44/803.68 c #Conflicts: 2499000 | #Constraints: 59063 801.44/803.68 c #Conflicts: 2500000 | #Constraints: 60063 801.44/803.68 c #Conflicts: 2501000 | #Constraints: 61063 801.44/803.68 c #Conflicts: 2502000 | #Constraints: 62109 801.44/803.68 c #Conflicts: 2503000 | #Constraints: 63133 801.44/803.68 c INPROCESSING 801.44/803.68 c GARBAGE COLLECT 801.44/803.68 c #Conflicts: 2504000 | #Constraints: 33133 801.44/803.68 c #Conflicts: 2505000 | #Constraints: 34233 801.44/803.68 c #Conflicts: 2506000 | #Constraints: 35308 801.44/803.68 c #Conflicts: 2507000 | #Constraints: 36418 801.44/803.68 c #Conflicts: 2508000 | #Constraints: 37456 801.44/803.68 c #Conflicts: 2509000 | #Constraints: 38482 801.44/803.68 c #Conflicts: 2510000 | #Constraints: 39532 801.44/803.68 c #Conflicts: 2511000 | #Constraints: 40566 801.44/803.68 c #Conflicts: 2512000 | #Constraints: 41654 801.44/803.68 c #Conflicts: 2513000 | #Constraints: 42683 801.44/803.68 c #Conflicts: 2514000 | #Constraints: 43751 801.44/803.68 c #Conflicts: 2515000 | #Constraints: 44757 801.44/803.68 c #Conflicts: 2516000 | #Constraints: 45810 801.44/803.68 c #Conflicts: 2517000 | #Constraints: 46899 801.44/803.68 c cpu time 767.84 s 801.44/803.68 c deterministic time 32221955155 3.22e+10 801.44/803.68 c optimization time 0.000241 s 801.44/803.68 c total solve time 767.837 s 801.44/803.68 c core-guided solve time 0 s 801.44/803.68 c propagation time 679.476 s 801.44/803.68 c conflict analysis time 62.6053 s 801.44/803.68 c propagations 29289289 801.44/803.68 c resolve steps 7999692 801.44/803.68 c decisions 6583305 801.44/803.68 c conflicts 2517756 801.44/803.68 c restarts 4282 801.44/803.68 c inprocessing phases 149 801.44/803.68 c input clauses 2 801.44/803.68 c input cardinalities 800 801.44/803.68 c input general constraints 0 801.44/803.68 c input average constraint length 4.00 801.44/803.68 c input average constraint degree 2.00 801.44/803.68 c learned clauses 2183849 801.44/803.68 c learned cardinalities 7121 801.44/803.68 c learned general constraints 1513239 801.44/803.68 c learned average constraint length 66.87 801.44/803.68 c learned average constraint degree 5173433453.80 801.44/803.68 c watched constraints 633800 801.44/803.68 c counting constraints 879439 801.44/803.68 c gcd simplifications 877378 801.44/803.68 c detected cardinalities 1985 801.44/803.68 c weakened non-implied lits 6207994 801.44/803.68 c weakened non-implying lits 1283258 801.44/803.68 c original variables 801 801.44/803.68 c clausal propagations 4526008 801.44/803.68 c cardinality propagations 9017580 801.44/803.68 c watched propagations 964174 801.44/803.68 c counting propagations 12260641 801.44/803.68 c watch lookups 12705430966 801.44/803.68 c watch backjump lookups 10861352443 801.44/803.68 c watch checks 7879067043 801.44/803.68 c propagation checks 510421060 801.44/803.68 c constraint additions 188861750 801.44/803.68 c trail pops 38390081 801.44/803.68 c formula constraints 802 801.44/803.68 c learned constraints 2517503 801.44/803.68 c bound constraints 0 801.44/803.68 c core-guided constraints 0 801.44/803.68 c encountered formula constraints 508159 801.44/803.68 c encountered learned constraints 8762323 801.44/803.68 c encountered bound constraints 0 801.44/803.68 c encountered core-guided constraints 0 801.44/803.68 c LP total time 405.957 s 801.44/803.68 c LP solve time 297.48 s 801.44/803.68 c LP constraints added 1613 801.44/803.68 c LP constraints removed 800 801.44/803.68 c LP pivots internal 2517799 801.44/803.68 c LP pivots root 41418 801.44/803.68 c LP calls 1263379 801.44/803.68 c LP optimalities 77325 801.44/803.68 c LP no pivot count 19930 801.44/803.68 c LP infeasibilities 1185850 801.44/803.68 c LP valid Farkas constraints 1185846 801.44/803.68 c LP learned Farkas constraints 252 801.44/803.68 c LP basis resets 201 801.44/803.68 c LP cycling count 129 801.44/803.68 c LP singular count 71 801.44/803.68 c LP no primal count 0 801.44/803.68 c LP no farkas count 0 801.44/803.68 c LP other issue count 1 801.44/803.68 c LP Gomory cuts 608 801.44/803.68 c LP learned cuts 203 801.44/803.68 c LP deleted cuts 800 801.44/803.68 c LP encountered Gomory constraints 0 801.44/803.68 c LP encountered Farkas constraints 1231094 801.44/803.68 c LP encountered learned Farkas constraints 15620 801.44/803.68 c CG auxiliary variables introduced 0 801.44/803.68 c CG solutions found 0 801.44/803.68 c CG cores constructed 0 801.44/803.68 c CG core cardinality constraints returned 0 801.44/803.68 c CG unit cores 0 801.44/803.68 c CG single cores 0 801.44/803.68 c CG blocks removed during cardinality reduction 0 801.44/803.68 c CG first core best 0 801.44/803.68 c CG decision core best 0 801.44/803.68 c CG core reduction tie 0 801.44/803.68 c CG core degree average 0.00 801.44/803.68 c CG core slack average 0.00 801.44/803.68 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61276 MiB free)
memory of node 1: 64473 MiB (56056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455685-1721466044/watcher-4455685-1721466044 -o /tmp/evaluation-result-4455685-1721466044/solver-4455685-1721466044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054631 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455685-1721466044.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=1060053, runsolver pid=1060050
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 1060054
/proc/meminfo: memFree=120145672/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=39048 memory=9436 CPUtime=0.09 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 786 0 0 0 9 0 0 0 20 0 1 0 198775282 39985152 2359 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 9762 2359 1797 922 0 1714 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39048 KiB
Current children cumulated memory: 9436 KiB
[startup+0.205599 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 1060054
/proc/meminfo: memFree=120145504/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=39076 memory=9816 CPUtime=0.2 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 852 0 0 0 19 1 0 0 20 0 1 0 198775282 40013824 2454 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 9769 2454 1797 922 0 1721 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 9816 KiB
[startup+0.305549 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 1060054
/proc/meminfo: memFree=120145056/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=39152 memory=9956 CPUtime=0.3 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 881 0 0 0 28 2 0 0 20 0 1 0 198775282 40091648 2489 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 9788 2489 1813 922 0 1740 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 9956 KiB
[startup+0.700226 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1060054
/proc/meminfo: memFree=120144552/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=39512 memory=10660 CPUtime=0.69 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 1039 0 0 0 64 5 0 0 20 0 1 0 198775282 40460288 2665 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 9878 2665 1813 922 0 1830 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39512 KiB
Current children cumulated memory: 10660 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1060054
/proc/meminfo: memFree=120143292/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=39900 memory=11380 CPUtime=1.48 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 1225 0 0 0 137 11 0 0 20 0 1 0 198775282 40857600 2845 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 9975 2845 1813 922 0 1927 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39900 KiB
Current children cumulated memory: 11380 KiB
[startup+3.10554 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1060054
/proc/meminfo: memFree=120166772/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=40208 memory=13788 CPUtime=3.08 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 1310 0 0 0 287 21 0 0 20 0 1 0 198775282 41172992 3447 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 10052 3447 1813 922 0 2004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40208 KiB
Current children cumulated memory: 13788 KiB
[startup+6.30022 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 1060070
/proc/meminfo: memFree=120165460/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=40868 memory=14392 CPUtime=6.27 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 1502 0 0 0 582 45 0 0 20 0 1 0 198775282 41848832 3598 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 10217 3598 1813 922 0 2169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40868 KiB
Current children cumulated memory: 14392 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 1060070
/proc/meminfo: memFree=120164844/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=41828 memory=15432 CPUtime=12.65 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 1935 0 0 0 1172 93 0 0 20 0 1 0 198775282 42831872 3858 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 10457 3858 1813 922 0 2409 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 15432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 1060074
/proc/meminfo: memFree=120149568/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=60416 memory=32432 CPUtime=25.42 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 6038 0 0 0 2369 173 0 0 20 0 1 0 198775282 61865984 8108 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 15104 8108 1892 922 0 7056 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 60416 KiB
Current children cumulated memory: 32432 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 1060077
/proc/meminfo: memFree=120114400/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=97904 memory=62424 CPUtime=50.96 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 12983 0 0 0 4807 289 0 0 20 0 1 0 198775282 100253696 15606 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 24476 15606 1892 922 0 16428 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 97904 KiB
Current children cumulated memory: 62424 KiB
[startup+102.3 s]
/proc/loadavg: 4.46 4.23 4.13 5/259 1060087
/proc/meminfo: memFree=120103244/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=115716 memory=74080 CPUtime=102 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 15879 0 0 0 9646 554 0 0 20 0 1 0 198775282 118493184 18520 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 28929 18520 1892 922 0 20881 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 115716 KiB
Current children cumulated memory: 74080 KiB
[startup+162.3 s]
/proc/loadavg: 4.66 4.33 4.18 5/258 1060098
/proc/meminfo: memFree=120061128/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=157436 memory=108404 CPUtime=161.84 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 22654 0 0 0 15368 816 0 0 20 0 1 0 198775282 161214464 27101 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 39359 27101 1940 922 0 31311 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 157436 KiB
Current children cumulated memory: 108404 KiB
[startup+222.3 s]
/proc/loadavg: 4.53 4.36 4.20 5/257 1060109
/proc/meminfo: memFree=120057228/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=157440 memory=109184 CPUtime=221.67 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 24125 0 0 0 21097 1070 0 0 20 0 1 0 198775282 161218560 27296 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 39360 27296 1940 922 0 31312 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 157440 KiB
Current children cumulated memory: 109184 KiB
[startup+282.3 s]
/proc/loadavg: 4.35 4.34 4.20 5/256 1060119
/proc/meminfo: memFree=120032580/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=170492 memory=118180 CPUtime=281.51 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 27397 0 0 0 26837 1314 0 0 20 0 1 0 198775282 174583808 29545 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 42623 29545 1940 922 0 34575 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 170492 KiB
Current children cumulated memory: 118180 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.29 4.18 5/254 1060130
/proc/meminfo: memFree=120022064/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=177972 memory=126256 CPUtime=341.35 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 31044 0 0 0 32520 1615 0 0 20 0 1 0 198775282 182243328 31564 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 44493 31564 1940 922 0 36445 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 177972 KiB
Current children cumulated memory: 126256 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.27 4.18 5/254 1060141
/proc/meminfo: memFree=120008812/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=183080 memory=130368 CPUtime=401.2 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 33576 0 0 0 38258 1862 0 0 20 0 1 0 198775282 187473920 32592 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 45770 32592 1940 922 0 37722 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 183080 KiB
Current children cumulated memory: 130368 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.23 4.18 5/254 1060151
/proc/meminfo: memFree=120005116/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=185660 memory=133272 CPUtime=461.03 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 35628 0 0 0 44040 2063 0 0 20 0 1 0 198775282 190115840 33318 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 46415 33318 1940 922 0 38367 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 185660 KiB
Current children cumulated memory: 133272 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/254 1060161
/proc/meminfo: memFree=119983088/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=194860 memory=149368 CPUtime=520.87 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 38916 0 0 0 49830 2257 0 0 20 0 1 0 198775282 199536640 37342 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 48715 37342 1940 922 0 40667 0
Current children cumulated CPU time: 520.87 s
Current children cumulated vsize: 194860 KiB
Current children cumulated memory: 149368 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/256 1060176
/proc/meminfo: memFree=119979812/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=195116 memory=151644 CPUtime=580.72 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 40946 0 0 0 55606 2466 0 0 20 0 1 0 198775282 199798784 37911 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 48779 37911 1940 922 0 40731 0
Current children cumulated CPU time: 580.72 s
Current children cumulated vsize: 195116 KiB
Current children cumulated memory: 151644 KiB
[startup+642.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/256 1060187
/proc/meminfo: memFree=119977092/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=196924 memory=153308 CPUtime=640.55 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 42990 0 0 0 61372 2683 0 0 20 0 1 0 198775282 201650176 38327 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 49231 38327 1940 922 0 41183 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 196924 KiB
Current children cumulated memory: 153308 KiB
[startup+702.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/257 1060199
/proc/meminfo: memFree=119856244/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200092 memory=157256 CPUtime=700.39 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 45346 0 0 0 67150 2889 0 0 20 0 1 0 198775282 204894208 39314 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50023 39314 1940 922 0 41975 0
Current children cumulated CPU time: 700.39 s
Current children cumulated vsize: 200092 KiB
Current children cumulated memory: 157256 KiB
[startup+762.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/257 1060209
/proc/meminfo: memFree=119814424/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=199428 memory=156516 CPUtime=760.24 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 45820 0 0 0 72855 3169 0 0 20 0 1 0 198775282 204214272 39129 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 49857 39129 1940 922 0 41809 0
Current children cumulated CPU time: 760.24 s
Current children cumulated vsize: 199428 KiB
Current children cumulated memory: 156516 KiB
[startup+803.69 s]
# the end of solver process 1060053 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=767.842 s, system=33.7008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.12 4.15 4.16 5/255 1060224
/proc/meminfo: memFree=125151448/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=199428 memory=156768 CPUtime=765.94 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 45878 0 0 0 73406 3188 0 0 20 0 1 0 198775282 204214272 39192 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 49857 39192 1940 922 0 41809 0
Current children cumulated CPU time: 765.94 s
Current children cumulated vsize: 199428 KiB
Current children cumulated memory: 156768 KiB
[startup+780.8 s]
/proc/loadavg: 4.09 4.14 4.15 5/257 1060258
/proc/meminfo: memFree=125264032/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=778.69 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 74624 3245 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 778.69 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
[startup+793.6 s]
/proc/loadavg: 4.08 4.14 4.15 5/257 1060260
/proc/meminfo: memFree=125261344/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=791.46 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 75831 3315 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 791.46 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
[startup+800 s]*
/proc/loadavg: 4.14 4.15 4.16 5/257 1060262
/proc/meminfo: memFree=125249104/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=797.86 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 76438 3348 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 797.86 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
[startup+801.6 s]
/proc/loadavg: 4.14 4.15 4.16 5/257 1060262
/proc/meminfo: memFree=125248264/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=799.45 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 76588 3357 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 799.45 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
[startup+802.4 s]
/proc/loadavg: 4.14 4.15 4.16 5/257 1060262
/proc/meminfo: memFree=125245800/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=800.24 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 76662 3362 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 800.24 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
[startup+803.2 s]
/proc/loadavg: 4.14 4.15 4.16 5/257 1060262
/proc/meminfo: memFree=125244568/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=801.04 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 76737 3367 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 801.04 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
[startup+803.6 s]
/proc/loadavg: 4.14 4.15 4.16 5/257 1060262
/proc/meminfo: memFree=125244568/131524600 swapFree=131071996/131071996
[pid=1060053] ppid=1060050 vsize=200060 memory=157548 CPUtime=801.44 cores=5,7
/proc/1060053/stat : 1060053 (roundingsat) R 1060050 1060053 1054618 0 -1 4194304 46119 0 0 0 76776 3368 0 0 20 0 1 0 198775282 204861440 39387 134679101440 4194304 7968373 140720401287072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16154624 140720401294268 140720401294432 140720401294432 140720401301449 0
/proc/1060053/statm: 50015 39387 1940 922 0 41967 0
Current children cumulated CPU time: 801.44 s
Current children cumulated vsize: 200060 KiB
Current children cumulated memory: 157548 KiB
Child status: 0
Real time (s): 803.69
CPU time (s): 801.543
CPU user time (s): 767.842
CPU system time (s): 33.7008
CPU usage (%): 99.7328
Max. virtual memory (cumulated for all children) (KiB): 200092
Max. memory (cumulated for all children) (KiB): 157548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 767.842
system time used= 33.7008
maximum resident set size= 157632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46127
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= 5
involuntary context switches= 767
# summary of solver processes directly reported to runsolver:
# pid: 1060053
# total CPU time (s): 801.543
# total CPU user time (s): 767.842
# total CPU system time (s): 33.7008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51623 second user time and 3.6613 second system time
The end
Begin job on nodeC035 at 2024-07-20 11:00:57 IDJOB=4455685 IDBENCH=160428 IDSOLVER=3084 FILE ID=nodeC035/4455685-1721466044 RUNJOBID= nodeC035-1721457697-1054631 SLURM_JOB_ID= 7545698 Free space on /tmp= 889952 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.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-4455685-1721466044/watcher-4455685-1721466044 -o /tmp/evaluation-result-4455685-1721466044/solver-4455685-1721466044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054631 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455685-1721466044.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815 RANDOM SEED=875256425 nodeC035.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 : 3663.405 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.660 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.79 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 : 3600.192 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.197 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.79 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 : 3663.375 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.763 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.79 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 : 3600.110 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.521 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120148924 kB MemAvailable: 123920232 kB Buffers: 572260 kB Cached: 4002316 kB SwapCached: 0 kB Active: 1167420 kB Inactive: 9491252 kB Active(anon): 1552 kB Inactive(anon): 6128128 kB Active(file): 1165868 kB Inactive(file): 3363124 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5248 kB Writeback: 0 kB AnonPages: 6081368 kB Mapped: 117364 kB Shmem: 45916 kB KReclaimable: 164276 kB Slab: 284676 kB SReclaimable: 164276 kB SUnreclaim: 120400 kB KernelStack: 4108 kB PageTables: 21312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6720272 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74368 kB HardwareCorrupted: 0 kB AnonHugePages: 4962304 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: 209620 kB DirectMap2M: 19486720 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890044 MiB End job on nodeC035 at 2024-07-20 11:14:21