| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.05 | 3614.61 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb |
| MD5SUM | b3a7e12d93ab079a38c8d0bc0b1ef8cc |
| 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 | 20800.4 |
| 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 | 52 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 52 |
| Maximum length of a constraint | 52 |
| 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 | 5842800 |
| Number of bits of the biggest number in a constraint | 23 |
| Biggest sum of numbers in a constraint | 78219574 |
| Number of bits of the biggest sum of numbers | 27 |
| 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 52 #constraints 2 0.00/0.00 c rational objective 1.0539 0.10/0.18 c #Conflicts: 1000 | #Constraints: 1001 0.10/0.18 c #Conflicts: 2000 | #Constraints: 2001 0.10/0.18 c INPROCESSING 0.10/0.18 c GARBAGE COLLECT 0.10/0.18 c rational objective 1.0539 0.40/0.48 c #Conflicts: 3000 | #Constraints: 2002 0.40/0.48 c #Conflicts: 4000 | #Constraints: 3002 0.40/0.48 c INPROCESSING 0.40/0.48 c GARBAGE COLLECT 0.40/0.48 c rational objective 1.14336 0.79/0.89 c #Conflicts: 5000 | #Constraints: 2401 0.79/0.89 c #Conflicts: 6000 | #Constraints: 3401 0.79/0.89 c INPROCESSING 0.79/0.89 c GARBAGE COLLECT 0.79/0.89 c rational objective 1.19202 1.68/1.73 c #Conflicts: 7000 | #Constraints: 2404 1.68/1.73 c #Conflicts: 8000 | #Constraints: 3404 1.68/1.73 c #Conflicts: 9000 | #Constraints: 4404 1.68/1.73 c INPROCESSING 1.68/1.73 c GARBAGE COLLECT 1.68/1.73 c rational objective 1.14585 2.38/2.46 c #Conflicts: 10000 | #Constraints: 3107 2.38/2.46 c #Conflicts: 11000 | #Constraints: 4107 2.38/2.46 c #Conflicts: 12000 | #Constraints: 5107 2.38/2.46 c INPROCESSING 2.38/2.46 c GARBAGE COLLECT 2.38/2.46 c rational objective 1.18915 3.38/3.41 c #Conflicts: 13000 | #Constraints: 3557 3.38/3.41 c #Conflicts: 14000 | #Constraints: 4557 3.38/3.41 c #Conflicts: 15000 | #Constraints: 5557 3.38/3.41 c INPROCESSING 3.38/3.41 c GARBAGE COLLECT 3.38/3.41 c rational objective 1.20806 4.27/4.39 c #Conflicts: 16000 | #Constraints: 3780 4.27/4.39 c #Conflicts: 17000 | #Constraints: 4780 4.27/4.39 c #Conflicts: 18000 | #Constraints: 5780 4.27/4.39 c INPROCESSING 4.27/4.39 c GARBAGE COLLECT 4.27/4.39 c rational objective 1.2663 5.77/5.82 c #Conflicts: 19000 | #Constraints: 3796 5.77/5.82 c #Conflicts: 20000 | #Constraints: 4796 5.77/5.82 c #Conflicts: 21000 | #Constraints: 5796 5.77/5.82 c INPROCESSING 5.77/5.82 c GARBAGE COLLECT 5.77/5.82 c rational objective 1.2663 7.46/7.56 c #Conflicts: 22000 | #Constraints: 3601 7.46/7.56 c #Conflicts: 23000 | #Constraints: 4601 7.46/7.56 c #Conflicts: 24000 | #Constraints: 5601 7.46/7.56 c #Conflicts: 25000 | #Constraints: 6601 7.46/7.56 c INPROCESSING 7.46/7.56 c GARBAGE COLLECT 7.46/7.56 c rational objective 1.27125 9.35/9.49 c #Conflicts: 26000 | #Constraints: 4206 9.35/9.49 c #Conflicts: 27000 | #Constraints: 5206 9.35/9.49 c #Conflicts: 28000 | #Constraints: 6206 9.35/9.49 c #Conflicts: 29000 | #Constraints: 7206 9.35/9.49 c INPROCESSING 9.35/9.49 c GARBAGE COLLECT 9.35/9.49 c rational objective 1.27125 11.24/11.35 c #Conflicts: 30000 | #Constraints: 4605 11.24/11.35 c #Conflicts: 31000 | #Constraints: 5606 11.24/11.35 c #Conflicts: 32000 | #Constraints: 6606 11.24/11.35 c #Conflicts: 33000 | #Constraints: 7606 11.24/11.35 c INPROCESSING 11.24/11.35 c GARBAGE COLLECT 11.24/11.35 c rational objective 1.27125 14.14/14.22 c #Conflicts: 34000 | #Constraints: 4808 14.14/14.22 c #Conflicts: 35000 | #Constraints: 5808 14.14/14.22 c #Conflicts: 36000 | #Constraints: 6808 14.14/14.22 c #Conflicts: 37000 | #Constraints: 7808 14.14/14.22 c INPROCESSING 14.14/14.22 c GARBAGE COLLECT 14.14/14.22 c rational objective 1.27125 16.33/16.47 c #Conflicts: 38000 | #Constraints: 4808 16.33/16.47 c #Conflicts: 39000 | #Constraints: 5808 16.33/16.47 c #Conflicts: 40000 | #Constraints: 6808 16.33/16.47 c #Conflicts: 41000 | #Constraints: 7808 16.33/16.47 c INPROCESSING 16.33/16.47 c GARBAGE COLLECT 16.33/16.47 c rational objective 1.27319 19.91/20.01 c #Conflicts: 42000 | #Constraints: 4609 19.91/20.01 c #Conflicts: 43000 | #Constraints: 5609 19.91/20.01 c #Conflicts: 44000 | #Constraints: 6609 19.91/20.01 c #Conflicts: 45000 | #Constraints: 7609 19.91/20.01 c #Conflicts: 46000 | #Constraints: 8610 19.91/20.01 c INPROCESSING 19.91/20.01 c GARBAGE COLLECT 19.91/20.01 c rational objective 1.27319 22.50/22.64 c #Conflicts: 47000 | #Constraints: 5209 22.50/22.64 c #Conflicts: 48000 | #Constraints: 6209 22.50/22.64 c #Conflicts: 49000 | #Constraints: 7209 22.50/22.64 c #Conflicts: 50000 | #Constraints: 8209 22.50/22.64 c #Conflicts: 51000 | #Constraints: 9209 22.50/22.64 c INPROCESSING 22.50/22.64 c GARBAGE COLLECT 22.50/22.64 c rational objective 1.27319 25.19/25.37 c #Conflicts: 52000 | #Constraints: 5609 25.19/25.37 c #Conflicts: 53000 | #Constraints: 6609 25.19/25.37 c #Conflicts: 54000 | #Constraints: 7609 25.19/25.37 c #Conflicts: 55000 | #Constraints: 8609 25.19/25.37 c #Conflicts: 56000 | #Constraints: 9609 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c rational objective 1.27319 28.68/28.83 c #Conflicts: 57000 | #Constraints: 5806 28.68/28.83 c #Conflicts: 58000 | #Constraints: 6806 28.68/28.83 c #Conflicts: 59000 | #Constraints: 7806 28.68/28.83 c #Conflicts: 60000 | #Constraints: 8806 28.68/28.83 c #Conflicts: 61000 | #Constraints: 9806 28.68/28.83 c INPROCESSING 28.68/28.83 c GARBAGE COLLECT 28.68/28.83 c rational objective 1.27319 33.15/33.33 c #Conflicts: 62000 | #Constraints: 5807 33.15/33.33 c #Conflicts: 63000 | #Constraints: 6807 33.15/33.33 c #Conflicts: 64000 | #Constraints: 7807 33.15/33.33 c #Conflicts: 65000 | #Constraints: 8807 33.15/33.33 c #Conflicts: 66000 | #Constraints: 9807 33.15/33.33 c INPROCESSING 33.15/33.33 c GARBAGE COLLECT 33.15/33.33 c rational objective 1.27319 55.15/55.45 c #Conflicts: 67000 | #Constraints: 5607 55.15/55.45 c #Conflicts: 68000 | #Constraints: 6607 55.15/55.45 c #Conflicts: 69000 | #Constraints: 7607 55.15/55.45 c #Conflicts: 70000 | #Constraints: 8607 55.15/55.45 c #Conflicts: 71000 | #Constraints: 9607 55.15/55.45 c #Conflicts: 72000 | #Constraints: 10607 55.15/55.45 c #Conflicts: 73000 | #Constraints: 11607 55.15/55.45 c #Conflicts: 74000 | #Constraints: 12607 55.15/55.45 c #Conflicts: 75000 | #Constraints: 13607 55.15/55.45 c #Conflicts: 76000 | #Constraints: 14607 55.15/55.45 c #Conflicts: 77000 | #Constraints: 15607 55.15/55.45 c #Conflicts: 78000 | #Constraints: 16607 55.15/55.45 c #Conflicts: 79000 | #Constraints: 17607 55.15/55.45 c #Conflicts: 80000 | #Constraints: 18607 55.15/55.45 c #Conflicts: 81000 | #Constraints: 19607 55.15/55.45 c #Conflicts: 82000 | #Constraints: 20607 55.15/55.45 c #Conflicts: 83000 | #Constraints: 21607 55.15/55.45 c #Conflicts: 84000 | #Constraints: 22607 55.15/55.45 c #Conflicts: 85000 | #Constraints: 23607 55.15/55.45 c #Conflicts: 86000 | #Constraints: 24607 55.15/55.45 c #Conflicts: 87000 | #Constraints: 25607 55.15/55.45 c #Conflicts: 88000 | #Constraints: 26607 55.15/55.45 c #Conflicts: 89000 | #Constraints: 27607 55.15/55.45 c INPROCESSING 55.15/55.45 c GARBAGE COLLECT 55.15/55.45 c rational objective 1.27319 69.68/70.01 c #Conflicts: 90000 | #Constraints: 14656 69.68/70.01 c #Conflicts: 91000 | #Constraints: 15656 69.68/70.01 c #Conflicts: 92000 | #Constraints: 16656 69.68/70.01 c #Conflicts: 93000 | #Constraints: 17656 69.68/70.01 c #Conflicts: 94000 | #Constraints: 18656 69.68/70.01 c #Conflicts: 95000 | #Constraints: 19656 69.68/70.01 c #Conflicts: 96000 | #Constraints: 20656 69.68/70.01 c INPROCESSING 69.68/70.01 c GARBAGE COLLECT 69.68/70.01 c rational objective 1.27883 79.33/79.72 c #Conflicts: 97000 | #Constraints: 11331 79.33/79.72 c #Conflicts: 98000 | #Constraints: 12331 79.33/79.72 c #Conflicts: 99000 | #Constraints: 13331 79.33/79.72 c #Conflicts: 100000 | #Constraints: 14331 79.33/79.72 c #Conflicts: 101000 | #Constraints: 15331 79.33/79.72 c #Conflicts: 102000 | #Constraints: 16331 79.33/79.72 c INPROCESSING 79.33/79.72 c GARBAGE COLLECT 79.33/79.72 c rational objective 1.27883 86.11/86.51 c #Conflicts: 103000 | #Constraints: 8719 86.11/86.51 c #Conflicts: 104000 | #Constraints: 9719 86.11/86.51 c #Conflicts: 105000 | #Constraints: 10719 86.11/86.51 c #Conflicts: 106000 | #Constraints: 11719 86.11/86.51 c #Conflicts: 107000 | #Constraints: 12719 86.11/86.51 c #Conflicts: 108000 | #Constraints: 13719 86.11/86.51 c #Conflicts: 109000 | #Constraints: 14719 86.11/86.51 c #Conflicts: 110000 | #Constraints: 15719 86.11/86.51 c INPROCESSING 86.11/86.51 c GARBAGE COLLECT 86.11/86.51 c rational objective 1.27883 117.80/118.34 c #Conflicts: 111000 | #Constraints: 8865 117.80/118.34 c #Conflicts: 112000 | #Constraints: 9865 117.80/118.34 c #Conflicts: 113000 | #Constraints: 10865 117.80/118.34 c #Conflicts: 114000 | #Constraints: 11865 117.80/118.34 c #Conflicts: 115000 | #Constraints: 12865 117.80/118.34 c #Conflicts: 116000 | #Constraints: 13865 117.80/118.34 c #Conflicts: 117000 | #Constraints: 14865 117.80/118.34 c #Conflicts: 118000 | #Constraints: 15865 117.80/118.34 c #Conflicts: 119000 | #Constraints: 16865 117.80/118.34 c #Conflicts: 120000 | #Constraints: 17865 117.80/118.34 c #Conflicts: 121000 | #Constraints: 18865 117.80/118.34 c #Conflicts: 122000 | #Constraints: 19865 117.80/118.34 c #Conflicts: 123000 | #Constraints: 20865 117.80/118.34 c #Conflicts: 124000 | #Constraints: 21865 117.80/118.34 c #Conflicts: 125000 | #Constraints: 22865 117.80/118.34 c #Conflicts: 126000 | #Constraints: 23865 117.80/118.34 c #Conflicts: 127000 | #Constraints: 24865 117.80/118.34 c #Conflicts: 128000 | #Constraints: 25865 117.80/118.34 c #Conflicts: 129000 | #Constraints: 26865 117.80/118.34 c #Conflicts: 130000 | #Constraints: 27865 117.80/118.34 c #Conflicts: 131000 | #Constraints: 28865 117.80/118.34 c #Conflicts: 132000 | #Constraints: 29865 117.80/118.34 c #Conflicts: 133000 | #Constraints: 30865 117.80/118.34 c #Conflicts: 134000 | #Constraints: 31865 117.80/118.34 c #Conflicts: 135000 | #Constraints: 32865 117.80/118.34 c #Conflicts: 136000 | #Constraints: 33865 117.80/118.34 c #Conflicts: 137000 | #Constraints: 34865 117.80/118.34 c #Conflicts: 138000 | #Constraints: 35865 117.80/118.34 c INPROCESSING 117.80/118.34 c GARBAGE COLLECT 117.80/118.34 c rational objective 1.27883 134.13/134.79 c #Conflicts: 139000 | #Constraints: 18935 134.13/134.79 c #Conflicts: 140000 | #Constraints: 19935 134.13/134.79 c #Conflicts: 141000 | #Constraints: 20935 134.13/134.79 c #Conflicts: 142000 | #Constraints: 21935 134.13/134.79 c #Conflicts: 143000 | #Constraints: 22935 134.13/134.79 c #Conflicts: 144000 | #Constraints: 23935 134.13/134.79 c #Conflicts: 145000 | #Constraints: 24935 134.13/134.79 c #Conflicts: 146000 | #Constraints: 25935 134.13/134.79 c INPROCESSING 134.13/134.79 c GARBAGE COLLECT 134.13/134.79 c rational objective 1.38971 146.49/147.13 c #Conflicts: 147000 | #Constraints: 13773 146.49/147.13 c #Conflicts: 148000 | #Constraints: 14773 146.49/147.13 c #Conflicts: 149000 | #Constraints: 15774 146.49/147.13 c #Conflicts: 150000 | #Constraints: 16774 146.49/147.13 c #Conflicts: 151000 | #Constraints: 17774 146.49/147.13 c #Conflicts: 152000 | #Constraints: 18774 146.49/147.13 c #Conflicts: 153000 | #Constraints: 19774 146.49/147.13 c #Conflicts: 154000 | #Constraints: 20774 146.49/147.13 c #Conflicts: 155000 | #Constraints: 21774 146.49/147.13 c INPROCESSING 146.49/147.13 c GARBAGE COLLECT 146.49/147.13 c rational objective 1.38971 157.06/157.74 c #Conflicts: 156000 | #Constraints: 11889 157.06/157.74 c #Conflicts: 157000 | #Constraints: 12890 157.06/157.74 c #Conflicts: 158000 | #Constraints: 13890 157.06/157.74 c #Conflicts: 159000 | #Constraints: 14890 157.06/157.74 c #Conflicts: 160000 | #Constraints: 15890 157.06/157.74 c #Conflicts: 161000 | #Constraints: 16890 157.06/157.74 c #Conflicts: 162000 | #Constraints: 17890 157.06/157.74 c #Conflicts: 163000 | #Constraints: 18890 157.06/157.74 c INPROCESSING 157.06/157.74 c GARBAGE COLLECT 157.06/157.74 c rational objective 1.38971 167.31/168.01 c #Conflicts: 164000 | #Constraints: 10049 167.31/168.01 c #Conflicts: 165000 | #Constraints: 11049 167.31/168.01 c #Conflicts: 166000 | #Constraints: 12049 167.31/168.01 c #Conflicts: 167000 | #Constraints: 13049 167.31/168.01 c #Conflicts: 168000 | #Constraints: 14049 167.31/168.01 c #Conflicts: 169000 | #Constraints: 15050 167.31/168.01 c #Conflicts: 170000 | #Constraints: 16050 167.31/168.01 c #Conflicts: 171000 | #Constraints: 17050 167.31/168.01 c #Conflicts: 172000 | #Constraints: 18050 167.31/168.01 c INPROCESSING 167.31/168.01 c GARBAGE COLLECT 167.31/168.01 c rational objective 1.38971 177.67/178.49 c #Conflicts: 173000 | #Constraints: 9628 177.67/178.49 c #Conflicts: 174000 | #Constraints: 10628 177.67/178.49 c #Conflicts: 175000 | #Constraints: 11628 177.67/178.49 c #Conflicts: 176000 | #Constraints: 12628 177.67/178.49 c #Conflicts: 177000 | #Constraints: 13628 177.67/178.49 c #Conflicts: 178000 | #Constraints: 14628 177.67/178.49 c #Conflicts: 179000 | #Constraints: 15628 177.67/178.49 c #Conflicts: 180000 | #Constraints: 16628 177.67/178.49 c #Conflicts: 181000 | #Constraints: 17629 177.67/178.49 c #Conflicts: 182000 | #Constraints: 18629 177.67/178.49 c INPROCESSING 177.67/178.49 c GARBAGE COLLECT 177.67/178.49 c rational objective 1.38971 228.09/229.08 c #Conflicts: 183000 | #Constraints: 10319 228.09/229.08 c #Conflicts: 184000 | #Constraints: 11319 228.09/229.08 c #Conflicts: 185000 | #Constraints: 12319 228.09/229.08 c #Conflicts: 186000 | #Constraints: 13319 228.09/229.08 c #Conflicts: 187000 | #Constraints: 14319 228.09/229.08 c #Conflicts: 188000 | #Constraints: 15319 228.09/229.08 c #Conflicts: 189000 | #Constraints: 16319 228.09/229.08 c #Conflicts: 190000 | #Constraints: 17319 228.09/229.08 c #Conflicts: 191000 | #Constraints: 18319 228.09/229.08 c #Conflicts: 192000 | #Constraints: 19319 228.09/229.08 c #Conflicts: 193000 | #Constraints: 20319 228.09/229.08 c #Conflicts: 194000 | #Constraints: 21319 228.09/229.08 c #Conflicts: 195000 | #Constraints: 22319 228.09/229.08 c #Conflicts: 196000 | #Constraints: 23319 228.09/229.08 c #Conflicts: 197000 | #Constraints: 24319 228.09/229.08 c #Conflicts: 198000 | #Constraints: 25319 228.09/229.08 c #Conflicts: 199000 | #Constraints: 26319 228.09/229.08 c #Conflicts: 200000 | #Constraints: 27319 228.09/229.08 c #Conflicts: 201000 | #Constraints: 28319 228.09/229.08 c #Conflicts: 202000 | #Constraints: 29319 228.09/229.08 c #Conflicts: 203000 | #Constraints: 30319 228.09/229.08 c #Conflicts: 204000 | #Constraints: 31319 228.09/229.08 c #Conflicts: 205000 | #Constraints: 32319 228.09/229.08 c #Conflicts: 206000 | #Constraints: 33319 228.09/229.08 c #Conflicts: 207000 | #Constraints: 34319 228.09/229.08 c #Conflicts: 208000 | #Constraints: 35319 228.09/229.08 c #Conflicts: 209000 | #Constraints: 36319 228.09/229.08 c #Conflicts: 210000 | #Constraints: 37319 228.09/229.08 c #Conflicts: 211000 | #Constraints: 38319 228.09/229.08 c #Conflicts: 212000 | #Constraints: 39319 228.09/229.08 c #Conflicts: 213000 | #Constraints: 40319 228.09/229.08 c #Conflicts: 214000 | #Constraints: 41319 228.09/229.08 c #Conflicts: 215000 | #Constraints: 42319 228.09/229.08 c #Conflicts: 216000 | #Constraints: 43319 228.09/229.08 c #Conflicts: 217000 | #Constraints: 44319 228.09/229.08 c INPROCESSING 228.09/229.08 c GARBAGE COLLECT 228.09/229.08 c rational objective 1.38971 251.49/252.59 c #Conflicts: 218000 | #Constraints: 22916 251.49/252.59 c #Conflicts: 219000 | #Constraints: 23916 251.49/252.59 c #Conflicts: 220000 | #Constraints: 24916 251.49/252.59 c #Conflicts: 221000 | #Constraints: 25916 251.49/252.59 c #Conflicts: 222000 | #Constraints: 26916 251.49/252.59 c #Conflicts: 223000 | #Constraints: 27916 251.49/252.59 c #Conflicts: 224000 | #Constraints: 28916 251.49/252.59 c #Conflicts: 225000 | #Constraints: 29916 251.49/252.59 c #Conflicts: 226000 | #Constraints: 30916 251.49/252.59 c #Conflicts: 227000 | #Constraints: 31916 251.49/252.59 c #Conflicts: 228000 | #Constraints: 32916 251.49/252.59 c INPROCESSING 251.49/252.59 c GARBAGE COLLECT 251.49/252.59 c rational objective 1.38971 268.04/269.18 c #Conflicts: 229000 | #Constraints: 17462 268.04/269.18 c #Conflicts: 230000 | #Constraints: 18462 268.04/269.18 c #Conflicts: 231000 | #Constraints: 19462 268.04/269.18 c #Conflicts: 232000 | #Constraints: 20462 268.04/269.18 c #Conflicts: 233000 | #Constraints: 21462 268.04/269.18 c #Conflicts: 234000 | #Constraints: 22462 268.04/269.18 c #Conflicts: 235000 | #Constraints: 23463 268.04/269.18 c #Conflicts: 236000 | #Constraints: 24463 268.04/269.18 c #Conflicts: 237000 | #Constraints: 25463 268.04/269.18 c #Conflicts: 238000 | #Constraints: 26463 268.04/269.18 c INPROCESSING 268.04/269.18 c GARBAGE COLLECT 268.04/269.18 c rational objective 1.38971 283.78/284.93 c #Conflicts: 239000 | #Constraints: 13884 283.78/284.93 c #Conflicts: 240000 | #Constraints: 14884 283.78/284.93 c #Conflicts: 241000 | #Constraints: 15884 283.78/284.93 c #Conflicts: 242000 | #Constraints: 16884 283.78/284.93 c #Conflicts: 243000 | #Constraints: 17884 283.78/284.93 c #Conflicts: 244000 | #Constraints: 18884 283.78/284.93 c #Conflicts: 245000 | #Constraints: 19884 283.78/284.93 c #Conflicts: 246000 | #Constraints: 20884 283.78/284.93 c #Conflicts: 247000 | #Constraints: 21884 283.78/284.93 c #Conflicts: 248000 | #Constraints: 22884 283.78/284.93 c #Conflicts: 249000 | #Constraints: 23884 283.78/284.93 c INPROCESSING 283.78/284.93 c GARBAGE COLLECT 283.78/284.93 c rational objective 1.38971 298.63/299.86 c #Conflicts: 250000 | #Constraints: 12648 298.63/299.86 c #Conflicts: 251000 | #Constraints: 13649 298.63/299.86 c #Conflicts: 252000 | #Constraints: 14649 298.63/299.86 c #Conflicts: 253000 | #Constraints: 15649 298.63/299.86 c #Conflicts: 254000 | #Constraints: 16649 298.63/299.86 c #Conflicts: 255000 | #Constraints: 17649 298.63/299.86 c #Conflicts: 256000 | #Constraints: 18649 298.63/299.86 c #Conflicts: 257000 | #Constraints: 19649 298.63/299.86 c #Conflicts: 258000 | #Constraints: 20649 298.63/299.86 c #Conflicts: 259000 | #Constraints: 21649 298.63/299.86 c #Conflicts: 260000 | #Constraints: 22649 298.63/299.86 c INPROCESSING 298.63/299.86 c GARBAGE COLLECT 298.63/299.86 c rational objective 1.38971 315.17/316.43 c #Conflicts: 261000 | #Constraints: 11979 315.17/316.43 c #Conflicts: 262000 | #Constraints: 12979 315.17/316.43 c #Conflicts: 263000 | #Constraints: 13980 315.17/316.43 c #Conflicts: 264000 | #Constraints: 14980 315.17/316.43 c #Conflicts: 265000 | #Constraints: 15980 315.17/316.43 c #Conflicts: 266000 | #Constraints: 16980 315.17/316.43 c #Conflicts: 267000 | #Constraints: 17980 315.17/316.43 c #Conflicts: 268000 | #Constraints: 18980 315.17/316.43 c #Conflicts: 269000 | #Constraints: 19980 315.17/316.43 c #Conflicts: 270000 | #Constraints: 20980 315.17/316.43 c #Conflicts: 271000 | #Constraints: 21980 315.17/316.43 c #Conflicts: 272000 | #Constraints: 22980 315.17/316.43 c INPROCESSING 315.17/316.43 c GARBAGE COLLECT 315.17/316.43 c rational objective 1.38971 331.01/332.34 c #Conflicts: 273000 | #Constraints: 12495 331.01/332.34 c #Conflicts: 274000 | #Constraints: 13495 331.01/332.34 c #Conflicts: 275000 | #Constraints: 14495 331.01/332.34 c #Conflicts: 276000 | #Constraints: 15495 331.01/332.34 c #Conflicts: 277000 | #Constraints: 16495 331.01/332.34 c #Conflicts: 278000 | #Constraints: 17495 331.01/332.34 c #Conflicts: 279000 | #Constraints: 18495 331.01/332.34 c #Conflicts: 280000 | #Constraints: 19496 331.01/332.34 c #Conflicts: 281000 | #Constraints: 20496 331.01/332.34 c #Conflicts: 282000 | #Constraints: 21496 331.01/332.34 c #Conflicts: 283000 | #Constraints: 22496 331.01/332.34 c INPROCESSING 331.01/332.34 c GARBAGE COLLECT 331.01/332.34 c rational objective 1.38971 347.64/349.05 c #Conflicts: 284000 | #Constraints: 12001 347.64/349.05 c #Conflicts: 285000 | #Constraints: 13001 347.64/349.05 c #Conflicts: 286000 | #Constraints: 14001 347.64/349.05 c #Conflicts: 287000 | #Constraints: 15001 347.64/349.05 c #Conflicts: 288000 | #Constraints: 16001 347.64/349.05 c #Conflicts: 289000 | #Constraints: 17001 347.64/349.05 c #Conflicts: 290000 | #Constraints: 18001 347.64/349.05 c #Conflicts: 291000 | #Constraints: 19001 347.64/349.05 c #Conflicts: 292000 | #Constraints: 20001 347.64/349.05 c #Conflicts: 293000 | #Constraints: 21001 347.64/349.05 c #Conflicts: 294000 | #Constraints: 22001 347.64/349.05 c #Conflicts: 295000 | #Constraints: 23001 347.64/349.05 c INPROCESSING 347.64/349.05 c GARBAGE COLLECT 347.64/349.05 c rational objective 1.38971 363.58/365.01 c #Conflicts: 296000 | #Constraints: 12403 363.58/365.01 c #Conflicts: 297000 | #Constraints: 13403 363.58/365.01 c #Conflicts: 298000 | #Constraints: 14404 363.58/365.01 c #Conflicts: 299000 | #Constraints: 15404 363.58/365.01 c #Conflicts: 300000 | #Constraints: 16404 363.58/365.01 c #Conflicts: 301000 | #Constraints: 17404 363.58/365.01 c #Conflicts: 302000 | #Constraints: 18404 363.58/365.01 c #Conflicts: 303000 | #Constraints: 19404 363.58/365.01 c #Conflicts: 304000 | #Constraints: 20404 363.58/365.01 c #Conflicts: 305000 | #Constraints: 21404 363.58/365.01 c #Conflicts: 306000 | #Constraints: 22404 363.58/365.01 c #Conflicts: 307000 | #Constraints: 23404 363.58/365.01 c INPROCESSING 363.58/365.01 c GARBAGE COLLECT 363.58/365.01 c rational objective 1.3908 378.81/380.36 c #Conflicts: 308000 | #Constraints: 12657 378.81/380.36 c #Conflicts: 309000 | #Constraints: 13657 378.81/380.36 c #Conflicts: 310000 | #Constraints: 14657 378.81/380.36 c #Conflicts: 311000 | #Constraints: 15657 378.81/380.36 c #Conflicts: 312000 | #Constraints: 16657 378.81/380.36 c #Conflicts: 313000 | #Constraints: 17657 378.81/380.36 c #Conflicts: 314000 | #Constraints: 18657 378.81/380.36 c #Conflicts: 315000 | #Constraints: 19657 378.81/380.36 c #Conflicts: 316000 | #Constraints: 20657 378.81/380.36 c #Conflicts: 317000 | #Constraints: 21657 378.81/380.36 c #Conflicts: 318000 | #Constraints: 22657 378.81/380.36 c #Conflicts: 319000 | #Constraints: 23657 378.81/380.36 c INPROCESSING 378.81/380.36 c GARBAGE COLLECT 378.81/380.36 c rational objective 1.3908 394.56/396.18 c #Conflicts: 320000 | #Constraints: 12735 394.56/396.18 c #Conflicts: 321000 | #Constraints: 13735 394.56/396.18 c #Conflicts: 322000 | #Constraints: 14735 394.56/396.18 c #Conflicts: 323000 | #Constraints: 15735 394.56/396.18 c #Conflicts: 324000 | #Constraints: 16735 394.56/396.18 c #Conflicts: 325000 | #Constraints: 17735 394.56/396.18 c #Conflicts: 326000 | #Constraints: 18735 394.56/396.18 c #Conflicts: 327000 | #Constraints: 19735 394.56/396.18 c #Conflicts: 328000 | #Constraints: 20735 394.56/396.18 c #Conflicts: 329000 | #Constraints: 21735 394.56/396.18 c #Conflicts: 330000 | #Constraints: 22735 394.56/396.18 c #Conflicts: 331000 | #Constraints: 23735 394.56/396.18 c INPROCESSING 394.56/396.18 c GARBAGE COLLECT 394.56/396.18 c rational objective 1.3908 411.87/413.54 c #Conflicts: 332000 | #Constraints: 12625 411.87/413.54 c #Conflicts: 333000 | #Constraints: 13625 411.87/413.54 c #Conflicts: 334000 | #Constraints: 14625 411.87/413.54 c #Conflicts: 335000 | #Constraints: 15625 411.87/413.54 c #Conflicts: 336000 | #Constraints: 16625 411.87/413.54 c #Conflicts: 337000 | #Constraints: 17625 411.87/413.54 c #Conflicts: 338000 | #Constraints: 18625 411.87/413.54 c #Conflicts: 339000 | #Constraints: 19625 411.87/413.54 c #Conflicts: 340000 | #Constraints: 20625 411.87/413.54 c #Conflicts: 341000 | #Constraints: 21625 411.87/413.54 c #Conflicts: 342000 | #Constraints: 22625 411.87/413.54 c #Conflicts: 343000 | #Constraints: 23625 411.87/413.54 c #Conflicts: 344000 | #Constraints: 24625 411.87/413.54 c INPROCESSING 411.87/413.54 c GARBAGE COLLECT 411.87/413.54 c rational objective 1.3908 430.20/431.99 c #Conflicts: 345000 | #Constraints: 13317 430.20/431.99 c #Conflicts: 346000 | #Constraints: 14317 430.20/431.99 c #Conflicts: 347000 | #Constraints: 15317 430.20/431.99 c #Conflicts: 348000 | #Constraints: 16318 430.20/431.99 c #Conflicts: 349000 | #Constraints: 17318 430.20/431.99 c #Conflicts: 350000 | #Constraints: 18318 430.20/431.99 c #Conflicts: 351000 | #Constraints: 19318 430.20/431.99 c #Conflicts: 352000 | #Constraints: 20318 430.20/431.99 c #Conflicts: 353000 | #Constraints: 21318 430.20/431.99 c #Conflicts: 354000 | #Constraints: 22318 430.20/431.99 c #Conflicts: 355000 | #Constraints: 23318 430.20/431.99 c #Conflicts: 356000 | #Constraints: 24319 430.20/431.99 c INPROCESSING 430.20/431.99 c GARBAGE COLLECT 430.20/431.99 c rational objective 1.46697 447.63/449.44 c #Conflicts: 357000 | #Constraints: 12814 447.63/449.44 c #Conflicts: 358000 | #Constraints: 13814 447.63/449.44 c #Conflicts: 359000 | #Constraints: 14814 447.63/449.44 c #Conflicts: 360000 | #Constraints: 15814 447.63/449.44 c #Conflicts: 361000 | #Constraints: 16814 447.63/449.44 c #Conflicts: 362000 | #Constraints: 17814 447.63/449.44 c #Conflicts: 363000 | #Constraints: 18814 447.63/449.44 c #Conflicts: 364000 | #Constraints: 19814 447.63/449.44 c #Conflicts: 365000 | #Constraints: 20814 447.63/449.44 c #Conflicts: 366000 | #Constraints: 21814 447.63/449.44 c #Conflicts: 367000 | #Constraints: 22814 447.63/449.44 c #Conflicts: 368000 | #Constraints: 23814 447.63/449.44 c #Conflicts: 369000 | #Constraints: 24814 447.63/449.44 c INPROCESSING 447.63/449.44 c GARBAGE COLLECT 447.63/449.44 c rational objective 1.46697 464.57/466.48 c #Conflicts: 370000 | #Constraints: 13111 464.57/466.48 c #Conflicts: 371000 | #Constraints: 14111 464.57/466.48 c #Conflicts: 372000 | #Constraints: 15111 464.57/466.48 c #Conflicts: 373000 | #Constraints: 16111 464.57/466.48 c #Conflicts: 374000 | #Constraints: 17111 464.57/466.48 c #Conflicts: 375000 | #Constraints: 18111 464.57/466.48 c #Conflicts: 376000 | #Constraints: 19111 464.57/466.48 c #Conflicts: 377000 | #Constraints: 20111 464.57/466.48 c #Conflicts: 378000 | #Constraints: 21111 464.57/466.48 c #Conflicts: 379000 | #Constraints: 22111 464.57/466.48 c #Conflicts: 380000 | #Constraints: 23111 464.57/466.48 c #Conflicts: 381000 | #Constraints: 24111 464.57/466.48 c #Conflicts: 382000 | #Constraints: 25111 464.57/466.48 c INPROCESSING 464.57/466.48 c GARBAGE COLLECT 464.57/466.48 c rational objective 1.46697 483.49/485.48 c #Conflicts: 383000 | #Constraints: 13208 483.49/485.48 c #Conflicts: 384000 | #Constraints: 14208 483.49/485.48 c #Conflicts: 385000 | #Constraints: 15208 483.49/485.48 c #Conflicts: 386000 | #Constraints: 16208 483.49/485.48 c #Conflicts: 387000 | #Constraints: 17208 483.49/485.48 c #Conflicts: 388000 | #Constraints: 18208 483.49/485.48 c #Conflicts: 389000 | #Constraints: 19208 483.49/485.48 c #Conflicts: 390000 | #Constraints: 20208 483.49/485.48 c #Conflicts: 391000 | #Constraints: 21208 483.49/485.48 c #Conflicts: 392000 | #Constraints: 22208 483.49/485.48 c #Conflicts: 393000 | #Constraints: 23208 483.49/485.48 c #Conflicts: 394000 | #Constraints: 24208 483.49/485.48 c #Conflicts: 395000 | #Constraints: 25208 483.49/485.48 c #Conflicts: 396000 | #Constraints: 26208 483.49/485.48 c INPROCESSING 483.49/485.48 c GARBAGE COLLECT 483.49/485.48 c rational objective 1.46697 502.81/504.86 c #Conflicts: 397000 | #Constraints: 14110 502.81/504.86 c #Conflicts: 398000 | #Constraints: 15110 502.81/504.86 c #Conflicts: 399000 | #Constraints: 16110 502.81/504.86 c #Conflicts: 400000 | #Constraints: 17110 502.81/504.86 c #Conflicts: 401000 | #Constraints: 18110 502.81/504.86 c #Conflicts: 402000 | #Constraints: 19110 502.81/504.86 c #Conflicts: 403000 | #Constraints: 20110 502.81/504.86 c #Conflicts: 404000 | #Constraints: 21110 502.81/504.86 c #Conflicts: 405000 | #Constraints: 22110 502.81/504.86 c #Conflicts: 406000 | #Constraints: 23110 502.81/504.86 c #Conflicts: 407000 | #Constraints: 24110 502.81/504.86 c #Conflicts: 408000 | #Constraints: 25110 502.81/504.86 c #Conflicts: 409000 | #Constraints: 26110 502.81/504.86 c INPROCESSING 502.81/504.86 c GARBAGE COLLECT 502.81/504.86 c rational objective 1.46697 523.33/525.40 c #Conflicts: 410000 | #Constraints: 13811 523.33/525.40 c #Conflicts: 411000 | #Constraints: 14811 523.33/525.40 c #Conflicts: 412000 | #Constraints: 15811 523.33/525.40 c #Conflicts: 413000 | #Constraints: 16811 523.33/525.40 c #Conflicts: 414000 | #Constraints: 17811 523.33/525.40 c #Conflicts: 415000 | #Constraints: 18811 523.33/525.40 c #Conflicts: 416000 | #Constraints: 19811 523.33/525.40 c #Conflicts: 417000 | #Constraints: 20811 523.33/525.40 c #Conflicts: 418000 | #Constraints: 21811 523.33/525.40 c #Conflicts: 419000 | #Constraints: 22811 523.33/525.40 c #Conflicts: 420000 | #Constraints: 23811 523.33/525.40 c #Conflicts: 421000 | #Constraints: 24811 523.33/525.40 c #Conflicts: 422000 | #Constraints: 25811 523.33/525.40 c #Conflicts: 423000 | #Constraints: 26811 523.33/525.40 c INPROCESSING 523.33/525.40 c GARBAGE COLLECT 523.33/525.40 c rational objective 1.46697 541.66/543.83 c #Conflicts: 424000 | #Constraints: 14309 541.66/543.83 c #Conflicts: 425000 | #Constraints: 15309 541.66/543.83 c #Conflicts: 426000 | #Constraints: 16309 541.66/543.83 c #Conflicts: 427000 | #Constraints: 17309 541.66/543.83 c #Conflicts: 428000 | #Constraints: 18309 541.66/543.83 c #Conflicts: 429000 | #Constraints: 19309 541.66/543.83 c #Conflicts: 430000 | #Constraints: 20309 541.66/543.83 c #Conflicts: 431000 | #Constraints: 21309 541.66/543.83 c #Conflicts: 432000 | #Constraints: 22309 541.66/543.83 c #Conflicts: 433000 | #Constraints: 23309 541.66/543.83 c #Conflicts: 434000 | #Constraints: 24309 541.66/543.83 c #Conflicts: 435000 | #Constraints: 25309 541.66/543.83 c #Conflicts: 436000 | #Constraints: 26309 541.66/543.83 c #Conflicts: 437000 | #Constraints: 27309 541.66/543.83 c INPROCESSING 541.66/543.83 c GARBAGE COLLECT 541.66/543.83 c rational objective 1.46697 561.48/563.76 c #Conflicts: 438000 | #Constraints: 14610 561.48/563.76 c #Conflicts: 439000 | #Constraints: 15610 561.48/563.76 c #Conflicts: 440000 | #Constraints: 16610 561.48/563.76 c #Conflicts: 441000 | #Constraints: 17610 561.48/563.76 c #Conflicts: 442000 | #Constraints: 18610 561.48/563.76 c #Conflicts: 443000 | #Constraints: 19610 561.48/563.76 c #Conflicts: 444000 | #Constraints: 20610 561.48/563.76 c #Conflicts: 445000 | #Constraints: 21610 561.48/563.76 c #Conflicts: 446000 | #Constraints: 22610 561.48/563.76 c #Conflicts: 447000 | #Constraints: 23610 561.48/563.76 c #Conflicts: 448000 | #Constraints: 24610 561.48/563.76 c #Conflicts: 449000 | #Constraints: 25610 561.48/563.76 c #Conflicts: 450000 | #Constraints: 26610 561.48/563.76 c #Conflicts: 451000 | #Constraints: 27610 561.48/563.76 c INPROCESSING 561.48/563.76 c GARBAGE COLLECT 561.48/563.76 c rational objective 1.46697 583.20/585.51 c #Conflicts: 452000 | #Constraints: 14711 583.20/585.51 c #Conflicts: 453000 | #Constraints: 15711 583.20/585.51 c #Conflicts: 454000 | #Constraints: 16711 583.20/585.51 c #Conflicts: 455000 | #Constraints: 17711 583.20/585.51 c #Conflicts: 456000 | #Constraints: 18711 583.20/585.51 c #Conflicts: 457000 | #Constraints: 19711 583.20/585.51 c #Conflicts: 458000 | #Constraints: 20711 583.20/585.51 c #Conflicts: 459000 | #Constraints: 21711 583.20/585.51 c #Conflicts: 460000 | #Constraints: 22711 583.20/585.51 c #Conflicts: 461000 | #Constraints: 23711 583.20/585.51 c #Conflicts: 462000 | #Constraints: 24711 583.20/585.51 c #Conflicts: 463000 | #Constraints: 25711 583.20/585.51 c #Conflicts: 464000 | #Constraints: 26711 583.20/585.51 c #Conflicts: 465000 | #Constraints: 27711 583.20/585.51 c INPROCESSING 583.20/585.51 c GARBAGE COLLECT 583.20/585.51 c rational objective 1.47696 606.01/608.46 c #Conflicts: 466000 | #Constraints: 14609 606.01/608.46 c #Conflicts: 467000 | #Constraints: 15609 606.01/608.46 c #Conflicts: 468000 | #Constraints: 16609 606.01/608.46 c #Conflicts: 469000 | #Constraints: 17609 606.01/608.46 c #Conflicts: 470000 | #Constraints: 18610 606.01/608.46 c #Conflicts: 471000 | #Constraints: 19610 606.01/608.46 c #Conflicts: 472000 | #Constraints: 20610 606.01/608.46 c #Conflicts: 473000 | #Constraints: 21610 606.01/608.46 c #Conflicts: 474000 | #Constraints: 22610 606.01/608.46 c #Conflicts: 475000 | #Constraints: 23610 606.01/608.46 c #Conflicts: 476000 | #Constraints: 24610 606.01/608.46 c #Conflicts: 477000 | #Constraints: 25610 606.01/608.46 c #Conflicts: 478000 | #Constraints: 26610 606.01/608.46 c #Conflicts: 479000 | #Constraints: 27610 606.01/608.46 c #Conflicts: 480000 | #Constraints: 28610 606.01/608.46 c INPROCESSING 606.01/608.46 c GARBAGE COLLECT 606.01/608.46 c rational objective 1.47696 627.32/629.85 c #Conflicts: 481000 | #Constraints: 15312 627.32/629.85 c #Conflicts: 482000 | #Constraints: 16312 627.32/629.85 c #Conflicts: 483000 | #Constraints: 17312 627.32/629.85 c #Conflicts: 484000 | #Constraints: 18312 627.32/629.85 c #Conflicts: 485000 | #Constraints: 19312 627.32/629.85 c #Conflicts: 486000 | #Constraints: 20312 627.32/629.85 c #Conflicts: 487000 | #Constraints: 21312 627.32/629.85 c #Conflicts: 488000 | #Constraints: 22312 627.32/629.85 c #Conflicts: 489000 | #Constraints: 23312 627.32/629.85 c #Conflicts: 490000 | #Constraints: 24312 627.32/629.85 c #Conflicts: 491000 | #Constraints: 25312 627.32/629.85 c #Conflicts: 492000 | #Constraints: 26312 627.32/629.85 c #Conflicts: 493000 | #Constraints: 27312 627.32/629.85 c #Conflicts: 494000 | #Constraints: 28312 627.32/629.85 c INPROCESSING 627.32/629.85 c GARBAGE COLLECT 627.32/629.85 c rational objective 1.47696 647.84/650.44 c #Conflicts: 495000 | #Constraints: 14812 647.84/650.44 c #Conflicts: 496000 | #Constraints: 15812 647.84/650.44 c #Conflicts: 497000 | #Constraints: 16812 647.84/650.44 c #Conflicts: 498000 | #Constraints: 17812 647.84/650.44 c #Conflicts: 499000 | #Constraints: 18812 647.84/650.44 c #Conflicts: 500000 | #Constraints: 19812 647.84/650.44 c #Conflicts: 501000 | #Constraints: 20812 647.84/650.44 c #Conflicts: 502000 | #Constraints: 21812 647.84/650.44 c #Conflicts: 503000 | #Constraints: 22812 647.84/650.44 c #Conflicts: 504000 | #Constraints: 23812 647.84/650.44 c #Conflicts: 505000 | #Constraints: 24812 647.84/650.44 c #Conflicts: 506000 | #Constraints: 25812 647.84/650.44 c #Conflicts: 507000 | #Constraints: 26812 647.84/650.44 c #Conflicts: 508000 | #Constraints: 27812 647.84/650.44 c #Conflicts: 509000 | #Constraints: 28812 647.84/650.44 c INPROCESSING 647.84/650.44 c GARBAGE COLLECT 647.84/650.44 c rational objective 1.47696 672.66/675.34 c #Conflicts: 510000 | #Constraints: 15112 672.66/675.34 c #Conflicts: 511000 | #Constraints: 16112 672.66/675.34 c #Conflicts: 512000 | #Constraints: 17112 672.66/675.34 c #Conflicts: 513000 | #Constraints: 18112 672.66/675.34 c #Conflicts: 514000 | #Constraints: 19112 672.66/675.34 c #Conflicts: 515000 | #Constraints: 20112 672.66/675.34 c #Conflicts: 516000 | #Constraints: 21113 672.66/675.34 c #Conflicts: 517000 | #Constraints: 22113 672.66/675.34 c #Conflicts: 518000 | #Constraints: 23113 672.66/675.34 c #Conflicts: 519000 | #Constraints: 24113 672.66/675.34 c #Conflicts: 520000 | #Constraints: 25113 672.66/675.34 c #Conflicts: 521000 | #Constraints: 26113 672.66/675.34 c #Conflicts: 522000 | #Constraints: 27113 672.66/675.34 c #Conflicts: 523000 | #Constraints: 28113 672.66/675.34 c #Conflicts: 524000 | #Constraints: 29113 672.66/675.34 c INPROCESSING 672.66/675.34 c GARBAGE COLLECT 672.66/675.34 c rational objective 1.47696 697.17/699.94 c #Conflicts: 525000 | #Constraints: 15212 697.17/699.94 c #Conflicts: 526000 | #Constraints: 16212 697.17/699.94 c #Conflicts: 527000 | #Constraints: 17212 697.17/699.94 c #Conflicts: 528000 | #Constraints: 18212 697.17/699.94 c #Conflicts: 529000 | #Constraints: 19212 697.17/699.94 c #Conflicts: 530000 | #Constraints: 20212 697.17/699.94 c #Conflicts: 531000 | #Constraints: 21212 697.17/699.94 c #Conflicts: 532000 | #Constraints: 22212 697.17/699.94 c #Conflicts: 533000 | #Constraints: 23212 697.17/699.94 c #Conflicts: 534000 | #Constraints: 24212 697.17/699.94 c #Conflicts: 535000 | #Constraints: 25212 697.17/699.94 c #Conflicts: 536000 | #Constraints: 26212 697.17/699.94 c #Conflicts: 537000 | #Constraints: 27212 697.17/699.94 c #Conflicts: 538000 | #Constraints: 28212 697.17/699.94 c #Conflicts: 539000 | #Constraints: 29212 697.17/699.94 c #Conflicts: 540000 | #Constraints: 30212 697.17/699.94 c INPROCESSING 697.17/699.94 c GARBAGE COLLECT 697.17/699.94 c rational objective 1.47696 724.47/727.33 c #Conflicts: 541000 | #Constraints: 16110 724.47/727.33 c #Conflicts: 542000 | #Constraints: 17110 724.47/727.33 c #Conflicts: 543000 | #Constraints: 18110 724.47/727.33 c #Conflicts: 544000 | #Constraints: 19110 724.47/727.33 c #Conflicts: 545000 | #Constraints: 20110 724.47/727.33 c #Conflicts: 546000 | #Constraints: 21110 724.47/727.33 c #Conflicts: 547000 | #Constraints: 22110 724.47/727.33 c #Conflicts: 548000 | #Constraints: 23110 724.47/727.33 c #Conflicts: 549000 | #Constraints: 24110 724.47/727.33 c #Conflicts: 550000 | #Constraints: 25110 724.47/727.33 c #Conflicts: 551000 | #Constraints: 26110 724.47/727.33 c #Conflicts: 552000 | #Constraints: 27110 724.47/727.33 c #Conflicts: 553000 | #Constraints: 28110 724.47/727.33 c #Conflicts: 554000 | #Constraints: 29110 724.47/727.33 c #Conflicts: 555000 | #Constraints: 30110 724.47/727.33 c INPROCESSING 724.47/727.33 c GARBAGE COLLECT 724.47/727.33 c rational objective 1.47696 751.47/754.49 c #Conflicts: 556000 | #Constraints: 15812 751.47/754.49 c #Conflicts: 557000 | #Constraints: 16812 751.47/754.49 c #Conflicts: 558000 | #Constraints: 17812 751.47/754.49 c #Conflicts: 559000 | #Constraints: 18812 751.47/754.49 c #Conflicts: 560000 | #Constraints: 19812 751.47/754.49 c #Conflicts: 561000 | #Constraints: 20812 751.47/754.49 c #Conflicts: 562000 | #Constraints: 21812 751.47/754.49 c #Conflicts: 563000 | #Constraints: 22812 751.47/754.49 c #Conflicts: 564000 | #Constraints: 23812 751.47/754.49 c #Conflicts: 565000 | #Constraints: 24812 751.47/754.49 c #Conflicts: 566000 | #Constraints: 25812 751.47/754.49 c #Conflicts: 567000 | #Constraints: 26813 751.47/754.49 c #Conflicts: 568000 | #Constraints: 27813 751.47/754.49 c #Conflicts: 569000 | #Constraints: 28813 751.47/754.49 c #Conflicts: 570000 | #Constraints: 29813 751.47/754.49 c #Conflicts: 571000 | #Constraints: 30813 751.47/754.49 c INPROCESSING 751.47/754.49 c GARBAGE COLLECT 751.47/754.49 c rational objective 1.47696 778.09/781.18 c #Conflicts: 572000 | #Constraints: 16313 778.09/781.18 c #Conflicts: 573000 | #Constraints: 17313 778.09/781.18 c #Conflicts: 574000 | #Constraints: 18313 778.09/781.18 c #Conflicts: 575000 | #Constraints: 19313 778.09/781.18 c #Conflicts: 576000 | #Constraints: 20313 778.09/781.18 c #Conflicts: 577000 | #Constraints: 21313 778.09/781.18 c #Conflicts: 578000 | #Constraints: 22313 778.09/781.18 c #Conflicts: 579000 | #Constraints: 23313 778.09/781.18 c #Conflicts: 580000 | #Constraints: 24313 778.09/781.18 c #Conflicts: 581000 | #Constraints: 25313 778.09/781.18 c #Conflicts: 582000 | #Constraints: 26314 778.09/781.18 c #Conflicts: 583000 | #Constraints: 27314 778.09/781.18 c #Conflicts: 584000 | #Constraints: 28314 778.09/781.18 c #Conflicts: 585000 | #Constraints: 29314 778.09/781.18 c #Conflicts: 586000 | #Constraints: 30314 778.09/781.18 c #Conflicts: 587000 | #Constraints: 31314 778.09/781.18 c INPROCESSING 778.09/781.18 c GARBAGE COLLECT 778.09/781.18 c rational objective 1.47696 804.18/807.31 c #Conflicts: 588000 | #Constraints: 16610 804.18/807.31 c #Conflicts: 589000 | #Constraints: 17611 804.18/807.31 c #Conflicts: 590000 | #Constraints: 18611 804.18/807.31 c #Conflicts: 591000 | #Constraints: 19611 804.18/807.31 c #Conflicts: 592000 | #Constraints: 20611 804.18/807.31 c #Conflicts: 593000 | #Constraints: 21611 804.18/807.31 c #Conflicts: 594000 | #Constraints: 22611 804.18/807.31 c #Conflicts: 595000 | #Constraints: 23611 804.18/807.31 c #Conflicts: 596000 | #Constraints: 24611 804.18/807.31 c #Conflicts: 597000 | #Constraints: 25611 804.18/807.31 c #Conflicts: 598000 | #Constraints: 26611 804.18/807.31 c #Conflicts: 599000 | #Constraints: 27611 804.18/807.31 c #Conflicts: 600000 | #Constraints: 28611 804.18/807.31 c #Conflicts: 601000 | #Constraints: 29611 804.18/807.31 c #Conflicts: 602000 | #Constraints: 30611 804.18/807.31 c #Conflicts: 603000 | #Constraints: 31611 804.18/807.31 c INPROCESSING 804.18/807.31 c GARBAGE COLLECT 804.18/807.31 c rational objective 1.47696 832.79/836.05 c #Conflicts: 604000 | #Constraints: 16712 832.79/836.05 c #Conflicts: 605000 | #Constraints: 17713 832.79/836.05 c #Conflicts: 606000 | #Constraints: 18713 832.79/836.05 c #Conflicts: 607000 | #Constraints: 19713 832.79/836.05 c #Conflicts: 608000 | #Constraints: 20713 832.79/836.05 c #Conflicts: 609000 | #Constraints: 21713 832.79/836.05 c #Conflicts: 610000 | #Constraints: 22713 832.79/836.05 c #Conflicts: 611000 | #Constraints: 23713 832.79/836.05 c #Conflicts: 612000 | #Constraints: 24713 832.79/836.05 c #Conflicts: 613000 | #Constraints: 25713 832.79/836.05 c #Conflicts: 614000 | #Constraints: 26713 832.79/836.05 c #Conflicts: 615000 | #Constraints: 27713 832.79/836.05 c #Conflicts: 616000 | #Constraints: 28713 832.79/836.05 c #Conflicts: 617000 | #Constraints: 29713 832.79/836.05 c #Conflicts: 618000 | #Constraints: 30713 832.79/836.05 c #Conflicts: 619000 | #Constraints: 31713 832.79/836.05 c INPROCESSING 832.79/836.05 c GARBAGE COLLECT 832.79/836.05 c rational objective 1.47696 861.68/865.03 c #Conflicts: 620000 | #Constraints: 16611 861.68/865.03 c #Conflicts: 621000 | #Constraints: 17611 861.68/865.03 c #Conflicts: 622000 | #Constraints: 18611 861.68/865.03 c #Conflicts: 623000 | #Constraints: 19611 861.68/865.03 c #Conflicts: 624000 | #Constraints: 20611 861.68/865.03 c #Conflicts: 625000 | #Constraints: 21611 861.68/865.03 c #Conflicts: 626000 | #Constraints: 22611 861.68/865.03 c #Conflicts: 627000 | #Constraints: 23611 861.68/865.03 c #Conflicts: 628000 | #Constraints: 24611 861.68/865.03 c #Conflicts: 629000 | #Constraints: 25611 861.68/865.03 c #Conflicts: 630000 | #Constraints: 26611 861.68/865.03 c #Conflicts: 631000 | #Constraints: 27611 861.68/865.03 c #Conflicts: 632000 | #Constraints: 28611 861.68/865.03 c #Conflicts: 633000 | #Constraints: 29611 861.68/865.03 c #Conflicts: 634000 | #Constraints: 30611 861.68/865.03 c #Conflicts: 635000 | #Constraints: 31611 861.68/865.03 c #Conflicts: 636000 | #Constraints: 32611 861.68/865.03 c INPROCESSING 861.68/865.03 c GARBAGE COLLECT 861.68/865.03 c rational objective 1.47696 894.67/898.16 c #Conflicts: 637000 | #Constraints: 17308 894.67/898.16 c #Conflicts: 638000 | #Constraints: 18308 894.67/898.16 c #Conflicts: 639000 | #Constraints: 19308 894.67/898.16 c #Conflicts: 640000 | #Constraints: 20310 894.67/898.16 c #Conflicts: 641000 | #Constraints: 21310 894.67/898.16 c #Conflicts: 642000 | #Constraints: 22310 894.67/898.16 c #Conflicts: 643000 | #Constraints: 23310 894.67/898.16 c #Conflicts: 644000 | #Constraints: 24310 894.67/898.16 c #Conflicts: 645000 | #Constraints: 25310 894.67/898.16 c #Conflicts: 646000 | #Constraints: 26310 894.67/898.16 c #Conflicts: 647000 | #Constraints: 27310 894.67/898.16 c #Conflicts: 648000 | #Constraints: 28310 894.67/898.16 c #Conflicts: 649000 | #Constraints: 29310 894.67/898.16 c #Conflicts: 650000 | #Constraints: 30310 894.67/898.16 c #Conflicts: 651000 | #Constraints: 31310 894.67/898.16 c #Conflicts: 652000 | #Constraints: 32310 894.67/898.16 c INPROCESSING 894.67/898.16 c GARBAGE COLLECT 894.67/898.16 c rational objective 1.47696 929.04/932.62 c #Conflicts: 653000 | #Constraints: 16813 929.04/932.62 c #Conflicts: 654000 | #Constraints: 17813 929.04/932.62 c #Conflicts: 655000 | #Constraints: 18813 929.04/932.62 c #Conflicts: 656000 | #Constraints: 19813 929.04/932.62 c #Conflicts: 657000 | #Constraints: 20813 929.04/932.62 c #Conflicts: 658000 | #Constraints: 21813 929.04/932.62 c #Conflicts: 659000 | #Constraints: 22813 929.04/932.62 c #Conflicts: 660000 | #Constraints: 23813 929.04/932.62 c #Conflicts: 661000 | #Constraints: 24813 929.04/932.62 c #Conflicts: 662000 | #Constraints: 25813 929.04/932.62 c #Conflicts: 663000 | #Constraints: 26813 929.04/932.62 c #Conflicts: 664000 | #Constraints: 27813 929.04/932.62 c #Conflicts: 665000 | #Constraints: 28813 929.04/932.62 c #Conflicts: 666000 | #Constraints: 29813 929.04/932.62 c #Conflicts: 667000 | #Constraints: 30813 929.04/932.62 c #Conflicts: 668000 | #Constraints: 31813 929.04/932.62 c #Conflicts: 669000 | #Constraints: 32813 929.04/932.62 c INPROCESSING 929.04/932.62 c GARBAGE COLLECT 929.04/932.62 c rational objective 1.47696 962.32/966.02 c #Conflicts: 670000 | #Constraints: 17109 962.32/966.02 c #Conflicts: 671000 | #Constraints: 18109 962.32/966.02 c #Conflicts: 672000 | #Constraints: 19109 962.32/966.02 c #Conflicts: 673000 | #Constraints: 20109 962.32/966.02 c #Conflicts: 674000 | #Constraints: 21109 962.32/966.02 c #Conflicts: 675000 | #Constraints: 22109 962.32/966.02 c #Conflicts: 676000 | #Constraints: 23109 962.32/966.02 c #Conflicts: 677000 | #Constraints: 24109 962.32/966.02 c #Conflicts: 678000 | #Constraints: 25109 962.32/966.02 c #Conflicts: 679000 | #Constraints: 26109 962.32/966.02 c #Conflicts: 680000 | #Constraints: 27109 962.32/966.02 c #Conflicts: 681000 | #Constraints: 28109 962.32/966.02 c #Conflicts: 682000 | #Constraints: 29109 962.32/966.02 c #Conflicts: 683000 | #Constraints: 30109 962.32/966.02 c #Conflicts: 684000 | #Constraints: 31109 962.32/966.02 c #Conflicts: 685000 | #Constraints: 32109 962.32/966.02 c #Conflicts: 686000 | #Constraints: 33109 962.32/966.02 c INPROCESSING 962.32/966.02 c GARBAGE COLLECT 962.32/966.02 c rational objective 1.47696 995.49/999.31 c #Conflicts: 687000 | #Constraints: 17208 995.49/999.31 c #Conflicts: 688000 | #Constraints: 18208 995.49/999.31 c #Conflicts: 689000 | #Constraints: 19208 995.49/999.31 c #Conflicts: 690000 | #Constraints: 20208 995.49/999.31 c #Conflicts: 691000 | #Constraints: 21208 995.49/999.31 c #Conflicts: 692000 | #Constraints: 22208 995.49/999.31 c #Conflicts: 693000 | #Constraints: 23208 995.49/999.31 c #Conflicts: 694000 | #Constraints: 24208 995.49/999.31 c #Conflicts: 695000 | #Constraints: 25208 995.49/999.31 c #Conflicts: 696000 | #Constraints: 26208 995.49/999.31 c #Conflicts: 697000 | #Constraints: 27208 995.49/999.31 c #Conflicts: 698000 | #Constraints: 28208 995.49/999.31 c #Conflicts: 699000 | #Constraints: 29208 995.49/999.31 c #Conflicts: 700000 | #Constraints: 30208 995.49/999.31 c #Conflicts: 701000 | #Constraints: 31208 995.49/999.31 c #Conflicts: 702000 | #Constraints: 32208 995.49/999.31 c #Conflicts: 703000 | #Constraints: 33208 995.49/999.31 c #Conflicts: 704000 | #Constraints: 34208 995.49/999.31 c INPROCESSING 995.49/999.31 c GARBAGE COLLECT 995.49/999.31 c rational objective 1.47696 1035.85/1039.80 c #Conflicts: 705000 | #Constraints: 18109 1035.85/1039.80 c #Conflicts: 706000 | #Constraints: 19109 1035.85/1039.80 c #Conflicts: 707000 | #Constraints: 20109 1035.85/1039.80 c #Conflicts: 708000 | #Constraints: 21109 1035.85/1039.80 c #Conflicts: 709000 | #Constraints: 22109 1035.85/1039.80 c #Conflicts: 710000 | #Constraints: 23109 1035.85/1039.80 c #Conflicts: 711000 | #Constraints: 24109 1035.85/1039.80 c #Conflicts: 712000 | #Constraints: 25109 1035.85/1039.80 c #Conflicts: 713000 | #Constraints: 26109 1035.85/1039.80 c #Conflicts: 714000 | #Constraints: 27109 1035.85/1039.80 c #Conflicts: 715000 | #Constraints: 28109 1035.85/1039.80 c #Conflicts: 716000 | #Constraints: 29109 1035.85/1039.80 c #Conflicts: 717000 | #Constraints: 30109 1035.85/1039.80 c #Conflicts: 718000 | #Constraints: 31109 1035.85/1039.80 c #Conflicts: 719000 | #Constraints: 32109 1035.85/1039.80 c #Conflicts: 720000 | #Constraints: 33109 1035.85/1039.80 c #Conflicts: 721000 | #Constraints: 34109 1035.85/1039.80 c INPROCESSING 1035.85/1039.80 c GARBAGE COLLECT 1035.85/1039.80 c rational objective 1.47696 1075.41/1079.51 c #Conflicts: 722000 | #Constraints: 17810 1075.41/1079.51 c #Conflicts: 723000 | #Constraints: 18810 1075.41/1079.51 c #Conflicts: 724000 | #Constraints: 19810 1075.41/1079.51 c #Conflicts: 725000 | #Constraints: 20811 1075.41/1079.51 c #Conflicts: 726000 | #Constraints: 21811 1075.41/1079.51 c #Conflicts: 727000 | #Constraints: 22811 1075.41/1079.51 c #Conflicts: 728000 | #Constraints: 23811 1075.41/1079.51 c #Conflicts: 729000 | #Constraints: 24811 1075.41/1079.51 c #Conflicts: 730000 | #Constraints: 25811 1075.41/1079.51 c #Conflicts: 731000 | #Constraints: 26811 1075.41/1079.51 c #Conflicts: 732000 | #Constraints: 27811 1075.41/1079.51 c #Conflicts: 733000 | #Constraints: 28811 1075.41/1079.51 c #Conflicts: 734000 | #Constraints: 29811 1075.41/1079.51 c #Conflicts: 735000 | #Constraints: 30811 1075.41/1079.51 c #Conflicts: 736000 | #Constraints: 31811 1075.41/1079.51 c #Conflicts: 737000 | #Constraints: 32811 1075.41/1079.51 c #Conflicts: 738000 | #Constraints: 33811 1075.41/1079.51 c #Conflicts: 739000 | #Constraints: 34811 1075.41/1079.51 c INPROCESSING 1075.41/1079.51 c GARBAGE COLLECT 1075.41/1079.51 c rational objective 1.47696 1113.77/1118.06 c #Conflicts: 740000 | #Constraints: 18312 1113.77/1118.06 c #Conflicts: 741000 | #Constraints: 19313 1113.77/1118.06 c #Conflicts: 742000 | #Constraints: 20313 1113.77/1118.06 c #Conflicts: 743000 | #Constraints: 21313 1113.77/1118.06 c #Conflicts: 744000 | #Constraints: 22313 1113.77/1118.06 c #Conflicts: 745000 | #Constraints: 23313 1113.77/1118.06 c #Conflicts: 746000 | #Constraints: 24313 1113.77/1118.06 c #Conflicts: 747000 | #Constraints: 25313 1113.77/1118.06 c #Conflicts: 748000 | #Constraints: 26313 1113.77/1118.06 c #Conflicts: 749000 | #Constraints: 27313 1113.77/1118.06 c #Conflicts: 750000 | #Constraints: 28313 1113.77/1118.06 c #Conflicts: 751000 | #Constraints: 29313 1113.77/1118.06 c #Conflicts: 752000 | #Constraints: 30313 1113.77/1118.06 c #Conflicts: 753000 | #Constraints: 31313 1113.77/1118.06 c #Conflicts: 754000 | #Constraints: 32313 1113.77/1118.06 c #Conflicts: 755000 | #Constraints: 33313 1113.77/1118.06 c #Conflicts: 756000 | #Constraints: 34313 1113.77/1118.06 c #Conflicts: 757000 | #Constraints: 35314 1113.77/1118.06 c INPROCESSING 1113.77/1118.06 c GARBAGE COLLECT 1113.77/1118.06 c rational objective 1.47696 1151.12/1155.55 c #Conflicts: 758000 | #Constraints: 18612 1151.12/1155.55 c #Conflicts: 759000 | #Constraints: 19612 1151.12/1155.55 c #Conflicts: 760000 | #Constraints: 20612 1151.12/1155.55 c #Conflicts: 761000 | #Constraints: 21612 1151.12/1155.55 c #Conflicts: 762000 | #Constraints: 22612 1151.12/1155.55 c #Conflicts: 763000 | #Constraints: 23612 1151.12/1155.55 c #Conflicts: 764000 | #Constraints: 24612 1151.12/1155.55 c #Conflicts: 765000 | #Constraints: 25612 1151.12/1155.55 c #Conflicts: 766000 | #Constraints: 26612 1151.12/1155.55 c #Conflicts: 767000 | #Constraints: 27612 1151.12/1155.55 c #Conflicts: 768000 | #Constraints: 28612 1151.12/1155.55 c #Conflicts: 769000 | #Constraints: 29612 1151.12/1155.55 c #Conflicts: 770000 | #Constraints: 30612 1151.12/1155.55 c #Conflicts: 771000 | #Constraints: 31612 1151.12/1155.55 c #Conflicts: 772000 | #Constraints: 32612 1151.12/1155.55 c #Conflicts: 773000 | #Constraints: 33612 1151.12/1155.55 c #Conflicts: 774000 | #Constraints: 34612 1151.12/1155.55 c #Conflicts: 775000 | #Constraints: 35612 1151.12/1155.55 c INPROCESSING 1151.12/1155.55 c GARBAGE COLLECT 1151.12/1155.55 c rational objective 1.47696 1186.50/1191.02 c #Conflicts: 776000 | #Constraints: 18709 1186.50/1191.02 c #Conflicts: 777000 | #Constraints: 19709 1186.50/1191.02 c #Conflicts: 778000 | #Constraints: 20709 1186.50/1191.02 c #Conflicts: 779000 | #Constraints: 21709 1186.50/1191.02 c #Conflicts: 780000 | #Constraints: 22709 1186.50/1191.02 c #Conflicts: 781000 | #Constraints: 23709 1186.50/1191.02 c #Conflicts: 782000 | #Constraints: 24709 1186.50/1191.02 c #Conflicts: 783000 | #Constraints: 25710 1186.50/1191.02 c #Conflicts: 784000 | #Constraints: 26710 1186.50/1191.02 c #Conflicts: 785000 | #Constraints: 27710 1186.50/1191.02 c #Conflicts: 786000 | #Constraints: 28710 1186.50/1191.02 c #Conflicts: 787000 | #Constraints: 29710 1186.50/1191.02 c #Conflicts: 788000 | #Constraints: 30710 1186.50/1191.02 c #Conflicts: 789000 | #Constraints: 31710 1186.50/1191.02 c #Conflicts: 790000 | #Constraints: 32710 1186.50/1191.02 c #Conflicts: 791000 | #Constraints: 33710 1186.50/1191.02 c #Conflicts: 792000 | #Constraints: 34710 1186.50/1191.02 c #Conflicts: 793000 | #Constraints: 35710 1186.50/1191.02 c INPROCESSING 1186.50/1191.02 c GARBAGE COLLECT 1186.50/1191.02 c rational objective 1.47696 1224.85/1229.59 c #Conflicts: 794000 | #Constraints: 18608 1224.85/1229.59 c #Conflicts: 795000 | #Constraints: 19608 1224.85/1229.59 c #Conflicts: 796000 | #Constraints: 20608 1224.85/1229.59 c #Conflicts: 797000 | #Constraints: 21608 1224.85/1229.59 c #Conflicts: 798000 | #Constraints: 22608 1224.85/1229.59 c #Conflicts: 799000 | #Constraints: 23608 1224.85/1229.59 c #Conflicts: 800000 | #Constraints: 24608 1224.85/1229.59 c #Conflicts: 801000 | #Constraints: 25608 1224.85/1229.59 c #Conflicts: 802000 | #Constraints: 26608 1224.85/1229.59 c #Conflicts: 803000 | #Constraints: 27608 1224.85/1229.59 c #Conflicts: 804000 | #Constraints: 28608 1224.85/1229.59 c #Conflicts: 805000 | #Constraints: 29609 1224.85/1229.59 c #Conflicts: 806000 | #Constraints: 30609 1224.85/1229.59 c #Conflicts: 807000 | #Constraints: 31609 1224.85/1229.59 c #Conflicts: 808000 | #Constraints: 32609 1224.85/1229.59 c #Conflicts: 809000 | #Constraints: 33609 1224.85/1229.59 c #Conflicts: 810000 | #Constraints: 34609 1224.85/1229.59 c #Conflicts: 811000 | #Constraints: 35609 1224.85/1229.59 c #Conflicts: 812000 | #Constraints: 36609 1224.85/1229.59 c INPROCESSING 1224.85/1229.59 c GARBAGE COLLECT 1224.85/1229.59 c rational objective 1.47696 1262.02/1266.81 c #Conflicts: 813000 | #Constraints: 19308 1262.02/1266.81 c #Conflicts: 814000 | #Constraints: 20308 1262.02/1266.81 c #Conflicts: 815000 | #Constraints: 21308 1262.02/1266.81 c #Conflicts: 816000 | #Constraints: 22308 1262.02/1266.81 c #Conflicts: 817000 | #Constraints: 23308 1262.02/1266.81 c #Conflicts: 818000 | #Constraints: 24308 1262.02/1266.81 c #Conflicts: 819000 | #Constraints: 25308 1262.02/1266.81 c #Conflicts: 820000 | #Constraints: 26308 1262.02/1266.81 c #Conflicts: 821000 | #Constraints: 27308 1262.02/1266.81 c #Conflicts: 822000 | #Constraints: 28308 1262.02/1266.81 c #Conflicts: 823000 | #Constraints: 29308 1262.02/1266.81 c #Conflicts: 824000 | #Constraints: 30308 1262.02/1266.81 c #Conflicts: 825000 | #Constraints: 31308 1262.02/1266.81 c #Conflicts: 826000 | #Constraints: 32308 1262.02/1266.81 c #Conflicts: 827000 | #Constraints: 33308 1262.02/1266.81 c #Conflicts: 828000 | #Constraints: 34308 1262.02/1266.81 c #Conflicts: 829000 | #Constraints: 35308 1262.02/1266.81 c #Conflicts: 830000 | #Constraints: 36308 1262.02/1266.81 c INPROCESSING 1262.02/1266.81 c GARBAGE COLLECT 1262.02/1266.81 c rational objective 1.47696 1297.11/1302.03 c #Conflicts: 831000 | #Constraints: 18808 1297.11/1302.03 c #Conflicts: 832000 | #Constraints: 19808 1297.11/1302.03 c #Conflicts: 833000 | #Constraints: 20809 1297.11/1302.03 c #Conflicts: 834000 | #Constraints: 21809 1297.11/1302.03 c #Conflicts: 835000 | #Constraints: 22809 1297.11/1302.03 c #Conflicts: 836000 | #Constraints: 23809 1297.11/1302.03 c #Conflicts: 837000 | #Constraints: 24809 1297.11/1302.03 c #Conflicts: 838000 | #Constraints: 25809 1297.11/1302.03 c #Conflicts: 839000 | #Constraints: 26809 1297.11/1302.03 c #Conflicts: 840000 | #Constraints: 27809 1297.11/1302.03 c #Conflicts: 841000 | #Constraints: 28809 1297.11/1302.03 c #Conflicts: 842000 | #Constraints: 29809 1297.11/1302.03 c #Conflicts: 843000 | #Constraints: 30809 1297.11/1302.03 c #Conflicts: 844000 | #Constraints: 31809 1297.11/1302.03 c #Conflicts: 845000 | #Constraints: 32809 1297.11/1302.03 c #Conflicts: 846000 | #Constraints: 33809 1297.11/1302.03 c #Conflicts: 847000 | #Constraints: 34809 1297.11/1302.03 c #Conflicts: 848000 | #Constraints: 35810 1297.11/1302.03 c #Conflicts: 849000 | #Constraints: 36810 1297.11/1302.03 c INPROCESSING 1297.11/1302.03 c GARBAGE COLLECT 1297.11/1302.03 c rational objective 1.47696 1343.71/1348.84 c #Conflicts: 850000 | #Constraints: 19106 1343.71/1348.84 c #Conflicts: 851000 | #Constraints: 20106 1343.71/1348.84 c #Conflicts: 852000 | #Constraints: 21107 1343.71/1348.84 c #Conflicts: 853000 | #Constraints: 22107 1343.71/1348.84 c #Conflicts: 854000 | #Constraints: 23107 1343.71/1348.84 c #Conflicts: 855000 | #Constraints: 24107 1343.71/1348.84 c #Conflicts: 856000 | #Constraints: 25107 1343.71/1348.84 c #Conflicts: 857000 | #Constraints: 26107 1343.71/1348.84 c #Conflicts: 858000 | #Constraints: 27107 1343.71/1348.84 c #Conflicts: 859000 | #Constraints: 28107 1343.71/1348.84 c #Conflicts: 860000 | #Constraints: 29107 1343.71/1348.84 c #Conflicts: 861000 | #Constraints: 30107 1343.71/1348.84 c #Conflicts: 862000 | #Constraints: 31107 1343.71/1348.84 c #Conflicts: 863000 | #Constraints: 32107 1343.71/1348.84 c #Conflicts: 864000 | #Constraints: 33107 1343.71/1348.84 c #Conflicts: 865000 | #Constraints: 34107 1343.71/1348.84 c #Conflicts: 866000 | #Constraints: 35107 1343.71/1348.84 c #Conflicts: 867000 | #Constraints: 36107 1343.71/1348.84 c #Conflicts: 868000 | #Constraints: 37107 1343.71/1348.84 c INPROCESSING 1343.71/1348.84 c GARBAGE COLLECT 1343.71/1348.84 c rational objective 1.47696 1391.50/1396.88 c #Conflicts: 869000 | #Constraints: 19210 1391.50/1396.88 c #Conflicts: 870000 | #Constraints: 20210 1391.50/1396.88 c #Conflicts: 871000 | #Constraints: 21210 1391.50/1396.88 c #Conflicts: 872000 | #Constraints: 22210 1391.50/1396.88 c #Conflicts: 873000 | #Constraints: 23210 1391.50/1396.88 c #Conflicts: 874000 | #Constraints: 24210 1391.50/1396.88 c #Conflicts: 875000 | #Constraints: 25210 1391.50/1396.88 c #Conflicts: 876000 | #Constraints: 26210 1391.50/1396.88 c #Conflicts: 877000 | #Constraints: 27210 1391.50/1396.88 c #Conflicts: 878000 | #Constraints: 28210 1391.50/1396.88 c #Conflicts: 879000 | #Constraints: 29210 1391.50/1396.88 c #Conflicts: 880000 | #Constraints: 30210 1391.50/1396.88 c #Conflicts: 881000 | #Constraints: 31210 1391.50/1396.88 c #Conflicts: 882000 | #Constraints: 32210 1391.50/1396.88 c #Conflicts: 883000 | #Constraints: 33210 1391.50/1396.88 c #Conflicts: 884000 | #Constraints: 34210 1391.50/1396.88 c #Conflicts: 885000 | #Constraints: 35210 1391.50/1396.88 c #Conflicts: 886000 | #Constraints: 36210 1391.50/1396.88 c #Conflicts: 887000 | #Constraints: 37210 1391.50/1396.88 c #Conflicts: 888000 | #Constraints: 38210 1391.50/1396.88 c INPROCESSING 1391.50/1396.88 c GARBAGE COLLECT 1391.50/1396.88 c rational objective 1.47696 1441.97/1447.55 c #Conflicts: 889000 | #Constraints: 20110 1441.97/1447.55 c #Conflicts: 890000 | #Constraints: 21110 1441.97/1447.55 c #Conflicts: 891000 | #Constraints: 22110 1441.97/1447.55 c #Conflicts: 892000 | #Constraints: 23110 1441.97/1447.55 c #Conflicts: 893000 | #Constraints: 24110 1441.97/1447.55 c #Conflicts: 894000 | #Constraints: 25111 1441.97/1447.55 c #Conflicts: 895000 | #Constraints: 26111 1441.97/1447.55 c #Conflicts: 896000 | #Constraints: 27111 1441.97/1447.55 c #Conflicts: 897000 | #Constraints: 28111 1441.97/1447.55 c #Conflicts: 898000 | #Constraints: 29111 1441.97/1447.55 c #Conflicts: 899000 | #Constraints: 30112 1441.97/1447.55 c #Conflicts: 900000 | #Constraints: 31112 1441.97/1447.55 c #Conflicts: 901000 | #Constraints: 32112 1441.97/1447.55 c #Conflicts: 902000 | #Constraints: 33112 1441.97/1447.55 c #Conflicts: 903000 | #Constraints: 34112 1441.97/1447.55 c #Conflicts: 904000 | #Constraints: 35112 1441.97/1447.55 c #Conflicts: 905000 | #Constraints: 36112 1441.97/1447.55 c #Conflicts: 906000 | #Constraints: 37112 1441.97/1447.55 c #Conflicts: 907000 | #Constraints: 38112 1441.97/1447.55 c INPROCESSING 1441.97/1447.55 c GARBAGE COLLECT 1441.97/1447.55 c rational objective 1.47696 1494.34/1500.16 c #Conflicts: 908000 | #Constraints: 19812 1494.34/1500.16 c #Conflicts: 909000 | #Constraints: 20812 1494.34/1500.16 c #Conflicts: 910000 | #Constraints: 21812 1494.34/1500.16 c #Conflicts: 911000 | #Constraints: 22812 1494.34/1500.16 c #Conflicts: 912000 | #Constraints: 23812 1494.34/1500.16 c #Conflicts: 913000 | #Constraints: 24812 1494.34/1500.16 c #Conflicts: 914000 | #Constraints: 25812 1494.34/1500.16 c #Conflicts: 915000 | #Constraints: 26812 1494.34/1500.16 c #Conflicts: 916000 | #Constraints: 27812 1494.34/1500.16 c #Conflicts: 917000 | #Constraints: 28812 1494.34/1500.16 c #Conflicts: 918000 | #Constraints: 29812 1494.34/1500.16 c #Conflicts: 919000 | #Constraints: 30812 1494.34/1500.16 c #Conflicts: 920000 | #Constraints: 31812 1494.34/1500.16 c #Conflicts: 921000 | #Constraints: 32812 1494.34/1500.16 c #Conflicts: 922000 | #Constraints: 33812 1494.34/1500.16 c #Conflicts: 923000 | #Constraints: 34812 1494.34/1500.16 c #Conflicts: 924000 | #Constraints: 35812 1494.34/1500.16 c #Conflicts: 925000 | #Constraints: 36812 1494.34/1500.16 c #Conflicts: 926000 | #Constraints: 37812 1494.34/1500.16 c #Conflicts: 927000 | #Constraints: 38812 1494.34/1500.16 c INPROCESSING 1494.34/1500.16 c GARBAGE COLLECT 1494.34/1500.16 c rational objective 1.47696 1537.24/1543.21 c #Conflicts: 928000 | #Constraints: 20311 1537.24/1543.21 c #Conflicts: 929000 | #Constraints: 21311 1537.24/1543.21 c #Conflicts: 930000 | #Constraints: 22311 1537.24/1543.21 c #Conflicts: 931000 | #Constraints: 23311 1537.24/1543.21 c #Conflicts: 932000 | #Constraints: 24311 1537.24/1543.21 c #Conflicts: 933000 | #Constraints: 25311 1537.24/1543.21 c #Conflicts: 934000 | #Constraints: 26311 1537.24/1543.21 c #Conflicts: 935000 | #Constraints: 27311 1537.24/1543.21 c #Conflicts: 936000 | #Constraints: 28311 1537.24/1543.21 c #Conflicts: 937000 | #Constraints: 29311 1537.24/1543.21 c #Conflicts: 938000 | #Constraints: 30311 1537.24/1543.21 c #Conflicts: 939000 | #Constraints: 31311 1537.24/1543.21 c #Conflicts: 940000 | #Constraints: 32311 1537.24/1543.21 c #Conflicts: 941000 | #Constraints: 33311 1537.24/1543.21 c #Conflicts: 942000 | #Constraints: 34311 1537.24/1543.21 c #Conflicts: 943000 | #Constraints: 35311 1537.24/1543.21 c #Conflicts: 944000 | #Constraints: 36311 1537.24/1543.21 c #Conflicts: 945000 | #Constraints: 37311 1537.24/1543.21 c #Conflicts: 946000 | #Constraints: 38311 1537.24/1543.21 c #Conflicts: 947000 | #Constraints: 39311 1537.24/1543.21 c INPROCESSING 1537.24/1543.21 c GARBAGE COLLECT 1537.24/1543.21 c rational objective 1.47696 1584.72/1591.00 c #Conflicts: 948000 | #Constraints: 20612 1584.72/1591.00 c #Conflicts: 949000 | #Constraints: 21612 1584.72/1591.00 c #Conflicts: 950000 | #Constraints: 22612 1584.72/1591.00 c #Conflicts: 951000 | #Constraints: 23612 1584.72/1591.00 c #Conflicts: 952000 | #Constraints: 24612 1584.72/1591.00 c #Conflicts: 953000 | #Constraints: 25612 1584.72/1591.00 c #Conflicts: 954000 | #Constraints: 26612 1584.72/1591.00 c #Conflicts: 955000 | #Constraints: 27612 1584.72/1591.00 c #Conflicts: 956000 | #Constraints: 28612 1584.72/1591.00 c #Conflicts: 957000 | #Constraints: 29612 1584.72/1591.00 c #Conflicts: 958000 | #Constraints: 30612 1584.72/1591.00 c #Conflicts: 959000 | #Constraints: 31612 1584.72/1591.00 c #Conflicts: 960000 | #Constraints: 32612 1584.72/1591.00 c #Conflicts: 961000 | #Constraints: 33612 1584.72/1591.00 c #Conflicts: 962000 | #Constraints: 34612 1584.72/1591.00 c #Conflicts: 963000 | #Constraints: 35612 1584.72/1591.00 c #Conflicts: 964000 | #Constraints: 36612 1584.72/1591.00 c #Conflicts: 965000 | #Constraints: 37612 1584.72/1591.00 c #Conflicts: 966000 | #Constraints: 38612 1584.72/1591.00 c #Conflicts: 967000 | #Constraints: 39612 1584.72/1591.00 c INPROCESSING 1584.72/1591.00 c GARBAGE COLLECT 1584.72/1591.00 c rational objective 1.47696 1641.68/1648.11 c #Conflicts: 968000 | #Constraints: 20712 1641.68/1648.11 c #Conflicts: 969000 | #Constraints: 21712 1641.68/1648.11 c #Conflicts: 970000 | #Constraints: 22712 1641.68/1648.11 c #Conflicts: 971000 | #Constraints: 23712 1641.68/1648.11 c #Conflicts: 972000 | #Constraints: 24712 1641.68/1648.11 c #Conflicts: 973000 | #Constraints: 25712 1641.68/1648.11 c #Conflicts: 974000 | #Constraints: 26712 1641.68/1648.11 c #Conflicts: 975000 | #Constraints: 27712 1641.68/1648.11 c #Conflicts: 976000 | #Constraints: 28712 1641.68/1648.11 c #Conflicts: 977000 | #Constraints: 29712 1641.68/1648.11 c #Conflicts: 978000 | #Constraints: 30712 1641.68/1648.11 c #Conflicts: 979000 | #Constraints: 31712 1641.68/1648.11 c #Conflicts: 980000 | #Constraints: 32712 1641.68/1648.11 c #Conflicts: 981000 | #Constraints: 33712 1641.68/1648.11 c #Conflicts: 982000 | #Constraints: 34712 1641.68/1648.11 c #Conflicts: 983000 | #Constraints: 35712 1641.68/1648.11 c #Conflicts: 984000 | #Constraints: 36712 1641.68/1648.11 c #Conflicts: 985000 | #Constraints: 37712 1641.68/1648.11 c #Conflicts: 986000 | #Constraints: 38712 1641.68/1648.11 c #Conflicts: 987000 | #Constraints: 39712 1641.68/1648.11 c INPROCESSING 1641.68/1648.11 c GARBAGE COLLECT 1641.68/1648.11 c rational objective 1.47696 1694.33/1701.07 c #Conflicts: 988000 | #Constraints: 20613 1694.33/1701.07 c #Conflicts: 989000 | #Constraints: 21613 1694.33/1701.07 c #Conflicts: 990000 | #Constraints: 22614 1694.33/1701.07 c #Conflicts: 991000 | #Constraints: 23614 1694.33/1701.07 c #Conflicts: 992000 | #Constraints: 24614 1694.33/1701.07 c #Conflicts: 993000 | #Constraints: 25614 1694.33/1701.07 c #Conflicts: 994000 | #Constraints: 26615 1694.33/1701.07 c #Conflicts: 995000 | #Constraints: 27615 1694.33/1701.07 c #Conflicts: 996000 | #Constraints: 28615 1694.33/1701.07 c #Conflicts: 997000 | #Constraints: 29615 1694.33/1701.07 c #Conflicts: 998000 | #Constraints: 30615 1694.33/1701.07 c #Conflicts: 999000 | #Constraints: 31615 1694.33/1701.07 c #Conflicts: 1000000 | #Constraints: 32615 1694.33/1701.07 c #Conflicts: 1001000 | #Constraints: 33615 1694.33/1701.07 c #Conflicts: 1002000 | #Constraints: 34615 1694.33/1701.07 c #Conflicts: 1003000 | #Constraints: 35615 1694.33/1701.07 c #Conflicts: 1004000 | #Constraints: 36615 1694.33/1701.07 c #Conflicts: 1005000 | #Constraints: 37615 1694.33/1701.07 c #Conflicts: 1006000 | #Constraints: 38615 1694.33/1701.07 c #Conflicts: 1007000 | #Constraints: 39615 1694.33/1701.07 c #Conflicts: 1008000 | #Constraints: 40615 1694.33/1701.07 c INPROCESSING 1694.33/1701.07 c GARBAGE COLLECT 1694.33/1701.07 c rational objective 1.47696 1742.42/1749.38 c #Conflicts: 1009000 | #Constraints: 21312 1742.42/1749.38 c #Conflicts: 1010000 | #Constraints: 22312 1742.42/1749.38 c #Conflicts: 1011000 | #Constraints: 23312 1742.42/1749.38 c #Conflicts: 1012000 | #Constraints: 24312 1742.42/1749.38 c #Conflicts: 1013000 | #Constraints: 25312 1742.42/1749.38 c #Conflicts: 1014000 | #Constraints: 26312 1742.42/1749.38 c #Conflicts: 1015000 | #Constraints: 27312 1742.42/1749.38 c #Conflicts: 1016000 | #Constraints: 28312 1742.42/1749.38 c #Conflicts: 1017000 | #Constraints: 29312 1742.42/1749.38 c #Conflicts: 1018000 | #Constraints: 30312 1742.42/1749.38 c #Conflicts: 1019000 | #Constraints: 31312 1742.42/1749.38 c #Conflicts: 1020000 | #Constraints: 32312 1742.42/1749.38 c #Conflicts: 1021000 | #Constraints: 33312 1742.42/1749.38 c #Conflicts: 1022000 | #Constraints: 34312 1742.42/1749.38 c #Conflicts: 1023000 | #Constraints: 35312 1742.42/1749.38 c #Conflicts: 1024000 | #Constraints: 36312 1742.42/1749.38 c #Conflicts: 1025000 | #Constraints: 37312 1742.42/1749.38 c #Conflicts: 1026000 | #Constraints: 38312 1742.42/1749.38 c #Conflicts: 1027000 | #Constraints: 39312 1742.42/1749.38 c #Conflicts: 1028000 | #Constraints: 40312 1742.42/1749.38 c INPROCESSING 1742.42/1749.38 c GARBAGE COLLECT 1742.42/1749.38 c rational objective 1.47696 1800.14/1807.34 c #Conflicts: 1029000 | #Constraints: 20813 1800.14/1807.34 c #Conflicts: 1030000 | #Constraints: 21813 1800.14/1807.34 c #Conflicts: 1031000 | #Constraints: 22814 1800.14/1807.34 c #Conflicts: 1032000 | #Constraints: 23814 1800.14/1807.34 c #Conflicts: 1033000 | #Constraints: 24814 1800.14/1807.34 c #Conflicts: 1034000 | #Constraints: 25814 1800.14/1807.34 c #Conflicts: 1035000 | #Constraints: 26814 1800.14/1807.34 c #Conflicts: 1036000 | #Constraints: 27814 1800.14/1807.34 c #Conflicts: 1037000 | #Constraints: 28814 1800.14/1807.34 c #Conflicts: 1038000 | #Constraints: 29814 1800.14/1807.34 c #Conflicts: 1039000 | #Constraints: 30814 1800.14/1807.34 c #Conflicts: 1040000 | #Constraints: 31814 1800.14/1807.34 c #Conflicts: 1041000 | #Constraints: 32814 1800.14/1807.34 c #Conflicts: 1042000 | #Constraints: 33814 1800.14/1807.34 c #Conflicts: 1043000 | #Constraints: 34814 1800.14/1807.34 c #Conflicts: 1044000 | #Constraints: 35814 1800.14/1807.34 c #Conflicts: 1045000 | #Constraints: 36814 1800.14/1807.34 c #Conflicts: 1046000 | #Constraints: 37814 1800.14/1807.34 c #Conflicts: 1047000 | #Constraints: 38814 1800.14/1807.34 c #Conflicts: 1048000 | #Constraints: 39814 1800.14/1807.34 c #Conflicts: 1049000 | #Constraints: 40814 1800.14/1807.34 c INPROCESSING 1800.14/1807.34 c GARBAGE COLLECT 1800.14/1807.34 c rational objective 1.47696 1853.21/1860.60 c #Conflicts: 1050000 | #Constraints: 21115 1853.21/1860.60 c #Conflicts: 1051000 | #Constraints: 22115 1853.21/1860.60 c #Conflicts: 1052000 | #Constraints: 23115 1853.21/1860.60 c #Conflicts: 1053000 | #Constraints: 24115 1853.21/1860.60 c #Conflicts: 1054000 | #Constraints: 25115 1853.21/1860.60 c #Conflicts: 1055000 | #Constraints: 26115 1853.21/1860.60 c #Conflicts: 1056000 | #Constraints: 27115 1853.21/1860.60 c #Conflicts: 1057000 | #Constraints: 28115 1853.21/1860.60 c #Conflicts: 1058000 | #Constraints: 29115 1853.21/1860.60 c #Conflicts: 1059000 | #Constraints: 30115 1853.21/1860.60 c #Conflicts: 1060000 | #Constraints: 31115 1853.21/1860.60 c #Conflicts: 1061000 | #Constraints: 32115 1853.21/1860.60 c #Conflicts: 1062000 | #Constraints: 33115 1853.21/1860.60 c #Conflicts: 1063000 | #Constraints: 34115 1853.21/1860.60 c #Conflicts: 1064000 | #Constraints: 35115 1853.21/1860.60 c #Conflicts: 1065000 | #Constraints: 36115 1853.21/1860.60 c #Conflicts: 1066000 | #Constraints: 37116 1853.21/1860.60 c #Conflicts: 1067000 | #Constraints: 38116 1853.21/1860.60 c #Conflicts: 1068000 | #Constraints: 39116 1853.21/1860.60 c #Conflicts: 1069000 | #Constraints: 40116 1853.21/1860.60 c #Conflicts: 1070000 | #Constraints: 41116 1853.21/1860.60 c INPROCESSING 1853.21/1860.60 c GARBAGE COLLECT 1853.21/1860.60 c rational objective 1.47696 1916.53/1924.28 c #Conflicts: 1071000 | #Constraints: 21213 1916.53/1924.28 c #Conflicts: 1072000 | #Constraints: 22214 1916.53/1924.28 c #Conflicts: 1073000 | #Constraints: 23214 1916.53/1924.28 c #Conflicts: 1074000 | #Constraints: 24214 1916.53/1924.28 c #Conflicts: 1075000 | #Constraints: 25215 1916.53/1924.28 c #Conflicts: 1076000 | #Constraints: 26215 1916.53/1924.28 c #Conflicts: 1077000 | #Constraints: 27215 1916.53/1924.28 c #Conflicts: 1078000 | #Constraints: 28215 1916.53/1924.28 c #Conflicts: 1079000 | #Constraints: 29215 1916.53/1924.28 c #Conflicts: 1080000 | #Constraints: 30215 1916.53/1924.28 c #Conflicts: 1081000 | #Constraints: 31215 1916.53/1924.28 c #Conflicts: 1082000 | #Constraints: 32215 1916.53/1924.28 c #Conflicts: 1083000 | #Constraints: 33215 1916.53/1924.28 c #Conflicts: 1084000 | #Constraints: 34215 1916.53/1924.28 c #Conflicts: 1085000 | #Constraints: 35215 1916.53/1924.28 c #Conflicts: 1086000 | #Constraints: 36215 1916.53/1924.28 c #Conflicts: 1087000 | #Constraints: 37215 1916.53/1924.28 c #Conflicts: 1088000 | #Constraints: 38215 1916.53/1924.28 c #Conflicts: 1089000 | #Constraints: 39215 1916.53/1924.28 c #Conflicts: 1090000 | #Constraints: 40215 1916.53/1924.28 c #Conflicts: 1091000 | #Constraints: 41216 1916.53/1924.28 c #Conflicts: 1092000 | #Constraints: 42216 1916.53/1924.28 c INPROCESSING 1916.53/1924.28 c GARBAGE COLLECT 1916.53/1924.28 c rational objective 1.47864 1985.63/1993.66 c #Conflicts: 1093000 | #Constraints: 22116 1985.63/1993.66 c #Conflicts: 1094000 | #Constraints: 23117 1985.63/1993.66 c #Conflicts: 1095000 | #Constraints: 24117 1985.63/1993.66 c #Conflicts: 1096000 | #Constraints: 25117 1985.63/1993.66 c #Conflicts: 1097000 | #Constraints: 26117 1985.63/1993.66 c #Conflicts: 1098000 | #Constraints: 27117 1985.63/1993.66 c #Conflicts: 1099000 | #Constraints: 28117 1985.63/1993.66 c #Conflicts: 1100000 | #Constraints: 29117 1985.63/1993.66 c #Conflicts: 1101000 | #Constraints: 30117 1985.63/1993.66 c #Conflicts: 1102000 | #Constraints: 31117 1985.63/1993.66 c #Conflicts: 1103000 | #Constraints: 32117 1985.63/1993.66 c #Conflicts: 1104000 | #Constraints: 33117 1985.63/1993.66 c #Conflicts: 1105000 | #Constraints: 34117 1985.63/1993.66 c #Conflicts: 1106000 | #Constraints: 35117 1985.63/1993.66 c #Conflicts: 1107000 | #Constraints: 36117 1985.63/1993.66 c #Conflicts: 1108000 | #Constraints: 37117 1985.63/1993.66 c #Conflicts: 1109000 | #Constraints: 38117 1985.63/1993.66 c #Conflicts: 1110000 | #Constraints: 39117 1985.63/1993.66 c #Conflicts: 1111000 | #Constraints: 40117 1985.63/1993.66 c #Conflicts: 1112000 | #Constraints: 41117 1985.63/1993.66 c #Conflicts: 1113000 | #Constraints: 42117 1985.63/1993.66 c INPROCESSING 1985.63/1993.66 c GARBAGE COLLECT 1985.63/1993.66 c rational objective 1.47864 2054.15/2062.42 c #Conflicts: 1114000 | #Constraints: 21815 2054.15/2062.42 c #Conflicts: 1115000 | #Constraints: 22815 2054.15/2062.42 c #Conflicts: 1116000 | #Constraints: 23815 2054.15/2062.42 c #Conflicts: 1117000 | #Constraints: 24816 2054.15/2062.42 c #Conflicts: 1118000 | #Constraints: 25816 2054.15/2062.42 c #Conflicts: 1119000 | #Constraints: 26816 2054.15/2062.42 c #Conflicts: 1120000 | #Constraints: 27816 2054.15/2062.42 c #Conflicts: 1121000 | #Constraints: 28816 2054.15/2062.42 c #Conflicts: 1122000 | #Constraints: 29816 2054.15/2062.42 c #Conflicts: 1123000 | #Constraints: 30816 2054.15/2062.42 c #Conflicts: 1124000 | #Constraints: 31816 2054.15/2062.42 c #Conflicts: 1125000 | #Constraints: 32816 2054.15/2062.42 c #Conflicts: 1126000 | #Constraints: 33816 2054.15/2062.42 c #Conflicts: 1127000 | #Constraints: 34816 2054.15/2062.42 c #Conflicts: 1128000 | #Constraints: 35816 2054.15/2062.42 c #Conflicts: 1129000 | #Constraints: 36816 2054.15/2062.42 c #Conflicts: 1130000 | #Constraints: 37816 2054.15/2062.42 c #Conflicts: 1131000 | #Constraints: 38816 2054.15/2062.42 c #Conflicts: 1132000 | #Constraints: 39816 2054.15/2062.42 c #Conflicts: 1133000 | #Constraints: 40816 2054.15/2062.42 c #Conflicts: 1134000 | #Constraints: 41816 2054.15/2062.42 c #Conflicts: 1135000 | #Constraints: 42816 2054.15/2062.42 c INPROCESSING 2054.15/2062.42 c GARBAGE COLLECT 2054.15/2062.42 c rational objective 1.47864 2128.74/2137.38 c #Conflicts: 1136000 | #Constraints: 22312 2128.74/2137.38 c #Conflicts: 1137000 | #Constraints: 23312 2128.74/2137.38 c #Conflicts: 1138000 | #Constraints: 24312 2128.74/2137.38 c #Conflicts: 1139000 | #Constraints: 25312 2128.74/2137.38 c #Conflicts: 1140000 | #Constraints: 26312 2128.74/2137.38 c #Conflicts: 1141000 | #Constraints: 27312 2128.74/2137.38 c #Conflicts: 1142000 | #Constraints: 28312 2128.74/2137.38 c #Conflicts: 1143000 | #Constraints: 29312 2128.74/2137.38 c #Conflicts: 1144000 | #Constraints: 30312 2128.74/2137.38 c #Conflicts: 1145000 | #Constraints: 31312 2128.74/2137.38 c #Conflicts: 1146000 | #Constraints: 32312 2128.74/2137.38 c #Conflicts: 1147000 | #Constraints: 33312 2128.74/2137.38 c #Conflicts: 1148000 | #Constraints: 34312 2128.74/2137.38 c #Conflicts: 1149000 | #Constraints: 35312 2128.74/2137.38 c #Conflicts: 1150000 | #Constraints: 36312 2128.74/2137.38 c #Conflicts: 1151000 | #Constraints: 37312 2128.74/2137.38 c #Conflicts: 1152000 | #Constraints: 38312 2128.74/2137.38 c #Conflicts: 1153000 | #Constraints: 39312 2128.74/2137.38 c #Conflicts: 1154000 | #Constraints: 40312 2128.74/2137.38 c #Conflicts: 1155000 | #Constraints: 41312 2128.74/2137.38 c #Conflicts: 1156000 | #Constraints: 42312 2128.74/2137.38 c #Conflicts: 1157000 | #Constraints: 43312 2128.74/2137.38 c INPROCESSING 2128.74/2137.38 c GARBAGE COLLECT 2128.74/2137.38 c rational objective 1.47864 2196.05/2204.98 c #Conflicts: 1158000 | #Constraints: 22614 2196.05/2204.98 c #Conflicts: 1159000 | #Constraints: 23614 2196.05/2204.98 c #Conflicts: 1160000 | #Constraints: 24614 2196.05/2204.98 c #Conflicts: 1161000 | #Constraints: 25614 2196.05/2204.98 c #Conflicts: 1162000 | #Constraints: 26614 2196.05/2204.98 c #Conflicts: 1163000 | #Constraints: 27614 2196.05/2204.98 c #Conflicts: 1164000 | #Constraints: 28614 2196.05/2204.98 c #Conflicts: 1165000 | #Constraints: 29614 2196.05/2204.98 c #Conflicts: 1166000 | #Constraints: 30614 2196.05/2204.98 c #Conflicts: 1167000 | #Constraints: 31614 2196.05/2204.98 c #Conflicts: 1168000 | #Constraints: 32614 2196.05/2204.98 c #Conflicts: 1169000 | #Constraints: 33614 2196.05/2204.98 c #Conflicts: 1170000 | #Constraints: 34614 2196.05/2204.98 c #Conflicts: 1171000 | #Constraints: 35614 2196.05/2204.98 c #Conflicts: 1172000 | #Constraints: 36614 2196.05/2204.98 c #Conflicts: 1173000 | #Constraints: 37614 2196.05/2204.98 c #Conflicts: 1174000 | #Constraints: 38614 2196.05/2204.98 c #Conflicts: 1175000 | #Constraints: 39614 2196.05/2204.98 c #Conflicts: 1176000 | #Constraints: 40614 2196.05/2204.98 c #Conflicts: 1177000 | #Constraints: 41614 2196.05/2204.98 c #Conflicts: 1178000 | #Constraints: 42614 2196.05/2204.98 c #Conflicts: 1179000 | #Constraints: 43614 2196.05/2204.98 c INPROCESSING 2196.05/2204.98 c GARBAGE COLLECT 2196.05/2204.98 c rational objective 1.47864 2269.83/2279.03 c #Conflicts: 1180000 | #Constraints: 22709 2269.83/2279.03 c #Conflicts: 1181000 | #Constraints: 23709 2269.83/2279.03 c #Conflicts: 1182000 | #Constraints: 24709 2269.83/2279.03 c #Conflicts: 1183000 | #Constraints: 25709 2269.83/2279.03 c #Conflicts: 1184000 | #Constraints: 26709 2269.83/2279.03 c #Conflicts: 1185000 | #Constraints: 27709 2269.83/2279.03 c #Conflicts: 1186000 | #Constraints: 28709 2269.83/2279.03 c #Conflicts: 1187000 | #Constraints: 29709 2269.83/2279.03 c #Conflicts: 1188000 | #Constraints: 30709 2269.83/2279.03 c #Conflicts: 1189000 | #Constraints: 31709 2269.83/2279.03 c #Conflicts: 1190000 | #Constraints: 32709 2269.83/2279.03 c #Conflicts: 1191000 | #Constraints: 33709 2269.83/2279.03 c #Conflicts: 1192000 | #Constraints: 34709 2269.83/2279.03 c #Conflicts: 1193000 | #Constraints: 35709 2269.83/2279.03 c #Conflicts: 1194000 | #Constraints: 36709 2269.83/2279.03 c #Conflicts: 1195000 | #Constraints: 37709 2269.83/2279.03 c #Conflicts: 1196000 | #Constraints: 38709 2269.83/2279.03 c #Conflicts: 1197000 | #Constraints: 39709 2269.83/2279.03 c #Conflicts: 1198000 | #Constraints: 40709 2269.83/2279.03 c #Conflicts: 1199000 | #Constraints: 41709 2269.83/2279.03 c #Conflicts: 1200000 | #Constraints: 42709 2269.83/2279.03 c #Conflicts: 1201000 | #Constraints: 43709 2269.83/2279.03 c INPROCESSING 2269.83/2279.03 c GARBAGE COLLECT 2269.83/2279.03 c rational objective 1.47864 2362.03/2371.69 c #Conflicts: 1202000 | #Constraints: 22607 2362.03/2371.69 c #Conflicts: 1203000 | #Constraints: 23607 2362.03/2371.69 c #Conflicts: 1204000 | #Constraints: 24607 2362.03/2371.69 c #Conflicts: 1205000 | #Constraints: 25607 2362.03/2371.69 c #Conflicts: 1206000 | #Constraints: 26607 2362.03/2371.69 c #Conflicts: 1207000 | #Constraints: 27607 2362.03/2371.69 c #Conflicts: 1208000 | #Constraints: 28607 2362.03/2371.69 c #Conflicts: 1209000 | #Constraints: 29607 2362.03/2371.69 c #Conflicts: 1210000 | #Constraints: 30607 2362.03/2371.69 c #Conflicts: 1211000 | #Constraints: 31607 2362.03/2371.69 c #Conflicts: 1212000 | #Constraints: 32607 2362.03/2371.69 c #Conflicts: 1213000 | #Constraints: 33607 2362.03/2371.69 c #Conflicts: 1214000 | #Constraints: 34607 2362.03/2371.69 c #Conflicts: 1215000 | #Constraints: 35607 2362.03/2371.69 c #Conflicts: 1216000 | #Constraints: 36607 2362.03/2371.69 c #Conflicts: 1217000 | #Constraints: 37607 2362.03/2371.69 c #Conflicts: 1218000 | #Constraints: 38607 2362.03/2371.69 c #Conflicts: 1219000 | #Constraints: 39607 2362.03/2371.69 c #Conflicts: 1220000 | #Constraints: 40607 2362.03/2371.69 c #Conflicts: 1221000 | #Constraints: 41607 2362.03/2371.69 c #Conflicts: 1222000 | #Constraints: 42607 2362.03/2371.69 c #Conflicts: 1223000 | #Constraints: 43607 2362.03/2371.69 c #Conflicts: 1224000 | #Constraints: 44607 2362.03/2371.69 c INPROCESSING 2362.03/2371.69 c GARBAGE COLLECT 2362.03/2371.69 c rational objective 1.47864 2439.40/2449.37 c #Conflicts: 1225000 | #Constraints: 23306 2439.40/2449.37 c #Conflicts: 1226000 | #Constraints: 24306 2439.40/2449.37 c #Conflicts: 1227000 | #Constraints: 25306 2439.40/2449.37 c #Conflicts: 1228000 | #Constraints: 26306 2439.40/2449.37 c #Conflicts: 1229000 | #Constraints: 27306 2439.40/2449.37 c #Conflicts: 1230000 | #Constraints: 28306 2439.40/2449.37 c #Conflicts: 1231000 | #Constraints: 29306 2439.40/2449.37 c #Conflicts: 1232000 | #Constraints: 30306 2439.40/2449.37 c #Conflicts: 1233000 | #Constraints: 31306 2439.40/2449.37 c #Conflicts: 1234000 | #Constraints: 32306 2439.40/2449.37 c #Conflicts: 1235000 | #Constraints: 33306 2439.40/2449.37 c #Conflicts: 1236000 | #Constraints: 34306 2439.40/2449.37 c #Conflicts: 1237000 | #Constraints: 35306 2439.40/2449.37 c #Conflicts: 1238000 | #Constraints: 36306 2439.40/2449.37 c #Conflicts: 1239000 | #Constraints: 37306 2439.40/2449.37 c #Conflicts: 1240000 | #Constraints: 38306 2439.40/2449.37 c #Conflicts: 1241000 | #Constraints: 39306 2439.40/2449.37 c #Conflicts: 1242000 | #Constraints: 40306 2439.40/2449.37 c #Conflicts: 1243000 | #Constraints: 41306 2439.40/2449.37 c #Conflicts: 1244000 | #Constraints: 42306 2439.40/2449.37 c #Conflicts: 1245000 | #Constraints: 43306 2439.40/2449.37 c #Conflicts: 1246000 | #Constraints: 44306 2439.40/2449.37 c INPROCESSING 2439.40/2449.37 c GARBAGE COLLECT 2439.40/2449.37 c rational objective 1.47864 2509.82/2520.02 c #Conflicts: 1247000 | #Constraints: 22808 2509.82/2520.02 c #Conflicts: 1248000 | #Constraints: 23809 2509.82/2520.02 c #Conflicts: 1249000 | #Constraints: 24809 2509.82/2520.02 c #Conflicts: 1250000 | #Constraints: 25809 2509.82/2520.02 c #Conflicts: 1251000 | #Constraints: 26809 2509.82/2520.02 c #Conflicts: 1252000 | #Constraints: 27809 2509.82/2520.02 c #Conflicts: 1253000 | #Constraints: 28809 2509.82/2520.02 c #Conflicts: 1254000 | #Constraints: 29809 2509.82/2520.02 c #Conflicts: 1255000 | #Constraints: 30809 2509.82/2520.02 c #Conflicts: 1256000 | #Constraints: 31809 2509.82/2520.02 c #Conflicts: 1257000 | #Constraints: 32809 2509.82/2520.02 c #Conflicts: 1258000 | #Constraints: 33809 2509.82/2520.02 c #Conflicts: 1259000 | #Constraints: 34809 2509.82/2520.02 c #Conflicts: 1260000 | #Constraints: 35809 2509.82/2520.02 c #Conflicts: 1261000 | #Constraints: 36809 2509.82/2520.02 c #Conflicts: 1262000 | #Constraints: 37809 2509.82/2520.02 c #Conflicts: 1263000 | #Constraints: 38809 2509.82/2520.02 c #Conflicts: 1264000 | #Constraints: 39809 2509.82/2520.02 c #Conflicts: 1265000 | #Constraints: 40809 2509.82/2520.02 c #Conflicts: 1266000 | #Constraints: 41809 2509.82/2520.02 c #Conflicts: 1267000 | #Constraints: 42809 2509.82/2520.02 c #Conflicts: 1268000 | #Constraints: 43809 2509.82/2520.02 c #Conflicts: 1269000 | #Constraints: 44809 2509.82/2520.02 c INPROCESSING 2509.82/2520.02 c GARBAGE COLLECT 2509.82/2520.02 c rational objective 1.47864 2584.11/2594.65 c #Conflicts: 1270000 | #Constraints: 23110 2584.11/2594.65 c #Conflicts: 1271000 | #Constraints: 24110 2584.11/2594.65 c #Conflicts: 1272000 | #Constraints: 25110 2584.11/2594.65 c #Conflicts: 1273000 | #Constraints: 26110 2584.11/2594.65 c #Conflicts: 1274000 | #Constraints: 27110 2584.11/2594.65 c #Conflicts: 1275000 | #Constraints: 28110 2584.11/2594.65 c #Conflicts: 1276000 | #Constraints: 29110 2584.11/2594.65 c #Conflicts: 1277000 | #Constraints: 30111 2584.11/2594.65 c #Conflicts: 1278000 | #Constraints: 31112 2584.11/2594.65 c #Conflicts: 1279000 | #Constraints: 32112 2584.11/2594.65 c #Conflicts: 1280000 | #Constraints: 33112 2584.11/2594.65 c #Conflicts: 1281000 | #Constraints: 34112 2584.11/2594.65 c #Conflicts: 1282000 | #Constraints: 35112 2584.11/2594.65 c #Conflicts: 1283000 | #Constraints: 36112 2584.11/2594.65 c #Conflicts: 1284000 | #Constraints: 37112 2584.11/2594.65 c #Conflicts: 1285000 | #Constraints: 38112 2584.11/2594.65 c #Conflicts: 1286000 | #Constraints: 39112 2584.11/2594.65 c #Conflicts: 1287000 | #Constraints: 40112 2584.11/2594.65 c #Conflicts: 1288000 | #Constraints: 41112 2584.11/2594.65 c #Conflicts: 1289000 | #Constraints: 42112 2584.11/2594.65 c #Conflicts: 1290000 | #Constraints: 43112 2584.11/2594.65 c #Conflicts: 1291000 | #Constraints: 44112 2584.11/2594.65 c #Conflicts: 1292000 | #Constraints: 45112 2584.11/2594.65 c INPROCESSING 2584.11/2594.65 c GARBAGE COLLECT 2584.11/2594.65 c rational objective 1.47864 2647.08/2657.82 c #Conflicts: 1293000 | #Constraints: 23214 2647.08/2657.82 c #Conflicts: 1294000 | #Constraints: 24214 2647.08/2657.82 c #Conflicts: 1295000 | #Constraints: 25214 2647.08/2657.82 c #Conflicts: 1296000 | #Constraints: 26214 2647.08/2657.82 c #Conflicts: 1297000 | #Constraints: 27214 2647.08/2657.82 c #Conflicts: 1298000 | #Constraints: 28214 2647.08/2657.82 c #Conflicts: 1299000 | #Constraints: 29214 2647.08/2657.82 c #Conflicts: 1300000 | #Constraints: 30214 2647.08/2657.82 c #Conflicts: 1301000 | #Constraints: 31214 2647.08/2657.82 c #Conflicts: 1302000 | #Constraints: 32214 2647.08/2657.82 c #Conflicts: 1303000 | #Constraints: 33214 2647.08/2657.82 c #Conflicts: 1304000 | #Constraints: 34214 2647.08/2657.82 c #Conflicts: 1305000 | #Constraints: 35214 2647.08/2657.82 c #Conflicts: 1306000 | #Constraints: 36214 2647.08/2657.82 c #Conflicts: 1307000 | #Constraints: 37214 2647.08/2657.82 c #Conflicts: 1308000 | #Constraints: 38214 2647.08/2657.82 c #Conflicts: 1309000 | #Constraints: 39214 2647.08/2657.82 c #Conflicts: 1310000 | #Constraints: 40214 2647.08/2657.82 c #Conflicts: 1311000 | #Constraints: 41214 2647.08/2657.82 c #Conflicts: 1312000 | #Constraints: 42214 2647.08/2657.82 c #Conflicts: 1313000 | #Constraints: 43214 2647.08/2657.82 c #Conflicts: 1314000 | #Constraints: 44214 2647.08/2657.82 c #Conflicts: 1315000 | #Constraints: 45214 2647.08/2657.82 c #Conflicts: 1316000 | #Constraints: 46214 2647.08/2657.82 c INPROCESSING 2647.08/2657.82 c GARBAGE COLLECT 2647.08/2657.82 c rational objective 1.47864 2716.42/2727.47 c #Conflicts: 1317000 | #Constraints: 24111 2716.42/2727.47 c #Conflicts: 1318000 | #Constraints: 25111 2716.42/2727.47 c #Conflicts: 1319000 | #Constraints: 26111 2716.42/2727.47 c #Conflicts: 1320000 | #Constraints: 27111 2716.42/2727.47 c #Conflicts: 1321000 | #Constraints: 28111 2716.42/2727.47 c #Conflicts: 1322000 | #Constraints: 29111 2716.42/2727.47 c #Conflicts: 1323000 | #Constraints: 30111 2716.42/2727.47 c #Conflicts: 1324000 | #Constraints: 31111 2716.42/2727.47 c #Conflicts: 1325000 | #Constraints: 32111 2716.42/2727.47 c #Conflicts: 1326000 | #Constraints: 33112 2716.42/2727.47 c #Conflicts: 1327000 | #Constraints: 34112 2716.42/2727.47 c #Conflicts: 1328000 | #Constraints: 35112 2716.42/2727.47 c #Conflicts: 1329000 | #Constraints: 36112 2716.42/2727.47 c #Conflicts: 1330000 | #Constraints: 37113 2716.42/2727.47 c #Conflicts: 1331000 | #Constraints: 38113 2716.42/2727.47 c #Conflicts: 1332000 | #Constraints: 39113 2716.42/2727.47 c #Conflicts: 1333000 | #Constraints: 40113 2716.42/2727.47 c #Conflicts: 1334000 | #Constraints: 41113 2716.42/2727.47 c #Conflicts: 1335000 | #Constraints: 42113 2716.42/2727.47 c #Conflicts: 1336000 | #Constraints: 43113 2716.42/2727.47 c #Conflicts: 1337000 | #Constraints: 44113 2716.42/2727.47 c #Conflicts: 1338000 | #Constraints: 45113 2716.42/2727.47 c #Conflicts: 1339000 | #Constraints: 46113 2716.42/2727.47 c INPROCESSING 2716.42/2727.47 c GARBAGE COLLECT 2716.42/2727.47 c rational objective 1.47864 2782.95/2794.22 c #Conflicts: 1340000 | #Constraints: 23811 2782.95/2794.22 c #Conflicts: 1341000 | #Constraints: 24811 2782.95/2794.22 c #Conflicts: 1342000 | #Constraints: 25812 2782.95/2794.22 c #Conflicts: 1343000 | #Constraints: 26812 2782.95/2794.22 c #Conflicts: 1344000 | #Constraints: 27812 2782.95/2794.22 c #Conflicts: 1345000 | #Constraints: 28812 2782.95/2794.22 c #Conflicts: 1346000 | #Constraints: 29812 2782.95/2794.22 c #Conflicts: 1347000 | #Constraints: 30812 2782.95/2794.22 c #Conflicts: 1348000 | #Constraints: 31812 2782.95/2794.22 c #Conflicts: 1349000 | #Constraints: 32812 2782.95/2794.22 c #Conflicts: 1350000 | #Constraints: 33812 2782.95/2794.22 c #Conflicts: 1351000 | #Constraints: 34812 2782.95/2794.22 c #Conflicts: 1352000 | #Constraints: 35812 2782.95/2794.22 c #Conflicts: 1353000 | #Constraints: 36812 2782.95/2794.22 c #Conflicts: 1354000 | #Constraints: 37812 2782.95/2794.22 c #Conflicts: 1355000 | #Constraints: 38812 2782.95/2794.22 c #Conflicts: 1356000 | #Constraints: 39812 2782.95/2794.22 c #Conflicts: 1357000 | #Constraints: 40812 2782.95/2794.22 c #Conflicts: 1358000 | #Constraints: 41812 2782.95/2794.22 c #Conflicts: 1359000 | #Constraints: 42812 2782.95/2794.22 c #Conflicts: 1360000 | #Constraints: 43812 2782.95/2794.22 c #Conflicts: 1361000 | #Constraints: 44812 2782.95/2794.22 c #Conflicts: 1362000 | #Constraints: 45812 2782.95/2794.22 c #Conflicts: 1363000 | #Constraints: 46812 2782.95/2794.22 c INPROCESSING 2782.95/2794.22 c GARBAGE COLLECT 2782.95/2794.22 c rational objective 1.47864 2859.36/2870.92 c #Conflicts: 1364000 | #Constraints: 24311 2859.36/2870.92 c #Conflicts: 1365000 | #Constraints: 25311 2859.36/2870.92 c #Conflicts: 1366000 | #Constraints: 26312 2859.36/2870.92 c #Conflicts: 1367000 | #Constraints: 27312 2859.36/2870.92 c #Conflicts: 1368000 | #Constraints: 28312 2859.36/2870.92 c #Conflicts: 1369000 | #Constraints: 29312 2859.36/2870.92 c #Conflicts: 1370000 | #Constraints: 30312 2859.36/2870.92 c #Conflicts: 1371000 | #Constraints: 31312 2859.36/2870.92 c #Conflicts: 1372000 | #Constraints: 32312 2859.36/2870.92 c #Conflicts: 1373000 | #Constraints: 33312 2859.36/2870.92 c #Conflicts: 1374000 | #Constraints: 34312 2859.36/2870.92 c #Conflicts: 1375000 | #Constraints: 35312 2859.36/2870.92 c #Conflicts: 1376000 | #Constraints: 36312 2859.36/2870.92 c #Conflicts: 1377000 | #Constraints: 37312 2859.36/2870.92 c #Conflicts: 1378000 | #Constraints: 38312 2859.36/2870.92 c #Conflicts: 1379000 | #Constraints: 39312 2859.36/2870.92 c #Conflicts: 1380000 | #Constraints: 40312 2859.36/2870.92 c #Conflicts: 1381000 | #Constraints: 41312 2859.36/2870.92 c #Conflicts: 1382000 | #Constraints: 42312 2859.36/2870.92 c #Conflicts: 1383000 | #Constraints: 43312 2859.36/2870.92 c #Conflicts: 1384000 | #Constraints: 44312 2859.36/2870.92 c #Conflicts: 1385000 | #Constraints: 45312 2859.36/2870.92 c #Conflicts: 1386000 | #Constraints: 46312 2859.36/2870.92 c #Conflicts: 1387000 | #Constraints: 47312 2859.36/2870.92 c INPROCESSING 2859.36/2870.92 c GARBAGE COLLECT 2859.36/2870.92 c rational objective 1.47864 2936.14/2948.09 c #Conflicts: 1388000 | #Constraints: 24610 2936.14/2948.09 c #Conflicts: 1389000 | #Constraints: 25610 2936.14/2948.09 c #Conflicts: 1390000 | #Constraints: 26610 2936.14/2948.09 c #Conflicts: 1391000 | #Constraints: 27611 2936.14/2948.09 c #Conflicts: 1392000 | #Constraints: 28611 2936.14/2948.09 c #Conflicts: 1393000 | #Constraints: 29611 2936.14/2948.09 c #Conflicts: 1394000 | #Constraints: 30611 2936.14/2948.09 c #Conflicts: 1395000 | #Constraints: 31611 2936.14/2948.09 c #Conflicts: 1396000 | #Constraints: 32611 2936.14/2948.09 c #Conflicts: 1397000 | #Constraints: 33611 2936.14/2948.09 c #Conflicts: 1398000 | #Constraints: 34611 2936.14/2948.09 c #Conflicts: 1399000 | #Constraints: 35611 2936.14/2948.09 c #Conflicts: 1400000 | #Constraints: 36611 2936.14/2948.09 c #Conflicts: 1401000 | #Constraints: 37611 2936.14/2948.09 c #Conflicts: 1402000 | #Constraints: 38611 2936.14/2948.09 c #Conflicts: 1403000 | #Constraints: 39611 2936.14/2948.09 c #Conflicts: 1404000 | #Constraints: 40611 2936.14/2948.09 c #Conflicts: 1405000 | #Constraints: 41611 2936.14/2948.09 c #Conflicts: 1406000 | #Constraints: 42611 2936.14/2948.09 c #Conflicts: 1407000 | #Constraints: 43611 2936.14/2948.09 c #Conflicts: 1408000 | #Constraints: 44612 2936.14/2948.09 c #Conflicts: 1409000 | #Constraints: 45612 2936.14/2948.09 c #Conflicts: 1410000 | #Constraints: 46613 2936.14/2948.09 c #Conflicts: 1411000 | #Constraints: 47613 2936.14/2948.09 c INPROCESSING 2936.14/2948.09 c GARBAGE COLLECT 2936.14/2948.09 c rational objective 1.47864 3015.31/3027.59 c #Conflicts: 1412000 | #Constraints: 24708 3015.31/3027.59 c #Conflicts: 1413000 | #Constraints: 25708 3015.31/3027.59 c #Conflicts: 1414000 | #Constraints: 26708 3015.31/3027.59 c #Conflicts: 1415000 | #Constraints: 27708 3015.31/3027.59 c #Conflicts: 1416000 | #Constraints: 28708 3015.31/3027.59 c #Conflicts: 1417000 | #Constraints: 29708 3015.31/3027.59 c #Conflicts: 1418000 | #Constraints: 30708 3015.31/3027.59 c #Conflicts: 1419000 | #Constraints: 31708 3015.31/3027.59 c #Conflicts: 1420000 | #Constraints: 32708 3015.31/3027.59 c #Conflicts: 1421000 | #Constraints: 33708 3015.31/3027.59 c #Conflicts: 1422000 | #Constraints: 34708 3015.31/3027.59 c #Conflicts: 1423000 | #Constraints: 35709 3015.31/3027.59 c #Conflicts: 1424000 | #Constraints: 36709 3015.31/3027.59 c #Conflicts: 1425000 | #Constraints: 37709 3015.31/3027.59 c #Conflicts: 1426000 | #Constraints: 38709 3015.31/3027.59 c #Conflicts: 1427000 | #Constraints: 39709 3015.31/3027.59 c #Conflicts: 1428000 | #Constraints: 40709 3015.31/3027.59 c #Conflicts: 1429000 | #Constraints: 41709 3015.31/3027.59 c #Conflicts: 1430000 | #Constraints: 42709 3015.31/3027.59 c #Conflicts: 1431000 | #Constraints: 43709 3015.31/3027.59 c #Conflicts: 1432000 | #Constraints: 44709 3015.31/3027.59 c #Conflicts: 1433000 | #Constraints: 45709 3015.31/3027.59 c #Conflicts: 1434000 | #Constraints: 46709 3015.31/3027.59 c #Conflicts: 1435000 | #Constraints: 47709 3015.31/3027.59 c INPROCESSING 3015.31/3027.59 c GARBAGE COLLECT 3015.31/3027.59 c rational objective 1.47864 3090.89/3103.47 c #Conflicts: 1436000 | #Constraints: 24608 3090.89/3103.47 c #Conflicts: 1437000 | #Constraints: 25608 3090.89/3103.47 c #Conflicts: 1438000 | #Constraints: 26608 3090.89/3103.47 c #Conflicts: 1439000 | #Constraints: 27608 3090.89/3103.47 c #Conflicts: 1440000 | #Constraints: 28608 3090.89/3103.47 c #Conflicts: 1441000 | #Constraints: 29608 3090.89/3103.47 c #Conflicts: 1442000 | #Constraints: 30608 3090.89/3103.47 c #Conflicts: 1443000 | #Constraints: 31608 3090.89/3103.47 c #Conflicts: 1444000 | #Constraints: 32608 3090.89/3103.47 c #Conflicts: 1445000 | #Constraints: 33608 3090.89/3103.47 c #Conflicts: 1446000 | #Constraints: 34608 3090.89/3103.47 c #Conflicts: 1447000 | #Constraints: 35608 3090.89/3103.47 c #Conflicts: 1448000 | #Constraints: 36608 3090.89/3103.47 c #Conflicts: 1449000 | #Constraints: 37608 3090.89/3103.47 c #Conflicts: 1450000 | #Constraints: 38608 3090.89/3103.47 c #Conflicts: 1451000 | #Constraints: 39608 3090.89/3103.47 c #Conflicts: 1452000 | #Constraints: 40608 3090.89/3103.47 c #Conflicts: 1453000 | #Constraints: 41608 3090.89/3103.47 c #Conflicts: 1454000 | #Constraints: 42608 3090.89/3103.47 c #Conflicts: 1455000 | #Constraints: 43608 3090.89/3103.47 c #Conflicts: 1456000 | #Constraints: 44608 3090.89/3103.47 c #Conflicts: 1457000 | #Constraints: 45608 3090.89/3103.47 c #Conflicts: 1458000 | #Constraints: 46608 3090.89/3103.47 c #Conflicts: 1459000 | #Constraints: 47608 3090.89/3103.47 c #Conflicts: 1460000 | #Constraints: 48608 3090.89/3103.47 c INPROCESSING 3090.89/3103.47 c GARBAGE COLLECT 3090.89/3103.47 c rational objective 1.47864 3180.82/3193.70 c #Conflicts: 1461000 | #Constraints: 25308 3180.82/3193.70 c #Conflicts: 1462000 | #Constraints: 26308 3180.82/3193.70 c #Conflicts: 1463000 | #Constraints: 27308 3180.82/3193.70 c #Conflicts: 1464000 | #Constraints: 28308 3180.82/3193.70 c #Conflicts: 1465000 | #Constraints: 29308 3180.82/3193.70 c #Conflicts: 1466000 | #Constraints: 30308 3180.82/3193.70 c #Conflicts: 1467000 | #Constraints: 31308 3180.82/3193.70 c #Conflicts: 1468000 | #Constraints: 32308 3180.82/3193.70 c #Conflicts: 1469000 | #Constraints: 33308 3180.82/3193.70 c #Conflicts: 1470000 | #Constraints: 34308 3180.82/3193.70 c #Conflicts: 1471000 | #Constraints: 35308 3180.82/3193.70 c #Conflicts: 1472000 | #Constraints: 36308 3180.82/3193.70 c #Conflicts: 1473000 | #Constraints: 37308 3180.82/3193.70 c #Conflicts: 1474000 | #Constraints: 38308 3180.82/3193.70 c #Conflicts: 1475000 | #Constraints: 39308 3180.82/3193.70 c #Conflicts: 1476000 | #Constraints: 40308 3180.82/3193.70 c #Conflicts: 1477000 | #Constraints: 41308 3180.82/3193.70 c #Conflicts: 1478000 | #Constraints: 42308 3180.82/3193.70 c #Conflicts: 1479000 | #Constraints: 43308 3180.82/3193.70 c #Conflicts: 1480000 | #Constraints: 44309 3180.82/3193.70 c #Conflicts: 1481000 | #Constraints: 45309 3180.82/3193.70 c #Conflicts: 1482000 | #Constraints: 46309 3180.82/3193.70 c #Conflicts: 1483000 | #Constraints: 47309 3180.82/3193.70 c #Conflicts: 1484000 | #Constraints: 48309 3180.82/3193.70 c INPROCESSING 3180.82/3193.70 c GARBAGE COLLECT 3180.82/3193.70 c rational objective 1.47864 3268.76/3282.02 c #Conflicts: 1485000 | #Constraints: 24811 3268.76/3282.02 c #Conflicts: 1486000 | #Constraints: 25811 3268.76/3282.02 c #Conflicts: 1487000 | #Constraints: 26811 3268.76/3282.02 c #Conflicts: 1488000 | #Constraints: 27811 3268.76/3282.02 c #Conflicts: 1489000 | #Constraints: 28811 3268.76/3282.02 c #Conflicts: 1490000 | #Constraints: 29811 3268.76/3282.02 c #Conflicts: 1491000 | #Constraints: 30811 3268.76/3282.02 c #Conflicts: 1492000 | #Constraints: 31811 3268.76/3282.02 c #Conflicts: 1493000 | #Constraints: 32811 3268.76/3282.02 c #Conflicts: 1494000 | #Constraints: 33811 3268.76/3282.02 c #Conflicts: 1495000 | #Constraints: 34811 3268.76/3282.02 c #Conflicts: 1496000 | #Constraints: 35811 3268.76/3282.02 c #Conflicts: 1497000 | #Constraints: 36811 3268.76/3282.02 c #Conflicts: 1498000 | #Constraints: 37811 3268.76/3282.02 c #Conflicts: 1499000 | #Constraints: 38811 3268.76/3282.02 c #Conflicts: 1500000 | #Constraints: 39811 3268.76/3282.02 c #Conflicts: 1501000 | #Constraints: 40811 3268.76/3282.02 c #Conflicts: 1502000 | #Constraints: 41811 3268.76/3282.02 c #Conflicts: 1503000 | #Constraints: 42811 3268.76/3282.02 c #Conflicts: 1504000 | #Constraints: 43811 3268.76/3282.02 c #Conflicts: 1505000 | #Constraints: 44811 3268.76/3282.02 c #Conflicts: 1506000 | #Constraints: 45811 3268.76/3282.02 c #Conflicts: 1507000 | #Constraints: 46811 3268.76/3282.02 c #Conflicts: 1508000 | #Constraints: 47812 3268.76/3282.02 c #Conflicts: 1509000 | #Constraints: 48812 3268.76/3282.02 c INPROCESSING 3268.76/3282.02 c GARBAGE COLLECT 3268.76/3282.02 c rational objective 1.47864 3355.11/3368.77 c #Conflicts: 1510000 | #Constraints: 25109 3355.11/3368.77 c #Conflicts: 1511000 | #Constraints: 26109 3355.11/3368.77 c #Conflicts: 1512000 | #Constraints: 27109 3355.11/3368.77 c #Conflicts: 1513000 | #Constraints: 28109 3355.11/3368.77 c #Conflicts: 1514000 | #Constraints: 29109 3355.11/3368.77 c #Conflicts: 1515000 | #Constraints: 30109 3355.11/3368.77 c #Conflicts: 1516000 | #Constraints: 31110 3355.11/3368.77 c #Conflicts: 1517000 | #Constraints: 32111 3355.11/3368.77 c #Conflicts: 1518000 | #Constraints: 33111 3355.11/3368.77 c #Conflicts: 1519000 | #Constraints: 34111 3355.11/3368.77 c #Conflicts: 1520000 | #Constraints: 35111 3355.11/3368.77 c #Conflicts: 1521000 | #Constraints: 36111 3355.11/3368.77 c #Conflicts: 1522000 | #Constraints: 37111 3355.11/3368.77 c #Conflicts: 1523000 | #Constraints: 38111 3355.11/3368.77 c #Conflicts: 1524000 | #Constraints: 39111 3355.11/3368.77 c #Conflicts: 1525000 | #Constraints: 40111 3355.11/3368.77 c #Conflicts: 1526000 | #Constraints: 41111 3355.11/3368.77 c #Conflicts: 1527000 | #Constraints: 42111 3355.11/3368.77 c #Conflicts: 1528000 | #Constraints: 43111 3355.11/3368.77 c #Conflicts: 1529000 | #Constraints: 44111 3355.11/3368.77 c #Conflicts: 1530000 | #Constraints: 45111 3355.11/3368.77 c #Conflicts: 1531000 | #Constraints: 46111 3355.11/3368.77 c #Conflicts: 1532000 | #Constraints: 47111 3355.11/3368.77 c #Conflicts: 1533000 | #Constraints: 48111 3355.11/3368.77 c #Conflicts: 1534000 | #Constraints: 49111 3355.11/3368.77 c INPROCESSING 3355.11/3368.77 c GARBAGE COLLECT 3355.11/3368.77 c rational objective 1.47864 3442.67/3456.60 c #Conflicts: 1535000 | #Constraints: 25211 3442.67/3456.60 c #Conflicts: 1536000 | #Constraints: 26211 3442.67/3456.60 c #Conflicts: 1537000 | #Constraints: 27211 3442.67/3456.60 c #Conflicts: 1538000 | #Constraints: 28211 3442.67/3456.60 c #Conflicts: 1539000 | #Constraints: 29211 3442.67/3456.60 c #Conflicts: 1540000 | #Constraints: 30211 3442.67/3456.60 c #Conflicts: 1541000 | #Constraints: 31211 3442.67/3456.60 c #Conflicts: 1542000 | #Constraints: 32211 3442.67/3456.60 c #Conflicts: 1543000 | #Constraints: 33211 3442.67/3456.60 c #Conflicts: 1544000 | #Constraints: 34211 3442.67/3456.60 c #Conflicts: 1545000 | #Constraints: 35211 3442.67/3456.60 c #Conflicts: 1546000 | #Constraints: 36211 3442.67/3456.60 c #Conflicts: 1547000 | #Constraints: 37211 3442.67/3456.60 c #Conflicts: 1548000 | #Constraints: 38211 3442.67/3456.60 c #Conflicts: 1549000 | #Constraints: 39211 3442.67/3456.60 c #Conflicts: 1550000 | #Constraints: 40211 3442.67/3456.60 c #Conflicts: 1551000 | #Constraints: 41211 3442.67/3456.60 c #Conflicts: 1552000 | #Constraints: 42211 3442.67/3456.60 c #Conflicts: 1553000 | #Constraints: 43211 3442.67/3456.60 c #Conflicts: 1554000 | #Constraints: 44211 3442.67/3456.60 c #Conflicts: 1555000 | #Constraints: 45211 3442.67/3456.60 c #Conflicts: 1556000 | #Constraints: 46211 3442.67/3456.60 c #Conflicts: 1557000 | #Constraints: 47211 3442.67/3456.60 c #Conflicts: 1558000 | #Constraints: 48211 3442.67/3456.60 c #Conflicts: 1559000 | #Constraints: 49211 3442.67/3456.60 c #Conflicts: 1560000 | #Constraints: 50211 3442.67/3456.60 c INPROCESSING 3442.67/3456.60 c GARBAGE COLLECT 3442.67/3456.60 c rational objective 1.47864 3522.65/3536.99 c #Conflicts: 1561000 | #Constraints: 26112 3522.65/3536.99 c #Conflicts: 1562000 | #Constraints: 27113 3522.65/3536.99 c #Conflicts: 1563000 | #Constraints: 28113 3522.65/3536.99 c #Conflicts: 1564000 | #Constraints: 29113 3522.65/3536.99 c #Conflicts: 1565000 | #Constraints: 30113 3522.65/3536.99 c #Conflicts: 1566000 | #Constraints: 31113 3522.65/3536.99 c #Conflicts: 1567000 | #Constraints: 32113 3522.65/3536.99 c #Conflicts: 1568000 | #Constraints: 33113 3522.65/3536.99 c #Conflicts: 1569000 | #Constraints: 34113 3522.65/3536.99 c #Conflicts: 1570000 | #Constraints: 35113 3522.65/3536.99 c #Conflicts: 1571000 | #Constraints: 36113 3522.65/3536.99 c #Conflicts: 1572000 | #Constraints: 37113 3522.65/3536.99 c #Conflicts: 1573000 | #Constraints: 38113 3522.65/3536.99 c #Conflicts: 1574000 | #Constraints: 39113 3522.65/3536.99 c #Conflicts: 1575000 | #Constraints: 40113 3522.65/3536.99 c #Conflicts: 1576000 | #Constraints: 41113 3522.65/3536.99 c #Conflicts: 1577000 | #Constraints: 42113 3522.65/3536.99 c #Conflicts: 1578000 | #Constraints: 43113 3522.65/3536.99 c #Conflicts: 1579000 | #Constraints: 44113 3522.65/3536.99 c #Conflicts: 1580000 | #Constraints: 45113 3522.65/3536.99 c #Conflicts: 1581000 | #Constraints: 46113 3522.65/3536.99 c #Conflicts: 1582000 | #Constraints: 47113 3522.65/3536.99 c #Conflicts: 1583000 | #Constraints: 48113 3522.65/3536.99 c #Conflicts: 1584000 | #Constraints: 49113 3522.65/3536.99 c #Conflicts: 1585000 | #Constraints: 50113 3522.65/3536.99 c INPROCESSING 3522.65/3536.99 c GARBAGE COLLECT 3522.65/3536.99 c rational objective 1.47864 3600.04/3614.60 c #Conflicts: 1586000 | #Constraints: 25812 3600.04/3614.60 c #Conflicts: 1587000 | #Constraints: 26812 3600.04/3614.60 c #Conflicts: 1588000 | #Constraints: 27812 3600.04/3614.60 c #Conflicts: 1589000 | #Constraints: 28812 3600.04/3614.60 c #Conflicts: 1590000 | #Constraints: 29812 3600.04/3614.60 c #Conflicts: 1591000 | #Constraints: 30812 3600.04/3614.60 c #Conflicts: 1592000 | #Constraints: 31812 3600.04/3614.60 c #Conflicts: 1593000 | #Constraints: 32812 3600.04/3614.60 c #Conflicts: 1594000 | #Constraints: 33812 3600.04/3614.60 c #Conflicts: 1595000 | #Constraints: 34812 3600.04/3614.60 c #Conflicts: 1596000 | #Constraints: 35812 3600.04/3614.60 c #Conflicts: 1597000 | #Constraints: 36812 3600.04/3614.60 c #Conflicts: 1598000 | #Constraints: 37812 3600.04/3614.60 c #Conflicts: 1599000 | #Constraints: 38812 3600.04/3614.60 c #Conflicts: 1600000 | #Constraints: 39812 3600.04/3614.60 c #Conflicts: 1601000 | #Constraints: 40812 3600.04/3614.60 c #Conflicts: 1602000 | #Constraints: 41812 3600.04/3614.60 c #Conflicts: 1603000 | #Constraints: 42812 3600.04/3614.60 c #Conflicts: 1604000 | #Constraints: 43812 3600.04/3614.60 c #Conflicts: 1605000 | #Constraints: 44812 3600.04/3614.60 c #Conflicts: 1606000 | #Constraints: 45812 3600.04/3614.60 c #Conflicts: 1607000 | #Constraints: 46812 3600.04/3614.60 c #Conflicts: 1608000 | #Constraints: 47812 3600.04/3614.60 c #Conflicts: 1609000 | #Constraints: 48812 3600.04/3614.60 c #Conflicts: 1610000 | #Constraints: 49812 3600.04/3614.60 c Program interrupted by user. 3600.04/3614.60 c cpu time 3574.77 s 3600.04/3614.60 c deterministic time 564346966038 5.64e+11 3600.04/3614.60 c optimization time 76.8985 s 3600.04/3614.60 c total solve time 3497.88 s 3600.04/3614.60 c core-guided solve time 0 s 3600.04/3614.60 c propagation time 3178.72 s 3600.04/3614.60 c conflict analysis time 372.546 s 3600.04/3614.60 c propagations 10551918 3600.04/3614.60 c resolve steps 5158605 3600.04/3614.60 c decisions 3910168 3600.04/3614.60 c conflicts 1610233 3600.04/3614.60 c restarts 3069 3600.04/3614.60 c inprocessing phases 105 3600.04/3614.60 c input clauses 0 3600.04/3614.60 c input cardinalities 0 3600.04/3614.60 c input general constraints 2 3600.04/3614.60 c input average constraint length 52.00 3600.04/3614.60 c input average constraint degree 36188387.00 3600.04/3614.60 c learned clauses 869177 3600.04/3614.60 c learned cardinalities 67 3600.04/3614.60 c learned general constraints 741083 3600.04/3614.60 c learned average constraint length 40.39 3600.04/3614.60 c learned average constraint degree 11070167.77 3600.04/3614.60 c watched constraints 465506 3600.04/3614.60 c counting constraints 275579 3600.04/3614.60 c gcd simplifications 876457 3600.04/3614.60 c detected cardinalities 66 3600.04/3614.60 c weakened non-implied lits 3469330 3600.04/3614.60 c weakened non-implying lits 1910888 3600.04/3614.60 c original variables 52 3600.04/3614.60 c clausal propagations 562689 3600.04/3614.60 c cardinality propagations 79 3600.04/3614.60 c watched propagations 4458569 3600.04/3614.60 c counting propagations 4198247 3600.04/3614.60 c watch lookups 87370054611 3600.04/3614.60 c watch backjump lookups 86717963174 3600.04/3614.60 c watch checks 17794254457 3600.04/3614.60 c propagation checks 372114006456 3600.04/3614.60 c constraint additions 318818384 3600.04/3614.60 c trail pops 16072176 3600.04/3614.60 c formula constraints 2 3600.04/3614.60 c learned constraints 1610139 3600.04/3614.60 c bound constraints 0 3600.04/3614.60 c core-guided constraints 0 3600.04/3614.60 c encountered formula constraints 3924395 3600.04/3614.60 c encountered learned constraints 2841868 3600.04/3614.60 c encountered bound constraints 0 3600.04/3614.60 c encountered core-guided constraints 0 3600.04/3614.60 c LP total time 52.0959 s 3600.04/3614.60 c LP solve time 42.9 s 3600.04/3614.60 c LP constraints added 17 3600.04/3614.60 c LP constraints removed 7 3600.04/3614.60 c LP pivots internal 1333466 3600.04/3614.60 c LP pivots root 1227 3600.04/3614.60 c LP calls 1065441 3600.04/3614.60 c LP optimalities 1065347 3600.04/3614.60 c LP no pivot count 297648 3600.04/3614.60 c LP infeasibilities 94 3600.04/3614.60 c LP valid Farkas constraints 94 3600.04/3614.60 c LP learned Farkas constraints 94 3600.04/3614.60 c LP basis resets 0 3600.04/3614.60 c LP cycling count 0 3600.04/3614.60 c LP singular count 0 3600.04/3614.60 c LP no primal count 0 3600.04/3614.60 c LP no farkas count 0 3600.04/3614.60 c LP other issue count 0 3600.04/3614.60 c LP Gomory cuts 0 3600.04/3614.60 c LP learned cuts 15 3600.04/3614.60 c LP deleted cuts 7 3600.04/3614.60 c LP encountered Gomory constraints 0 3600.04/3614.60 c LP encountered Farkas constraints 1983 3600.04/3614.60 c LP encountered learned Farkas constraints 498 3600.04/3614.60 c CG auxiliary variables introduced 0 3600.04/3614.60 c CG solutions found 0 3600.04/3614.60 c CG cores constructed 0 3600.04/3614.60 c CG core cardinality constraints returned 0 3600.04/3614.60 c CG unit cores 0 3600.04/3614.60 c CG single cores 0 3600.04/3614.60 c CG blocks removed during cardinality reduction 0 3600.04/3614.60 c CG first core best 0 3600.04/3614.60 c CG decision core best 0 3600.04/3614.60 c CG core reduction tie 0 3600.04/3614.60 c CG core degree average 0.00 3600.04/3614.60 c CG core slack average 0.00 3600.04/3614.60 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (23596 MiB free)
memory of node 1: 64473 MiB (10071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456934-1721817201/watcher-4456934-1721817201 -o /tmp/evaluation-result-4456934-1721817201/solver-4456934-1721817201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721817187-230377 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456934-1721817201 --lp-cut-gomory=0 HOME/instance-4456934-1721817201.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=230534, runsolver pid=230531
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.09 0.30 0.16 5/256 230535
/proc/meminfo: memFree=34472276/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=37900 memory=9956 CPUtime=0.1 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 420 0 0 0 9 1 0 0 20 0 1 0 18248400 38809600 2489 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 9475 2489 1760 992 0 1333 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 9956 KiB
[startup+0.205937 s]*
/proc/loadavg: 1.09 0.30 0.16 5/256 230535
/proc/meminfo: memFree=34470924/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=38148 memory=10444 CPUtime=0.2 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 466 0 0 0 18 2 0 0 20 0 1 0 18248400 39063552 2611 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 9537 2611 1815 992 0 1395 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 10444 KiB
[startup+0.305867 s]*
/proc/loadavg: 1.09 0.30 0.16 5/256 230535
/proc/meminfo: memFree=34469916/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=38148 memory=10444 CPUtime=0.3 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 474 0 0 0 27 3 0 0 20 0 1 0 18248400 39063552 2611 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 9537 2611 1815 992 0 1395 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 10444 KiB
[startup+0.70024 s]
/proc/loadavg: 1.09 0.30 0.16 5/256 230535
/proc/meminfo: memFree=34467912/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=38420 memory=10704 CPUtime=0.69 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 551 0 0 0 63 6 0 0 20 0 1 0 18248400 39342080 2676 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 9605 2676 1815 992 0 1463 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 10704 KiB
[startup+1.50023 s]
/proc/loadavg: 1.09 0.30 0.16 5/256 230535
/proc/meminfo: memFree=34464116/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=39148 memory=11232 CPUtime=1.48 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 695 0 0 0 138 10 0 0 20 0 1 0 18248400 40087552 2808 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 9787 2808 1815 992 0 1645 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39148 KiB
Current children cumulated memory: 11232 KiB
[startup+3.10607 s]
/proc/loadavg: 1.32 0.37 0.18 5/259 230538
/proc/meminfo: memFree=34452792/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=39532 memory=11816 CPUtime=3.08 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 813 0 0 0 290 18 0 0 20 0 1 0 18248400 40480768 2954 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 9883 2954 1815 992 0 1741 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39532 KiB
Current children cumulated memory: 11816 KiB
[startup+6.30022 s]
/proc/loadavg: 1.32 0.37 0.18 5/259 230539
/proc/meminfo: memFree=34439024/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=40204 memory=14484 CPUtime=6.27 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 967 0 0 0 595 32 0 0 20 0 1 0 18248400 41168896 3621 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 10051 3621 1815 992 0 1909 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40204 KiB
Current children cumulated memory: 14484 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 0.43 0.20 5/258 230539
/proc/meminfo: memFree=34419448/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=41324 memory=15376 CPUtime=12.64 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 1167 0 0 0 1213 51 0 0 20 0 1 0 18248400 42315776 3844 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 10331 3844 1847 992 0 2189 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 41324 KiB
Current children cumulated memory: 15376 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 0.60 0.26 5/258 230542
/proc/meminfo: memFree=34386860/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=42064 memory=16120 CPUtime=25.39 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 1377 0 0 0 2454 85 0 0 20 0 1 0 18248400 43073536 4030 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 10516 4030 1847 992 0 2374 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 42064 KiB
Current children cumulated memory: 16120 KiB
[startup+51.1061 s]
/proc/loadavg: 2.80 0.89 0.37 5/258 230545
/proc/meminfo: memFree=34337176/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=52500 memory=22484 CPUtime=50.87 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 2964 0 0 0 4950 137 0 0 20 0 1 0 18248400 53760000 5621 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 13125 5621 1847 992 0 4983 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 22484 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.39 0.57 5/258 230646
/proc/meminfo: memFree=36991756/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=54104 memory=26528 CPUtime=101.86 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 3569 0 0 0 9971 215 0 0 20 0 1 0 18248400 55402496 6632 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 13526 6632 1847 992 0 5384 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 26528 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.90 0.80 5/255 230657
/proc/meminfo: memFree=36619128/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=56408 memory=28436 CPUtime=161.64 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 5174 0 0 0 15873 291 0 0 20 0 1 0 18248400 57761792 7109 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 14102 7109 1847 992 0 5960 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 28436 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.30 1.00 5/255 230667
/proc/meminfo: memFree=36252700/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=64692 memory=34020 CPUtime=221.42 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 5844 0 0 0 21784 358 0 0 20 0 1 0 18248400 66244608 8505 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 16173 8505 1847 992 0 8031 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 64692 KiB
Current children cumulated memory: 34020 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.63 1.20 5/255 230677
/proc/meminfo: memFree=35974036/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=66996 memory=35320 CPUtime=281.19 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 6681 0 0 0 27707 412 0 0 20 0 1 0 18248400 68603904 8830 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 16749 8830 1847 992 0 8607 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 35320 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 2.94 1.40 5/254 230688
/proc/meminfo: memFree=35687952/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=66996 memory=35320 CPUtime=340.96 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 6694 0 0 0 33618 478 0 0 20 0 1 0 18248400 68603904 8830 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 16749 8830 1847 992 0 8607 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 35320 KiB
[startup+402.3 s]
/proc/loadavg: 4.48 3.23 1.60 5/255 230700
/proc/meminfo: memFree=35462540/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=66996 memory=35320 CPUtime=400.73 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 6702 0 0 0 39525 548 0 0 20 0 1 0 18248400 68603904 8830 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 16749 8830 1847 992 0 8607 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 35320 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.39 1.75 5/257 230714
/proc/meminfo: memFree=35262268/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=66996 memory=35320 CPUtime=460.48 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 6711 0 0 0 45434 614 0 0 20 0 1 0 18248400 68603904 8830 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 16749 8830 1847 992 0 8607 0
################
# More data... #
################
Current children cumulated memory: 42300 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.17 4.01 5/257 231992
/proc/meminfo: memFree=29666792/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=69692 memory=42300 CPUtime=2850.79 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 10261 0 0 0 282915 2164 0 0 20 0 1 0 18248400 71364608 10575 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17423 10575 1847 992 0 9281 0
Current children cumulated CPU time: 2850.79 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 42300 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.01 5/257 232003
/proc/meminfo: memFree=29194948/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=69692 memory=42304 CPUtime=2910.54 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 10447 0 0 0 288857 2197 0 0 20 0 1 0 18248400 71364608 10576 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17423 10576 1847 992 0 9281 0
Current children cumulated CPU time: 2910.54 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 42304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.14 4.01 5/257 232014
/proc/meminfo: memFree=28515432/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=69692 memory=42304 CPUtime=2970.29 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 10635 0 0 0 294799 2230 0 0 20 0 1 0 18248400 71364608 10576 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17423 10576 1847 992 0 9281 0
Current children cumulated CPU time: 2970.29 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 42304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.01 5/257 232025
/proc/meminfo: memFree=27995296/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=69696 memory=42312 CPUtime=3030.04 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 10823 0 0 0 300747 2257 0 0 20 0 1 0 18248400 71368704 10578 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17424 10578 1847 992 0 9282 0
Current children cumulated CPU time: 3030.04 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 42312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.02 5/257 232035
/proc/meminfo: memFree=27442584/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=69696 memory=42312 CPUtime=3089.79 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 10839 0 0 0 306693 2286 0 0 20 0 1 0 18248400 71368704 10578 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17424 10578 1847 992 0 9282 0
Current children cumulated CPU time: 3089.79 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 42312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.12 4.01 5/257 232434
/proc/meminfo: memFree=27029368/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=69824 memory=42440 CPUtime=3149.55 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 11059 0 0 0 312635 2320 0 0 20 0 1 0 18248400 71499776 10610 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17456 10610 1847 992 0 9314 0
Current children cumulated CPU time: 3149.55 s
Current children cumulated vsize: 69824 KiB
Current children cumulated memory: 42440 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/257 232444
/proc/meminfo: memFree=26601704/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70084 memory=43188 CPUtime=3209.3 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 11400 0 0 0 318581 2349 0 0 20 0 1 0 18248400 71766016 10797 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17521 10797 1847 992 0 9379 0
Current children cumulated CPU time: 3209.3 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/257 232454
/proc/meminfo: memFree=26359152/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70084 memory=43192 CPUtime=3269.06 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 11557 0 0 0 324529 2377 0 0 20 0 1 0 18248400 71766016 10798 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17521 10798 1847 992 0 9379 0
Current children cumulated CPU time: 3269.06 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/258 232633
/proc/meminfo: memFree=25754028/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70084 memory=43192 CPUtime=3328.82 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 11573 0 0 0 330474 2408 0 0 20 0 1 0 18248400 71766016 10798 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17521 10798 1847 992 0 9379 0
Current children cumulated CPU time: 3328.82 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43192 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.16 4.04 5/257 232644
/proc/meminfo: memFree=25063940/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70084 memory=43192 CPUtime=3388.58 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 11730 0 0 0 336424 2434 0 0 20 0 1 0 18248400 71766016 10798 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17521 10798 1847 992 0 9379 0
Current children cumulated CPU time: 3388.58 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.21 4.06 5/258 232714
/proc/meminfo: memFree=24455788/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70604 memory=43752 CPUtime=3448.35 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 11986 0 0 0 342376 2459 0 0 20 0 1 0 18248400 72298496 10938 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17651 10938 1847 992 0 9509 0
Current children cumulated CPU time: 3448.35 s
Current children cumulated vsize: 70604 KiB
Current children cumulated memory: 43752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.20 4.07 5/258 232725
/proc/meminfo: memFree=23869388/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70604 memory=43752 CPUtime=3508.11 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 12002 0 0 0 348325 2486 0 0 20 0 1 0 18248400 72298496 10938 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17651 10938 1847 992 0 9509 0
Current children cumulated CPU time: 3508.11 s
Current children cumulated vsize: 70604 KiB
Current children cumulated memory: 43752 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.07 5/258 232736
/proc/meminfo: memFree=23320136/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70732 memory=43928 CPUtime=3567.87 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 12203 0 0 0 354273 2514 0 0 20 0 1 0 18248400 72429568 10982 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17683 10982 1847 992 0 9541 0
Current children cumulated CPU time: 3567.87 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 43928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.6 s]
/proc/loadavg: 4.14 4.17 4.07 5/258 232791
/proc/meminfo: memFree=23772384/131524600 swapFree=131071728/131071996
[pid=230534] ppid=230531 vsize=70732 memory=43928 CPUtime=3600.04 cores=0,2
/proc/230534/stat : 230534 (roundingsat) R 230531 230534 230367 0 -1 4194304 12220 0 0 0 357477 2527 0 0 20 0 1 0 18248400 72429568 10982 134679101440 4194304 8254037 140734309894336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38899712 140734309897056 140734309897318 140734309897318 140734309904329 0
/proc/230534/statm: 17683 10982 1847 992 0 9541 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 43928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.61 s]
# the end of solver process 230534 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.78 s, system=25.2712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.61
CPU time (s): 3600.05
CPU user time (s): 3574.78
CPU system time (s): 25.2712
CPU usage (%): 99.5972
Max. virtual memory (cumulated for all children) (KiB): 71188
Max. memory (cumulated for all children) (KiB): 43928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.78
system time used= 25.2712
maximum resident set size= 44476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2589368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 24970
# summary of solver processes directly reported to runsolver:
# pid: 230534
# total CPU time (s): 3600.05
# total CPU user time (s): 3574.78
# total CPU system time (s): 25.2712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36581 second user time and 17.5181 second system time
The end
Begin job on nodeC027 at 2024-07-24 12:33:21 IDJOB=4456934 IDBENCH=148106 IDSOLVER=3085 FILE ID=nodeC027/4456934-1721817201 RUNJOBID= nodeC027-1721817187-230377 SLURM_JOB_ID= 7816885 Free space on /tmp= 889892 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456934-1721817201/watcher-4456934-1721817201 -o /tmp/evaluation-result-4456934-1721817201/solver-4456934-1721817201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721817187-230377 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456934-1721817201 --lp-cut-gomory=0 HOME/instance-4456934-1721817201.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc RANDOM SEED=163470675 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.098 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.74 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 : 3678.280 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.65 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 : 3657.817 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.74 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.067 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.65 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 : 3656.486 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.74 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 : 3678.474 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.65 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 : 3603.547 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.74 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 : 3599.909 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 34477264 kB MemAvailable: 126918068 kB Buffers: 247752 kB Cached: 92781360 kB SwapCached: 48 kB Active: 2667432 kB Inactive: 93359032 kB Active(anon): 1572 kB Inactive(anon): 3049772 kB Active(file): 2665860 kB Inactive(file): 90309260 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 18840 kB Writeback: 0 kB AnonPages: 2997312 kB Mapped: 125344 kB Shmem: 53980 kB KReclaimable: 527092 kB Slab: 656460 kB SReclaimable: 527092 kB SUnreclaim: 129368 kB KernelStack: 4176 kB PageTables: 15152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3402724 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 1406976 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: 357076 kB DirectMap2M: 40310784 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890048 MiB End job on nodeC027 at 2024-07-24 13:33:36