| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.1 | 3613.94 |
| 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.21/0.26 c #Conflicts: 1000 | #Constraints: 1001 0.21/0.26 c #Conflicts: 2000 | #Constraints: 2001 0.21/0.26 c INPROCESSING 0.21/0.26 c GARBAGE COLLECT 0.21/0.26 c rational objective 1.0539 0.51/0.58 c #Conflicts: 3000 | #Constraints: 2002 0.51/0.58 c #Conflicts: 4000 | #Constraints: 3002 0.51/0.58 c INPROCESSING 0.51/0.58 c GARBAGE COLLECT 0.51/0.58 c rational objective 1.14336 0.88/0.99 c #Conflicts: 5000 | #Constraints: 2401 0.88/0.99 c #Conflicts: 6000 | #Constraints: 3401 0.88/0.99 c INPROCESSING 0.88/0.99 c GARBAGE COLLECT 0.88/0.99 c rational objective 1.19202 1.78/1.82 c #Conflicts: 7000 | #Constraints: 2404 1.78/1.82 c #Conflicts: 8000 | #Constraints: 3404 1.78/1.82 c #Conflicts: 9000 | #Constraints: 4404 1.78/1.82 c INPROCESSING 1.78/1.82 c GARBAGE COLLECT 1.78/1.82 c rational objective 1.14585 2.48/2.54 c #Conflicts: 10000 | #Constraints: 3107 2.48/2.54 c #Conflicts: 11000 | #Constraints: 4107 2.48/2.54 c #Conflicts: 12000 | #Constraints: 5107 2.48/2.54 c INPROCESSING 2.48/2.54 c GARBAGE COLLECT 2.48/2.54 c rational objective 1.18915 3.37/3.48 c #Conflicts: 13000 | #Constraints: 3557 3.37/3.48 c #Conflicts: 14000 | #Constraints: 4557 3.37/3.48 c #Conflicts: 15000 | #Constraints: 5557 3.37/3.48 c INPROCESSING 3.37/3.48 c GARBAGE COLLECT 3.37/3.48 c rational objective 1.20806 4.37/4.45 c #Conflicts: 16000 | #Constraints: 3780 4.37/4.45 c #Conflicts: 17000 | #Constraints: 4780 4.37/4.45 c #Conflicts: 18000 | #Constraints: 5780 4.37/4.45 c INPROCESSING 4.37/4.45 c GARBAGE COLLECT 4.37/4.45 c rational objective 1.2663 5.77/5.86 c #Conflicts: 19000 | #Constraints: 3796 5.77/5.86 c #Conflicts: 20000 | #Constraints: 4796 5.77/5.86 c #Conflicts: 21000 | #Constraints: 5796 5.77/5.86 c INPROCESSING 5.77/5.86 c GARBAGE COLLECT 5.77/5.86 c rational objective 1.2663 7.47/7.57 c #Conflicts: 22000 | #Constraints: 3601 7.47/7.57 c #Conflicts: 23000 | #Constraints: 4601 7.47/7.57 c #Conflicts: 24000 | #Constraints: 5601 7.47/7.57 c #Conflicts: 25000 | #Constraints: 6601 7.47/7.57 c INPROCESSING 7.47/7.57 c GARBAGE COLLECT 7.47/7.57 c rational objective 1.27125 9.36/9.46 c #Conflicts: 26000 | #Constraints: 4206 9.36/9.46 c #Conflicts: 27000 | #Constraints: 5206 9.36/9.46 c #Conflicts: 28000 | #Constraints: 6206 9.36/9.46 c #Conflicts: 29000 | #Constraints: 7206 9.36/9.46 c INPROCESSING 9.36/9.46 c GARBAGE COLLECT 9.36/9.46 c rational objective 1.27125 11.16/11.29 c #Conflicts: 30000 | #Constraints: 4605 11.16/11.29 c #Conflicts: 31000 | #Constraints: 5606 11.16/11.29 c #Conflicts: 32000 | #Constraints: 6606 11.16/11.29 c #Conflicts: 33000 | #Constraints: 7606 11.16/11.29 c INPROCESSING 11.16/11.29 c GARBAGE COLLECT 11.16/11.29 c rational objective 1.27125 13.96/14.11 c #Conflicts: 34000 | #Constraints: 4808 13.96/14.11 c #Conflicts: 35000 | #Constraints: 5808 13.96/14.11 c #Conflicts: 36000 | #Constraints: 6808 13.96/14.11 c #Conflicts: 37000 | #Constraints: 7808 13.96/14.11 c INPROCESSING 13.96/14.11 c GARBAGE COLLECT 13.96/14.11 c rational objective 1.27125 16.24/16.31 c #Conflicts: 38000 | #Constraints: 4808 16.24/16.31 c #Conflicts: 39000 | #Constraints: 5808 16.24/16.31 c #Conflicts: 40000 | #Constraints: 6808 16.24/16.31 c #Conflicts: 41000 | #Constraints: 7808 16.24/16.31 c INPROCESSING 16.24/16.31 c GARBAGE COLLECT 16.24/16.31 c rational objective 1.27319 19.62/19.77 c #Conflicts: 42000 | #Constraints: 4609 19.62/19.77 c #Conflicts: 43000 | #Constraints: 5609 19.62/19.77 c #Conflicts: 44000 | #Constraints: 6609 19.62/19.77 c #Conflicts: 45000 | #Constraints: 7609 19.62/19.77 c #Conflicts: 46000 | #Constraints: 8610 19.62/19.77 c INPROCESSING 19.62/19.77 c GARBAGE COLLECT 19.62/19.77 c rational objective 1.27319 22.22/22.33 c #Conflicts: 47000 | #Constraints: 5209 22.22/22.33 c #Conflicts: 48000 | #Constraints: 6209 22.22/22.33 c #Conflicts: 49000 | #Constraints: 7209 22.22/22.33 c #Conflicts: 50000 | #Constraints: 8209 22.22/22.33 c #Conflicts: 51000 | #Constraints: 9209 22.22/22.33 c INPROCESSING 22.22/22.33 c GARBAGE COLLECT 22.22/22.33 c rational objective 1.27319 24.81/24.99 c #Conflicts: 52000 | #Constraints: 5609 24.81/24.99 c #Conflicts: 53000 | #Constraints: 6609 24.81/24.99 c #Conflicts: 54000 | #Constraints: 7609 24.81/24.99 c #Conflicts: 55000 | #Constraints: 8609 24.81/24.99 c #Conflicts: 56000 | #Constraints: 9609 24.81/24.99 c INPROCESSING 24.81/24.99 c GARBAGE COLLECT 24.81/24.99 c rational objective 1.27319 28.21/28.35 c #Conflicts: 57000 | #Constraints: 5806 28.21/28.35 c #Conflicts: 58000 | #Constraints: 6806 28.21/28.35 c #Conflicts: 59000 | #Constraints: 7806 28.21/28.35 c #Conflicts: 60000 | #Constraints: 8806 28.21/28.35 c #Conflicts: 61000 | #Constraints: 9806 28.21/28.35 c INPROCESSING 28.21/28.35 c GARBAGE COLLECT 28.21/28.35 c rational objective 1.27319 32.60/32.70 c #Conflicts: 62000 | #Constraints: 5807 32.60/32.70 c #Conflicts: 63000 | #Constraints: 6807 32.60/32.70 c #Conflicts: 64000 | #Constraints: 7807 32.60/32.70 c #Conflicts: 65000 | #Constraints: 8807 32.60/32.70 c #Conflicts: 66000 | #Constraints: 9807 32.60/32.70 c INPROCESSING 32.60/32.70 c GARBAGE COLLECT 32.60/32.70 c rational objective 1.27319 52.82/53.04 c #Conflicts: 67000 | #Constraints: 5607 52.82/53.04 c #Conflicts: 68000 | #Constraints: 6607 52.82/53.04 c #Conflicts: 69000 | #Constraints: 7607 52.82/53.04 c #Conflicts: 70000 | #Constraints: 8607 52.82/53.04 c #Conflicts: 71000 | #Constraints: 9607 52.82/53.04 c #Conflicts: 72000 | #Constraints: 10607 52.82/53.04 c #Conflicts: 73000 | #Constraints: 11607 52.82/53.04 c #Conflicts: 74000 | #Constraints: 12607 52.82/53.04 c #Conflicts: 75000 | #Constraints: 13607 52.82/53.04 c #Conflicts: 76000 | #Constraints: 14607 52.82/53.04 c #Conflicts: 77000 | #Constraints: 15607 52.82/53.04 c #Conflicts: 78000 | #Constraints: 16607 52.82/53.04 c #Conflicts: 79000 | #Constraints: 17607 52.82/53.04 c #Conflicts: 80000 | #Constraints: 18607 52.82/53.04 c #Conflicts: 81000 | #Constraints: 19607 52.82/53.04 c #Conflicts: 82000 | #Constraints: 20607 52.82/53.04 c #Conflicts: 83000 | #Constraints: 21607 52.82/53.04 c #Conflicts: 84000 | #Constraints: 22607 52.82/53.04 c #Conflicts: 85000 | #Constraints: 23607 52.82/53.04 c #Conflicts: 86000 | #Constraints: 24607 52.82/53.04 c #Conflicts: 87000 | #Constraints: 25607 52.82/53.04 c #Conflicts: 88000 | #Constraints: 26607 52.82/53.04 c #Conflicts: 89000 | #Constraints: 27607 52.82/53.04 c INPROCESSING 52.82/53.04 c GARBAGE COLLECT 52.82/53.04 c rational objective 1.27319 65.37/65.68 c #Conflicts: 90000 | #Constraints: 14656 65.37/65.68 c #Conflicts: 91000 | #Constraints: 15656 65.37/65.68 c #Conflicts: 92000 | #Constraints: 16656 65.37/65.68 c #Conflicts: 93000 | #Constraints: 17656 65.37/65.68 c #Conflicts: 94000 | #Constraints: 18656 65.37/65.68 c #Conflicts: 95000 | #Constraints: 19656 65.37/65.68 c #Conflicts: 96000 | #Constraints: 20656 65.37/65.68 c INPROCESSING 65.37/65.68 c GARBAGE COLLECT 65.37/65.68 c rational objective 1.27883 74.54/74.84 c #Conflicts: 97000 | #Constraints: 11331 74.54/74.84 c #Conflicts: 98000 | #Constraints: 12331 74.54/74.84 c #Conflicts: 99000 | #Constraints: 13331 74.54/74.84 c #Conflicts: 100000 | #Constraints: 14331 74.54/74.84 c #Conflicts: 101000 | #Constraints: 15331 74.54/74.84 c #Conflicts: 102000 | #Constraints: 16331 74.54/74.84 c INPROCESSING 74.54/74.84 c GARBAGE COLLECT 74.54/74.84 c rational objective 1.27883 81.38/81.77 c #Conflicts: 103000 | #Constraints: 8719 81.38/81.77 c #Conflicts: 104000 | #Constraints: 9719 81.38/81.77 c #Conflicts: 105000 | #Constraints: 10719 81.38/81.77 c #Conflicts: 106000 | #Constraints: 11719 81.38/81.77 c #Conflicts: 107000 | #Constraints: 12719 81.38/81.77 c #Conflicts: 108000 | #Constraints: 13719 81.38/81.77 c #Conflicts: 109000 | #Constraints: 14719 81.38/81.77 c #Conflicts: 110000 | #Constraints: 15719 81.38/81.77 c INPROCESSING 81.38/81.77 c GARBAGE COLLECT 81.38/81.77 c rational objective 1.27883 113.35/113.88 c #Conflicts: 111000 | #Constraints: 8865 113.35/113.88 c #Conflicts: 112000 | #Constraints: 9865 113.35/113.88 c #Conflicts: 113000 | #Constraints: 10865 113.35/113.88 c #Conflicts: 114000 | #Constraints: 11865 113.35/113.88 c #Conflicts: 115000 | #Constraints: 12865 113.35/113.88 c #Conflicts: 116000 | #Constraints: 13865 113.35/113.88 c #Conflicts: 117000 | #Constraints: 14865 113.35/113.88 c #Conflicts: 118000 | #Constraints: 15865 113.35/113.88 c #Conflicts: 119000 | #Constraints: 16865 113.35/113.88 c #Conflicts: 120000 | #Constraints: 17865 113.35/113.88 c #Conflicts: 121000 | #Constraints: 18865 113.35/113.88 c #Conflicts: 122000 | #Constraints: 19865 113.35/113.88 c #Conflicts: 123000 | #Constraints: 20865 113.35/113.88 c #Conflicts: 124000 | #Constraints: 21865 113.35/113.88 c #Conflicts: 125000 | #Constraints: 22865 113.35/113.88 c #Conflicts: 126000 | #Constraints: 23865 113.35/113.88 c #Conflicts: 127000 | #Constraints: 24865 113.35/113.88 c #Conflicts: 128000 | #Constraints: 25865 113.35/113.88 c #Conflicts: 129000 | #Constraints: 26865 113.35/113.88 c #Conflicts: 130000 | #Constraints: 27865 113.35/113.88 c #Conflicts: 131000 | #Constraints: 28865 113.35/113.88 c #Conflicts: 132000 | #Constraints: 29865 113.35/113.88 c #Conflicts: 133000 | #Constraints: 30865 113.35/113.88 c #Conflicts: 134000 | #Constraints: 31865 113.35/113.88 c #Conflicts: 135000 | #Constraints: 32865 113.35/113.88 c #Conflicts: 136000 | #Constraints: 33865 113.35/113.88 c #Conflicts: 137000 | #Constraints: 34865 113.35/113.88 c #Conflicts: 138000 | #Constraints: 35865 113.35/113.88 c INPROCESSING 113.35/113.88 c GARBAGE COLLECT 113.35/113.88 c rational objective 1.27883 129.90/130.43 c #Conflicts: 139000 | #Constraints: 18935 129.90/130.43 c #Conflicts: 140000 | #Constraints: 19935 129.90/130.43 c #Conflicts: 141000 | #Constraints: 20935 129.90/130.43 c #Conflicts: 142000 | #Constraints: 21935 129.90/130.43 c #Conflicts: 143000 | #Constraints: 22935 129.90/130.43 c #Conflicts: 144000 | #Constraints: 23935 129.90/130.43 c #Conflicts: 145000 | #Constraints: 24935 129.90/130.43 c #Conflicts: 146000 | #Constraints: 25935 129.90/130.43 c INPROCESSING 129.90/130.43 c GARBAGE COLLECT 129.90/130.43 c rational objective 1.38971 142.33/142.95 c #Conflicts: 147000 | #Constraints: 13773 142.33/142.95 c #Conflicts: 148000 | #Constraints: 14773 142.33/142.95 c #Conflicts: 149000 | #Constraints: 15774 142.33/142.95 c #Conflicts: 150000 | #Constraints: 16774 142.33/142.95 c #Conflicts: 151000 | #Constraints: 17774 142.33/142.95 c #Conflicts: 152000 | #Constraints: 18774 142.33/142.95 c #Conflicts: 153000 | #Constraints: 19774 142.33/142.95 c #Conflicts: 154000 | #Constraints: 20774 142.33/142.95 c #Conflicts: 155000 | #Constraints: 21774 142.33/142.95 c INPROCESSING 142.33/142.95 c GARBAGE COLLECT 142.33/142.95 c rational objective 1.38971 152.79/153.49 c #Conflicts: 156000 | #Constraints: 11889 152.79/153.49 c #Conflicts: 157000 | #Constraints: 12890 152.79/153.49 c #Conflicts: 158000 | #Constraints: 13890 152.79/153.49 c #Conflicts: 159000 | #Constraints: 14890 152.79/153.49 c #Conflicts: 160000 | #Constraints: 15890 152.79/153.49 c #Conflicts: 161000 | #Constraints: 16890 152.79/153.49 c #Conflicts: 162000 | #Constraints: 17890 152.79/153.49 c #Conflicts: 163000 | #Constraints: 18890 152.79/153.49 c INPROCESSING 152.79/153.49 c GARBAGE COLLECT 152.79/153.49 c rational objective 1.38971 163.07/163.70 c #Conflicts: 164000 | #Constraints: 10049 163.07/163.70 c #Conflicts: 165000 | #Constraints: 11049 163.07/163.70 c #Conflicts: 166000 | #Constraints: 12049 163.07/163.70 c #Conflicts: 167000 | #Constraints: 13049 163.07/163.70 c #Conflicts: 168000 | #Constraints: 14049 163.07/163.70 c #Conflicts: 169000 | #Constraints: 15050 163.07/163.70 c #Conflicts: 170000 | #Constraints: 16050 163.07/163.70 c #Conflicts: 171000 | #Constraints: 17050 163.07/163.70 c #Conflicts: 172000 | #Constraints: 18050 163.07/163.70 c INPROCESSING 163.07/163.70 c GARBAGE COLLECT 163.07/163.70 c rational objective 1.38971 173.69/174.49 c #Conflicts: 173000 | #Constraints: 9628 173.69/174.49 c #Conflicts: 174000 | #Constraints: 10628 173.69/174.49 c #Conflicts: 175000 | #Constraints: 11628 173.69/174.49 c #Conflicts: 176000 | #Constraints: 12628 173.69/174.49 c #Conflicts: 177000 | #Constraints: 13628 173.69/174.49 c #Conflicts: 178000 | #Constraints: 14628 173.69/174.49 c #Conflicts: 179000 | #Constraints: 15628 173.69/174.49 c #Conflicts: 180000 | #Constraints: 16628 173.69/174.49 c #Conflicts: 181000 | #Constraints: 17629 173.69/174.49 c #Conflicts: 182000 | #Constraints: 18629 173.69/174.49 c INPROCESSING 173.69/174.49 c GARBAGE COLLECT 173.69/174.49 c rational objective 1.38971 225.51/226.42 c #Conflicts: 183000 | #Constraints: 10319 225.51/226.42 c #Conflicts: 184000 | #Constraints: 11319 225.51/226.42 c #Conflicts: 185000 | #Constraints: 12319 225.51/226.42 c #Conflicts: 186000 | #Constraints: 13319 225.51/226.42 c #Conflicts: 187000 | #Constraints: 14319 225.51/226.42 c #Conflicts: 188000 | #Constraints: 15319 225.51/226.42 c #Conflicts: 189000 | #Constraints: 16319 225.51/226.42 c #Conflicts: 190000 | #Constraints: 17319 225.51/226.42 c #Conflicts: 191000 | #Constraints: 18319 225.51/226.42 c #Conflicts: 192000 | #Constraints: 19319 225.51/226.42 c #Conflicts: 193000 | #Constraints: 20319 225.51/226.42 c #Conflicts: 194000 | #Constraints: 21319 225.51/226.42 c #Conflicts: 195000 | #Constraints: 22319 225.51/226.42 c #Conflicts: 196000 | #Constraints: 23319 225.51/226.42 c #Conflicts: 197000 | #Constraints: 24319 225.51/226.42 c #Conflicts: 198000 | #Constraints: 25319 225.51/226.42 c #Conflicts: 199000 | #Constraints: 26319 225.51/226.42 c #Conflicts: 200000 | #Constraints: 27319 225.51/226.42 c #Conflicts: 201000 | #Constraints: 28319 225.51/226.42 c #Conflicts: 202000 | #Constraints: 29319 225.51/226.42 c #Conflicts: 203000 | #Constraints: 30319 225.51/226.42 c #Conflicts: 204000 | #Constraints: 31319 225.51/226.42 c #Conflicts: 205000 | #Constraints: 32319 225.51/226.42 c #Conflicts: 206000 | #Constraints: 33319 225.51/226.42 c #Conflicts: 207000 | #Constraints: 34319 225.51/226.42 c #Conflicts: 208000 | #Constraints: 35319 225.51/226.42 c #Conflicts: 209000 | #Constraints: 36319 225.51/226.42 c #Conflicts: 210000 | #Constraints: 37319 225.51/226.42 c #Conflicts: 211000 | #Constraints: 38319 225.51/226.42 c #Conflicts: 212000 | #Constraints: 39319 225.51/226.42 c #Conflicts: 213000 | #Constraints: 40319 225.51/226.42 c #Conflicts: 214000 | #Constraints: 41319 225.51/226.42 c #Conflicts: 215000 | #Constraints: 42319 225.51/226.42 c #Conflicts: 216000 | #Constraints: 43319 225.51/226.42 c #Conflicts: 217000 | #Constraints: 44319 225.51/226.42 c INPROCESSING 225.51/226.42 c GARBAGE COLLECT 225.51/226.42 c rational objective 1.38971 250.14/251.27 c #Conflicts: 218000 | #Constraints: 22916 250.14/251.27 c #Conflicts: 219000 | #Constraints: 23916 250.14/251.27 c #Conflicts: 220000 | #Constraints: 24916 250.14/251.27 c #Conflicts: 221000 | #Constraints: 25916 250.14/251.27 c #Conflicts: 222000 | #Constraints: 26916 250.14/251.27 c #Conflicts: 223000 | #Constraints: 27916 250.14/251.27 c #Conflicts: 224000 | #Constraints: 28916 250.14/251.27 c #Conflicts: 225000 | #Constraints: 29916 250.14/251.27 c #Conflicts: 226000 | #Constraints: 30916 250.14/251.27 c #Conflicts: 227000 | #Constraints: 31916 250.14/251.27 c #Conflicts: 228000 | #Constraints: 32916 250.14/251.27 c INPROCESSING 250.14/251.27 c GARBAGE COLLECT 250.14/251.27 c rational objective 1.38971 267.58/268.76 c #Conflicts: 229000 | #Constraints: 17462 267.58/268.76 c #Conflicts: 230000 | #Constraints: 18462 267.58/268.76 c #Conflicts: 231000 | #Constraints: 19462 267.58/268.76 c #Conflicts: 232000 | #Constraints: 20462 267.58/268.76 c #Conflicts: 233000 | #Constraints: 21462 267.58/268.76 c #Conflicts: 234000 | #Constraints: 22462 267.58/268.76 c #Conflicts: 235000 | #Constraints: 23463 267.58/268.76 c #Conflicts: 236000 | #Constraints: 24463 267.58/268.76 c #Conflicts: 237000 | #Constraints: 25463 267.58/268.76 c #Conflicts: 238000 | #Constraints: 26463 267.58/268.76 c INPROCESSING 267.58/268.76 c GARBAGE COLLECT 267.58/268.76 c rational objective 1.38971 283.98/285.25 c #Conflicts: 239000 | #Constraints: 13884 283.98/285.25 c #Conflicts: 240000 | #Constraints: 14884 283.98/285.25 c #Conflicts: 241000 | #Constraints: 15884 283.98/285.25 c #Conflicts: 242000 | #Constraints: 16884 283.98/285.25 c #Conflicts: 243000 | #Constraints: 17884 283.98/285.25 c #Conflicts: 244000 | #Constraints: 18884 283.98/285.25 c #Conflicts: 245000 | #Constraints: 19884 283.98/285.25 c #Conflicts: 246000 | #Constraints: 20884 283.98/285.25 c #Conflicts: 247000 | #Constraints: 21884 283.98/285.25 c #Conflicts: 248000 | #Constraints: 22884 283.98/285.25 c #Conflicts: 249000 | #Constraints: 23884 283.98/285.25 c INPROCESSING 283.98/285.25 c GARBAGE COLLECT 283.98/285.25 c rational objective 1.38971 299.31/300.63 c #Conflicts: 250000 | #Constraints: 12648 299.31/300.63 c #Conflicts: 251000 | #Constraints: 13649 299.31/300.63 c #Conflicts: 252000 | #Constraints: 14649 299.31/300.63 c #Conflicts: 253000 | #Constraints: 15649 299.31/300.63 c #Conflicts: 254000 | #Constraints: 16649 299.31/300.63 c #Conflicts: 255000 | #Constraints: 17649 299.31/300.63 c #Conflicts: 256000 | #Constraints: 18649 299.31/300.63 c #Conflicts: 257000 | #Constraints: 19649 299.31/300.63 c #Conflicts: 258000 | #Constraints: 20649 299.31/300.63 c #Conflicts: 259000 | #Constraints: 21649 299.31/300.63 c #Conflicts: 260000 | #Constraints: 22649 299.31/300.63 c INPROCESSING 299.31/300.63 c GARBAGE COLLECT 299.31/300.63 c rational objective 1.38971 316.31/317.72 c #Conflicts: 261000 | #Constraints: 11979 316.31/317.72 c #Conflicts: 262000 | #Constraints: 12979 316.31/317.72 c #Conflicts: 263000 | #Constraints: 13980 316.31/317.72 c #Conflicts: 264000 | #Constraints: 14980 316.31/317.72 c #Conflicts: 265000 | #Constraints: 15980 316.31/317.72 c #Conflicts: 266000 | #Constraints: 16980 316.31/317.72 c #Conflicts: 267000 | #Constraints: 17980 316.31/317.72 c #Conflicts: 268000 | #Constraints: 18980 316.31/317.72 c #Conflicts: 269000 | #Constraints: 19980 316.31/317.72 c #Conflicts: 270000 | #Constraints: 20980 316.31/317.72 c #Conflicts: 271000 | #Constraints: 21980 316.31/317.72 c #Conflicts: 272000 | #Constraints: 22980 316.31/317.72 c INPROCESSING 316.31/317.72 c GARBAGE COLLECT 316.31/317.72 c rational objective 1.38971 332.57/334.07 c #Conflicts: 273000 | #Constraints: 12495 332.57/334.07 c #Conflicts: 274000 | #Constraints: 13495 332.57/334.07 c #Conflicts: 275000 | #Constraints: 14495 332.57/334.07 c #Conflicts: 276000 | #Constraints: 15495 332.57/334.07 c #Conflicts: 277000 | #Constraints: 16495 332.57/334.07 c #Conflicts: 278000 | #Constraints: 17495 332.57/334.07 c #Conflicts: 279000 | #Constraints: 18495 332.57/334.07 c #Conflicts: 280000 | #Constraints: 19496 332.57/334.07 c #Conflicts: 281000 | #Constraints: 20496 332.57/334.07 c #Conflicts: 282000 | #Constraints: 21496 332.57/334.07 c #Conflicts: 283000 | #Constraints: 22496 332.57/334.07 c INPROCESSING 332.57/334.07 c GARBAGE COLLECT 332.57/334.07 c rational objective 1.38971 349.62/351.12 c #Conflicts: 284000 | #Constraints: 12001 349.62/351.12 c #Conflicts: 285000 | #Constraints: 13001 349.62/351.12 c #Conflicts: 286000 | #Constraints: 14001 349.62/351.12 c #Conflicts: 287000 | #Constraints: 15001 349.62/351.12 c #Conflicts: 288000 | #Constraints: 16001 349.62/351.12 c #Conflicts: 289000 | #Constraints: 17001 349.62/351.12 c #Conflicts: 290000 | #Constraints: 18001 349.62/351.12 c #Conflicts: 291000 | #Constraints: 19001 349.62/351.12 c #Conflicts: 292000 | #Constraints: 20001 349.62/351.12 c #Conflicts: 293000 | #Constraints: 21001 349.62/351.12 c #Conflicts: 294000 | #Constraints: 22001 349.62/351.12 c #Conflicts: 295000 | #Constraints: 23001 349.62/351.12 c INPROCESSING 349.62/351.12 c GARBAGE COLLECT 349.62/351.12 c rational objective 1.38971 365.82/367.48 c #Conflicts: 296000 | #Constraints: 12403 365.82/367.48 c #Conflicts: 297000 | #Constraints: 13403 365.82/367.48 c #Conflicts: 298000 | #Constraints: 14404 365.82/367.48 c #Conflicts: 299000 | #Constraints: 15404 365.82/367.48 c #Conflicts: 300000 | #Constraints: 16404 365.82/367.48 c #Conflicts: 301000 | #Constraints: 17404 365.82/367.48 c #Conflicts: 302000 | #Constraints: 18404 365.82/367.48 c #Conflicts: 303000 | #Constraints: 19404 365.82/367.48 c #Conflicts: 304000 | #Constraints: 20404 365.82/367.48 c #Conflicts: 305000 | #Constraints: 21404 365.82/367.48 c #Conflicts: 306000 | #Constraints: 22404 365.82/367.48 c #Conflicts: 307000 | #Constraints: 23404 365.82/367.48 c INPROCESSING 365.82/367.48 c GARBAGE COLLECT 365.82/367.48 c rational objective 1.3908 381.64/383.31 c #Conflicts: 308000 | #Constraints: 12657 381.64/383.31 c #Conflicts: 309000 | #Constraints: 13657 381.64/383.31 c #Conflicts: 310000 | #Constraints: 14657 381.64/383.31 c #Conflicts: 311000 | #Constraints: 15657 381.64/383.31 c #Conflicts: 312000 | #Constraints: 16657 381.64/383.31 c #Conflicts: 313000 | #Constraints: 17657 381.64/383.31 c #Conflicts: 314000 | #Constraints: 18657 381.64/383.31 c #Conflicts: 315000 | #Constraints: 19657 381.64/383.31 c #Conflicts: 316000 | #Constraints: 20657 381.64/383.31 c #Conflicts: 317000 | #Constraints: 21657 381.64/383.31 c #Conflicts: 318000 | #Constraints: 22657 381.64/383.31 c #Conflicts: 319000 | #Constraints: 23657 381.64/383.31 c INPROCESSING 381.64/383.31 c GARBAGE COLLECT 381.64/383.31 c rational objective 1.3908 397.87/399.65 c #Conflicts: 320000 | #Constraints: 12735 397.87/399.65 c #Conflicts: 321000 | #Constraints: 13735 397.87/399.65 c #Conflicts: 322000 | #Constraints: 14735 397.87/399.65 c #Conflicts: 323000 | #Constraints: 15735 397.87/399.65 c #Conflicts: 324000 | #Constraints: 16735 397.87/399.65 c #Conflicts: 325000 | #Constraints: 17735 397.87/399.65 c #Conflicts: 326000 | #Constraints: 18735 397.87/399.65 c #Conflicts: 327000 | #Constraints: 19735 397.87/399.65 c #Conflicts: 328000 | #Constraints: 20735 397.87/399.65 c #Conflicts: 329000 | #Constraints: 21735 397.87/399.65 c #Conflicts: 330000 | #Constraints: 22735 397.87/399.65 c #Conflicts: 331000 | #Constraints: 23735 397.87/399.65 c INPROCESSING 397.87/399.65 c GARBAGE COLLECT 397.87/399.65 c rational objective 1.3908 415.73/417.69 c #Conflicts: 332000 | #Constraints: 12625 415.73/417.69 c #Conflicts: 333000 | #Constraints: 13625 415.73/417.69 c #Conflicts: 334000 | #Constraints: 14625 415.73/417.69 c #Conflicts: 335000 | #Constraints: 15625 415.73/417.69 c #Conflicts: 336000 | #Constraints: 16625 415.73/417.69 c #Conflicts: 337000 | #Constraints: 17625 415.73/417.69 c #Conflicts: 338000 | #Constraints: 18625 415.73/417.69 c #Conflicts: 339000 | #Constraints: 19625 415.73/417.69 c #Conflicts: 340000 | #Constraints: 20625 415.73/417.69 c #Conflicts: 341000 | #Constraints: 21625 415.73/417.69 c #Conflicts: 342000 | #Constraints: 22625 415.73/417.69 c #Conflicts: 343000 | #Constraints: 23625 415.73/417.69 c #Conflicts: 344000 | #Constraints: 24625 415.73/417.69 c INPROCESSING 415.73/417.69 c GARBAGE COLLECT 415.73/417.69 c rational objective 1.3908 434.81/436.87 c #Conflicts: 345000 | #Constraints: 13317 434.81/436.87 c #Conflicts: 346000 | #Constraints: 14317 434.81/436.87 c #Conflicts: 347000 | #Constraints: 15317 434.81/436.87 c #Conflicts: 348000 | #Constraints: 16318 434.81/436.87 c #Conflicts: 349000 | #Constraints: 17318 434.81/436.87 c #Conflicts: 350000 | #Constraints: 18318 434.81/436.87 c #Conflicts: 351000 | #Constraints: 19318 434.81/436.87 c #Conflicts: 352000 | #Constraints: 20318 434.81/436.87 c #Conflicts: 353000 | #Constraints: 21318 434.81/436.87 c #Conflicts: 354000 | #Constraints: 22318 434.81/436.87 c #Conflicts: 355000 | #Constraints: 23318 434.81/436.87 c #Conflicts: 356000 | #Constraints: 24319 434.81/436.87 c INPROCESSING 434.81/436.87 c GARBAGE COLLECT 434.81/436.87 c rational objective 1.46697 452.56/454.65 c #Conflicts: 357000 | #Constraints: 12814 452.56/454.65 c #Conflicts: 358000 | #Constraints: 13814 452.56/454.65 c #Conflicts: 359000 | #Constraints: 14814 452.56/454.65 c #Conflicts: 360000 | #Constraints: 15814 452.56/454.65 c #Conflicts: 361000 | #Constraints: 16814 452.56/454.65 c #Conflicts: 362000 | #Constraints: 17814 452.56/454.65 c #Conflicts: 363000 | #Constraints: 18814 452.56/454.65 c #Conflicts: 364000 | #Constraints: 19814 452.56/454.65 c #Conflicts: 365000 | #Constraints: 20814 452.56/454.65 c #Conflicts: 366000 | #Constraints: 21814 452.56/454.65 c #Conflicts: 367000 | #Constraints: 22814 452.56/454.65 c #Conflicts: 368000 | #Constraints: 23814 452.56/454.65 c #Conflicts: 369000 | #Constraints: 24814 452.56/454.65 c INPROCESSING 452.56/454.65 c GARBAGE COLLECT 452.56/454.65 c rational objective 1.46697 470.00/472.13 c #Conflicts: 370000 | #Constraints: 13111 470.00/472.13 c #Conflicts: 371000 | #Constraints: 14111 470.00/472.13 c #Conflicts: 372000 | #Constraints: 15111 470.00/472.13 c #Conflicts: 373000 | #Constraints: 16111 470.00/472.13 c #Conflicts: 374000 | #Constraints: 17111 470.00/472.13 c #Conflicts: 375000 | #Constraints: 18111 470.00/472.13 c #Conflicts: 376000 | #Constraints: 19111 470.00/472.13 c #Conflicts: 377000 | #Constraints: 20111 470.00/472.13 c #Conflicts: 378000 | #Constraints: 21111 470.00/472.13 c #Conflicts: 379000 | #Constraints: 22111 470.00/472.13 c #Conflicts: 380000 | #Constraints: 23111 470.00/472.13 c #Conflicts: 381000 | #Constraints: 24111 470.00/472.13 c #Conflicts: 382000 | #Constraints: 25111 470.00/472.13 c INPROCESSING 470.00/472.13 c GARBAGE COLLECT 470.00/472.13 c rational objective 1.46697 489.62/491.88 c #Conflicts: 383000 | #Constraints: 13208 489.62/491.88 c #Conflicts: 384000 | #Constraints: 14208 489.62/491.88 c #Conflicts: 385000 | #Constraints: 15208 489.62/491.88 c #Conflicts: 386000 | #Constraints: 16208 489.62/491.88 c #Conflicts: 387000 | #Constraints: 17208 489.62/491.88 c #Conflicts: 388000 | #Constraints: 18208 489.62/491.88 c #Conflicts: 389000 | #Constraints: 19208 489.62/491.88 c #Conflicts: 390000 | #Constraints: 20208 489.62/491.88 c #Conflicts: 391000 | #Constraints: 21208 489.62/491.88 c #Conflicts: 392000 | #Constraints: 22208 489.62/491.88 c #Conflicts: 393000 | #Constraints: 23208 489.62/491.88 c #Conflicts: 394000 | #Constraints: 24208 489.62/491.88 c #Conflicts: 395000 | #Constraints: 25208 489.62/491.88 c #Conflicts: 396000 | #Constraints: 26208 489.62/491.88 c INPROCESSING 489.62/491.88 c GARBAGE COLLECT 489.62/491.88 c rational objective 1.46697 509.46/511.72 c #Conflicts: 397000 | #Constraints: 14110 509.46/511.72 c #Conflicts: 398000 | #Constraints: 15110 509.46/511.72 c #Conflicts: 399000 | #Constraints: 16110 509.46/511.72 c #Conflicts: 400000 | #Constraints: 17110 509.46/511.72 c #Conflicts: 401000 | #Constraints: 18110 509.46/511.72 c #Conflicts: 402000 | #Constraints: 19110 509.46/511.72 c #Conflicts: 403000 | #Constraints: 20110 509.46/511.72 c #Conflicts: 404000 | #Constraints: 21110 509.46/511.72 c #Conflicts: 405000 | #Constraints: 22110 509.46/511.72 c #Conflicts: 406000 | #Constraints: 23110 509.46/511.72 c #Conflicts: 407000 | #Constraints: 24110 509.46/511.72 c #Conflicts: 408000 | #Constraints: 25110 509.46/511.72 c #Conflicts: 409000 | #Constraints: 26110 509.46/511.72 c INPROCESSING 509.46/511.72 c GARBAGE COLLECT 509.46/511.72 c rational objective 1.46697 530.46/532.89 c #Conflicts: 410000 | #Constraints: 13811 530.46/532.89 c #Conflicts: 411000 | #Constraints: 14811 530.46/532.89 c #Conflicts: 412000 | #Constraints: 15811 530.46/532.89 c #Conflicts: 413000 | #Constraints: 16811 530.46/532.89 c #Conflicts: 414000 | #Constraints: 17811 530.46/532.89 c #Conflicts: 415000 | #Constraints: 18811 530.46/532.89 c #Conflicts: 416000 | #Constraints: 19811 530.46/532.89 c #Conflicts: 417000 | #Constraints: 20811 530.46/532.89 c #Conflicts: 418000 | #Constraints: 21811 530.46/532.89 c #Conflicts: 419000 | #Constraints: 22811 530.46/532.89 c #Conflicts: 420000 | #Constraints: 23811 530.46/532.89 c #Conflicts: 421000 | #Constraints: 24811 530.46/532.89 c #Conflicts: 422000 | #Constraints: 25811 530.46/532.89 c #Conflicts: 423000 | #Constraints: 26811 530.46/532.89 c INPROCESSING 530.46/532.89 c GARBAGE COLLECT 530.46/532.89 c rational objective 1.46697 549.38/551.88 c #Conflicts: 424000 | #Constraints: 14309 549.38/551.88 c #Conflicts: 425000 | #Constraints: 15309 549.38/551.88 c #Conflicts: 426000 | #Constraints: 16309 549.38/551.88 c #Conflicts: 427000 | #Constraints: 17309 549.38/551.88 c #Conflicts: 428000 | #Constraints: 18309 549.38/551.88 c #Conflicts: 429000 | #Constraints: 19309 549.38/551.88 c #Conflicts: 430000 | #Constraints: 20309 549.38/551.88 c #Conflicts: 431000 | #Constraints: 21309 549.38/551.88 c #Conflicts: 432000 | #Constraints: 22309 549.38/551.88 c #Conflicts: 433000 | #Constraints: 23309 549.38/551.88 c #Conflicts: 434000 | #Constraints: 24309 549.38/551.88 c #Conflicts: 435000 | #Constraints: 25309 549.38/551.88 c #Conflicts: 436000 | #Constraints: 26309 549.38/551.88 c #Conflicts: 437000 | #Constraints: 27309 549.38/551.88 c INPROCESSING 549.38/551.88 c GARBAGE COLLECT 549.38/551.88 c rational objective 1.46697 569.80/572.30 c #Conflicts: 438000 | #Constraints: 14610 569.80/572.30 c #Conflicts: 439000 | #Constraints: 15610 569.80/572.30 c #Conflicts: 440000 | #Constraints: 16610 569.80/572.30 c #Conflicts: 441000 | #Constraints: 17610 569.80/572.30 c #Conflicts: 442000 | #Constraints: 18610 569.80/572.30 c #Conflicts: 443000 | #Constraints: 19610 569.80/572.30 c #Conflicts: 444000 | #Constraints: 20610 569.80/572.30 c #Conflicts: 445000 | #Constraints: 21610 569.80/572.30 c #Conflicts: 446000 | #Constraints: 22610 569.80/572.30 c #Conflicts: 447000 | #Constraints: 23610 569.80/572.30 c #Conflicts: 448000 | #Constraints: 24610 569.80/572.30 c #Conflicts: 449000 | #Constraints: 25610 569.80/572.30 c #Conflicts: 450000 | #Constraints: 26610 569.80/572.30 c #Conflicts: 451000 | #Constraints: 27610 569.80/572.30 c INPROCESSING 569.80/572.30 c GARBAGE COLLECT 569.80/572.30 c rational objective 1.46697 592.09/594.76 c #Conflicts: 452000 | #Constraints: 14711 592.09/594.76 c #Conflicts: 453000 | #Constraints: 15711 592.09/594.76 c #Conflicts: 454000 | #Constraints: 16711 592.09/594.76 c #Conflicts: 455000 | #Constraints: 17711 592.09/594.76 c #Conflicts: 456000 | #Constraints: 18711 592.09/594.76 c #Conflicts: 457000 | #Constraints: 19711 592.09/594.76 c #Conflicts: 458000 | #Constraints: 20711 592.09/594.76 c #Conflicts: 459000 | #Constraints: 21711 592.09/594.76 c #Conflicts: 460000 | #Constraints: 22711 592.09/594.76 c #Conflicts: 461000 | #Constraints: 23711 592.09/594.76 c #Conflicts: 462000 | #Constraints: 24711 592.09/594.76 c #Conflicts: 463000 | #Constraints: 25711 592.09/594.76 c #Conflicts: 464000 | #Constraints: 26711 592.09/594.76 c #Conflicts: 465000 | #Constraints: 27711 592.09/594.76 c INPROCESSING 592.09/594.76 c GARBAGE COLLECT 592.09/594.76 c rational objective 1.47696 615.50/618.25 c #Conflicts: 466000 | #Constraints: 14609 615.50/618.25 c #Conflicts: 467000 | #Constraints: 15609 615.50/618.25 c #Conflicts: 468000 | #Constraints: 16609 615.50/618.25 c #Conflicts: 469000 | #Constraints: 17609 615.50/618.25 c #Conflicts: 470000 | #Constraints: 18610 615.50/618.25 c #Conflicts: 471000 | #Constraints: 19610 615.50/618.25 c #Conflicts: 472000 | #Constraints: 20610 615.50/618.25 c #Conflicts: 473000 | #Constraints: 21610 615.50/618.25 c #Conflicts: 474000 | #Constraints: 22610 615.50/618.25 c #Conflicts: 475000 | #Constraints: 23610 615.50/618.25 c #Conflicts: 476000 | #Constraints: 24610 615.50/618.25 c #Conflicts: 477000 | #Constraints: 25610 615.50/618.25 c #Conflicts: 478000 | #Constraints: 26610 615.50/618.25 c #Conflicts: 479000 | #Constraints: 27610 615.50/618.25 c #Conflicts: 480000 | #Constraints: 28610 615.50/618.25 c INPROCESSING 615.50/618.25 c GARBAGE COLLECT 615.50/618.25 c rational objective 1.47696 637.13/639.99 c #Conflicts: 481000 | #Constraints: 15312 637.13/639.99 c #Conflicts: 482000 | #Constraints: 16312 637.13/639.99 c #Conflicts: 483000 | #Constraints: 17312 637.13/639.99 c #Conflicts: 484000 | #Constraints: 18312 637.13/639.99 c #Conflicts: 485000 | #Constraints: 19312 637.13/639.99 c #Conflicts: 486000 | #Constraints: 20312 637.13/639.99 c #Conflicts: 487000 | #Constraints: 21312 637.13/639.99 c #Conflicts: 488000 | #Constraints: 22312 637.13/639.99 c #Conflicts: 489000 | #Constraints: 23312 637.13/639.99 c #Conflicts: 490000 | #Constraints: 24312 637.13/639.99 c #Conflicts: 491000 | #Constraints: 25312 637.13/639.99 c #Conflicts: 492000 | #Constraints: 26312 637.13/639.99 c #Conflicts: 493000 | #Constraints: 27312 637.13/639.99 c #Conflicts: 494000 | #Constraints: 28312 637.13/639.99 c INPROCESSING 637.13/639.99 c GARBAGE COLLECT 637.13/639.99 c rational objective 1.47696 658.33/661.26 c #Conflicts: 495000 | #Constraints: 14812 658.33/661.26 c #Conflicts: 496000 | #Constraints: 15812 658.33/661.26 c #Conflicts: 497000 | #Constraints: 16812 658.33/661.26 c #Conflicts: 498000 | #Constraints: 17812 658.33/661.26 c #Conflicts: 499000 | #Constraints: 18812 658.33/661.26 c #Conflicts: 500000 | #Constraints: 19812 658.33/661.26 c #Conflicts: 501000 | #Constraints: 20812 658.33/661.26 c #Conflicts: 502000 | #Constraints: 21812 658.33/661.26 c #Conflicts: 503000 | #Constraints: 22812 658.33/661.26 c #Conflicts: 504000 | #Constraints: 23812 658.33/661.26 c #Conflicts: 505000 | #Constraints: 24812 658.33/661.26 c #Conflicts: 506000 | #Constraints: 25812 658.33/661.26 c #Conflicts: 507000 | #Constraints: 26812 658.33/661.26 c #Conflicts: 508000 | #Constraints: 27812 658.33/661.26 c #Conflicts: 509000 | #Constraints: 28812 658.33/661.26 c INPROCESSING 658.33/661.26 c GARBAGE COLLECT 658.33/661.26 c rational objective 1.47696 683.93/686.96 c #Conflicts: 510000 | #Constraints: 15112 683.93/686.96 c #Conflicts: 511000 | #Constraints: 16112 683.93/686.96 c #Conflicts: 512000 | #Constraints: 17112 683.93/686.96 c #Conflicts: 513000 | #Constraints: 18112 683.93/686.96 c #Conflicts: 514000 | #Constraints: 19112 683.93/686.96 c #Conflicts: 515000 | #Constraints: 20112 683.93/686.96 c #Conflicts: 516000 | #Constraints: 21113 683.93/686.96 c #Conflicts: 517000 | #Constraints: 22113 683.93/686.96 c #Conflicts: 518000 | #Constraints: 23113 683.93/686.96 c #Conflicts: 519000 | #Constraints: 24113 683.93/686.96 c #Conflicts: 520000 | #Constraints: 25113 683.93/686.96 c #Conflicts: 521000 | #Constraints: 26113 683.93/686.96 c #Conflicts: 522000 | #Constraints: 27113 683.93/686.96 c #Conflicts: 523000 | #Constraints: 28113 683.93/686.96 c #Conflicts: 524000 | #Constraints: 29113 683.93/686.96 c INPROCESSING 683.93/686.96 c GARBAGE COLLECT 683.93/686.96 c rational objective 1.47696 709.23/712.37 c #Conflicts: 525000 | #Constraints: 15212 709.23/712.37 c #Conflicts: 526000 | #Constraints: 16212 709.23/712.37 c #Conflicts: 527000 | #Constraints: 17212 709.23/712.37 c #Conflicts: 528000 | #Constraints: 18212 709.23/712.37 c #Conflicts: 529000 | #Constraints: 19212 709.23/712.37 c #Conflicts: 530000 | #Constraints: 20212 709.23/712.37 c #Conflicts: 531000 | #Constraints: 21212 709.23/712.37 c #Conflicts: 532000 | #Constraints: 22212 709.23/712.37 c #Conflicts: 533000 | #Constraints: 23212 709.23/712.37 c #Conflicts: 534000 | #Constraints: 24212 709.23/712.37 c #Conflicts: 535000 | #Constraints: 25212 709.23/712.37 c #Conflicts: 536000 | #Constraints: 26212 709.23/712.37 c #Conflicts: 537000 | #Constraints: 27212 709.23/712.37 c #Conflicts: 538000 | #Constraints: 28212 709.23/712.37 c #Conflicts: 539000 | #Constraints: 29212 709.23/712.37 c #Conflicts: 540000 | #Constraints: 30212 709.23/712.37 c INPROCESSING 709.23/712.37 c GARBAGE COLLECT 709.23/712.37 c rational objective 1.47696 737.51/740.79 c #Conflicts: 541000 | #Constraints: 16110 737.51/740.79 c #Conflicts: 542000 | #Constraints: 17110 737.51/740.79 c #Conflicts: 543000 | #Constraints: 18110 737.51/740.79 c #Conflicts: 544000 | #Constraints: 19110 737.51/740.79 c #Conflicts: 545000 | #Constraints: 20110 737.51/740.79 c #Conflicts: 546000 | #Constraints: 21110 737.51/740.79 c #Conflicts: 547000 | #Constraints: 22110 737.51/740.79 c #Conflicts: 548000 | #Constraints: 23110 737.51/740.79 c #Conflicts: 549000 | #Constraints: 24110 737.51/740.79 c #Conflicts: 550000 | #Constraints: 25110 737.51/740.79 c #Conflicts: 551000 | #Constraints: 26110 737.51/740.79 c #Conflicts: 552000 | #Constraints: 27110 737.51/740.79 c #Conflicts: 553000 | #Constraints: 28110 737.51/740.79 c #Conflicts: 554000 | #Constraints: 29110 737.51/740.79 c #Conflicts: 555000 | #Constraints: 30110 737.51/740.79 c INPROCESSING 737.51/740.79 c GARBAGE COLLECT 737.51/740.79 c rational objective 1.47696 765.42/768.70 c #Conflicts: 556000 | #Constraints: 15812 765.42/768.70 c #Conflicts: 557000 | #Constraints: 16812 765.42/768.70 c #Conflicts: 558000 | #Constraints: 17812 765.42/768.70 c #Conflicts: 559000 | #Constraints: 18812 765.42/768.70 c #Conflicts: 560000 | #Constraints: 19812 765.42/768.70 c #Conflicts: 561000 | #Constraints: 20812 765.42/768.70 c #Conflicts: 562000 | #Constraints: 21812 765.42/768.70 c #Conflicts: 563000 | #Constraints: 22812 765.42/768.70 c #Conflicts: 564000 | #Constraints: 23812 765.42/768.70 c #Conflicts: 565000 | #Constraints: 24812 765.42/768.70 c #Conflicts: 566000 | #Constraints: 25812 765.42/768.70 c #Conflicts: 567000 | #Constraints: 26813 765.42/768.70 c #Conflicts: 568000 | #Constraints: 27813 765.42/768.70 c #Conflicts: 569000 | #Constraints: 28813 765.42/768.70 c #Conflicts: 570000 | #Constraints: 29813 765.42/768.70 c #Conflicts: 571000 | #Constraints: 30813 765.42/768.70 c INPROCESSING 765.42/768.70 c GARBAGE COLLECT 765.42/768.70 c rational objective 1.47696 793.01/796.49 c #Conflicts: 572000 | #Constraints: 16313 793.01/796.49 c #Conflicts: 573000 | #Constraints: 17313 793.01/796.49 c #Conflicts: 574000 | #Constraints: 18313 793.01/796.49 c #Conflicts: 575000 | #Constraints: 19313 793.01/796.49 c #Conflicts: 576000 | #Constraints: 20313 793.01/796.49 c #Conflicts: 577000 | #Constraints: 21313 793.01/796.49 c #Conflicts: 578000 | #Constraints: 22313 793.01/796.49 c #Conflicts: 579000 | #Constraints: 23313 793.01/796.49 c #Conflicts: 580000 | #Constraints: 24313 793.01/796.49 c #Conflicts: 581000 | #Constraints: 25313 793.01/796.49 c #Conflicts: 582000 | #Constraints: 26314 793.01/796.49 c #Conflicts: 583000 | #Constraints: 27314 793.01/796.49 c #Conflicts: 584000 | #Constraints: 28314 793.01/796.49 c #Conflicts: 585000 | #Constraints: 29314 793.01/796.49 c #Conflicts: 586000 | #Constraints: 30314 793.01/796.49 c #Conflicts: 587000 | #Constraints: 31314 793.01/796.49 c INPROCESSING 793.01/796.49 c GARBAGE COLLECT 793.01/796.49 c rational objective 1.47696 820.19/823.79 c #Conflicts: 588000 | #Constraints: 16610 820.19/823.79 c #Conflicts: 589000 | #Constraints: 17611 820.19/823.79 c #Conflicts: 590000 | #Constraints: 18611 820.19/823.79 c #Conflicts: 591000 | #Constraints: 19611 820.19/823.79 c #Conflicts: 592000 | #Constraints: 20611 820.19/823.79 c #Conflicts: 593000 | #Constraints: 21611 820.19/823.79 c #Conflicts: 594000 | #Constraints: 22611 820.19/823.79 c #Conflicts: 595000 | #Constraints: 23611 820.19/823.79 c #Conflicts: 596000 | #Constraints: 24611 820.19/823.79 c #Conflicts: 597000 | #Constraints: 25611 820.19/823.79 c #Conflicts: 598000 | #Constraints: 26611 820.19/823.79 c #Conflicts: 599000 | #Constraints: 27611 820.19/823.79 c #Conflicts: 600000 | #Constraints: 28611 820.19/823.79 c #Conflicts: 601000 | #Constraints: 29611 820.19/823.79 c #Conflicts: 602000 | #Constraints: 30611 820.19/823.79 c #Conflicts: 603000 | #Constraints: 31611 820.19/823.79 c INPROCESSING 820.19/823.79 c GARBAGE COLLECT 820.19/823.79 c rational objective 1.47696 849.88/853.52 c #Conflicts: 604000 | #Constraints: 16712 849.88/853.52 c #Conflicts: 605000 | #Constraints: 17713 849.88/853.52 c #Conflicts: 606000 | #Constraints: 18713 849.88/853.52 c #Conflicts: 607000 | #Constraints: 19713 849.88/853.52 c #Conflicts: 608000 | #Constraints: 20713 849.88/853.52 c #Conflicts: 609000 | #Constraints: 21713 849.88/853.52 c #Conflicts: 610000 | #Constraints: 22713 849.88/853.52 c #Conflicts: 611000 | #Constraints: 23713 849.88/853.52 c #Conflicts: 612000 | #Constraints: 24713 849.88/853.52 c #Conflicts: 613000 | #Constraints: 25713 849.88/853.52 c #Conflicts: 614000 | #Constraints: 26713 849.88/853.52 c #Conflicts: 615000 | #Constraints: 27713 849.88/853.52 c #Conflicts: 616000 | #Constraints: 28713 849.88/853.52 c #Conflicts: 617000 | #Constraints: 29713 849.88/853.52 c #Conflicts: 618000 | #Constraints: 30713 849.88/853.52 c #Conflicts: 619000 | #Constraints: 31713 849.88/853.52 c INPROCESSING 849.88/853.52 c GARBAGE COLLECT 849.88/853.52 c rational objective 1.47696 880.27/884.10 c #Conflicts: 620000 | #Constraints: 16611 880.27/884.10 c #Conflicts: 621000 | #Constraints: 17611 880.27/884.10 c #Conflicts: 622000 | #Constraints: 18611 880.27/884.10 c #Conflicts: 623000 | #Constraints: 19611 880.27/884.10 c #Conflicts: 624000 | #Constraints: 20611 880.27/884.10 c #Conflicts: 625000 | #Constraints: 21611 880.27/884.10 c #Conflicts: 626000 | #Constraints: 22611 880.27/884.10 c #Conflicts: 627000 | #Constraints: 23611 880.27/884.10 c #Conflicts: 628000 | #Constraints: 24611 880.27/884.10 c #Conflicts: 629000 | #Constraints: 25611 880.27/884.10 c #Conflicts: 630000 | #Constraints: 26611 880.27/884.10 c #Conflicts: 631000 | #Constraints: 27611 880.27/884.10 c #Conflicts: 632000 | #Constraints: 28611 880.27/884.10 c #Conflicts: 633000 | #Constraints: 29611 880.27/884.10 c #Conflicts: 634000 | #Constraints: 30611 880.27/884.10 c #Conflicts: 635000 | #Constraints: 31611 880.27/884.10 c #Conflicts: 636000 | #Constraints: 32611 880.27/884.10 c INPROCESSING 880.27/884.10 c GARBAGE COLLECT 880.27/884.10 c rational objective 1.47696 915.11/919.08 c #Conflicts: 637000 | #Constraints: 17308 915.11/919.08 c #Conflicts: 638000 | #Constraints: 18308 915.11/919.08 c #Conflicts: 639000 | #Constraints: 19308 915.11/919.08 c #Conflicts: 640000 | #Constraints: 20310 915.11/919.08 c #Conflicts: 641000 | #Constraints: 21310 915.11/919.08 c #Conflicts: 642000 | #Constraints: 22310 915.11/919.08 c #Conflicts: 643000 | #Constraints: 23310 915.11/919.08 c #Conflicts: 644000 | #Constraints: 24310 915.11/919.08 c #Conflicts: 645000 | #Constraints: 25310 915.11/919.08 c #Conflicts: 646000 | #Constraints: 26310 915.11/919.08 c #Conflicts: 647000 | #Constraints: 27310 915.11/919.08 c #Conflicts: 648000 | #Constraints: 28310 915.11/919.08 c #Conflicts: 649000 | #Constraints: 29310 915.11/919.08 c #Conflicts: 650000 | #Constraints: 30310 915.11/919.08 c #Conflicts: 651000 | #Constraints: 31310 915.11/919.08 c #Conflicts: 652000 | #Constraints: 32310 915.11/919.08 c INPROCESSING 915.11/919.08 c GARBAGE COLLECT 915.11/919.08 c rational objective 1.47696 950.99/955.11 c #Conflicts: 653000 | #Constraints: 16813 950.99/955.11 c #Conflicts: 654000 | #Constraints: 17813 950.99/955.11 c #Conflicts: 655000 | #Constraints: 18813 950.99/955.11 c #Conflicts: 656000 | #Constraints: 19813 950.99/955.11 c #Conflicts: 657000 | #Constraints: 20813 950.99/955.11 c #Conflicts: 658000 | #Constraints: 21813 950.99/955.11 c #Conflicts: 659000 | #Constraints: 22813 950.99/955.11 c #Conflicts: 660000 | #Constraints: 23813 950.99/955.11 c #Conflicts: 661000 | #Constraints: 24813 950.99/955.11 c #Conflicts: 662000 | #Constraints: 25813 950.99/955.11 c #Conflicts: 663000 | #Constraints: 26813 950.99/955.11 c #Conflicts: 664000 | #Constraints: 27813 950.99/955.11 c #Conflicts: 665000 | #Constraints: 28813 950.99/955.11 c #Conflicts: 666000 | #Constraints: 29813 950.99/955.11 c #Conflicts: 667000 | #Constraints: 30813 950.99/955.11 c #Conflicts: 668000 | #Constraints: 31813 950.99/955.11 c #Conflicts: 669000 | #Constraints: 32813 950.99/955.11 c INPROCESSING 950.99/955.11 c GARBAGE COLLECT 950.99/955.11 c rational objective 1.47696 986.11/990.32 c #Conflicts: 670000 | #Constraints: 17109 986.11/990.32 c #Conflicts: 671000 | #Constraints: 18109 986.11/990.32 c #Conflicts: 672000 | #Constraints: 19109 986.11/990.32 c #Conflicts: 673000 | #Constraints: 20109 986.11/990.32 c #Conflicts: 674000 | #Constraints: 21109 986.11/990.32 c #Conflicts: 675000 | #Constraints: 22109 986.11/990.32 c #Conflicts: 676000 | #Constraints: 23109 986.11/990.32 c #Conflicts: 677000 | #Constraints: 24109 986.11/990.32 c #Conflicts: 678000 | #Constraints: 25109 986.11/990.32 c #Conflicts: 679000 | #Constraints: 26109 986.11/990.32 c #Conflicts: 680000 | #Constraints: 27109 986.11/990.32 c #Conflicts: 681000 | #Constraints: 28109 986.11/990.32 c #Conflicts: 682000 | #Constraints: 29109 986.11/990.32 c #Conflicts: 683000 | #Constraints: 30109 986.11/990.32 c #Conflicts: 684000 | #Constraints: 31109 986.11/990.32 c #Conflicts: 685000 | #Constraints: 32109 986.11/990.32 c #Conflicts: 686000 | #Constraints: 33109 986.11/990.32 c INPROCESSING 986.11/990.32 c GARBAGE COLLECT 986.11/990.32 c rational objective 1.47696 1020.87/1025.20 c #Conflicts: 687000 | #Constraints: 17208 1020.87/1025.20 c #Conflicts: 688000 | #Constraints: 18208 1020.87/1025.20 c #Conflicts: 689000 | #Constraints: 19208 1020.87/1025.20 c #Conflicts: 690000 | #Constraints: 20208 1020.87/1025.20 c #Conflicts: 691000 | #Constraints: 21208 1020.87/1025.20 c #Conflicts: 692000 | #Constraints: 22208 1020.87/1025.20 c #Conflicts: 693000 | #Constraints: 23208 1020.87/1025.20 c #Conflicts: 694000 | #Constraints: 24208 1020.87/1025.20 c #Conflicts: 695000 | #Constraints: 25208 1020.87/1025.20 c #Conflicts: 696000 | #Constraints: 26208 1020.87/1025.20 c #Conflicts: 697000 | #Constraints: 27208 1020.87/1025.20 c #Conflicts: 698000 | #Constraints: 28208 1020.87/1025.20 c #Conflicts: 699000 | #Constraints: 29208 1020.87/1025.20 c #Conflicts: 700000 | #Constraints: 30208 1020.87/1025.20 c #Conflicts: 701000 | #Constraints: 31208 1020.87/1025.20 c #Conflicts: 702000 | #Constraints: 32208 1020.87/1025.20 c #Conflicts: 703000 | #Constraints: 33208 1020.87/1025.20 c #Conflicts: 704000 | #Constraints: 34208 1020.87/1025.20 c INPROCESSING 1020.87/1025.20 c GARBAGE COLLECT 1020.87/1025.20 c rational objective 1.47696 1062.89/1067.45 c #Conflicts: 705000 | #Constraints: 18109 1062.89/1067.45 c #Conflicts: 706000 | #Constraints: 19109 1062.89/1067.45 c #Conflicts: 707000 | #Constraints: 20109 1062.89/1067.45 c #Conflicts: 708000 | #Constraints: 21109 1062.89/1067.45 c #Conflicts: 709000 | #Constraints: 22109 1062.89/1067.45 c #Conflicts: 710000 | #Constraints: 23109 1062.89/1067.45 c #Conflicts: 711000 | #Constraints: 24109 1062.89/1067.45 c #Conflicts: 712000 | #Constraints: 25109 1062.89/1067.45 c #Conflicts: 713000 | #Constraints: 26109 1062.89/1067.45 c #Conflicts: 714000 | #Constraints: 27109 1062.89/1067.45 c #Conflicts: 715000 | #Constraints: 28109 1062.89/1067.45 c #Conflicts: 716000 | #Constraints: 29109 1062.89/1067.45 c #Conflicts: 717000 | #Constraints: 30109 1062.89/1067.45 c #Conflicts: 718000 | #Constraints: 31109 1062.89/1067.45 c #Conflicts: 719000 | #Constraints: 32109 1062.89/1067.45 c #Conflicts: 720000 | #Constraints: 33109 1062.89/1067.45 c #Conflicts: 721000 | #Constraints: 34109 1062.89/1067.45 c INPROCESSING 1062.89/1067.45 c GARBAGE COLLECT 1062.89/1067.45 c rational objective 1.47696 1104.22/1108.97 c #Conflicts: 722000 | #Constraints: 17810 1104.22/1108.97 c #Conflicts: 723000 | #Constraints: 18810 1104.22/1108.97 c #Conflicts: 724000 | #Constraints: 19810 1104.22/1108.97 c #Conflicts: 725000 | #Constraints: 20811 1104.22/1108.97 c #Conflicts: 726000 | #Constraints: 21811 1104.22/1108.97 c #Conflicts: 727000 | #Constraints: 22811 1104.22/1108.97 c #Conflicts: 728000 | #Constraints: 23811 1104.22/1108.97 c #Conflicts: 729000 | #Constraints: 24811 1104.22/1108.97 c #Conflicts: 730000 | #Constraints: 25811 1104.22/1108.97 c #Conflicts: 731000 | #Constraints: 26811 1104.22/1108.97 c #Conflicts: 732000 | #Constraints: 27811 1104.22/1108.97 c #Conflicts: 733000 | #Constraints: 28811 1104.22/1108.97 c #Conflicts: 734000 | #Constraints: 29811 1104.22/1108.97 c #Conflicts: 735000 | #Constraints: 30811 1104.22/1108.97 c #Conflicts: 736000 | #Constraints: 31811 1104.22/1108.97 c #Conflicts: 737000 | #Constraints: 32811 1104.22/1108.97 c #Conflicts: 738000 | #Constraints: 33811 1104.22/1108.97 c #Conflicts: 739000 | #Constraints: 34811 1104.22/1108.97 c INPROCESSING 1104.22/1108.97 c GARBAGE COLLECT 1104.22/1108.97 c rational objective 1.47696 1144.45/1149.34 c #Conflicts: 740000 | #Constraints: 18312 1144.45/1149.34 c #Conflicts: 741000 | #Constraints: 19313 1144.45/1149.34 c #Conflicts: 742000 | #Constraints: 20313 1144.45/1149.34 c #Conflicts: 743000 | #Constraints: 21313 1144.45/1149.34 c #Conflicts: 744000 | #Constraints: 22313 1144.45/1149.34 c #Conflicts: 745000 | #Constraints: 23313 1144.45/1149.34 c #Conflicts: 746000 | #Constraints: 24313 1144.45/1149.34 c #Conflicts: 747000 | #Constraints: 25313 1144.45/1149.34 c #Conflicts: 748000 | #Constraints: 26313 1144.45/1149.34 c #Conflicts: 749000 | #Constraints: 27313 1144.45/1149.34 c #Conflicts: 750000 | #Constraints: 28313 1144.45/1149.34 c #Conflicts: 751000 | #Constraints: 29313 1144.45/1149.34 c #Conflicts: 752000 | #Constraints: 30313 1144.45/1149.34 c #Conflicts: 753000 | #Constraints: 31313 1144.45/1149.34 c #Conflicts: 754000 | #Constraints: 32313 1144.45/1149.34 c #Conflicts: 755000 | #Constraints: 33313 1144.45/1149.34 c #Conflicts: 756000 | #Constraints: 34313 1144.45/1149.34 c #Conflicts: 757000 | #Constraints: 35314 1144.45/1149.34 c INPROCESSING 1144.45/1149.34 c GARBAGE COLLECT 1144.45/1149.34 c rational objective 1.47696 1184.19/1189.24 c #Conflicts: 758000 | #Constraints: 18612 1184.19/1189.24 c #Conflicts: 759000 | #Constraints: 19612 1184.19/1189.24 c #Conflicts: 760000 | #Constraints: 20612 1184.19/1189.24 c #Conflicts: 761000 | #Constraints: 21612 1184.19/1189.24 c #Conflicts: 762000 | #Constraints: 22612 1184.19/1189.24 c #Conflicts: 763000 | #Constraints: 23612 1184.19/1189.24 c #Conflicts: 764000 | #Constraints: 24612 1184.19/1189.24 c #Conflicts: 765000 | #Constraints: 25612 1184.19/1189.24 c #Conflicts: 766000 | #Constraints: 26612 1184.19/1189.24 c #Conflicts: 767000 | #Constraints: 27612 1184.19/1189.24 c #Conflicts: 768000 | #Constraints: 28612 1184.19/1189.24 c #Conflicts: 769000 | #Constraints: 29612 1184.19/1189.24 c #Conflicts: 770000 | #Constraints: 30612 1184.19/1189.24 c #Conflicts: 771000 | #Constraints: 31612 1184.19/1189.24 c #Conflicts: 772000 | #Constraints: 32612 1184.19/1189.24 c #Conflicts: 773000 | #Constraints: 33612 1184.19/1189.24 c #Conflicts: 774000 | #Constraints: 34612 1184.19/1189.24 c #Conflicts: 775000 | #Constraints: 35612 1184.19/1189.24 c INPROCESSING 1184.19/1189.24 c GARBAGE COLLECT 1184.19/1189.24 c rational objective 1.47696 1221.45/1226.69 c #Conflicts: 776000 | #Constraints: 18709 1221.45/1226.69 c #Conflicts: 777000 | #Constraints: 19709 1221.45/1226.69 c #Conflicts: 778000 | #Constraints: 20709 1221.45/1226.69 c #Conflicts: 779000 | #Constraints: 21709 1221.45/1226.69 c #Conflicts: 780000 | #Constraints: 22709 1221.45/1226.69 c #Conflicts: 781000 | #Constraints: 23709 1221.45/1226.69 c #Conflicts: 782000 | #Constraints: 24709 1221.45/1226.69 c #Conflicts: 783000 | #Constraints: 25710 1221.45/1226.69 c #Conflicts: 784000 | #Constraints: 26710 1221.45/1226.69 c #Conflicts: 785000 | #Constraints: 27710 1221.45/1226.69 c #Conflicts: 786000 | #Constraints: 28710 1221.45/1226.69 c #Conflicts: 787000 | #Constraints: 29710 1221.45/1226.69 c #Conflicts: 788000 | #Constraints: 30710 1221.45/1226.69 c #Conflicts: 789000 | #Constraints: 31710 1221.45/1226.69 c #Conflicts: 790000 | #Constraints: 32710 1221.45/1226.69 c #Conflicts: 791000 | #Constraints: 33710 1221.45/1226.69 c #Conflicts: 792000 | #Constraints: 34710 1221.45/1226.69 c #Conflicts: 793000 | #Constraints: 35710 1221.45/1226.69 c INPROCESSING 1221.45/1226.69 c GARBAGE COLLECT 1221.45/1226.69 c rational objective 1.47696 1262.09/1267.45 c #Conflicts: 794000 | #Constraints: 18608 1262.09/1267.45 c #Conflicts: 795000 | #Constraints: 19608 1262.09/1267.45 c #Conflicts: 796000 | #Constraints: 20608 1262.09/1267.45 c #Conflicts: 797000 | #Constraints: 21608 1262.09/1267.45 c #Conflicts: 798000 | #Constraints: 22608 1262.09/1267.45 c #Conflicts: 799000 | #Constraints: 23608 1262.09/1267.45 c #Conflicts: 800000 | #Constraints: 24608 1262.09/1267.45 c #Conflicts: 801000 | #Constraints: 25608 1262.09/1267.45 c #Conflicts: 802000 | #Constraints: 26608 1262.09/1267.45 c #Conflicts: 803000 | #Constraints: 27608 1262.09/1267.45 c #Conflicts: 804000 | #Constraints: 28608 1262.09/1267.45 c #Conflicts: 805000 | #Constraints: 29609 1262.09/1267.45 c #Conflicts: 806000 | #Constraints: 30609 1262.09/1267.45 c #Conflicts: 807000 | #Constraints: 31609 1262.09/1267.45 c #Conflicts: 808000 | #Constraints: 32609 1262.09/1267.45 c #Conflicts: 809000 | #Constraints: 33609 1262.09/1267.45 c #Conflicts: 810000 | #Constraints: 34609 1262.09/1267.45 c #Conflicts: 811000 | #Constraints: 35609 1262.09/1267.45 c #Conflicts: 812000 | #Constraints: 36609 1262.09/1267.45 c INPROCESSING 1262.09/1267.45 c GARBAGE COLLECT 1262.09/1267.45 c rational objective 1.47696 1304.09/1309.68 c #Conflicts: 813000 | #Constraints: 19308 1304.09/1309.68 c #Conflicts: 814000 | #Constraints: 20308 1304.09/1309.68 c #Conflicts: 815000 | #Constraints: 21308 1304.09/1309.68 c #Conflicts: 816000 | #Constraints: 22308 1304.09/1309.68 c #Conflicts: 817000 | #Constraints: 23308 1304.09/1309.68 c #Conflicts: 818000 | #Constraints: 24308 1304.09/1309.68 c #Conflicts: 819000 | #Constraints: 25308 1304.09/1309.68 c #Conflicts: 820000 | #Constraints: 26308 1304.09/1309.68 c #Conflicts: 821000 | #Constraints: 27308 1304.09/1309.68 c #Conflicts: 822000 | #Constraints: 28308 1304.09/1309.68 c #Conflicts: 823000 | #Constraints: 29308 1304.09/1309.68 c #Conflicts: 824000 | #Constraints: 30308 1304.09/1309.68 c #Conflicts: 825000 | #Constraints: 31308 1304.09/1309.68 c #Conflicts: 826000 | #Constraints: 32308 1304.09/1309.68 c #Conflicts: 827000 | #Constraints: 33308 1304.09/1309.68 c #Conflicts: 828000 | #Constraints: 34308 1304.09/1309.68 c #Conflicts: 829000 | #Constraints: 35308 1304.09/1309.68 c #Conflicts: 830000 | #Constraints: 36308 1304.09/1309.68 c INPROCESSING 1304.09/1309.68 c GARBAGE COLLECT 1304.09/1309.68 c rational objective 1.47696 1345.12/1350.91 c #Conflicts: 831000 | #Constraints: 18808 1345.12/1350.91 c #Conflicts: 832000 | #Constraints: 19808 1345.12/1350.91 c #Conflicts: 833000 | #Constraints: 20809 1345.12/1350.91 c #Conflicts: 834000 | #Constraints: 21809 1345.12/1350.91 c #Conflicts: 835000 | #Constraints: 22809 1345.12/1350.91 c #Conflicts: 836000 | #Constraints: 23809 1345.12/1350.91 c #Conflicts: 837000 | #Constraints: 24809 1345.12/1350.91 c #Conflicts: 838000 | #Constraints: 25809 1345.12/1350.91 c #Conflicts: 839000 | #Constraints: 26809 1345.12/1350.91 c #Conflicts: 840000 | #Constraints: 27809 1345.12/1350.91 c #Conflicts: 841000 | #Constraints: 28809 1345.12/1350.91 c #Conflicts: 842000 | #Constraints: 29809 1345.12/1350.91 c #Conflicts: 843000 | #Constraints: 30809 1345.12/1350.91 c #Conflicts: 844000 | #Constraints: 31809 1345.12/1350.91 c #Conflicts: 845000 | #Constraints: 32809 1345.12/1350.91 c #Conflicts: 846000 | #Constraints: 33809 1345.12/1350.91 c #Conflicts: 847000 | #Constraints: 34809 1345.12/1350.91 c #Conflicts: 848000 | #Constraints: 35810 1345.12/1350.91 c #Conflicts: 849000 | #Constraints: 36810 1345.12/1350.91 c INPROCESSING 1345.12/1350.91 c GARBAGE COLLECT 1345.12/1350.91 c rational objective 1.47696 1390.96/1396.92 c #Conflicts: 850000 | #Constraints: 19106 1390.96/1396.92 c #Conflicts: 851000 | #Constraints: 20106 1390.96/1396.92 c #Conflicts: 852000 | #Constraints: 21107 1390.96/1396.92 c #Conflicts: 853000 | #Constraints: 22107 1390.96/1396.92 c #Conflicts: 854000 | #Constraints: 23107 1390.96/1396.92 c #Conflicts: 855000 | #Constraints: 24107 1390.96/1396.92 c #Conflicts: 856000 | #Constraints: 25107 1390.96/1396.92 c #Conflicts: 857000 | #Constraints: 26107 1390.96/1396.92 c #Conflicts: 858000 | #Constraints: 27107 1390.96/1396.92 c #Conflicts: 859000 | #Constraints: 28107 1390.96/1396.92 c #Conflicts: 860000 | #Constraints: 29107 1390.96/1396.92 c #Conflicts: 861000 | #Constraints: 30107 1390.96/1396.92 c #Conflicts: 862000 | #Constraints: 31107 1390.96/1396.92 c #Conflicts: 863000 | #Constraints: 32107 1390.96/1396.92 c #Conflicts: 864000 | #Constraints: 33107 1390.96/1396.92 c #Conflicts: 865000 | #Constraints: 34107 1390.96/1396.92 c #Conflicts: 866000 | #Constraints: 35107 1390.96/1396.92 c #Conflicts: 867000 | #Constraints: 36107 1390.96/1396.92 c #Conflicts: 868000 | #Constraints: 37107 1390.96/1396.92 c INPROCESSING 1390.96/1396.92 c GARBAGE COLLECT 1390.96/1396.92 c rational objective 1.47696 1436.62/1442.87 c #Conflicts: 869000 | #Constraints: 19210 1436.62/1442.87 c #Conflicts: 870000 | #Constraints: 20210 1436.62/1442.87 c #Conflicts: 871000 | #Constraints: 21210 1436.62/1442.87 c #Conflicts: 872000 | #Constraints: 22210 1436.62/1442.87 c #Conflicts: 873000 | #Constraints: 23210 1436.62/1442.87 c #Conflicts: 874000 | #Constraints: 24210 1436.62/1442.87 c #Conflicts: 875000 | #Constraints: 25210 1436.62/1442.87 c #Conflicts: 876000 | #Constraints: 26210 1436.62/1442.87 c #Conflicts: 877000 | #Constraints: 27210 1436.62/1442.87 c #Conflicts: 878000 | #Constraints: 28210 1436.62/1442.87 c #Conflicts: 879000 | #Constraints: 29210 1436.62/1442.87 c #Conflicts: 880000 | #Constraints: 30210 1436.62/1442.87 c #Conflicts: 881000 | #Constraints: 31210 1436.62/1442.87 c #Conflicts: 882000 | #Constraints: 32210 1436.62/1442.87 c #Conflicts: 883000 | #Constraints: 33210 1436.62/1442.87 c #Conflicts: 884000 | #Constraints: 34210 1436.62/1442.87 c #Conflicts: 885000 | #Constraints: 35210 1436.62/1442.87 c #Conflicts: 886000 | #Constraints: 36210 1436.62/1442.87 c #Conflicts: 887000 | #Constraints: 37210 1436.62/1442.87 c #Conflicts: 888000 | #Constraints: 38210 1436.62/1442.87 c INPROCESSING 1436.62/1442.87 c GARBAGE COLLECT 1436.62/1442.87 c rational objective 1.47696 1484.44/1490.83 c #Conflicts: 889000 | #Constraints: 20110 1484.44/1490.83 c #Conflicts: 890000 | #Constraints: 21110 1484.44/1490.83 c #Conflicts: 891000 | #Constraints: 22110 1484.44/1490.83 c #Conflicts: 892000 | #Constraints: 23110 1484.44/1490.83 c #Conflicts: 893000 | #Constraints: 24110 1484.44/1490.83 c #Conflicts: 894000 | #Constraints: 25111 1484.44/1490.83 c #Conflicts: 895000 | #Constraints: 26111 1484.44/1490.83 c #Conflicts: 896000 | #Constraints: 27111 1484.44/1490.83 c #Conflicts: 897000 | #Constraints: 28111 1484.44/1490.83 c #Conflicts: 898000 | #Constraints: 29111 1484.44/1490.83 c #Conflicts: 899000 | #Constraints: 30112 1484.44/1490.83 c #Conflicts: 900000 | #Constraints: 31112 1484.44/1490.83 c #Conflicts: 901000 | #Constraints: 32112 1484.44/1490.83 c #Conflicts: 902000 | #Constraints: 33112 1484.44/1490.83 c #Conflicts: 903000 | #Constraints: 34112 1484.44/1490.83 c #Conflicts: 904000 | #Constraints: 35112 1484.44/1490.83 c #Conflicts: 905000 | #Constraints: 36112 1484.44/1490.83 c #Conflicts: 906000 | #Constraints: 37112 1484.44/1490.83 c #Conflicts: 907000 | #Constraints: 38112 1484.44/1490.83 c INPROCESSING 1484.44/1490.83 c GARBAGE COLLECT 1484.44/1490.83 c rational objective 1.47696 1533.06/1539.67 c #Conflicts: 908000 | #Constraints: 19812 1533.06/1539.67 c #Conflicts: 909000 | #Constraints: 20812 1533.06/1539.67 c #Conflicts: 910000 | #Constraints: 21812 1533.06/1539.67 c #Conflicts: 911000 | #Constraints: 22812 1533.06/1539.67 c #Conflicts: 912000 | #Constraints: 23812 1533.06/1539.67 c #Conflicts: 913000 | #Constraints: 24812 1533.06/1539.67 c #Conflicts: 914000 | #Constraints: 25812 1533.06/1539.67 c #Conflicts: 915000 | #Constraints: 26812 1533.06/1539.67 c #Conflicts: 916000 | #Constraints: 27812 1533.06/1539.67 c #Conflicts: 917000 | #Constraints: 28812 1533.06/1539.67 c #Conflicts: 918000 | #Constraints: 29812 1533.06/1539.67 c #Conflicts: 919000 | #Constraints: 30812 1533.06/1539.67 c #Conflicts: 920000 | #Constraints: 31812 1533.06/1539.67 c #Conflicts: 921000 | #Constraints: 32812 1533.06/1539.67 c #Conflicts: 922000 | #Constraints: 33812 1533.06/1539.67 c #Conflicts: 923000 | #Constraints: 34812 1533.06/1539.67 c #Conflicts: 924000 | #Constraints: 35812 1533.06/1539.67 c #Conflicts: 925000 | #Constraints: 36812 1533.06/1539.67 c #Conflicts: 926000 | #Constraints: 37812 1533.06/1539.67 c #Conflicts: 927000 | #Constraints: 38812 1533.06/1539.67 c INPROCESSING 1533.06/1539.67 c GARBAGE COLLECT 1533.06/1539.67 c rational objective 1.47696 1575.14/1581.80 c #Conflicts: 928000 | #Constraints: 20311 1575.14/1581.80 c #Conflicts: 929000 | #Constraints: 21311 1575.14/1581.80 c #Conflicts: 930000 | #Constraints: 22311 1575.14/1581.80 c #Conflicts: 931000 | #Constraints: 23311 1575.14/1581.80 c #Conflicts: 932000 | #Constraints: 24311 1575.14/1581.80 c #Conflicts: 933000 | #Constraints: 25311 1575.14/1581.80 c #Conflicts: 934000 | #Constraints: 26311 1575.14/1581.80 c #Conflicts: 935000 | #Constraints: 27311 1575.14/1581.80 c #Conflicts: 936000 | #Constraints: 28311 1575.14/1581.80 c #Conflicts: 937000 | #Constraints: 29311 1575.14/1581.80 c #Conflicts: 938000 | #Constraints: 30311 1575.14/1581.80 c #Conflicts: 939000 | #Constraints: 31311 1575.14/1581.80 c #Conflicts: 940000 | #Constraints: 32311 1575.14/1581.80 c #Conflicts: 941000 | #Constraints: 33311 1575.14/1581.80 c #Conflicts: 942000 | #Constraints: 34311 1575.14/1581.80 c #Conflicts: 943000 | #Constraints: 35311 1575.14/1581.80 c #Conflicts: 944000 | #Constraints: 36311 1575.14/1581.80 c #Conflicts: 945000 | #Constraints: 37311 1575.14/1581.80 c #Conflicts: 946000 | #Constraints: 38311 1575.14/1581.80 c #Conflicts: 947000 | #Constraints: 39311 1575.14/1581.80 c INPROCESSING 1575.14/1581.80 c GARBAGE COLLECT 1575.14/1581.80 c rational objective 1.47696 1616.09/1622.94 c #Conflicts: 948000 | #Constraints: 20612 1616.09/1622.94 c #Conflicts: 949000 | #Constraints: 21612 1616.09/1622.94 c #Conflicts: 950000 | #Constraints: 22612 1616.09/1622.94 c #Conflicts: 951000 | #Constraints: 23612 1616.09/1622.94 c #Conflicts: 952000 | #Constraints: 24612 1616.09/1622.94 c #Conflicts: 953000 | #Constraints: 25612 1616.09/1622.94 c #Conflicts: 954000 | #Constraints: 26612 1616.09/1622.94 c #Conflicts: 955000 | #Constraints: 27612 1616.09/1622.94 c #Conflicts: 956000 | #Constraints: 28612 1616.09/1622.94 c #Conflicts: 957000 | #Constraints: 29612 1616.09/1622.94 c #Conflicts: 958000 | #Constraints: 30612 1616.09/1622.94 c #Conflicts: 959000 | #Constraints: 31612 1616.09/1622.94 c #Conflicts: 960000 | #Constraints: 32612 1616.09/1622.94 c #Conflicts: 961000 | #Constraints: 33612 1616.09/1622.94 c #Conflicts: 962000 | #Constraints: 34612 1616.09/1622.94 c #Conflicts: 963000 | #Constraints: 35612 1616.09/1622.94 c #Conflicts: 964000 | #Constraints: 36612 1616.09/1622.94 c #Conflicts: 965000 | #Constraints: 37612 1616.09/1622.94 c #Conflicts: 966000 | #Constraints: 38612 1616.09/1622.94 c #Conflicts: 967000 | #Constraints: 39612 1616.09/1622.94 c INPROCESSING 1616.09/1622.94 c GARBAGE COLLECT 1616.09/1622.94 c rational objective 1.47696 1663.75/1670.74 c #Conflicts: 968000 | #Constraints: 20712 1663.75/1670.74 c #Conflicts: 969000 | #Constraints: 21712 1663.75/1670.74 c #Conflicts: 970000 | #Constraints: 22712 1663.75/1670.74 c #Conflicts: 971000 | #Constraints: 23712 1663.75/1670.74 c #Conflicts: 972000 | #Constraints: 24712 1663.75/1670.74 c #Conflicts: 973000 | #Constraints: 25712 1663.75/1670.74 c #Conflicts: 974000 | #Constraints: 26712 1663.75/1670.74 c #Conflicts: 975000 | #Constraints: 27712 1663.75/1670.74 c #Conflicts: 976000 | #Constraints: 28712 1663.75/1670.74 c #Conflicts: 977000 | #Constraints: 29712 1663.75/1670.74 c #Conflicts: 978000 | #Constraints: 30712 1663.75/1670.74 c #Conflicts: 979000 | #Constraints: 31712 1663.75/1670.74 c #Conflicts: 980000 | #Constraints: 32712 1663.75/1670.74 c #Conflicts: 981000 | #Constraints: 33712 1663.75/1670.74 c #Conflicts: 982000 | #Constraints: 34712 1663.75/1670.74 c #Conflicts: 983000 | #Constraints: 35712 1663.75/1670.74 c #Conflicts: 984000 | #Constraints: 36712 1663.75/1670.74 c #Conflicts: 985000 | #Constraints: 37712 1663.75/1670.74 c #Conflicts: 986000 | #Constraints: 38712 1663.75/1670.74 c #Conflicts: 987000 | #Constraints: 39712 1663.75/1670.74 c INPROCESSING 1663.75/1670.74 c GARBAGE COLLECT 1663.75/1670.74 c rational objective 1.47696 1710.19/1717.35 c #Conflicts: 988000 | #Constraints: 20613 1710.19/1717.35 c #Conflicts: 989000 | #Constraints: 21613 1710.19/1717.35 c #Conflicts: 990000 | #Constraints: 22614 1710.19/1717.35 c #Conflicts: 991000 | #Constraints: 23614 1710.19/1717.35 c #Conflicts: 992000 | #Constraints: 24614 1710.19/1717.35 c #Conflicts: 993000 | #Constraints: 25614 1710.19/1717.35 c #Conflicts: 994000 | #Constraints: 26615 1710.19/1717.35 c #Conflicts: 995000 | #Constraints: 27615 1710.19/1717.35 c #Conflicts: 996000 | #Constraints: 28615 1710.19/1717.35 c #Conflicts: 997000 | #Constraints: 29615 1710.19/1717.35 c #Conflicts: 998000 | #Constraints: 30615 1710.19/1717.35 c #Conflicts: 999000 | #Constraints: 31615 1710.19/1717.35 c #Conflicts: 1000000 | #Constraints: 32615 1710.19/1717.35 c #Conflicts: 1001000 | #Constraints: 33615 1710.19/1717.35 c #Conflicts: 1002000 | #Constraints: 34615 1710.19/1717.35 c #Conflicts: 1003000 | #Constraints: 35615 1710.19/1717.35 c #Conflicts: 1004000 | #Constraints: 36615 1710.19/1717.35 c #Conflicts: 1005000 | #Constraints: 37615 1710.19/1717.35 c #Conflicts: 1006000 | #Constraints: 38615 1710.19/1717.35 c #Conflicts: 1007000 | #Constraints: 39615 1710.19/1717.35 c #Conflicts: 1008000 | #Constraints: 40615 1710.19/1717.35 c INPROCESSING 1710.19/1717.35 c GARBAGE COLLECT 1710.19/1717.35 c rational objective 1.47696 1752.06/1759.33 c #Conflicts: 1009000 | #Constraints: 21312 1752.06/1759.33 c #Conflicts: 1010000 | #Constraints: 22312 1752.06/1759.33 c #Conflicts: 1011000 | #Constraints: 23312 1752.06/1759.33 c #Conflicts: 1012000 | #Constraints: 24312 1752.06/1759.33 c #Conflicts: 1013000 | #Constraints: 25312 1752.06/1759.33 c #Conflicts: 1014000 | #Constraints: 26312 1752.06/1759.33 c #Conflicts: 1015000 | #Constraints: 27312 1752.06/1759.33 c #Conflicts: 1016000 | #Constraints: 28312 1752.06/1759.33 c #Conflicts: 1017000 | #Constraints: 29312 1752.06/1759.33 c #Conflicts: 1018000 | #Constraints: 30312 1752.06/1759.33 c #Conflicts: 1019000 | #Constraints: 31312 1752.06/1759.33 c #Conflicts: 1020000 | #Constraints: 32312 1752.06/1759.33 c #Conflicts: 1021000 | #Constraints: 33312 1752.06/1759.33 c #Conflicts: 1022000 | #Constraints: 34312 1752.06/1759.33 c #Conflicts: 1023000 | #Constraints: 35312 1752.06/1759.33 c #Conflicts: 1024000 | #Constraints: 36312 1752.06/1759.33 c #Conflicts: 1025000 | #Constraints: 37312 1752.06/1759.33 c #Conflicts: 1026000 | #Constraints: 38312 1752.06/1759.33 c #Conflicts: 1027000 | #Constraints: 39312 1752.06/1759.33 c #Conflicts: 1028000 | #Constraints: 40312 1752.06/1759.33 c INPROCESSING 1752.06/1759.33 c GARBAGE COLLECT 1752.06/1759.33 c rational objective 1.47696 1800.61/1808.07 c #Conflicts: 1029000 | #Constraints: 20813 1800.61/1808.07 c #Conflicts: 1030000 | #Constraints: 21813 1800.61/1808.07 c #Conflicts: 1031000 | #Constraints: 22814 1800.61/1808.07 c #Conflicts: 1032000 | #Constraints: 23814 1800.61/1808.07 c #Conflicts: 1033000 | #Constraints: 24814 1800.61/1808.07 c #Conflicts: 1034000 | #Constraints: 25814 1800.61/1808.07 c #Conflicts: 1035000 | #Constraints: 26814 1800.61/1808.07 c #Conflicts: 1036000 | #Constraints: 27814 1800.61/1808.07 c #Conflicts: 1037000 | #Constraints: 28814 1800.61/1808.07 c #Conflicts: 1038000 | #Constraints: 29814 1800.61/1808.07 c #Conflicts: 1039000 | #Constraints: 30814 1800.61/1808.07 c #Conflicts: 1040000 | #Constraints: 31814 1800.61/1808.07 c #Conflicts: 1041000 | #Constraints: 32814 1800.61/1808.07 c #Conflicts: 1042000 | #Constraints: 33814 1800.61/1808.07 c #Conflicts: 1043000 | #Constraints: 34814 1800.61/1808.07 c #Conflicts: 1044000 | #Constraints: 35814 1800.61/1808.07 c #Conflicts: 1045000 | #Constraints: 36814 1800.61/1808.07 c #Conflicts: 1046000 | #Constraints: 37814 1800.61/1808.07 c #Conflicts: 1047000 | #Constraints: 38814 1800.61/1808.07 c #Conflicts: 1048000 | #Constraints: 39814 1800.61/1808.07 c #Conflicts: 1049000 | #Constraints: 40814 1800.61/1808.07 c INPROCESSING 1800.61/1808.07 c GARBAGE COLLECT 1800.61/1808.07 c rational objective 1.47696 1846.95/1854.55 c #Conflicts: 1050000 | #Constraints: 21115 1846.95/1854.55 c #Conflicts: 1051000 | #Constraints: 22115 1846.95/1854.55 c #Conflicts: 1052000 | #Constraints: 23115 1846.95/1854.55 c #Conflicts: 1053000 | #Constraints: 24115 1846.95/1854.55 c #Conflicts: 1054000 | #Constraints: 25115 1846.95/1854.55 c #Conflicts: 1055000 | #Constraints: 26115 1846.95/1854.55 c #Conflicts: 1056000 | #Constraints: 27115 1846.95/1854.55 c #Conflicts: 1057000 | #Constraints: 28115 1846.95/1854.55 c #Conflicts: 1058000 | #Constraints: 29115 1846.95/1854.55 c #Conflicts: 1059000 | #Constraints: 30115 1846.95/1854.55 c #Conflicts: 1060000 | #Constraints: 31115 1846.95/1854.55 c #Conflicts: 1061000 | #Constraints: 32115 1846.95/1854.55 c #Conflicts: 1062000 | #Constraints: 33115 1846.95/1854.55 c #Conflicts: 1063000 | #Constraints: 34115 1846.95/1854.55 c #Conflicts: 1064000 | #Constraints: 35115 1846.95/1854.55 c #Conflicts: 1065000 | #Constraints: 36115 1846.95/1854.55 c #Conflicts: 1066000 | #Constraints: 37116 1846.95/1854.55 c #Conflicts: 1067000 | #Constraints: 38116 1846.95/1854.55 c #Conflicts: 1068000 | #Constraints: 39116 1846.95/1854.55 c #Conflicts: 1069000 | #Constraints: 40116 1846.95/1854.55 c #Conflicts: 1070000 | #Constraints: 41116 1846.95/1854.55 c INPROCESSING 1846.95/1854.55 c GARBAGE COLLECT 1846.95/1854.55 c rational objective 1.47696 1899.78/1907.60 c #Conflicts: 1071000 | #Constraints: 21213 1899.78/1907.60 c #Conflicts: 1072000 | #Constraints: 22214 1899.78/1907.60 c #Conflicts: 1073000 | #Constraints: 23214 1899.78/1907.60 c #Conflicts: 1074000 | #Constraints: 24214 1899.78/1907.60 c #Conflicts: 1075000 | #Constraints: 25215 1899.78/1907.60 c #Conflicts: 1076000 | #Constraints: 26215 1899.78/1907.60 c #Conflicts: 1077000 | #Constraints: 27215 1899.78/1907.60 c #Conflicts: 1078000 | #Constraints: 28215 1899.78/1907.60 c #Conflicts: 1079000 | #Constraints: 29215 1899.78/1907.60 c #Conflicts: 1080000 | #Constraints: 30215 1899.78/1907.60 c #Conflicts: 1081000 | #Constraints: 31215 1899.78/1907.60 c #Conflicts: 1082000 | #Constraints: 32215 1899.78/1907.60 c #Conflicts: 1083000 | #Constraints: 33215 1899.78/1907.60 c #Conflicts: 1084000 | #Constraints: 34215 1899.78/1907.60 c #Conflicts: 1085000 | #Constraints: 35215 1899.78/1907.60 c #Conflicts: 1086000 | #Constraints: 36215 1899.78/1907.60 c #Conflicts: 1087000 | #Constraints: 37215 1899.78/1907.60 c #Conflicts: 1088000 | #Constraints: 38215 1899.78/1907.60 c #Conflicts: 1089000 | #Constraints: 39215 1899.78/1907.60 c #Conflicts: 1090000 | #Constraints: 40215 1899.78/1907.60 c #Conflicts: 1091000 | #Constraints: 41216 1899.78/1907.60 c #Conflicts: 1092000 | #Constraints: 42216 1899.78/1907.60 c INPROCESSING 1899.78/1907.60 c GARBAGE COLLECT 1899.78/1907.60 c rational objective 1.47864 1958.38/1966.30 c #Conflicts: 1093000 | #Constraints: 22116 1958.38/1966.30 c #Conflicts: 1094000 | #Constraints: 23117 1958.38/1966.30 c #Conflicts: 1095000 | #Constraints: 24117 1958.38/1966.30 c #Conflicts: 1096000 | #Constraints: 25117 1958.38/1966.30 c #Conflicts: 1097000 | #Constraints: 26117 1958.38/1966.30 c #Conflicts: 1098000 | #Constraints: 27117 1958.38/1966.30 c #Conflicts: 1099000 | #Constraints: 28117 1958.38/1966.30 c #Conflicts: 1100000 | #Constraints: 29117 1958.38/1966.30 c #Conflicts: 1101000 | #Constraints: 30117 1958.38/1966.30 c #Conflicts: 1102000 | #Constraints: 31117 1958.38/1966.30 c #Conflicts: 1103000 | #Constraints: 32117 1958.38/1966.30 c #Conflicts: 1104000 | #Constraints: 33117 1958.38/1966.30 c #Conflicts: 1105000 | #Constraints: 34117 1958.38/1966.30 c #Conflicts: 1106000 | #Constraints: 35117 1958.38/1966.30 c #Conflicts: 1107000 | #Constraints: 36117 1958.38/1966.30 c #Conflicts: 1108000 | #Constraints: 37117 1958.38/1966.30 c #Conflicts: 1109000 | #Constraints: 38117 1958.38/1966.30 c #Conflicts: 1110000 | #Constraints: 39117 1958.38/1966.30 c #Conflicts: 1111000 | #Constraints: 40117 1958.38/1966.30 c #Conflicts: 1112000 | #Constraints: 41117 1958.38/1966.30 c #Conflicts: 1113000 | #Constraints: 42117 1958.38/1966.30 c INPROCESSING 1958.38/1966.30 c GARBAGE COLLECT 1958.38/1966.30 c rational objective 1.47864 2017.48/2025.69 c #Conflicts: 1114000 | #Constraints: 21815 2017.48/2025.69 c #Conflicts: 1115000 | #Constraints: 22815 2017.48/2025.69 c #Conflicts: 1116000 | #Constraints: 23815 2017.48/2025.69 c #Conflicts: 1117000 | #Constraints: 24816 2017.48/2025.69 c #Conflicts: 1118000 | #Constraints: 25816 2017.48/2025.69 c #Conflicts: 1119000 | #Constraints: 26816 2017.48/2025.69 c #Conflicts: 1120000 | #Constraints: 27816 2017.48/2025.69 c #Conflicts: 1121000 | #Constraints: 28816 2017.48/2025.69 c #Conflicts: 1122000 | #Constraints: 29816 2017.48/2025.69 c #Conflicts: 1123000 | #Constraints: 30816 2017.48/2025.69 c #Conflicts: 1124000 | #Constraints: 31816 2017.48/2025.69 c #Conflicts: 1125000 | #Constraints: 32816 2017.48/2025.69 c #Conflicts: 1126000 | #Constraints: 33816 2017.48/2025.69 c #Conflicts: 1127000 | #Constraints: 34816 2017.48/2025.69 c #Conflicts: 1128000 | #Constraints: 35816 2017.48/2025.69 c #Conflicts: 1129000 | #Constraints: 36816 2017.48/2025.69 c #Conflicts: 1130000 | #Constraints: 37816 2017.48/2025.69 c #Conflicts: 1131000 | #Constraints: 38816 2017.48/2025.69 c #Conflicts: 1132000 | #Constraints: 39816 2017.48/2025.69 c #Conflicts: 1133000 | #Constraints: 40816 2017.48/2025.69 c #Conflicts: 1134000 | #Constraints: 41816 2017.48/2025.69 c #Conflicts: 1135000 | #Constraints: 42816 2017.48/2025.69 c INPROCESSING 2017.48/2025.69 c GARBAGE COLLECT 2017.48/2025.69 c rational objective 1.47864 2076.97/2085.39 c #Conflicts: 1136000 | #Constraints: 22312 2076.97/2085.39 c #Conflicts: 1137000 | #Constraints: 23312 2076.97/2085.39 c #Conflicts: 1138000 | #Constraints: 24312 2076.97/2085.39 c #Conflicts: 1139000 | #Constraints: 25312 2076.97/2085.39 c #Conflicts: 1140000 | #Constraints: 26312 2076.97/2085.39 c #Conflicts: 1141000 | #Constraints: 27312 2076.97/2085.39 c #Conflicts: 1142000 | #Constraints: 28312 2076.97/2085.39 c #Conflicts: 1143000 | #Constraints: 29312 2076.97/2085.39 c #Conflicts: 1144000 | #Constraints: 30312 2076.97/2085.39 c #Conflicts: 1145000 | #Constraints: 31312 2076.97/2085.39 c #Conflicts: 1146000 | #Constraints: 32312 2076.97/2085.39 c #Conflicts: 1147000 | #Constraints: 33312 2076.97/2085.39 c #Conflicts: 1148000 | #Constraints: 34312 2076.97/2085.39 c #Conflicts: 1149000 | #Constraints: 35312 2076.97/2085.39 c #Conflicts: 1150000 | #Constraints: 36312 2076.97/2085.39 c #Conflicts: 1151000 | #Constraints: 37312 2076.97/2085.39 c #Conflicts: 1152000 | #Constraints: 38312 2076.97/2085.39 c #Conflicts: 1153000 | #Constraints: 39312 2076.97/2085.39 c #Conflicts: 1154000 | #Constraints: 40312 2076.97/2085.39 c #Conflicts: 1155000 | #Constraints: 41312 2076.97/2085.39 c #Conflicts: 1156000 | #Constraints: 42312 2076.97/2085.39 c #Conflicts: 1157000 | #Constraints: 43312 2076.97/2085.39 c INPROCESSING 2076.97/2085.39 c GARBAGE COLLECT 2076.97/2085.39 c rational objective 1.47864 2132.39/2140.90 c #Conflicts: 1158000 | #Constraints: 22614 2132.39/2140.90 c #Conflicts: 1159000 | #Constraints: 23614 2132.39/2140.90 c #Conflicts: 1160000 | #Constraints: 24614 2132.39/2140.90 c #Conflicts: 1161000 | #Constraints: 25614 2132.39/2140.90 c #Conflicts: 1162000 | #Constraints: 26614 2132.39/2140.90 c #Conflicts: 1163000 | #Constraints: 27614 2132.39/2140.90 c #Conflicts: 1164000 | #Constraints: 28614 2132.39/2140.90 c #Conflicts: 1165000 | #Constraints: 29614 2132.39/2140.90 c #Conflicts: 1166000 | #Constraints: 30614 2132.39/2140.90 c #Conflicts: 1167000 | #Constraints: 31614 2132.39/2140.90 c #Conflicts: 1168000 | #Constraints: 32614 2132.39/2140.90 c #Conflicts: 1169000 | #Constraints: 33614 2132.39/2140.90 c #Conflicts: 1170000 | #Constraints: 34614 2132.39/2140.90 c #Conflicts: 1171000 | #Constraints: 35614 2132.39/2140.90 c #Conflicts: 1172000 | #Constraints: 36614 2132.39/2140.90 c #Conflicts: 1173000 | #Constraints: 37614 2132.39/2140.90 c #Conflicts: 1174000 | #Constraints: 38614 2132.39/2140.90 c #Conflicts: 1175000 | #Constraints: 39614 2132.39/2140.90 c #Conflicts: 1176000 | #Constraints: 40614 2132.39/2140.90 c #Conflicts: 1177000 | #Constraints: 41614 2132.39/2140.90 c #Conflicts: 1178000 | #Constraints: 42614 2132.39/2140.90 c #Conflicts: 1179000 | #Constraints: 43614 2132.39/2140.90 c INPROCESSING 2132.39/2140.90 c GARBAGE COLLECT 2132.39/2140.90 c rational objective 1.47864 2192.77/2201.51 c #Conflicts: 1180000 | #Constraints: 22709 2192.77/2201.51 c #Conflicts: 1181000 | #Constraints: 23709 2192.77/2201.51 c #Conflicts: 1182000 | #Constraints: 24709 2192.77/2201.51 c #Conflicts: 1183000 | #Constraints: 25709 2192.77/2201.51 c #Conflicts: 1184000 | #Constraints: 26709 2192.77/2201.51 c #Conflicts: 1185000 | #Constraints: 27709 2192.77/2201.51 c #Conflicts: 1186000 | #Constraints: 28709 2192.77/2201.51 c #Conflicts: 1187000 | #Constraints: 29709 2192.77/2201.51 c #Conflicts: 1188000 | #Constraints: 30709 2192.77/2201.51 c #Conflicts: 1189000 | #Constraints: 31709 2192.77/2201.51 c #Conflicts: 1190000 | #Constraints: 32709 2192.77/2201.51 c #Conflicts: 1191000 | #Constraints: 33709 2192.77/2201.51 c #Conflicts: 1192000 | #Constraints: 34709 2192.77/2201.51 c #Conflicts: 1193000 | #Constraints: 35709 2192.77/2201.51 c #Conflicts: 1194000 | #Constraints: 36709 2192.77/2201.51 c #Conflicts: 1195000 | #Constraints: 37709 2192.77/2201.51 c #Conflicts: 1196000 | #Constraints: 38709 2192.77/2201.51 c #Conflicts: 1197000 | #Constraints: 39709 2192.77/2201.51 c #Conflicts: 1198000 | #Constraints: 40709 2192.77/2201.51 c #Conflicts: 1199000 | #Constraints: 41709 2192.77/2201.51 c #Conflicts: 1200000 | #Constraints: 42709 2192.77/2201.51 c #Conflicts: 1201000 | #Constraints: 43709 2192.77/2201.51 c INPROCESSING 2192.77/2201.51 c GARBAGE COLLECT 2192.77/2201.51 c rational objective 1.47864 2266.73/2275.75 c #Conflicts: 1202000 | #Constraints: 22607 2266.73/2275.75 c #Conflicts: 1203000 | #Constraints: 23607 2266.73/2275.75 c #Conflicts: 1204000 | #Constraints: 24607 2266.73/2275.75 c #Conflicts: 1205000 | #Constraints: 25607 2266.73/2275.75 c #Conflicts: 1206000 | #Constraints: 26607 2266.73/2275.75 c #Conflicts: 1207000 | #Constraints: 27607 2266.73/2275.75 c #Conflicts: 1208000 | #Constraints: 28607 2266.73/2275.75 c #Conflicts: 1209000 | #Constraints: 29607 2266.73/2275.75 c #Conflicts: 1210000 | #Constraints: 30607 2266.73/2275.75 c #Conflicts: 1211000 | #Constraints: 31607 2266.73/2275.75 c #Conflicts: 1212000 | #Constraints: 32607 2266.73/2275.75 c #Conflicts: 1213000 | #Constraints: 33607 2266.73/2275.75 c #Conflicts: 1214000 | #Constraints: 34607 2266.73/2275.75 c #Conflicts: 1215000 | #Constraints: 35607 2266.73/2275.75 c #Conflicts: 1216000 | #Constraints: 36607 2266.73/2275.75 c #Conflicts: 1217000 | #Constraints: 37607 2266.73/2275.75 c #Conflicts: 1218000 | #Constraints: 38607 2266.73/2275.75 c #Conflicts: 1219000 | #Constraints: 39607 2266.73/2275.75 c #Conflicts: 1220000 | #Constraints: 40607 2266.73/2275.75 c #Conflicts: 1221000 | #Constraints: 41607 2266.73/2275.75 c #Conflicts: 1222000 | #Constraints: 42607 2266.73/2275.75 c #Conflicts: 1223000 | #Constraints: 43607 2266.73/2275.75 c #Conflicts: 1224000 | #Constraints: 44607 2266.73/2275.75 c INPROCESSING 2266.73/2275.75 c GARBAGE COLLECT 2266.73/2275.75 c rational objective 1.47864 2330.31/2339.54 c #Conflicts: 1225000 | #Constraints: 23306 2330.31/2339.54 c #Conflicts: 1226000 | #Constraints: 24306 2330.31/2339.54 c #Conflicts: 1227000 | #Constraints: 25306 2330.31/2339.54 c #Conflicts: 1228000 | #Constraints: 26306 2330.31/2339.54 c #Conflicts: 1229000 | #Constraints: 27306 2330.31/2339.54 c #Conflicts: 1230000 | #Constraints: 28306 2330.31/2339.54 c #Conflicts: 1231000 | #Constraints: 29306 2330.31/2339.54 c #Conflicts: 1232000 | #Constraints: 30306 2330.31/2339.54 c #Conflicts: 1233000 | #Constraints: 31306 2330.31/2339.54 c #Conflicts: 1234000 | #Constraints: 32306 2330.31/2339.54 c #Conflicts: 1235000 | #Constraints: 33306 2330.31/2339.54 c #Conflicts: 1236000 | #Constraints: 34306 2330.31/2339.54 c #Conflicts: 1237000 | #Constraints: 35306 2330.31/2339.54 c #Conflicts: 1238000 | #Constraints: 36306 2330.31/2339.54 c #Conflicts: 1239000 | #Constraints: 37306 2330.31/2339.54 c #Conflicts: 1240000 | #Constraints: 38306 2330.31/2339.54 c #Conflicts: 1241000 | #Constraints: 39306 2330.31/2339.54 c #Conflicts: 1242000 | #Constraints: 40306 2330.31/2339.54 c #Conflicts: 1243000 | #Constraints: 41306 2330.31/2339.54 c #Conflicts: 1244000 | #Constraints: 42306 2330.31/2339.54 c #Conflicts: 1245000 | #Constraints: 43306 2330.31/2339.54 c #Conflicts: 1246000 | #Constraints: 44306 2330.31/2339.54 c INPROCESSING 2330.31/2339.54 c GARBAGE COLLECT 2330.31/2339.54 c rational objective 1.47864 2396.29/2405.73 c #Conflicts: 1247000 | #Constraints: 22808 2396.29/2405.73 c #Conflicts: 1248000 | #Constraints: 23809 2396.29/2405.73 c #Conflicts: 1249000 | #Constraints: 24809 2396.29/2405.73 c #Conflicts: 1250000 | #Constraints: 25809 2396.29/2405.73 c #Conflicts: 1251000 | #Constraints: 26809 2396.29/2405.73 c #Conflicts: 1252000 | #Constraints: 27809 2396.29/2405.73 c #Conflicts: 1253000 | #Constraints: 28809 2396.29/2405.73 c #Conflicts: 1254000 | #Constraints: 29809 2396.29/2405.73 c #Conflicts: 1255000 | #Constraints: 30809 2396.29/2405.73 c #Conflicts: 1256000 | #Constraints: 31809 2396.29/2405.73 c #Conflicts: 1257000 | #Constraints: 32809 2396.29/2405.73 c #Conflicts: 1258000 | #Constraints: 33809 2396.29/2405.73 c #Conflicts: 1259000 | #Constraints: 34809 2396.29/2405.73 c #Conflicts: 1260000 | #Constraints: 35809 2396.29/2405.73 c #Conflicts: 1261000 | #Constraints: 36809 2396.29/2405.73 c #Conflicts: 1262000 | #Constraints: 37809 2396.29/2405.73 c #Conflicts: 1263000 | #Constraints: 38809 2396.29/2405.73 c #Conflicts: 1264000 | #Constraints: 39809 2396.29/2405.73 c #Conflicts: 1265000 | #Constraints: 40809 2396.29/2405.73 c #Conflicts: 1266000 | #Constraints: 41809 2396.29/2405.73 c #Conflicts: 1267000 | #Constraints: 42809 2396.29/2405.73 c #Conflicts: 1268000 | #Constraints: 43809 2396.29/2405.73 c #Conflicts: 1269000 | #Constraints: 44809 2396.29/2405.73 c INPROCESSING 2396.29/2405.73 c GARBAGE COLLECT 2396.29/2405.73 c rational objective 1.47864 2462.66/2472.37 c #Conflicts: 1270000 | #Constraints: 23110 2462.66/2472.37 c #Conflicts: 1271000 | #Constraints: 24110 2462.66/2472.37 c #Conflicts: 1272000 | #Constraints: 25110 2462.66/2472.37 c #Conflicts: 1273000 | #Constraints: 26110 2462.66/2472.37 c #Conflicts: 1274000 | #Constraints: 27110 2462.66/2472.37 c #Conflicts: 1275000 | #Constraints: 28110 2462.66/2472.37 c #Conflicts: 1276000 | #Constraints: 29110 2462.66/2472.37 c #Conflicts: 1277000 | #Constraints: 30111 2462.66/2472.37 c #Conflicts: 1278000 | #Constraints: 31112 2462.66/2472.37 c #Conflicts: 1279000 | #Constraints: 32112 2462.66/2472.37 c #Conflicts: 1280000 | #Constraints: 33112 2462.66/2472.37 c #Conflicts: 1281000 | #Constraints: 34112 2462.66/2472.37 c #Conflicts: 1282000 | #Constraints: 35112 2462.66/2472.37 c #Conflicts: 1283000 | #Constraints: 36112 2462.66/2472.37 c #Conflicts: 1284000 | #Constraints: 37112 2462.66/2472.37 c #Conflicts: 1285000 | #Constraints: 38112 2462.66/2472.37 c #Conflicts: 1286000 | #Constraints: 39112 2462.66/2472.37 c #Conflicts: 1287000 | #Constraints: 40112 2462.66/2472.37 c #Conflicts: 1288000 | #Constraints: 41112 2462.66/2472.37 c #Conflicts: 1289000 | #Constraints: 42112 2462.66/2472.37 c #Conflicts: 1290000 | #Constraints: 43112 2462.66/2472.37 c #Conflicts: 1291000 | #Constraints: 44112 2462.66/2472.37 c #Conflicts: 1292000 | #Constraints: 45112 2462.66/2472.37 c INPROCESSING 2462.66/2472.37 c GARBAGE COLLECT 2462.66/2472.37 c rational objective 1.47864 2532.54/2542.43 c #Conflicts: 1293000 | #Constraints: 23214 2532.54/2542.43 c #Conflicts: 1294000 | #Constraints: 24214 2532.54/2542.43 c #Conflicts: 1295000 | #Constraints: 25214 2532.54/2542.43 c #Conflicts: 1296000 | #Constraints: 26214 2532.54/2542.43 c #Conflicts: 1297000 | #Constraints: 27214 2532.54/2542.43 c #Conflicts: 1298000 | #Constraints: 28214 2532.54/2542.43 c #Conflicts: 1299000 | #Constraints: 29214 2532.54/2542.43 c #Conflicts: 1300000 | #Constraints: 30214 2532.54/2542.43 c #Conflicts: 1301000 | #Constraints: 31214 2532.54/2542.43 c #Conflicts: 1302000 | #Constraints: 32214 2532.54/2542.43 c #Conflicts: 1303000 | #Constraints: 33214 2532.54/2542.43 c #Conflicts: 1304000 | #Constraints: 34214 2532.54/2542.43 c #Conflicts: 1305000 | #Constraints: 35214 2532.54/2542.43 c #Conflicts: 1306000 | #Constraints: 36214 2532.54/2542.43 c #Conflicts: 1307000 | #Constraints: 37214 2532.54/2542.43 c #Conflicts: 1308000 | #Constraints: 38214 2532.54/2542.43 c #Conflicts: 1309000 | #Constraints: 39214 2532.54/2542.43 c #Conflicts: 1310000 | #Constraints: 40214 2532.54/2542.43 c #Conflicts: 1311000 | #Constraints: 41214 2532.54/2542.43 c #Conflicts: 1312000 | #Constraints: 42214 2532.54/2542.43 c #Conflicts: 1313000 | #Constraints: 43214 2532.54/2542.43 c #Conflicts: 1314000 | #Constraints: 44214 2532.54/2542.43 c #Conflicts: 1315000 | #Constraints: 45214 2532.54/2542.43 c #Conflicts: 1316000 | #Constraints: 46214 2532.54/2542.43 c INPROCESSING 2532.54/2542.43 c GARBAGE COLLECT 2532.54/2542.43 c rational objective 1.47864 2603.30/2613.42 c #Conflicts: 1317000 | #Constraints: 24111 2603.30/2613.42 c #Conflicts: 1318000 | #Constraints: 25111 2603.30/2613.42 c #Conflicts: 1319000 | #Constraints: 26111 2603.30/2613.42 c #Conflicts: 1320000 | #Constraints: 27111 2603.30/2613.42 c #Conflicts: 1321000 | #Constraints: 28111 2603.30/2613.42 c #Conflicts: 1322000 | #Constraints: 29111 2603.30/2613.42 c #Conflicts: 1323000 | #Constraints: 30111 2603.30/2613.42 c #Conflicts: 1324000 | #Constraints: 31111 2603.30/2613.42 c #Conflicts: 1325000 | #Constraints: 32111 2603.30/2613.42 c #Conflicts: 1326000 | #Constraints: 33112 2603.30/2613.42 c #Conflicts: 1327000 | #Constraints: 34112 2603.30/2613.42 c #Conflicts: 1328000 | #Constraints: 35112 2603.30/2613.42 c #Conflicts: 1329000 | #Constraints: 36112 2603.30/2613.42 c #Conflicts: 1330000 | #Constraints: 37113 2603.30/2613.42 c #Conflicts: 1331000 | #Constraints: 38113 2603.30/2613.42 c #Conflicts: 1332000 | #Constraints: 39113 2603.30/2613.42 c #Conflicts: 1333000 | #Constraints: 40113 2603.30/2613.42 c #Conflicts: 1334000 | #Constraints: 41113 2603.30/2613.42 c #Conflicts: 1335000 | #Constraints: 42113 2603.30/2613.42 c #Conflicts: 1336000 | #Constraints: 43113 2603.30/2613.42 c #Conflicts: 1337000 | #Constraints: 44113 2603.30/2613.42 c #Conflicts: 1338000 | #Constraints: 45113 2603.30/2613.42 c #Conflicts: 1339000 | #Constraints: 46113 2603.30/2613.42 c INPROCESSING 2603.30/2613.42 c GARBAGE COLLECT 2603.30/2613.42 c rational objective 1.47864 2670.37/2680.79 c #Conflicts: 1340000 | #Constraints: 23811 2670.37/2680.79 c #Conflicts: 1341000 | #Constraints: 24811 2670.37/2680.79 c #Conflicts: 1342000 | #Constraints: 25812 2670.37/2680.79 c #Conflicts: 1343000 | #Constraints: 26812 2670.37/2680.79 c #Conflicts: 1344000 | #Constraints: 27812 2670.37/2680.79 c #Conflicts: 1345000 | #Constraints: 28812 2670.37/2680.79 c #Conflicts: 1346000 | #Constraints: 29812 2670.37/2680.79 c #Conflicts: 1347000 | #Constraints: 30812 2670.37/2680.79 c #Conflicts: 1348000 | #Constraints: 31812 2670.37/2680.79 c #Conflicts: 1349000 | #Constraints: 32812 2670.37/2680.79 c #Conflicts: 1350000 | #Constraints: 33812 2670.37/2680.79 c #Conflicts: 1351000 | #Constraints: 34812 2670.37/2680.79 c #Conflicts: 1352000 | #Constraints: 35812 2670.37/2680.79 c #Conflicts: 1353000 | #Constraints: 36812 2670.37/2680.79 c #Conflicts: 1354000 | #Constraints: 37812 2670.37/2680.79 c #Conflicts: 1355000 | #Constraints: 38812 2670.37/2680.79 c #Conflicts: 1356000 | #Constraints: 39812 2670.37/2680.79 c #Conflicts: 1357000 | #Constraints: 40812 2670.37/2680.79 c #Conflicts: 1358000 | #Constraints: 41812 2670.37/2680.79 c #Conflicts: 1359000 | #Constraints: 42812 2670.37/2680.79 c #Conflicts: 1360000 | #Constraints: 43812 2670.37/2680.79 c #Conflicts: 1361000 | #Constraints: 44812 2670.37/2680.79 c #Conflicts: 1362000 | #Constraints: 45812 2670.37/2680.79 c #Conflicts: 1363000 | #Constraints: 46812 2670.37/2680.79 c INPROCESSING 2670.37/2680.79 c GARBAGE COLLECT 2670.37/2680.79 c rational objective 1.47864 2754.06/2764.71 c #Conflicts: 1364000 | #Constraints: 24311 2754.06/2764.71 c #Conflicts: 1365000 | #Constraints: 25311 2754.06/2764.71 c #Conflicts: 1366000 | #Constraints: 26312 2754.06/2764.71 c #Conflicts: 1367000 | #Constraints: 27312 2754.06/2764.71 c #Conflicts: 1368000 | #Constraints: 28312 2754.06/2764.71 c #Conflicts: 1369000 | #Constraints: 29312 2754.06/2764.71 c #Conflicts: 1370000 | #Constraints: 30312 2754.06/2764.71 c #Conflicts: 1371000 | #Constraints: 31312 2754.06/2764.71 c #Conflicts: 1372000 | #Constraints: 32312 2754.06/2764.71 c #Conflicts: 1373000 | #Constraints: 33312 2754.06/2764.71 c #Conflicts: 1374000 | #Constraints: 34312 2754.06/2764.71 c #Conflicts: 1375000 | #Constraints: 35312 2754.06/2764.71 c #Conflicts: 1376000 | #Constraints: 36312 2754.06/2764.71 c #Conflicts: 1377000 | #Constraints: 37312 2754.06/2764.71 c #Conflicts: 1378000 | #Constraints: 38312 2754.06/2764.71 c #Conflicts: 1379000 | #Constraints: 39312 2754.06/2764.71 c #Conflicts: 1380000 | #Constraints: 40312 2754.06/2764.71 c #Conflicts: 1381000 | #Constraints: 41312 2754.06/2764.71 c #Conflicts: 1382000 | #Constraints: 42312 2754.06/2764.71 c #Conflicts: 1383000 | #Constraints: 43312 2754.06/2764.71 c #Conflicts: 1384000 | #Constraints: 44312 2754.06/2764.71 c #Conflicts: 1385000 | #Constraints: 45312 2754.06/2764.71 c #Conflicts: 1386000 | #Constraints: 46312 2754.06/2764.71 c #Conflicts: 1387000 | #Constraints: 47312 2754.06/2764.71 c INPROCESSING 2754.06/2764.71 c GARBAGE COLLECT 2754.06/2764.71 c rational objective 1.47864 2831.97/2842.95 c #Conflicts: 1388000 | #Constraints: 24610 2831.97/2842.95 c #Conflicts: 1389000 | #Constraints: 25610 2831.97/2842.95 c #Conflicts: 1390000 | #Constraints: 26610 2831.97/2842.95 c #Conflicts: 1391000 | #Constraints: 27611 2831.97/2842.95 c #Conflicts: 1392000 | #Constraints: 28611 2831.97/2842.95 c #Conflicts: 1393000 | #Constraints: 29611 2831.97/2842.95 c #Conflicts: 1394000 | #Constraints: 30611 2831.97/2842.95 c #Conflicts: 1395000 | #Constraints: 31611 2831.97/2842.95 c #Conflicts: 1396000 | #Constraints: 32611 2831.97/2842.95 c #Conflicts: 1397000 | #Constraints: 33611 2831.97/2842.95 c #Conflicts: 1398000 | #Constraints: 34611 2831.97/2842.95 c #Conflicts: 1399000 | #Constraints: 35611 2831.97/2842.95 c #Conflicts: 1400000 | #Constraints: 36611 2831.97/2842.95 c #Conflicts: 1401000 | #Constraints: 37611 2831.97/2842.95 c #Conflicts: 1402000 | #Constraints: 38611 2831.97/2842.95 c #Conflicts: 1403000 | #Constraints: 39611 2831.97/2842.95 c #Conflicts: 1404000 | #Constraints: 40611 2831.97/2842.95 c #Conflicts: 1405000 | #Constraints: 41611 2831.97/2842.95 c #Conflicts: 1406000 | #Constraints: 42611 2831.97/2842.95 c #Conflicts: 1407000 | #Constraints: 43611 2831.97/2842.95 c #Conflicts: 1408000 | #Constraints: 44612 2831.97/2842.95 c #Conflicts: 1409000 | #Constraints: 45612 2831.97/2842.95 c #Conflicts: 1410000 | #Constraints: 46613 2831.97/2842.95 c #Conflicts: 1411000 | #Constraints: 47613 2831.97/2842.95 c INPROCESSING 2831.97/2842.95 c GARBAGE COLLECT 2831.97/2842.95 c rational objective 1.47864 2905.41/2916.68 c #Conflicts: 1412000 | #Constraints: 24708 2905.41/2916.68 c #Conflicts: 1413000 | #Constraints: 25708 2905.41/2916.68 c #Conflicts: 1414000 | #Constraints: 26708 2905.41/2916.68 c #Conflicts: 1415000 | #Constraints: 27708 2905.41/2916.68 c #Conflicts: 1416000 | #Constraints: 28708 2905.41/2916.68 c #Conflicts: 1417000 | #Constraints: 29708 2905.41/2916.68 c #Conflicts: 1418000 | #Constraints: 30708 2905.41/2916.68 c #Conflicts: 1419000 | #Constraints: 31708 2905.41/2916.68 c #Conflicts: 1420000 | #Constraints: 32708 2905.41/2916.68 c #Conflicts: 1421000 | #Constraints: 33708 2905.41/2916.68 c #Conflicts: 1422000 | #Constraints: 34708 2905.41/2916.68 c #Conflicts: 1423000 | #Constraints: 35709 2905.41/2916.68 c #Conflicts: 1424000 | #Constraints: 36709 2905.41/2916.68 c #Conflicts: 1425000 | #Constraints: 37709 2905.41/2916.68 c #Conflicts: 1426000 | #Constraints: 38709 2905.41/2916.68 c #Conflicts: 1427000 | #Constraints: 39709 2905.41/2916.68 c #Conflicts: 1428000 | #Constraints: 40709 2905.41/2916.68 c #Conflicts: 1429000 | #Constraints: 41709 2905.41/2916.68 c #Conflicts: 1430000 | #Constraints: 42709 2905.41/2916.68 c #Conflicts: 1431000 | #Constraints: 43709 2905.41/2916.68 c #Conflicts: 1432000 | #Constraints: 44709 2905.41/2916.68 c #Conflicts: 1433000 | #Constraints: 45709 2905.41/2916.68 c #Conflicts: 1434000 | #Constraints: 46709 2905.41/2916.68 c #Conflicts: 1435000 | #Constraints: 47709 2905.41/2916.68 c INPROCESSING 2905.41/2916.68 c GARBAGE COLLECT 2905.41/2916.68 c rational objective 1.47864 2986.01/2997.52 c #Conflicts: 1436000 | #Constraints: 24608 2986.01/2997.52 c #Conflicts: 1437000 | #Constraints: 25608 2986.01/2997.52 c #Conflicts: 1438000 | #Constraints: 26608 2986.01/2997.52 c #Conflicts: 1439000 | #Constraints: 27608 2986.01/2997.52 c #Conflicts: 1440000 | #Constraints: 28608 2986.01/2997.52 c #Conflicts: 1441000 | #Constraints: 29608 2986.01/2997.52 c #Conflicts: 1442000 | #Constraints: 30608 2986.01/2997.52 c #Conflicts: 1443000 | #Constraints: 31608 2986.01/2997.52 c #Conflicts: 1444000 | #Constraints: 32608 2986.01/2997.52 c #Conflicts: 1445000 | #Constraints: 33608 2986.01/2997.52 c #Conflicts: 1446000 | #Constraints: 34608 2986.01/2997.52 c #Conflicts: 1447000 | #Constraints: 35608 2986.01/2997.52 c #Conflicts: 1448000 | #Constraints: 36608 2986.01/2997.52 c #Conflicts: 1449000 | #Constraints: 37608 2986.01/2997.52 c #Conflicts: 1450000 | #Constraints: 38608 2986.01/2997.52 c #Conflicts: 1451000 | #Constraints: 39608 2986.01/2997.52 c #Conflicts: 1452000 | #Constraints: 40608 2986.01/2997.52 c #Conflicts: 1453000 | #Constraints: 41608 2986.01/2997.52 c #Conflicts: 1454000 | #Constraints: 42608 2986.01/2997.52 c #Conflicts: 1455000 | #Constraints: 43608 2986.01/2997.52 c #Conflicts: 1456000 | #Constraints: 44608 2986.01/2997.52 c #Conflicts: 1457000 | #Constraints: 45608 2986.01/2997.52 c #Conflicts: 1458000 | #Constraints: 46608 2986.01/2997.52 c #Conflicts: 1459000 | #Constraints: 47608 2986.01/2997.52 c #Conflicts: 1460000 | #Constraints: 48608 2986.01/2997.52 c INPROCESSING 2986.01/2997.52 c GARBAGE COLLECT 2986.01/2997.52 c rational objective 1.47864 3084.54/3096.41 c #Conflicts: 1461000 | #Constraints: 25308 3084.54/3096.41 c #Conflicts: 1462000 | #Constraints: 26308 3084.54/3096.41 c #Conflicts: 1463000 | #Constraints: 27308 3084.54/3096.41 c #Conflicts: 1464000 | #Constraints: 28308 3084.54/3096.41 c #Conflicts: 1465000 | #Constraints: 29308 3084.54/3096.41 c #Conflicts: 1466000 | #Constraints: 30308 3084.54/3096.41 c #Conflicts: 1467000 | #Constraints: 31308 3084.54/3096.41 c #Conflicts: 1468000 | #Constraints: 32308 3084.54/3096.41 c #Conflicts: 1469000 | #Constraints: 33308 3084.54/3096.41 c #Conflicts: 1470000 | #Constraints: 34308 3084.54/3096.41 c #Conflicts: 1471000 | #Constraints: 35308 3084.54/3096.41 c #Conflicts: 1472000 | #Constraints: 36308 3084.54/3096.41 c #Conflicts: 1473000 | #Constraints: 37308 3084.54/3096.41 c #Conflicts: 1474000 | #Constraints: 38308 3084.54/3096.41 c #Conflicts: 1475000 | #Constraints: 39308 3084.54/3096.41 c #Conflicts: 1476000 | #Constraints: 40308 3084.54/3096.41 c #Conflicts: 1477000 | #Constraints: 41308 3084.54/3096.41 c #Conflicts: 1478000 | #Constraints: 42308 3084.54/3096.41 c #Conflicts: 1479000 | #Constraints: 43308 3084.54/3096.41 c #Conflicts: 1480000 | #Constraints: 44309 3084.54/3096.41 c #Conflicts: 1481000 | #Constraints: 45309 3084.54/3096.41 c #Conflicts: 1482000 | #Constraints: 46309 3084.54/3096.41 c #Conflicts: 1483000 | #Constraints: 47309 3084.54/3096.41 c #Conflicts: 1484000 | #Constraints: 48309 3084.54/3096.41 c INPROCESSING 3084.54/3096.41 c GARBAGE COLLECT 3084.54/3096.41 c rational objective 1.47864 3173.22/3185.47 c #Conflicts: 1485000 | #Constraints: 24811 3173.22/3185.47 c #Conflicts: 1486000 | #Constraints: 25811 3173.22/3185.47 c #Conflicts: 1487000 | #Constraints: 26811 3173.22/3185.47 c #Conflicts: 1488000 | #Constraints: 27811 3173.22/3185.47 c #Conflicts: 1489000 | #Constraints: 28811 3173.22/3185.47 c #Conflicts: 1490000 | #Constraints: 29811 3173.22/3185.47 c #Conflicts: 1491000 | #Constraints: 30811 3173.22/3185.47 c #Conflicts: 1492000 | #Constraints: 31811 3173.22/3185.47 c #Conflicts: 1493000 | #Constraints: 32811 3173.22/3185.47 c #Conflicts: 1494000 | #Constraints: 33811 3173.22/3185.47 c #Conflicts: 1495000 | #Constraints: 34811 3173.22/3185.47 c #Conflicts: 1496000 | #Constraints: 35811 3173.22/3185.47 c #Conflicts: 1497000 | #Constraints: 36811 3173.22/3185.47 c #Conflicts: 1498000 | #Constraints: 37811 3173.22/3185.47 c #Conflicts: 1499000 | #Constraints: 38811 3173.22/3185.47 c #Conflicts: 1500000 | #Constraints: 39811 3173.22/3185.47 c #Conflicts: 1501000 | #Constraints: 40811 3173.22/3185.47 c #Conflicts: 1502000 | #Constraints: 41811 3173.22/3185.47 c #Conflicts: 1503000 | #Constraints: 42811 3173.22/3185.47 c #Conflicts: 1504000 | #Constraints: 43811 3173.22/3185.47 c #Conflicts: 1505000 | #Constraints: 44811 3173.22/3185.47 c #Conflicts: 1506000 | #Constraints: 45811 3173.22/3185.47 c #Conflicts: 1507000 | #Constraints: 46811 3173.22/3185.47 c #Conflicts: 1508000 | #Constraints: 47812 3173.22/3185.47 c #Conflicts: 1509000 | #Constraints: 48812 3173.22/3185.47 c INPROCESSING 3173.22/3185.47 c GARBAGE COLLECT 3173.22/3185.47 c rational objective 1.47864 3277.69/3290.38 c #Conflicts: 1510000 | #Constraints: 25109 3277.69/3290.38 c #Conflicts: 1511000 | #Constraints: 26109 3277.69/3290.38 c #Conflicts: 1512000 | #Constraints: 27109 3277.69/3290.38 c #Conflicts: 1513000 | #Constraints: 28109 3277.69/3290.38 c #Conflicts: 1514000 | #Constraints: 29109 3277.69/3290.38 c #Conflicts: 1515000 | #Constraints: 30109 3277.69/3290.38 c #Conflicts: 1516000 | #Constraints: 31110 3277.69/3290.38 c #Conflicts: 1517000 | #Constraints: 32111 3277.69/3290.38 c #Conflicts: 1518000 | #Constraints: 33111 3277.69/3290.38 c #Conflicts: 1519000 | #Constraints: 34111 3277.69/3290.38 c #Conflicts: 1520000 | #Constraints: 35111 3277.69/3290.38 c #Conflicts: 1521000 | #Constraints: 36111 3277.69/3290.38 c #Conflicts: 1522000 | #Constraints: 37111 3277.69/3290.38 c #Conflicts: 1523000 | #Constraints: 38111 3277.69/3290.38 c #Conflicts: 1524000 | #Constraints: 39111 3277.69/3290.38 c #Conflicts: 1525000 | #Constraints: 40111 3277.69/3290.38 c #Conflicts: 1526000 | #Constraints: 41111 3277.69/3290.38 c #Conflicts: 1527000 | #Constraints: 42111 3277.69/3290.38 c #Conflicts: 1528000 | #Constraints: 43111 3277.69/3290.38 c #Conflicts: 1529000 | #Constraints: 44111 3277.69/3290.38 c #Conflicts: 1530000 | #Constraints: 45111 3277.69/3290.38 c #Conflicts: 1531000 | #Constraints: 46111 3277.69/3290.38 c #Conflicts: 1532000 | #Constraints: 47111 3277.69/3290.38 c #Conflicts: 1533000 | #Constraints: 48111 3277.69/3290.38 c #Conflicts: 1534000 | #Constraints: 49111 3277.69/3290.38 c INPROCESSING 3277.69/3290.38 c GARBAGE COLLECT 3277.69/3290.38 c rational objective 1.47864 3369.06/3382.04 c #Conflicts: 1535000 | #Constraints: 25211 3369.06/3382.04 c #Conflicts: 1536000 | #Constraints: 26211 3369.06/3382.04 c #Conflicts: 1537000 | #Constraints: 27211 3369.06/3382.04 c #Conflicts: 1538000 | #Constraints: 28211 3369.06/3382.04 c #Conflicts: 1539000 | #Constraints: 29211 3369.06/3382.04 c #Conflicts: 1540000 | #Constraints: 30211 3369.06/3382.04 c #Conflicts: 1541000 | #Constraints: 31211 3369.06/3382.04 c #Conflicts: 1542000 | #Constraints: 32211 3369.06/3382.04 c #Conflicts: 1543000 | #Constraints: 33211 3369.06/3382.04 c #Conflicts: 1544000 | #Constraints: 34211 3369.06/3382.04 c #Conflicts: 1545000 | #Constraints: 35211 3369.06/3382.04 c #Conflicts: 1546000 | #Constraints: 36211 3369.06/3382.04 c #Conflicts: 1547000 | #Constraints: 37211 3369.06/3382.04 c #Conflicts: 1548000 | #Constraints: 38211 3369.06/3382.04 c #Conflicts: 1549000 | #Constraints: 39211 3369.06/3382.04 c #Conflicts: 1550000 | #Constraints: 40211 3369.06/3382.04 c #Conflicts: 1551000 | #Constraints: 41211 3369.06/3382.04 c #Conflicts: 1552000 | #Constraints: 42211 3369.06/3382.04 c #Conflicts: 1553000 | #Constraints: 43211 3369.06/3382.04 c #Conflicts: 1554000 | #Constraints: 44211 3369.06/3382.04 c #Conflicts: 1555000 | #Constraints: 45211 3369.06/3382.04 c #Conflicts: 1556000 | #Constraints: 46211 3369.06/3382.04 c #Conflicts: 1557000 | #Constraints: 47211 3369.06/3382.04 c #Conflicts: 1558000 | #Constraints: 48211 3369.06/3382.04 c #Conflicts: 1559000 | #Constraints: 49211 3369.06/3382.04 c #Conflicts: 1560000 | #Constraints: 50211 3369.06/3382.04 c INPROCESSING 3369.06/3382.04 c GARBAGE COLLECT 3369.06/3382.04 c rational objective 1.47864 3442.29/3455.59 c #Conflicts: 1561000 | #Constraints: 26112 3442.29/3455.59 c #Conflicts: 1562000 | #Constraints: 27113 3442.29/3455.59 c #Conflicts: 1563000 | #Constraints: 28113 3442.29/3455.59 c #Conflicts: 1564000 | #Constraints: 29113 3442.29/3455.59 c #Conflicts: 1565000 | #Constraints: 30113 3442.29/3455.59 c #Conflicts: 1566000 | #Constraints: 31113 3442.29/3455.59 c #Conflicts: 1567000 | #Constraints: 32113 3442.29/3455.59 c #Conflicts: 1568000 | #Constraints: 33113 3442.29/3455.59 c #Conflicts: 1569000 | #Constraints: 34113 3442.29/3455.59 c #Conflicts: 1570000 | #Constraints: 35113 3442.29/3455.59 c #Conflicts: 1571000 | #Constraints: 36113 3442.29/3455.59 c #Conflicts: 1572000 | #Constraints: 37113 3442.29/3455.59 c #Conflicts: 1573000 | #Constraints: 38113 3442.29/3455.59 c #Conflicts: 1574000 | #Constraints: 39113 3442.29/3455.59 c #Conflicts: 1575000 | #Constraints: 40113 3442.29/3455.59 c #Conflicts: 1576000 | #Constraints: 41113 3442.29/3455.59 c #Conflicts: 1577000 | #Constraints: 42113 3442.29/3455.59 c #Conflicts: 1578000 | #Constraints: 43113 3442.29/3455.59 c #Conflicts: 1579000 | #Constraints: 44113 3442.29/3455.59 c #Conflicts: 1580000 | #Constraints: 45113 3442.29/3455.59 c #Conflicts: 1581000 | #Constraints: 46113 3442.29/3455.59 c #Conflicts: 1582000 | #Constraints: 47113 3442.29/3455.59 c #Conflicts: 1583000 | #Constraints: 48113 3442.29/3455.59 c #Conflicts: 1584000 | #Constraints: 49113 3442.29/3455.59 c #Conflicts: 1585000 | #Constraints: 50113 3442.29/3455.59 c INPROCESSING 3442.29/3455.59 c GARBAGE COLLECT 3442.29/3455.59 c rational objective 1.47864 3522.89/3536.49 c #Conflicts: 1586000 | #Constraints: 25812 3522.89/3536.49 c #Conflicts: 1587000 | #Constraints: 26812 3522.89/3536.49 c #Conflicts: 1588000 | #Constraints: 27812 3522.89/3536.49 c #Conflicts: 1589000 | #Constraints: 28812 3522.89/3536.49 c #Conflicts: 1590000 | #Constraints: 29812 3522.89/3536.49 c #Conflicts: 1591000 | #Constraints: 30812 3522.89/3536.49 c #Conflicts: 1592000 | #Constraints: 31812 3522.89/3536.49 c #Conflicts: 1593000 | #Constraints: 32812 3522.89/3536.49 c #Conflicts: 1594000 | #Constraints: 33812 3522.89/3536.49 c #Conflicts: 1595000 | #Constraints: 34812 3522.89/3536.49 c #Conflicts: 1596000 | #Constraints: 35812 3522.89/3536.49 c #Conflicts: 1597000 | #Constraints: 36812 3522.89/3536.49 c #Conflicts: 1598000 | #Constraints: 37812 3522.89/3536.49 c #Conflicts: 1599000 | #Constraints: 38812 3522.89/3536.49 c #Conflicts: 1600000 | #Constraints: 39812 3522.89/3536.49 c #Conflicts: 1601000 | #Constraints: 40812 3522.89/3536.49 c #Conflicts: 1602000 | #Constraints: 41812 3522.89/3536.49 c #Conflicts: 1603000 | #Constraints: 42812 3522.89/3536.49 c #Conflicts: 1604000 | #Constraints: 43812 3522.89/3536.49 c #Conflicts: 1605000 | #Constraints: 44812 3522.89/3536.49 c #Conflicts: 1606000 | #Constraints: 45812 3522.89/3536.49 c #Conflicts: 1607000 | #Constraints: 46812 3522.89/3536.49 c #Conflicts: 1608000 | #Constraints: 47812 3522.89/3536.49 c #Conflicts: 1609000 | #Constraints: 48812 3522.89/3536.49 c #Conflicts: 1610000 | #Constraints: 49812 3522.89/3536.49 c #Conflicts: 1611000 | #Constraints: 50812 3522.89/3536.49 c INPROCESSING 3522.89/3536.49 c GARBAGE COLLECT 3522.89/3536.49 c rational objective 1.47864 3600.08/3613.90 c #Conflicts: 1612000 | #Constraints: 26311 3600.08/3613.90 c #Conflicts: 1613000 | #Constraints: 27311 3600.08/3613.90 c #Conflicts: 1614000 | #Constraints: 28311 3600.08/3613.90 c #Conflicts: 1615000 | #Constraints: 29311 3600.08/3613.90 c #Conflicts: 1616000 | #Constraints: 30311 3600.08/3613.90 c #Conflicts: 1617000 | #Constraints: 31311 3600.08/3613.90 c #Conflicts: 1618000 | #Constraints: 32311 3600.08/3613.90 c #Conflicts: 1619000 | #Constraints: 33311 3600.08/3613.90 c #Conflicts: 1620000 | #Constraints: 34311 3600.08/3613.90 c #Conflicts: 1621000 | #Constraints: 35311 3600.08/3613.90 c #Conflicts: 1622000 | #Constraints: 36311 3600.08/3613.90 c #Conflicts: 1623000 | #Constraints: 37311 3600.08/3613.90 c #Conflicts: 1624000 | #Constraints: 38311 3600.08/3613.90 c #Conflicts: 1625000 | #Constraints: 39311 3600.08/3613.90 c #Conflicts: 1626000 | #Constraints: 40311 3600.08/3613.90 c #Conflicts: 1627000 | #Constraints: 41311 3600.08/3613.90 c #Conflicts: 1628000 | #Constraints: 42311 3600.08/3613.90 c #Conflicts: 1629000 | #Constraints: 43311 3600.08/3613.90 c #Conflicts: 1630000 | #Constraints: 44311 3600.08/3613.90 c #Conflicts: 1631000 | #Constraints: 45311 3600.08/3613.90 c #Conflicts: 1632000 | #Constraints: 46311 3600.08/3613.90 c Program interrupted by user. 3600.08/3613.93 c cpu time 3571.76 s 3600.08/3613.93 c deterministic time 574663188609 5.75e+11 3600.08/3613.93 c optimization time 76.6899 s 3600.08/3613.93 c total solve time 3495.06 s 3600.08/3613.93 c core-guided solve time 0 s 3600.08/3613.93 c propagation time 3173.56 s 3600.08/3613.93 c conflict analysis time 373.605 s 3600.08/3613.93 c propagations 10698030 3600.08/3613.93 c resolve steps 5234802 3600.08/3613.93 c decisions 3946078 3600.08/3613.93 c conflicts 1632288 3600.08/3613.93 c restarts 3069 3600.08/3613.93 c inprocessing phases 106 3600.08/3613.93 c input clauses 0 3600.08/3613.93 c input cardinalities 0 3600.08/3613.93 c input general constraints 2 3600.08/3613.93 c input average constraint length 52.00 3600.08/3613.93 c input average constraint degree 36188387.00 3600.08/3613.93 c learned clauses 883842 3600.08/3613.93 c learned cardinalities 67 3600.08/3613.93 c learned general constraints 748472 3600.08/3613.93 c learned average constraint length 40.37 3600.08/3613.93 c learned average constraint degree 10981508.91 3600.08/3613.93 c watched constraints 470275 3600.08/3613.93 c counting constraints 278199 3600.08/3613.93 c gcd simplifications 890539 3600.08/3613.93 c detected cardinalities 66 3600.08/3613.93 c weakened non-implied lits 3530931 3600.08/3613.93 c weakened non-implying lits 1942335 3600.08/3613.93 c original variables 52 3600.08/3613.93 c clausal propagations 574847 3600.08/3613.93 c cardinality propagations 79 3600.08/3613.93 c watched propagations 4522489 3600.08/3613.93 c counting propagations 4247885 3600.08/3613.93 c watch lookups 88975041957 3600.08/3613.93 c watch backjump lookups 88310391737 3600.08/3613.93 c watch checks 17990486448 3600.08/3613.93 c propagation checks 379031643892 3600.08/3613.93 c constraint additions 323351757 3600.08/3613.93 c trail pops 16276250 3600.08/3613.93 c formula constraints 2 3600.08/3613.93 c learned constraints 1632193 3600.08/3613.93 c bound constraints 0 3600.08/3613.93 c core-guided constraints 0 3600.08/3613.93 c encountered formula constraints 3978941 3600.08/3613.93 c encountered learned constraints 2885574 3600.08/3613.93 c encountered bound constraints 0 3600.08/3613.93 c encountered core-guided constraints 0 3600.08/3613.93 c LP total time 51.9342 s 3600.08/3613.93 c LP solve time 41.7 s 3600.08/3613.93 c LP constraints added 17 3600.08/3613.93 c LP constraints removed 7 3600.08/3613.93 c LP pivots internal 1351219 3600.08/3613.93 c LP pivots root 1240 3600.08/3613.93 c LP calls 1079169 3600.08/3613.93 c LP optimalities 1079075 3600.08/3613.93 c LP no pivot count 300869 3600.08/3613.93 c LP infeasibilities 94 3600.08/3613.93 c LP valid Farkas constraints 94 3600.08/3613.93 c LP learned Farkas constraints 94 3600.08/3613.93 c LP basis resets 0 3600.08/3613.93 c LP cycling count 0 3600.08/3613.93 c LP singular count 0 3600.08/3613.93 c LP no primal count 0 3600.08/3613.93 c LP no farkas count 0 3600.08/3613.93 c LP other issue count 0 3600.08/3613.93 c LP Gomory cuts 0 3600.08/3613.93 c LP learned cuts 15 3600.08/3613.93 c LP deleted cuts 7 3600.08/3613.93 c LP encountered Gomory constraints 0 3600.08/3613.93 c LP encountered Farkas constraints 1983 3600.08/3613.93 c LP encountered learned Farkas constraints 498 3600.08/3613.93 c CG auxiliary variables introduced 0 3600.08/3613.93 c CG solutions found 0 3600.08/3613.93 c CG cores constructed 0 3600.08/3613.93 c CG core cardinality constraints returned 0 3600.08/3613.93 c CG unit cores 0 3600.08/3613.93 c CG single cores 0 3600.08/3613.93 c CG blocks removed during cardinality reduction 0 3600.08/3613.93 c CG first core best 0 3600.08/3613.93 c CG decision core best 0 3600.08/3613.93 c CG core reduction tie 0 3600.08/3613.93 c CG core degree average 0.00 3600.08/3613.93 c CG core slack average 0.00 3600.08/3613.93 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (12485 MiB free)
memory of node 1: 64510 MiB (46454 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460531-1722066442/watcher-4460531-1722066442 -o /tmp/evaluation-result-4460531-1722066442/solver-4460531-1722066442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362351 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460531-1722066442 --lp-cut-gomory=0 HOME/instance-4460531-1722066442.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=363907, runsolver pid=363904
[startup+0.101051 s]*
/proc/loadavg: 4.14 4.31 3.69 5/280 363908
/proc/meminfo: memFree=60352912/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=37772 memory=7776 CPUtime=0.1 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 384 0 0 0 8 2 0 0 20 0 1 0 42633627 38678528 1944 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 9443 1944 1767 992 0 1301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 7776 KiB
[startup+0.215191 s]*
/proc/loadavg: 4.14 4.31 3.69 5/280 363908
/proc/meminfo: memFree=60349532/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=38032 memory=10052 CPUtime=0.21 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 464 0 0 0 18 3 0 0 20 0 1 0 42633627 38944768 2513 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 9508 2513 1767 992 0 1366 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38032 KiB
Current children cumulated memory: 10052 KiB
[startup+0.314802 s]*
/proc/loadavg: 4.14 4.31 3.69 5/280 363908
/proc/meminfo: memFree=60348384/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=38148 memory=10572 CPUtime=0.31 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 484 0 0 0 27 4 0 0 20 0 1 0 42633627 39063552 2643 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 9537 2643 1830 992 0 1395 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 10572 KiB
[startup+0.700233 s]
/proc/loadavg: 4.14 4.31 3.69 5/280 363908
/proc/meminfo: memFree=60296576/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=38420 memory=10832 CPUtime=0.68 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 558 0 0 0 61 7 0 0 20 0 1 0 42633627 39342080 2708 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 9605 2708 1830 992 0 1463 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 10832 KiB
[startup+1.50031 s]
/proc/loadavg: 4.14 4.31 3.69 5/280 363908
/proc/meminfo: memFree=60252180/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=38988 memory=11360 CPUtime=1.48 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 699 0 0 0 137 11 0 0 20 0 1 0 42633627 39923712 2840 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 9747 2840 1830 992 0 1605 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38988 KiB
Current children cumulated memory: 11360 KiB
[startup+3.11466 s]
/proc/loadavg: 4.14 4.31 3.69 5/280 363908
/proc/meminfo: memFree=60241128/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=39532 memory=11944 CPUtime=3.09 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 831 0 0 0 289 20 0 0 20 0 1 0 42633627 40480768 2986 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 9883 2986 1830 992 0 1741 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39532 KiB
Current children cumulated memory: 11944 KiB
[startup+6.30029 s]
/proc/loadavg: 4.20 4.32 3.69 5/280 363908
/proc/meminfo: memFree=60221412/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=40204 memory=12564 CPUtime=6.27 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 984 0 0 0 595 32 0 0 20 0 1 0 42633627 41168896 3141 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 10051 3141 1830 992 0 1909 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40204 KiB
Current children cumulated memory: 12564 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.31 3.70 5/280 363910
/proc/meminfo: memFree=60183768/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=41324 memory=15504 CPUtime=12.65 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 1188 0 0 0 1213 52 0 0 20 0 1 0 42633627 42315776 3876 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 10331 3876 1862 992 0 2189 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41324 KiB
Current children cumulated memory: 15504 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.30 3.70 5/280 363911
/proc/meminfo: memFree=58893056/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=42064 memory=16248 CPUtime=25.41 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 1394 0 0 0 2457 84 0 0 20 0 1 0 42633627 43073536 4062 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 10516 4062 1862 992 0 2374 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 42064 KiB
Current children cumulated memory: 16248 KiB
[startup+51.115 s]
/proc/loadavg: 4.18 4.29 3.72 5/280 363916
/proc/meminfo: memFree=57878576/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=52500 memory=23072 CPUtime=50.93 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 3092 0 0 0 4958 135 0 0 20 0 1 0 42633627 53760000 5768 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 13125 5768 1862 992 0 4983 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 23072 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.26 3.74 5/278 363925
/proc/meminfo: memFree=54827964/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=54104 memory=26656 CPUtime=101.92 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 3594 0 0 0 9979 213 0 0 20 0 1 0 42633627 55402496 6664 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 13526 6664 1862 992 0 5384 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 26656 KiB
[startup+162.3 s]
/proc/loadavg: 4.64 4.37 3.81 5/280 363939
/proc/meminfo: memFree=49873524/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=56408 memory=28496 CPUtime=161.67 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 4419 0 0 0 15872 295 0 0 20 0 1 0 42633627 57761792 7124 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 14102 7124 1862 992 0 5960 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 28496 KiB
[startup+222.3 s]
/proc/loadavg: 4.73 4.45 3.88 5/280 363949
/proc/meminfo: memFree=48702684/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=65204 memory=33216 CPUtime=221.43 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 5248 0 0 0 21770 373 0 0 20 0 1 0 42633627 66768896 8304 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 16301 8304 1862 992 0 8159 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 65204 KiB
Current children cumulated memory: 33216 KiB
[startup+282.3 s]
/proc/loadavg: 4.41 4.40 3.90 5/279 363966
/proc/meminfo: memFree=46458872/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=66996 memory=34540 CPUtime=281.08 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 6052 0 0 0 27665 443 0 0 20 0 1 0 42633627 68603904 8635 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 16749 8635 1862 992 0 8607 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 34540 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.34 3.91 5/276 363982
/proc/meminfo: memFree=42338496/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=66996 memory=34540 CPUtime=340.83 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 6057 0 0 0 33557 526 0 0 20 0 1 0 42633627 68603904 8635 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 16749 8635 1862 992 0 8607 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 34540 KiB
[startup+402.307 s]
/proc/loadavg: 4.19 4.31 3.93 8/276 363992
/proc/meminfo: memFree=37176980/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=66996 memory=34540 CPUtime=400.55 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 6057 0 0 0 39445 610 0 0 20 0 1 0 42633627 68603904 8635 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 16749 8635 1862 992 0 8607 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 34540 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.32 3.96 5/276 364384
/proc/meminfo: memFree=32989524/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=66996 memory=34540 CPUtime=460.21 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 6059 0 0 0 45327 694 0 0 20 0 1 0 42633627 68603904 8635 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 16749 8635 1862 992 0 8607 0
################
# More data... #
################
Current children cumulated memory: 42248 KiB
[startup+2922.3 s]
/proc/loadavg: 4.33 4.28 4.18 5/242 365871
/proc/meminfo: memFree=122953108/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=69696 memory=42256 CPUtime=2911.09 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10143 0 0 0 288593 2516 0 0 20 0 1 0 42633627 71368704 10564 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17424 10564 1862 992 0 9282 0
Current children cumulated CPU time: 2911.09 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 42256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/242 365881
/proc/meminfo: memFree=122692884/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=69696 memory=42256 CPUtime=2970.87 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10159 0 0 0 294546 2541 0 0 20 0 1 0 42633627 71368704 10564 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17424 10564 1862 992 0 9282 0
Current children cumulated CPU time: 2970.87 s
Current children cumulated vsize: 69696 KiB
Current children cumulated memory: 42256 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.21 4.17 5/243 365892
/proc/meminfo: memFree=122432888/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=69824 memory=42384 CPUtime=3030.64 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10378 0 0 0 300495 2569 0 0 20 0 1 0 42633627 71499776 10596 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17456 10596 1862 992 0 9314 0
Current children cumulated CPU time: 3030.64 s
Current children cumulated vsize: 69824 KiB
Current children cumulated memory: 42384 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.18 4.16 5/243 365903
/proc/meminfo: memFree=122146984/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70084 memory=43064 CPUtime=3090.42 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10703 0 0 0 306450 2592 0 0 20 0 1 0 42633627 71766016 10766 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17521 10766 1862 992 0 9379 0
Current children cumulated CPU time: 3090.42 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43064 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/245 365917
/proc/meminfo: memFree=121857100/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70084 memory=43064 CPUtime=3150.19 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10719 0 0 0 312399 2620 0 0 20 0 1 0 42633627 71766016 10766 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17521 10766 1862 992 0 9379 0
Current children cumulated CPU time: 3150.19 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43064 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/245 365927
/proc/meminfo: memFree=121643560/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70084 memory=43068 CPUtime=3209.95 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10875 0 0 0 318347 2648 0 0 20 0 1 0 42633627 71766016 10767 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17521 10767 1862 992 0 9379 0
Current children cumulated CPU time: 3209.95 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.59 4.27 4.20 5/244 365939
/proc/meminfo: memFree=121462400/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70084 memory=43068 CPUtime=3269.72 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 10892 0 0 0 324298 2674 0 0 20 0 1 0 42633627 71766016 10767 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17521 10767 1862 992 0 9379 0
Current children cumulated CPU time: 3269.72 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.60 4.36 4.23 5/245 365950
/proc/meminfo: memFree=121222684/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70084 memory=43072 CPUtime=3329.49 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11049 0 0 0 330245 2704 0 0 20 0 1 0 42633627 71766016 10768 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17521 10768 1862 992 0 9379 0
Current children cumulated CPU time: 3329.49 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 43072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.30 4.22 5/245 365960
/proc/meminfo: memFree=120587916/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70604 memory=43636 CPUtime=3389.29 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11305 0 0 0 336197 2732 0 0 20 0 1 0 42633627 72298496 10909 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17651 10909 1862 992 0 9509 0
Current children cumulated CPU time: 3389.29 s
Current children cumulated vsize: 70604 KiB
Current children cumulated memory: 43636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.26 4.21 5/245 365970
/proc/meminfo: memFree=120291556/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70732 memory=43812 CPUtime=3449.06 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11507 0 0 0 342143 2763 0 0 20 0 1 0 42633627 72429568 10953 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17683 10953 1862 992 0 9541 0
Current children cumulated CPU time: 3449.06 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 43812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.24 4.20 5/243 365981
/proc/meminfo: memFree=120069664/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70732 memory=43812 CPUtime=3508.83 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11525 0 0 0 348092 2791 0 0 20 0 1 0 42633627 72429568 10953 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17683 10953 1862 992 0 9541 0
Current children cumulated CPU time: 3508.83 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 43812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.22 4.20 5/243 365991
/proc/meminfo: memFree=119873460/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70736 memory=43816 CPUtime=3568.6 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11681 0 0 0 354040 2820 0 0 20 0 1 0 42633627 72433664 10954 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17684 10954 1862 992 0 9542 0
Current children cumulated CPU time: 3568.6 s
Current children cumulated vsize: 70736 KiB
Current children cumulated memory: 43816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.9 s]
/proc/loadavg: 4.10 4.20 4.19 5/243 365996
/proc/meminfo: memFree=119694868/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70736 memory=43816 CPUtime=3600.08 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11682 0 0 0 357175 2833 0 0 20 0 1 0 42633627 72433664 10954 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17684 10954 1862 992 0 9542 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 70736 KiB
Current children cumulated memory: 43816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.94 s]
# the end of solver process 363907 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.76 s, system=28.3368 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.9 s]
/proc/loadavg: 4.10 4.20 4.19 5/243 365996
/proc/meminfo: memFree=119694868/131655788 swapFree=131057156/131071996
[pid=363907] ppid=363904 vsize=70736 memory=43816 CPUtime=3600.08 cores=1,3
/proc/363907/stat : 363907 (roundingsat) R 363904 363907 362339 0 -1 4194304 11682 0 0 0 357175 2833 0 0 20 0 1 0 42633627 72433664 10954 134679101440 4194304 8254357 140726337162640 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39432192 140726337164127 140726337164389 140726337164389 140726337171401 0
/proc/363907/statm: 17684 10954 1862 992 0 9542 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 70736 KiB
Current children cumulated memory: 43816 KiB
Child status: 0
Real time (s): 3613.94
CPU time (s): 3600.1
CPU user time (s): 3571.76
CPU system time (s): 28.3368
CPU usage (%): 99.617
Max. virtual memory (cumulated for all children) (KiB): 70828
Max. memory (cumulated for all children) (KiB): 43816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.76
system time used= 28.3368
maximum resident set size= 44360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 8435
# summary of solver processes directly reported to runsolver:
# pid: 363907
# total CPU time (s): 3600.1
# total CPU user time (s): 3571.76
# total CPU system time (s): 28.3368
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5957 second user time and 36.4441 second system time
The end
Begin job on nodeC005 at 2024-07-27 09:47:22 IDJOB=4460531 IDBENCH=148106 IDSOLVER=3086 FILE ID=nodeC005/4460531-1722066442 RUNJOBID= nodeC005-1722064837-362351 SLURM_JOB_ID= 8248107 Free space on /tmp= 723752 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-4460531-1722066442/watcher-4460531-1722066442 -o /tmp/evaluation-result-4460531-1722066442/solver-4460531-1722066442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362351 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460531-1722066442 --lp-cut-gomory=0 HOME/instance-4460531-1722066442.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc RANDOM SEED=1663965919 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3647.875 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.583 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.292 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.117 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3632.905 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3654.438 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.652 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.196 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 60354784 kB MemAvailable: 101050288 kB Buffers: 355468 kB Cached: 41020304 kB SwapCached: 192 kB Active: 1746008 kB Inactive: 68643540 kB Active(anon): 2328 kB Inactive(anon): 29064392 kB Active(file): 1743680 kB Inactive(file): 39579148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057156 kB Dirty: 246996 kB Writeback: 0 kB AnonPages: 29012040 kB Mapped: 106104 kB Shmem: 52880 kB KReclaimable: 425412 kB Slab: 546064 kB SReclaimable: 425412 kB SUnreclaim: 120652 kB KernelStack: 4528 kB PageTables: 66444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 35860108 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12064 kB HardwareCorrupted: 0 kB AnonHugePages: 6909952 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: 418632 kB DirectMap2M: 51914752 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 723752 MiB End job on nodeC005 at 2024-07-27 10:47:36