| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| roundingsat-log 63f22ad | ? (TO) | 3602.08 | 3611.9 |
| Name | PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb |
| MD5SUM | e5dad10f2c51a051686c6ce21bebf57a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 101921 |
| Total number of constraints | 213661 |
| Number of constraints which are clauses | 56497 |
| Number of constraints which are cardinality constraints (but not clauses) | 776 |
| Number of constraints which are nor clauses,nor cardinality constraints | 156388 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 32 |
| 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 | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 62 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch pb25 0.00/0.01 c commit 63f22ad 1.17/1.28 c #variables 101921 #constraints 214208 108.96/109.34 c #Conflicts: 1000 | #Constraints: 215207 108.96/109.34 c #Conflicts: 2000 | #Constraints: 216207 108.96/109.34 c INPROCESSING 108.96/109.34 c GARBAGE COLLECT 108.96/109.34 c #Conflicts: 3000 | #Constraints: 157998 108.96/109.34 c #Conflicts: 4000 | #Constraints: 158998 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 5000 | #Constraints: 158478 108.96/109.34 c #Conflicts: 6000 | #Constraints: 159478 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 7000 | #Constraints: 158554 108.96/109.34 c #Conflicts: 8000 | #Constraints: 159554 108.96/109.34 c #Conflicts: 9000 | #Constraints: 160554 108.96/109.34 c #Conflicts: 10000 | #Constraints: 161554 108.96/109.34 c #Conflicts: 11000 | #Constraints: 162554 108.96/109.34 c #Conflicts: 12000 | #Constraints: 163554 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 13000 | #Constraints: 160534 108.96/109.34 c #Conflicts: 14000 | #Constraints: 161534 108.96/109.34 c #Conflicts: 15000 | #Constraints: 162534 108.96/109.34 c #Conflicts: 16000 | #Constraints: 163534 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 17000 | #Constraints: 160153 108.96/109.34 c #Conflicts: 18000 | #Constraints: 161153 108.96/109.34 c #Conflicts: 19000 | #Constraints: 162153 108.96/109.34 c #Conflicts: 20000 | #Constraints: 163153 108.96/109.34 c #Conflicts: 21000 | #Constraints: 164153 108.96/109.34 c #Conflicts: 22000 | #Constraints: 165153 108.96/109.34 c #Conflicts: 23000 | #Constraints: 166153 108.96/109.34 c #Conflicts: 24000 | #Constraints: 167153 108.96/109.34 c #Conflicts: 25000 | #Constraints: 168153 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 26000 | #Constraints: 162671 108.96/109.34 c #Conflicts: 27000 | #Constraints: 163671 108.96/109.34 c #Conflicts: 28000 | #Constraints: 164671 108.96/109.34 c #Conflicts: 29000 | #Constraints: 165671 108.96/109.34 c #Conflicts: 30000 | #Constraints: 166671 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 31000 | #Constraints: 161962 108.96/109.34 c #Conflicts: 32000 | #Constraints: 162962 108.96/109.34 c #Conflicts: 33000 | #Constraints: 163962 108.96/109.34 c #Conflicts: 34000 | #Constraints: 164962 108.96/109.34 c #Conflicts: 35000 | #Constraints: 165962 108.96/109.34 c #Conflicts: 36000 | #Constraints: 166962 108.96/109.34 c #Conflicts: 37000 | #Constraints: 167962 108.96/109.34 c #Conflicts: 38000 | #Constraints: 168962 108.96/109.34 c #Conflicts: 39000 | #Constraints: 169962 108.96/109.34 c #Conflicts: 40000 | #Constraints: 170962 108.96/109.34 c #Conflicts: 41000 | #Constraints: 171962 108.96/109.34 c #Conflicts: 42000 | #Constraints: 172962 108.96/109.34 c #Conflicts: 43000 | #Constraints: 173962 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 44000 | #Constraints: 165935 108.96/109.34 c #Conflicts: 45000 | #Constraints: 166935 108.96/109.34 c #Conflicts: 46000 | #Constraints: 167935 108.96/109.34 c #Conflicts: 47000 | #Constraints: 168935 108.96/109.34 c #Conflicts: 48000 | #Constraints: 169935 108.96/109.34 c #Conflicts: 49000 | #Constraints: 170935 108.96/109.34 c #Conflicts: 50000 | #Constraints: 171935 108.96/109.34 c #Conflicts: 51000 | #Constraints: 172935 108.96/109.34 c #Conflicts: 52000 | #Constraints: 173935 108.96/109.34 c #Conflicts: 53000 | #Constraints: 174935 108.96/109.34 c #Conflicts: 54000 | #Constraints: 175935 108.96/109.34 c #Conflicts: 55000 | #Constraints: 176935 108.96/109.34 c #Conflicts: 56000 | #Constraints: 177935 108.96/109.34 c #Conflicts: 57000 | #Constraints: 178935 108.96/109.34 c INPROCESSING 108.96/109.34 c GARBAGE COLLECT 108.96/109.34 c #Conflicts: 58000 | #Constraints: 168335 108.96/109.34 c #Conflicts: 59000 | #Constraints: 169335 108.96/109.34 c #Conflicts: 60000 | #Constraints: 170335 108.96/109.34 c #Conflicts: 61000 | #Constraints: 171335 108.96/109.34 c #Conflicts: 62000 | #Constraints: 172335 108.96/109.34 c #Conflicts: 63000 | #Constraints: 173335 108.96/109.34 c #Conflicts: 64000 | #Constraints: 174335 108.96/109.34 c #Conflicts: 65000 | #Constraints: 175335 108.96/109.34 c #Conflicts: 66000 | #Constraints: 176335 108.96/109.34 c #Conflicts: 67000 | #Constraints: 177335 108.96/109.34 c #Conflicts: 68000 | #Constraints: 178335 108.96/109.34 c #Conflicts: 69000 | #Constraints: 179335 108.96/109.34 c #Conflicts: 70000 | #Constraints: 180335 108.96/109.34 c #Conflicts: 71000 | #Constraints: 181335 108.96/109.34 c #Conflicts: 72000 | #Constraints: 182335 108.96/109.34 c #Conflicts: 73000 | #Constraints: 183335 108.96/109.34 c #Conflicts: 74000 | #Constraints: 184335 108.96/109.34 c INPROCESSING 108.96/109.34 c #Conflicts: 75000 | #Constraints: 171471 108.96/109.34 c #Conflicts: 76000 | #Constraints: 172471 306.40/307.37 c #Conflicts: 77000 | #Constraints: 173471 306.40/307.37 c #Conflicts: 78000 | #Constraints: 174471 306.40/307.37 c #Conflicts: 79000 | #Constraints: 175471 306.40/307.37 c #Conflicts: 80000 | #Constraints: 176471 306.40/307.37 c #Conflicts: 81000 | #Constraints: 177471 306.40/307.37 c #Conflicts: 82000 | #Constraints: 178471 306.40/307.37 c #Conflicts: 83000 | #Constraints: 179471 306.40/307.37 c #Conflicts: 84000 | #Constraints: 180471 306.40/307.37 c #Conflicts: 85000 | #Constraints: 181471 306.40/307.37 c #Conflicts: 86000 | #Constraints: 182471 306.40/307.37 c #Conflicts: 87000 | #Constraints: 183471 306.40/307.37 c #Conflicts: 88000 | #Constraints: 184471 306.40/307.37 c #Conflicts: 89000 | #Constraints: 185471 306.40/307.37 c #Conflicts: 90000 | #Constraints: 186471 306.40/307.37 c #Conflicts: 91000 | #Constraints: 187471 306.40/307.37 c #Conflicts: 92000 | #Constraints: 188471 306.40/307.37 c INPROCESSING 306.40/307.37 c #Conflicts: 93000 | #Constraints: 173411 306.40/307.37 c #Conflicts: 94000 | #Constraints: 174411 306.40/307.37 c #Conflicts: 95000 | #Constraints: 175411 306.40/307.37 c #Conflicts: 96000 | #Constraints: 176411 306.40/307.37 c #Conflicts: 97000 | #Constraints: 177411 306.40/307.37 c #Conflicts: 98000 | #Constraints: 178411 306.40/307.37 c #Conflicts: 99000 | #Constraints: 179411 306.40/307.37 c #Conflicts: 100000 | #Constraints: 180411 306.40/307.37 c #Conflicts: 101000 | #Constraints: 181411 306.40/307.37 c #Conflicts: 102000 | #Constraints: 182411 306.40/307.37 c #Conflicts: 103000 | #Constraints: 183411 306.40/307.37 c #Conflicts: 104000 | #Constraints: 184411 306.40/307.37 c #Conflicts: 105000 | #Constraints: 185411 306.40/307.37 c #Conflicts: 106000 | #Constraints: 186411 306.40/307.37 c #Conflicts: 107000 | #Constraints: 187411 306.40/307.37 c #Conflicts: 108000 | #Constraints: 188411 306.40/307.37 c #Conflicts: 109000 | #Constraints: 189411 306.40/307.37 c #Conflicts: 110000 | #Constraints: 190411 306.40/307.37 c #Conflicts: 111000 | #Constraints: 191411 306.40/307.37 c #Conflicts: 112000 | #Constraints: 192411 306.40/307.37 c INPROCESSING 306.40/307.37 c GARBAGE COLLECT 306.40/307.37 c #Conflicts: 113000 | #Constraints: 175265 306.40/307.37 c #Conflicts: 114000 | #Constraints: 176265 306.40/307.37 c #Conflicts: 115000 | #Constraints: 177265 306.40/307.37 c #Conflicts: 116000 | #Constraints: 178265 306.40/307.37 c #Conflicts: 117000 | #Constraints: 179265 306.40/307.37 c #Conflicts: 118000 | #Constraints: 180265 306.40/307.37 c #Conflicts: 119000 | #Constraints: 181265 306.40/307.37 c #Conflicts: 120000 | #Constraints: 182265 306.40/307.37 c #Conflicts: 121000 | #Constraints: 183265 306.40/307.37 c #Conflicts: 122000 | #Constraints: 184265 306.40/307.37 c #Conflicts: 123000 | #Constraints: 185265 306.40/307.37 c #Conflicts: 124000 | #Constraints: 186265 306.40/307.37 c #Conflicts: 125000 | #Constraints: 187265 306.40/307.37 c #Conflicts: 126000 | #Constraints: 188265 306.40/307.37 c #Conflicts: 127000 | #Constraints: 189265 306.40/307.37 c #Conflicts: 128000 | #Constraints: 190265 306.40/307.37 c #Conflicts: 129000 | #Constraints: 191265 306.40/307.37 c #Conflicts: 130000 | #Constraints: 192265 306.40/307.37 c #Conflicts: 131000 | #Constraints: 193265 306.40/307.37 c #Conflicts: 132000 | #Constraints: 194265 306.40/307.37 c #Conflicts: 133000 | #Constraints: 195265 306.40/307.37 c #Conflicts: 134000 | #Constraints: 196265 306.40/307.37 c #Conflicts: 135000 | #Constraints: 197265 306.40/307.37 c INPROCESSING 306.40/307.37 c #Conflicts: 136000 | #Constraints: 178094 306.40/307.37 c #Conflicts: 137000 | #Constraints: 179094 306.40/307.37 c #Conflicts: 138000 | #Constraints: 180094 306.40/307.37 c #Conflicts: 139000 | #Constraints: 181094 306.40/307.37 c #Conflicts: 140000 | #Constraints: 182094 306.40/307.37 c #Conflicts: 141000 | #Constraints: 183094 306.40/307.37 c #Conflicts: 142000 | #Constraints: 184094 306.40/307.37 c #Conflicts: 143000 | #Constraints: 185094 306.40/307.37 c #Conflicts: 144000 | #Constraints: 186094 306.40/307.37 c #Conflicts: 145000 | #Constraints: 187094 306.40/307.37 c #Conflicts: 146000 | #Constraints: 188094 306.40/307.37 c #Conflicts: 147000 | #Constraints: 189094 306.40/307.37 c #Conflicts: 148000 | #Constraints: 190094 306.40/307.37 c #Conflicts: 149000 | #Constraints: 191094 306.40/307.37 c #Conflicts: 150000 | #Constraints: 192094 306.40/307.37 c #Conflicts: 151000 | #Constraints: 193094 306.40/307.37 c #Conflicts: 152000 | #Constraints: 194094 306.40/307.37 c #Conflicts: 153000 | #Constraints: 195094 561.08/562.80 c #Conflicts: 154000 | #Constraints: 196094 561.08/562.80 c #Conflicts: 155000 | #Constraints: 197094 561.08/562.80 c #Conflicts: 156000 | #Constraints: 198094 561.08/562.80 c #Conflicts: 157000 | #Constraints: 199094 561.08/562.80 c #Conflicts: 158000 | #Constraints: 200094 561.08/562.80 c #Conflicts: 159000 | #Constraints: 201094 561.08/562.80 c INPROCESSING 561.08/562.80 c GARBAGE COLLECT 561.08/562.80 c #Conflicts: 160000 | #Constraints: 179950 561.08/562.80 c #Conflicts: 161000 | #Constraints: 180950 561.08/562.80 c #Conflicts: 162000 | #Constraints: 181950 561.08/562.80 c #Conflicts: 163000 | #Constraints: 182950 561.08/562.80 c #Conflicts: 164000 | #Constraints: 183950 561.08/562.80 c #Conflicts: 165000 | #Constraints: 184950 561.08/562.80 c #Conflicts: 166000 | #Constraints: 185950 561.08/562.80 c #Conflicts: 167000 | #Constraints: 186950 561.08/562.80 c #Conflicts: 168000 | #Constraints: 187950 561.08/562.80 c #Conflicts: 169000 | #Constraints: 188950 561.08/562.80 c #Conflicts: 170000 | #Constraints: 189950 561.08/562.80 c #Conflicts: 171000 | #Constraints: 190950 561.08/562.80 c #Conflicts: 172000 | #Constraints: 191950 561.08/562.80 c #Conflicts: 173000 | #Constraints: 192950 561.08/562.80 c #Conflicts: 174000 | #Constraints: 193950 561.08/562.80 c #Conflicts: 175000 | #Constraints: 194950 561.08/562.80 c #Conflicts: 176000 | #Constraints: 195950 561.08/562.80 c #Conflicts: 177000 | #Constraints: 196950 561.08/562.80 c #Conflicts: 178000 | #Constraints: 197950 561.08/562.80 c #Conflicts: 179000 | #Constraints: 198950 561.08/562.80 c #Conflicts: 180000 | #Constraints: 199950 561.08/562.80 c #Conflicts: 181000 | #Constraints: 200950 561.08/562.80 c #Conflicts: 182000 | #Constraints: 201950 561.08/562.80 c #Conflicts: 183000 | #Constraints: 202950 561.08/562.80 c #Conflicts: 184000 | #Constraints: 203950 561.08/562.80 c #Conflicts: 185000 | #Constraints: 204950 561.08/562.80 c #Conflicts: 186000 | #Constraints: 205950 561.08/562.80 c INPROCESSING 561.08/562.80 c #Conflicts: 187000 | #Constraints: 182638 561.08/562.80 c #Conflicts: 188000 | #Constraints: 183638 561.08/562.80 c #Conflicts: 189000 | #Constraints: 184638 561.08/562.80 c #Conflicts: 190000 | #Constraints: 185638 561.08/562.80 c #Conflicts: 191000 | #Constraints: 186638 561.08/562.80 c #Conflicts: 192000 | #Constraints: 187638 561.08/562.80 c #Conflicts: 193000 | #Constraints: 188638 561.08/562.80 c #Conflicts: 194000 | #Constraints: 189638 561.08/562.80 c #Conflicts: 195000 | #Constraints: 190638 561.08/562.80 c #Conflicts: 196000 | #Constraints: 191638 561.08/562.80 c #Conflicts: 197000 | #Constraints: 192638 561.08/562.80 c #Conflicts: 198000 | #Constraints: 193638 561.08/562.80 c #Conflicts: 199000 | #Constraints: 194638 561.08/562.80 c #Conflicts: 200000 | #Constraints: 195638 561.08/562.80 c #Conflicts: 201000 | #Constraints: 196638 561.08/562.80 c #Conflicts: 202000 | #Constraints: 197638 561.08/562.80 c #Conflicts: 203000 | #Constraints: 198638 561.08/562.80 c #Conflicts: 204000 | #Constraints: 199638 561.08/562.80 c #Conflicts: 205000 | #Constraints: 200638 561.08/562.80 c #Conflicts: 206000 | #Constraints: 201638 561.08/562.80 c #Conflicts: 207000 | #Constraints: 202638 561.08/562.80 c #Conflicts: 208000 | #Constraints: 203638 561.08/562.80 c #Conflicts: 209000 | #Constraints: 204638 561.08/562.80 c #Conflicts: 210000 | #Constraints: 205638 561.08/562.80 c #Conflicts: 211000 | #Constraints: 206638 561.08/562.80 c #Conflicts: 212000 | #Constraints: 207638 561.08/562.80 c #Conflicts: 213000 | #Constraints: 208638 561.08/562.80 c #Conflicts: 214000 | #Constraints: 209638 561.08/562.80 c INPROCESSING 561.08/562.80 c GARBAGE COLLECT 561.08/562.80 c rational objective 25171.5 637.22/639.27 c #Conflicts: 215000 | #Constraints: 185139 637.22/639.27 c #Conflicts: 216000 | #Constraints: 186139 637.22/639.27 c #Conflicts: 217000 | #Constraints: 187139 637.22/639.27 c #Conflicts: 218000 | #Constraints: 188139 637.22/639.27 c #Conflicts: 219000 | #Constraints: 189139 637.22/639.27 c #Conflicts: 220000 | #Constraints: 190139 637.22/639.27 c #Conflicts: 221000 | #Constraints: 191139 637.22/639.27 c #Conflicts: 222000 | #Constraints: 192139 637.22/639.27 c #Conflicts: 223000 | #Constraints: 193139 637.22/639.27 c #Conflicts: 224000 | #Constraints: 194139 637.22/639.27 c #Conflicts: 225000 | #Constraints: 195139 637.22/639.27 c #Conflicts: 226000 | #Constraints: 196139 637.22/639.27 c #Conflicts: 227000 | #Constraints: 197139 637.22/639.27 c #Conflicts: 228000 | #Constraints: 198139 637.22/639.27 c #Conflicts: 229000 | #Constraints: 199139 637.22/639.27 c #Conflicts: 230000 | #Constraints: 200139 637.22/639.27 c #Conflicts: 231000 | #Constraints: 201139 637.22/639.27 c #Conflicts: 232000 | #Constraints: 202139 637.22/639.27 c #Conflicts: 233000 | #Constraints: 203139 637.22/639.27 c #Conflicts: 234000 | #Constraints: 204139 637.22/639.27 c #Conflicts: 235000 | #Constraints: 205139 637.22/639.27 c #Conflicts: 236000 | #Constraints: 206139 637.22/639.27 c #Conflicts: 237000 | #Constraints: 207139 637.22/639.27 c #Conflicts: 238000 | #Constraints: 208139 637.22/639.27 c #Conflicts: 239000 | #Constraints: 209139 637.22/639.27 c #Conflicts: 240000 | #Constraints: 210139 637.22/639.27 c #Conflicts: 241000 | #Constraints: 211139 637.22/639.27 c #Conflicts: 242000 | #Constraints: 212139 637.22/639.27 c #Conflicts: 243000 | #Constraints: 213139 637.22/639.27 c #Conflicts: 244000 | #Constraints: 214139 637.22/639.27 c INPROCESSING 637.22/639.27 c #Conflicts: 245000 | #Constraints: 188342 637.22/639.27 c #Conflicts: 246000 | #Constraints: 189342 637.22/639.27 c #Conflicts: 247000 | #Constraints: 190342 637.22/639.27 c #Conflicts: 248000 | #Constraints: 191342 637.22/639.27 c #Conflicts: 249000 | #Constraints: 192342 637.22/639.27 c #Conflicts: 250000 | #Constraints: 193342 637.22/639.27 c #Conflicts: 251000 | #Constraints: 194342 637.22/639.27 c #Conflicts: 252000 | #Constraints: 195342 637.22/639.27 c #Conflicts: 253000 | #Constraints: 196342 637.22/639.27 c #Conflicts: 254000 | #Constraints: 197342 637.22/639.27 c #Conflicts: 255000 | #Constraints: 198342 637.22/639.27 c #Conflicts: 256000 | #Constraints: 199342 637.22/639.27 c #Conflicts: 257000 | #Constraints: 200342 637.22/639.27 c #Conflicts: 258000 | #Constraints: 201342 637.22/639.27 c #Conflicts: 259000 | #Constraints: 202342 637.22/639.27 c #Conflicts: 260000 | #Constraints: 203342 637.22/639.27 c #Conflicts: 261000 | #Constraints: 204342 637.22/639.27 c #Conflicts: 262000 | #Constraints: 205342 637.22/639.27 c #Conflicts: 263000 | #Constraints: 206342 637.22/639.27 c #Conflicts: 264000 | #Constraints: 207342 637.22/639.27 c #Conflicts: 265000 | #Constraints: 208342 637.22/639.27 c #Conflicts: 266000 | #Constraints: 209342 637.22/639.27 c #Conflicts: 267000 | #Constraints: 210342 637.22/639.27 c #Conflicts: 268000 | #Constraints: 211342 637.22/639.27 c #Conflicts: 269000 | #Constraints: 212342 637.22/639.27 c #Conflicts: 270000 | #Constraints: 213342 637.22/639.27 c #Conflicts: 271000 | #Constraints: 214342 637.22/639.27 c #Conflicts: 272000 | #Constraints: 215342 637.22/639.27 c #Conflicts: 273000 | #Constraints: 216342 637.22/639.27 c #Conflicts: 274000 | #Constraints: 217342 637.22/639.27 c #Conflicts: 275000 | #Constraints: 218342 637.22/639.27 c #Conflicts: 276000 | #Constraints: 219342 637.22/639.27 c #Conflicts: 277000 | #Constraints: 220342 637.22/639.27 c INPROCESSING 637.22/639.27 c GARBAGE COLLECT 637.22/639.27 c #Conflicts: 278000 | #Constraints: 192870 637.22/639.27 c #Conflicts: 279000 | #Constraints: 193870 637.22/639.27 c #Conflicts: 280000 | #Constraints: 194870 637.22/639.27 c #Conflicts: 281000 | #Constraints: 195870 637.22/639.27 c #Conflicts: 282000 | #Constraints: 196870 637.22/639.27 c #Conflicts: 283000 | #Constraints: 197870 637.22/639.27 c #Conflicts: 284000 | #Constraints: 198870 637.22/639.27 c #Conflicts: 285000 | #Constraints: 199870 637.22/639.27 c #Conflicts: 286000 | #Constraints: 200870 637.22/639.27 c #Conflicts: 287000 | #Constraints: 201870 637.22/639.27 c #Conflicts: 288000 | #Constraints: 202870 637.22/639.27 c #Conflicts: 289000 | #Constraints: 203870 637.22/639.27 c #Conflicts: 290000 | #Constraints: 204870 637.22/639.27 c #Conflicts: 291000 | #Constraints: 205870 637.22/639.27 c #Conflicts: 292000 | #Constraints: 206870 702.81/705.04 c #Conflicts: 293000 | #Constraints: 207870 702.81/705.04 c #Conflicts: 294000 | #Constraints: 208870 702.81/705.04 c #Conflicts: 295000 | #Constraints: 209870 702.81/705.04 c #Conflicts: 296000 | #Constraints: 210870 702.81/705.04 c #Conflicts: 297000 | #Constraints: 211870 702.81/705.04 c #Conflicts: 298000 | #Constraints: 212870 702.81/705.04 c #Conflicts: 299000 | #Constraints: 213870 702.81/705.04 c #Conflicts: 300000 | #Constraints: 214870 702.81/705.04 c #Conflicts: 301000 | #Constraints: 215870 702.81/705.04 c #Conflicts: 302000 | #Constraints: 216870 702.81/705.04 c #Conflicts: 303000 | #Constraints: 217870 702.81/705.04 c #Conflicts: 304000 | #Constraints: 218870 702.81/705.04 c #Conflicts: 305000 | #Constraints: 219870 702.81/705.04 c #Conflicts: 306000 | #Constraints: 220870 702.81/705.04 c #Conflicts: 307000 | #Constraints: 221870 702.81/705.04 c #Conflicts: 308000 | #Constraints: 222870 702.81/705.04 c #Conflicts: 309000 | #Constraints: 223870 702.81/705.04 c #Conflicts: 310000 | #Constraints: 224870 702.81/705.04 c #Conflicts: 311000 | #Constraints: 225870 702.81/705.04 c INPROCESSING 702.81/705.04 c GARBAGE COLLECT 702.81/705.04 c #Conflicts: 312000 | #Constraints: 196584 702.81/705.04 c #Conflicts: 313000 | #Constraints: 197584 702.81/705.04 c #Conflicts: 314000 | #Constraints: 198584 702.81/705.04 c #Conflicts: 315000 | #Constraints: 199584 702.81/705.04 c #Conflicts: 316000 | #Constraints: 200584 702.81/705.04 c #Conflicts: 317000 | #Constraints: 201584 702.81/705.04 c #Conflicts: 318000 | #Constraints: 202584 702.81/705.04 c #Conflicts: 319000 | #Constraints: 203584 702.81/705.04 c #Conflicts: 320000 | #Constraints: 204584 702.81/705.04 c #Conflicts: 321000 | #Constraints: 205584 702.81/705.04 c #Conflicts: 322000 | #Constraints: 206584 702.81/705.04 c #Conflicts: 323000 | #Constraints: 207584 702.81/705.04 c #Conflicts: 324000 | #Constraints: 208584 702.81/705.04 c #Conflicts: 325000 | #Constraints: 209584 702.81/705.04 c #Conflicts: 326000 | #Constraints: 210584 702.81/705.04 c #Conflicts: 327000 | #Constraints: 211584 702.81/705.04 c #Conflicts: 328000 | #Constraints: 212584 702.81/705.04 c #Conflicts: 329000 | #Constraints: 213584 702.81/705.04 c #Conflicts: 330000 | #Constraints: 214584 702.81/705.04 c #Conflicts: 331000 | #Constraints: 215584 702.81/705.04 c #Conflicts: 332000 | #Constraints: 216584 702.81/705.04 c #Conflicts: 333000 | #Constraints: 217584 702.81/705.04 c #Conflicts: 334000 | #Constraints: 218584 702.81/705.04 c #Conflicts: 335000 | #Constraints: 219584 702.81/705.04 c #Conflicts: 336000 | #Constraints: 220584 702.81/705.04 c #Conflicts: 337000 | #Constraints: 221584 702.81/705.04 c #Conflicts: 338000 | #Constraints: 222584 702.81/705.04 c #Conflicts: 339000 | #Constraints: 223584 702.81/705.04 c #Conflicts: 340000 | #Constraints: 224584 702.81/705.04 c #Conflicts: 341000 | #Constraints: 225584 702.81/705.04 c #Conflicts: 342000 | #Constraints: 226584 702.81/705.04 c #Conflicts: 343000 | #Constraints: 227584 702.81/705.04 c #Conflicts: 344000 | #Constraints: 228584 702.81/705.04 c #Conflicts: 345000 | #Constraints: 229584 702.81/705.04 c #Conflicts: 346000 | #Constraints: 230584 702.81/705.04 c #Conflicts: 347000 | #Constraints: 231584 702.81/705.04 c #Conflicts: 348000 | #Constraints: 232584 702.81/705.04 c INPROCESSING 702.81/705.04 c GARBAGE COLLECT 702.81/705.04 c #Conflicts: 349000 | #Constraints: 201302 702.81/705.04 c #Conflicts: 350000 | #Constraints: 202302 702.81/705.04 c #Conflicts: 351000 | #Constraints: 203302 702.81/705.04 c #Conflicts: 352000 | #Constraints: 204302 702.81/705.04 c #Conflicts: 353000 | #Constraints: 205302 702.81/705.04 c #Conflicts: 354000 | #Constraints: 206302 702.81/705.04 c #Conflicts: 355000 | #Constraints: 207302 702.81/705.04 c #Conflicts: 356000 | #Constraints: 208302 702.81/705.04 c #Conflicts: 357000 | #Constraints: 209302 702.81/705.04 c #Conflicts: 358000 | #Constraints: 210302 702.81/705.04 c #Conflicts: 359000 | #Constraints: 211302 702.81/705.04 c #Conflicts: 360000 | #Constraints: 212302 702.81/705.04 c #Conflicts: 361000 | #Constraints: 213302 702.81/705.04 c #Conflicts: 362000 | #Constraints: 214302 702.81/705.04 c #Conflicts: 363000 | #Constraints: 215302 702.81/705.04 c #Conflicts: 364000 | #Constraints: 216302 702.81/705.04 c #Conflicts: 365000 | #Constraints: 217302 702.81/705.04 c #Conflicts: 366000 | #Constraints: 218302 702.81/705.04 c #Conflicts: 367000 | #Constraints: 219302 702.81/705.04 c #Conflicts: 368000 | #Constraints: 220302 702.81/705.04 c #Conflicts: 369000 | #Constraints: 221302 702.81/705.04 c #Conflicts: 370000 | #Constraints: 222302 819.88/822.47 c #Conflicts: 371000 | #Constraints: 223302 819.88/822.47 c #Conflicts: 372000 | #Constraints: 224302 819.88/822.47 c #Conflicts: 373000 | #Constraints: 225302 819.88/822.47 c #Conflicts: 374000 | #Constraints: 226302 819.88/822.47 c #Conflicts: 375000 | #Constraints: 227302 819.88/822.47 c #Conflicts: 376000 | #Constraints: 228302 819.88/822.47 c #Conflicts: 377000 | #Constraints: 229302 819.88/822.47 c #Conflicts: 378000 | #Constraints: 230302 819.88/822.47 c #Conflicts: 379000 | #Constraints: 231302 819.88/822.47 c #Conflicts: 380000 | #Constraints: 232302 819.88/822.47 c #Conflicts: 381000 | #Constraints: 233302 819.88/822.47 c #Conflicts: 382000 | #Constraints: 234302 819.88/822.47 c #Conflicts: 383000 | #Constraints: 235302 819.88/822.47 c #Conflicts: 384000 | #Constraints: 236302 819.88/822.47 c #Conflicts: 385000 | #Constraints: 237302 819.88/822.47 c #Conflicts: 386000 | #Constraints: 238302 819.88/822.47 c INPROCESSING 819.88/822.47 c GARBAGE COLLECT 819.88/822.47 c #Conflicts: 387000 | #Constraints: 205155 819.88/822.47 c #Conflicts: 388000 | #Constraints: 206155 819.88/822.47 c #Conflicts: 389000 | #Constraints: 207155 819.88/822.47 c #Conflicts: 390000 | #Constraints: 208155 819.88/822.47 c #Conflicts: 391000 | #Constraints: 209155 819.88/822.47 c #Conflicts: 392000 | #Constraints: 210155 819.88/822.47 c #Conflicts: 393000 | #Constraints: 211155 819.88/822.47 c #Conflicts: 394000 | #Constraints: 212155 819.88/822.47 c #Conflicts: 395000 | #Constraints: 213155 819.88/822.47 c #Conflicts: 396000 | #Constraints: 214155 819.88/822.47 c #Conflicts: 397000 | #Constraints: 215155 819.88/822.47 c #Conflicts: 398000 | #Constraints: 216155 819.88/822.47 c #Conflicts: 399000 | #Constraints: 217155 819.88/822.47 c #Conflicts: 400000 | #Constraints: 218155 819.88/822.47 c #Conflicts: 401000 | #Constraints: 219155 819.88/822.47 c #Conflicts: 402000 | #Constraints: 220155 819.88/822.47 c #Conflicts: 403000 | #Constraints: 221155 819.88/822.47 c #Conflicts: 404000 | #Constraints: 222155 819.88/822.47 c #Conflicts: 405000 | #Constraints: 223155 819.88/822.47 c #Conflicts: 406000 | #Constraints: 224155 819.88/822.47 c #Conflicts: 407000 | #Constraints: 225155 819.88/822.47 c #Conflicts: 408000 | #Constraints: 226155 819.88/822.47 c #Conflicts: 409000 | #Constraints: 227155 819.88/822.47 c #Conflicts: 410000 | #Constraints: 228155 819.88/822.47 c #Conflicts: 411000 | #Constraints: 229155 819.88/822.47 c #Conflicts: 412000 | #Constraints: 230155 819.88/822.47 c #Conflicts: 413000 | #Constraints: 231155 819.88/822.47 c #Conflicts: 414000 | #Constraints: 232155 819.88/822.47 c #Conflicts: 415000 | #Constraints: 233155 819.88/822.47 c #Conflicts: 416000 | #Constraints: 234155 819.88/822.47 c #Conflicts: 417000 | #Constraints: 235155 819.88/822.47 c #Conflicts: 418000 | #Constraints: 236155 819.88/822.47 c #Conflicts: 419000 | #Constraints: 237155 819.88/822.47 c #Conflicts: 420000 | #Constraints: 238155 819.88/822.47 c #Conflicts: 421000 | #Constraints: 239155 819.88/822.47 c #Conflicts: 422000 | #Constraints: 240155 819.88/822.47 c #Conflicts: 423000 | #Constraints: 241155 819.88/822.47 c #Conflicts: 424000 | #Constraints: 242155 819.88/822.47 c #Conflicts: 425000 | #Constraints: 243155 819.88/822.47 c #Conflicts: 426000 | #Constraints: 244155 819.88/822.47 c INPROCESSING 819.88/822.47 c GARBAGE COLLECT 819.88/822.47 c #Conflicts: 427000 | #Constraints: 209445 819.88/822.47 c #Conflicts: 428000 | #Constraints: 210445 819.88/822.47 c #Conflicts: 429000 | #Constraints: 211445 819.88/822.47 c #Conflicts: 430000 | #Constraints: 212445 819.88/822.47 c #Conflicts: 431000 | #Constraints: 213445 819.88/822.47 c #Conflicts: 432000 | #Constraints: 214445 819.88/822.47 c #Conflicts: 433000 | #Constraints: 215445 819.88/822.47 c #Conflicts: 434000 | #Constraints: 216445 819.88/822.47 c #Conflicts: 435000 | #Constraints: 217445 819.88/822.47 c #Conflicts: 436000 | #Constraints: 218445 819.88/822.47 c #Conflicts: 437000 | #Constraints: 219445 819.88/822.47 c #Conflicts: 438000 | #Constraints: 220445 819.88/822.47 c #Conflicts: 439000 | #Constraints: 221445 819.88/822.47 c #Conflicts: 440000 | #Constraints: 222445 819.88/822.47 c #Conflicts: 441000 | #Constraints: 223445 819.88/822.47 c #Conflicts: 442000 | #Constraints: 224445 819.88/822.47 c #Conflicts: 443000 | #Constraints: 225445 819.88/822.47 c #Conflicts: 444000 | #Constraints: 226445 819.88/822.47 c #Conflicts: 445000 | #Constraints: 227445 819.88/822.47 c #Conflicts: 446000 | #Constraints: 228445 819.88/822.47 c #Conflicts: 447000 | #Constraints: 229445 895.16/897.91 c #Conflicts: 448000 | #Constraints: 230445 895.16/897.91 c #Conflicts: 449000 | #Constraints: 231445 895.16/897.91 c #Conflicts: 450000 | #Constraints: 232445 895.16/897.91 c #Conflicts: 451000 | #Constraints: 233445 895.16/897.91 c #Conflicts: 452000 | #Constraints: 234445 895.16/897.91 c #Conflicts: 453000 | #Constraints: 235445 895.16/897.91 c #Conflicts: 454000 | #Constraints: 236445 895.16/897.91 c #Conflicts: 455000 | #Constraints: 237445 895.16/897.91 c #Conflicts: 456000 | #Constraints: 238445 895.16/897.91 c #Conflicts: 457000 | #Constraints: 239445 895.16/897.91 c #Conflicts: 458000 | #Constraints: 240445 895.16/897.91 c #Conflicts: 459000 | #Constraints: 241445 895.16/897.91 c #Conflicts: 460000 | #Constraints: 242445 895.16/897.91 c #Conflicts: 461000 | #Constraints: 243445 895.16/897.91 c #Conflicts: 462000 | #Constraints: 244445 895.16/897.91 c #Conflicts: 463000 | #Constraints: 245445 895.16/897.91 c #Conflicts: 464000 | #Constraints: 246445 895.16/897.91 c #Conflicts: 465000 | #Constraints: 247445 895.16/897.91 c #Conflicts: 466000 | #Constraints: 248445 895.16/897.91 c #Conflicts: 467000 | #Constraints: 249445 895.16/897.91 c #Conflicts: 468000 | #Constraints: 250445 895.16/897.91 c #Conflicts: 469000 | #Constraints: 251445 895.16/897.91 c INPROCESSING 895.16/897.91 c GARBAGE COLLECT 895.16/897.91 c #Conflicts: 470000 | #Constraints: 214745 895.16/897.91 c #Conflicts: 471000 | #Constraints: 215745 895.16/897.91 c #Conflicts: 472000 | #Constraints: 216745 895.16/897.91 c #Conflicts: 473000 | #Constraints: 217745 895.16/897.91 c #Conflicts: 474000 | #Constraints: 218745 895.16/897.91 c #Conflicts: 475000 | #Constraints: 219745 895.16/897.91 c #Conflicts: 476000 | #Constraints: 220745 895.16/897.91 c #Conflicts: 477000 | #Constraints: 221745 895.16/897.91 c #Conflicts: 478000 | #Constraints: 222745 895.16/897.91 c #Conflicts: 479000 | #Constraints: 223745 895.16/897.91 c #Conflicts: 480000 | #Constraints: 224745 895.16/897.91 c #Conflicts: 481000 | #Constraints: 225745 895.16/897.91 c #Conflicts: 482000 | #Constraints: 226745 895.16/897.91 c #Conflicts: 483000 | #Constraints: 227745 895.16/897.91 c #Conflicts: 484000 | #Constraints: 228745 895.16/897.91 c #Conflicts: 485000 | #Constraints: 229745 895.16/897.91 c #Conflicts: 486000 | #Constraints: 230745 895.16/897.91 c #Conflicts: 487000 | #Constraints: 231745 895.16/897.91 c #Conflicts: 488000 | #Constraints: 232745 895.16/897.91 c #Conflicts: 489000 | #Constraints: 233745 895.16/897.91 c #Conflicts: 490000 | #Constraints: 234745 895.16/897.91 c #Conflicts: 491000 | #Constraints: 235745 895.16/897.91 c #Conflicts: 492000 | #Constraints: 236745 895.16/897.91 c #Conflicts: 493000 | #Constraints: 237745 895.16/897.91 c #Conflicts: 494000 | #Constraints: 238745 895.16/897.91 c #Conflicts: 495000 | #Constraints: 239745 895.16/897.91 c #Conflicts: 496000 | #Constraints: 240745 895.16/897.91 c #Conflicts: 497000 | #Constraints: 241745 895.16/897.91 c #Conflicts: 498000 | #Constraints: 242745 895.16/897.91 c #Conflicts: 499000 | #Constraints: 243745 895.16/897.91 c #Conflicts: 500000 | #Constraints: 244745 895.16/897.91 c #Conflicts: 501000 | #Constraints: 245745 895.16/897.91 c #Conflicts: 502000 | #Constraints: 246745 895.16/897.91 c #Conflicts: 503000 | #Constraints: 247745 895.16/897.91 c #Conflicts: 504000 | #Constraints: 248745 895.16/897.91 c #Conflicts: 505000 | #Constraints: 249745 895.16/897.91 c #Conflicts: 506000 | #Constraints: 250745 895.16/897.91 c #Conflicts: 507000 | #Constraints: 251745 895.16/897.91 c #Conflicts: 508000 | #Constraints: 252745 895.16/897.91 c #Conflicts: 509000 | #Constraints: 253745 895.16/897.91 c #Conflicts: 510000 | #Constraints: 254745 895.16/897.91 c #Conflicts: 511000 | #Constraints: 255745 895.16/897.91 c #Conflicts: 512000 | #Constraints: 256745 895.16/897.91 c #Conflicts: 513000 | #Constraints: 257745 895.16/897.91 c INPROCESSING 895.16/897.91 c GARBAGE COLLECT 895.16/897.91 c #Conflicts: 514000 | #Constraints: 219516 895.16/897.91 c #Conflicts: 515000 | #Constraints: 220516 895.16/897.91 c #Conflicts: 516000 | #Constraints: 221516 895.16/897.91 c #Conflicts: 517000 | #Constraints: 222516 895.16/897.91 c #Conflicts: 518000 | #Constraints: 223516 895.16/897.91 c #Conflicts: 519000 | #Constraints: 224516 895.16/897.91 c #Conflicts: 520000 | #Constraints: 225516 895.16/897.91 c #Conflicts: 521000 | #Constraints: 226516 895.16/897.91 c #Conflicts: 522000 | #Constraints: 227516 895.16/897.91 c #Conflicts: 523000 | #Constraints: 228516 895.16/897.91 c #Conflicts: 524000 | #Constraints: 229516 895.16/897.91 c #Conflicts: 525000 | #Constraints: 230516 966.25/969.22 c #Conflicts: 526000 | #Constraints: 231516 966.25/969.22 c #Conflicts: 527000 | #Constraints: 232516 966.25/969.22 c #Conflicts: 528000 | #Constraints: 233516 966.25/969.22 c #Conflicts: 529000 | #Constraints: 234516 966.25/969.22 c #Conflicts: 530000 | #Constraints: 235516 966.25/969.22 c #Conflicts: 531000 | #Constraints: 236516 966.25/969.22 c #Conflicts: 532000 | #Constraints: 237516 966.25/969.22 c #Conflicts: 533000 | #Constraints: 238516 966.25/969.22 c #Conflicts: 534000 | #Constraints: 239516 966.25/969.22 c #Conflicts: 535000 | #Constraints: 240516 966.25/969.22 c #Conflicts: 536000 | #Constraints: 241516 966.25/969.22 c #Conflicts: 537000 | #Constraints: 242516 966.25/969.22 c #Conflicts: 538000 | #Constraints: 243516 966.25/969.22 c #Conflicts: 539000 | #Constraints: 244516 966.25/969.22 c #Conflicts: 540000 | #Constraints: 245516 966.25/969.22 c #Conflicts: 541000 | #Constraints: 246516 966.25/969.22 c #Conflicts: 542000 | #Constraints: 247516 966.25/969.22 c #Conflicts: 543000 | #Constraints: 248516 966.25/969.22 c #Conflicts: 544000 | #Constraints: 249516 966.25/969.22 c #Conflicts: 545000 | #Constraints: 250516 966.25/969.22 c #Conflicts: 546000 | #Constraints: 251516 966.25/969.22 c #Conflicts: 547000 | #Constraints: 252516 966.25/969.22 c #Conflicts: 548000 | #Constraints: 253516 966.25/969.22 c #Conflicts: 549000 | #Constraints: 254516 966.25/969.22 c #Conflicts: 550000 | #Constraints: 255516 966.25/969.22 c #Conflicts: 551000 | #Constraints: 256516 966.25/969.22 c #Conflicts: 552000 | #Constraints: 257516 966.25/969.22 c #Conflicts: 553000 | #Constraints: 258516 966.25/969.22 c #Conflicts: 554000 | #Constraints: 259516 966.25/969.22 c #Conflicts: 555000 | #Constraints: 260516 966.25/969.22 c #Conflicts: 556000 | #Constraints: 261516 966.25/969.22 c #Conflicts: 557000 | #Constraints: 262516 966.25/969.22 c #Conflicts: 558000 | #Constraints: 263516 966.25/969.22 c #Conflicts: 559000 | #Constraints: 264516 966.25/969.22 c #Conflicts: 560000 | #Constraints: 265516 966.25/969.22 c INPROCESSING 966.25/969.22 c GARBAGE COLLECT 966.25/969.22 c #Conflicts: 561000 | #Constraints: 225059 966.25/969.22 c #Conflicts: 562000 | #Constraints: 226059 966.25/969.22 c #Conflicts: 563000 | #Constraints: 227059 966.25/969.22 c #Conflicts: 564000 | #Constraints: 228059 966.25/969.22 c #Conflicts: 565000 | #Constraints: 229059 966.25/969.22 c #Conflicts: 566000 | #Constraints: 230059 966.25/969.22 c #Conflicts: 567000 | #Constraints: 231059 966.25/969.22 c #Conflicts: 568000 | #Constraints: 232059 966.25/969.22 c #Conflicts: 569000 | #Constraints: 233059 966.25/969.22 c #Conflicts: 570000 | #Constraints: 234059 966.25/969.22 c #Conflicts: 571000 | #Constraints: 235059 966.25/969.22 c #Conflicts: 572000 | #Constraints: 236059 966.25/969.22 c #Conflicts: 573000 | #Constraints: 237059 966.25/969.22 c #Conflicts: 574000 | #Constraints: 238059 966.25/969.22 c #Conflicts: 575000 | #Constraints: 239059 966.25/969.22 c #Conflicts: 576000 | #Constraints: 240059 966.25/969.22 c #Conflicts: 577000 | #Constraints: 241059 966.25/969.22 c #Conflicts: 578000 | #Constraints: 242059 966.25/969.22 c #Conflicts: 579000 | #Constraints: 243059 966.25/969.22 c #Conflicts: 580000 | #Constraints: 244059 966.25/969.22 c #Conflicts: 581000 | #Constraints: 245059 966.25/969.22 c #Conflicts: 582000 | #Constraints: 246059 966.25/969.22 c #Conflicts: 583000 | #Constraints: 247059 966.25/969.22 c #Conflicts: 584000 | #Constraints: 248059 966.25/969.22 c #Conflicts: 585000 | #Constraints: 249059 966.25/969.22 c #Conflicts: 586000 | #Constraints: 250059 966.25/969.22 c #Conflicts: 587000 | #Constraints: 251059 966.25/969.22 c #Conflicts: 588000 | #Constraints: 252059 966.25/969.22 c #Conflicts: 589000 | #Constraints: 253059 966.25/969.22 c #Conflicts: 590000 | #Constraints: 254059 966.25/969.22 c #Conflicts: 591000 | #Constraints: 255059 966.25/969.22 c #Conflicts: 592000 | #Constraints: 256059 966.25/969.22 c #Conflicts: 593000 | #Constraints: 257059 966.25/969.22 c #Conflicts: 594000 | #Constraints: 258059 966.25/969.22 c #Conflicts: 595000 | #Constraints: 259059 966.25/969.22 c #Conflicts: 596000 | #Constraints: 260059 966.25/969.22 c #Conflicts: 597000 | #Constraints: 261059 966.25/969.22 c #Conflicts: 598000 | #Constraints: 262059 966.25/969.22 c #Conflicts: 599000 | #Constraints: 263059 966.25/969.22 c #Conflicts: 600000 | #Constraints: 264059 966.25/969.22 c #Conflicts: 601000 | #Constraints: 265059 966.25/969.22 c #Conflicts: 602000 | #Constraints: 266059 966.25/969.22 c #Conflicts: 603000 | #Constraints: 267059 1030.37/1033.51 c #Conflicts: 604000 | #Constraints: 268059 1030.37/1033.51 c #Conflicts: 605000 | #Constraints: 269059 1030.37/1033.51 c #Conflicts: 606000 | #Constraints: 270059 1030.37/1033.51 c #Conflicts: 607000 | #Constraints: 271059 1030.37/1033.51 c #Conflicts: 608000 | #Constraints: 272059 1030.37/1033.51 c INPROCESSING 1030.37/1033.51 c GARBAGE COLLECT 1030.37/1033.51 c #Conflicts: 609000 | #Constraints: 230069 1030.37/1033.51 c #Conflicts: 610000 | #Constraints: 231069 1030.37/1033.51 c #Conflicts: 611000 | #Constraints: 232069 1030.37/1033.51 c #Conflicts: 612000 | #Constraints: 233069 1030.37/1033.51 c #Conflicts: 613000 | #Constraints: 234069 1030.37/1033.51 c #Conflicts: 614000 | #Constraints: 235069 1030.37/1033.51 c #Conflicts: 615000 | #Constraints: 236069 1030.37/1033.51 c #Conflicts: 616000 | #Constraints: 237069 1030.37/1033.51 c #Conflicts: 617000 | #Constraints: 238069 1030.37/1033.51 c #Conflicts: 618000 | #Constraints: 239069 1030.37/1033.51 c #Conflicts: 619000 | #Constraints: 240069 1030.37/1033.51 c #Conflicts: 620000 | #Constraints: 241069 1030.37/1033.51 c #Conflicts: 621000 | #Constraints: 242069 1030.37/1033.51 c #Conflicts: 622000 | #Constraints: 243069 1030.37/1033.51 c #Conflicts: 623000 | #Constraints: 244069 1030.37/1033.51 c #Conflicts: 624000 | #Constraints: 245069 1030.37/1033.51 c #Conflicts: 625000 | #Constraints: 246069 1030.37/1033.51 c #Conflicts: 626000 | #Constraints: 247069 1030.37/1033.51 c #Conflicts: 627000 | #Constraints: 248069 1030.37/1033.51 c #Conflicts: 628000 | #Constraints: 249069 1030.37/1033.51 c #Conflicts: 629000 | #Constraints: 250069 1030.37/1033.51 c #Conflicts: 630000 | #Constraints: 251069 1030.37/1033.51 c #Conflicts: 631000 | #Constraints: 252069 1030.37/1033.51 c #Conflicts: 632000 | #Constraints: 253069 1030.37/1033.51 c #Conflicts: 633000 | #Constraints: 254069 1030.37/1033.51 c #Conflicts: 634000 | #Constraints: 255069 1030.37/1033.51 c #Conflicts: 635000 | #Constraints: 256069 1030.37/1033.51 c #Conflicts: 636000 | #Constraints: 257069 1030.37/1033.51 c #Conflicts: 637000 | #Constraints: 258069 1030.37/1033.51 c #Conflicts: 638000 | #Constraints: 259069 1030.37/1033.51 c #Conflicts: 639000 | #Constraints: 260069 1030.37/1033.51 c #Conflicts: 640000 | #Constraints: 261069 1030.37/1033.51 c #Conflicts: 641000 | #Constraints: 262069 1030.37/1033.51 c #Conflicts: 642000 | #Constraints: 263069 1030.37/1033.51 c #Conflicts: 643000 | #Constraints: 264069 1030.37/1033.51 c #Conflicts: 644000 | #Constraints: 265069 1030.37/1033.51 c #Conflicts: 645000 | #Constraints: 266069 1030.37/1033.51 c #Conflicts: 646000 | #Constraints: 267069 1030.37/1033.51 c #Conflicts: 647000 | #Constraints: 268069 1030.37/1033.51 c #Conflicts: 648000 | #Constraints: 269069 1030.37/1033.51 c #Conflicts: 649000 | #Constraints: 270069 1030.37/1033.51 c #Conflicts: 650000 | #Constraints: 271069 1030.37/1033.51 c #Conflicts: 651000 | #Constraints: 272069 1030.37/1033.51 c #Conflicts: 652000 | #Constraints: 273069 1030.37/1033.51 c #Conflicts: 653000 | #Constraints: 274069 1030.37/1033.51 c #Conflicts: 654000 | #Constraints: 275069 1030.37/1033.51 c #Conflicts: 655000 | #Constraints: 276069 1030.37/1033.51 c #Conflicts: 656000 | #Constraints: 277069 1030.37/1033.51 c #Conflicts: 657000 | #Constraints: 278069 1030.37/1033.51 c #Conflicts: 658000 | #Constraints: 279069 1030.37/1033.51 c INPROCESSING 1030.37/1033.51 c GARBAGE COLLECT 1030.37/1033.51 c #Conflicts: 659000 | #Constraints: 234679 1030.37/1033.51 c #Conflicts: 660000 | #Constraints: 235679 1030.37/1033.51 c #Conflicts: 661000 | #Constraints: 236679 1030.37/1033.51 c #Conflicts: 662000 | #Constraints: 237679 1030.37/1033.51 c #Conflicts: 663000 | #Constraints: 238679 1030.37/1033.51 c #Conflicts: 664000 | #Constraints: 239679 1030.37/1033.51 c #Conflicts: 665000 | #Constraints: 240679 1030.37/1033.51 c #Conflicts: 666000 | #Constraints: 241679 1030.37/1033.51 c #Conflicts: 667000 | #Constraints: 242679 1030.37/1033.51 c #Conflicts: 668000 | #Constraints: 243679 1030.37/1033.51 c #Conflicts: 669000 | #Constraints: 244679 1030.37/1033.51 c #Conflicts: 670000 | #Constraints: 245679 1030.37/1033.51 c #Conflicts: 671000 | #Constraints: 246679 1030.37/1033.51 c #Conflicts: 672000 | #Constraints: 247679 1030.37/1033.51 c #Conflicts: 673000 | #Constraints: 248679 1030.37/1033.51 c #Conflicts: 674000 | #Constraints: 249679 1030.37/1033.51 c #Conflicts: 675000 | #Constraints: 250679 1030.37/1033.51 c #Conflicts: 676000 | #Constraints: 251679 1030.37/1033.51 c #Conflicts: 677000 | #Constraints: 252679 1030.37/1033.51 c #Conflicts: 678000 | #Constraints: 253679 1030.37/1033.51 c #Conflicts: 679000 | #Constraints: 254679 1030.37/1033.51 c #Conflicts: 680000 | #Constraints: 255679 1280.35/1284.12 c #Conflicts: 681000 | #Constraints: 256679 1280.35/1284.12 c #Conflicts: 682000 | #Constraints: 257679 1280.35/1284.12 c #Conflicts: 683000 | #Constraints: 258679 1280.35/1284.12 c #Conflicts: 684000 | #Constraints: 259679 1280.35/1284.12 c #Conflicts: 685000 | #Constraints: 260679 1280.35/1284.12 c #Conflicts: 686000 | #Constraints: 261679 1280.35/1284.12 c #Conflicts: 687000 | #Constraints: 262679 1280.35/1284.12 c #Conflicts: 688000 | #Constraints: 263679 1280.35/1284.12 c #Conflicts: 689000 | #Constraints: 264679 1280.35/1284.12 c #Conflicts: 690000 | #Constraints: 265679 1280.35/1284.12 c #Conflicts: 691000 | #Constraints: 266679 1280.35/1284.12 c #Conflicts: 692000 | #Constraints: 267679 1280.35/1284.12 c #Conflicts: 693000 | #Constraints: 268679 1280.35/1284.12 c #Conflicts: 694000 | #Constraints: 269679 1280.35/1284.12 c #Conflicts: 695000 | #Constraints: 270679 1280.35/1284.12 c #Conflicts: 696000 | #Constraints: 271679 1280.35/1284.12 c #Conflicts: 697000 | #Constraints: 272679 1280.35/1284.12 c #Conflicts: 698000 | #Constraints: 273679 1280.35/1284.12 c #Conflicts: 699000 | #Constraints: 274679 1280.35/1284.12 c #Conflicts: 700000 | #Constraints: 275679 1280.35/1284.12 c #Conflicts: 701000 | #Constraints: 276679 1280.35/1284.12 c #Conflicts: 702000 | #Constraints: 277679 1280.35/1284.12 c #Conflicts: 703000 | #Constraints: 278679 1280.35/1284.12 c #Conflicts: 704000 | #Constraints: 279679 1280.35/1284.12 c #Conflicts: 705000 | #Constraints: 280679 1280.35/1284.12 c #Conflicts: 706000 | #Constraints: 281679 1280.35/1284.12 c #Conflicts: 707000 | #Constraints: 282679 1280.35/1284.12 c #Conflicts: 708000 | #Constraints: 283679 1280.35/1284.12 c #Conflicts: 709000 | #Constraints: 284679 1280.35/1284.12 c #Conflicts: 710000 | #Constraints: 285679 1280.35/1284.12 c #Conflicts: 711000 | #Constraints: 286679 1280.35/1284.12 c INPROCESSING 1280.35/1284.12 c GARBAGE COLLECT 1280.35/1284.12 c #Conflicts: 712000 | #Constraints: 240581 1280.35/1284.12 c #Conflicts: 713000 | #Constraints: 241581 1280.35/1284.12 c #Conflicts: 714000 | #Constraints: 242581 1280.35/1284.12 c #Conflicts: 715000 | #Constraints: 243581 1280.35/1284.12 c #Conflicts: 716000 | #Constraints: 244581 1280.35/1284.12 c #Conflicts: 717000 | #Constraints: 245581 1280.35/1284.12 c #Conflicts: 718000 | #Constraints: 246581 1280.35/1284.12 c #Conflicts: 719000 | #Constraints: 247581 1280.35/1284.12 c #Conflicts: 720000 | #Constraints: 248581 1280.35/1284.12 c #Conflicts: 721000 | #Constraints: 249581 1280.35/1284.12 c #Conflicts: 722000 | #Constraints: 250581 1280.35/1284.12 c #Conflicts: 723000 | #Constraints: 251581 1280.35/1284.12 c #Conflicts: 724000 | #Constraints: 252581 1280.35/1284.12 c #Conflicts: 725000 | #Constraints: 253581 1280.35/1284.12 c #Conflicts: 726000 | #Constraints: 254581 1280.35/1284.12 c #Conflicts: 727000 | #Constraints: 255581 1280.35/1284.12 c #Conflicts: 728000 | #Constraints: 256581 1280.35/1284.12 c #Conflicts: 729000 | #Constraints: 257581 1280.35/1284.12 c #Conflicts: 730000 | #Constraints: 258581 1280.35/1284.12 c #Conflicts: 731000 | #Constraints: 259581 1280.35/1284.12 c #Conflicts: 732000 | #Constraints: 260581 1280.35/1284.12 c #Conflicts: 733000 | #Constraints: 261581 1280.35/1284.12 c #Conflicts: 734000 | #Constraints: 262581 1280.35/1284.12 c #Conflicts: 735000 | #Constraints: 263581 1280.35/1284.12 c #Conflicts: 736000 | #Constraints: 264581 1280.35/1284.12 c #Conflicts: 737000 | #Constraints: 265581 1280.35/1284.12 c #Conflicts: 738000 | #Constraints: 266581 1280.35/1284.12 c #Conflicts: 739000 | #Constraints: 267581 1280.35/1284.12 c #Conflicts: 740000 | #Constraints: 268581 1280.35/1284.12 c #Conflicts: 741000 | #Constraints: 269581 1280.35/1284.12 c #Conflicts: 742000 | #Constraints: 270581 1280.35/1284.12 c #Conflicts: 743000 | #Constraints: 271581 1280.35/1284.12 c #Conflicts: 744000 | #Constraints: 272581 1280.35/1284.12 c #Conflicts: 745000 | #Constraints: 273581 1280.35/1284.12 c #Conflicts: 746000 | #Constraints: 274581 1280.35/1284.12 c #Conflicts: 747000 | #Constraints: 275581 1280.35/1284.12 c #Conflicts: 748000 | #Constraints: 276581 1280.35/1284.12 c #Conflicts: 749000 | #Constraints: 277581 1280.35/1284.12 c #Conflicts: 750000 | #Constraints: 278581 1280.35/1284.12 c #Conflicts: 751000 | #Constraints: 279581 1280.35/1284.12 c #Conflicts: 752000 | #Constraints: 280581 1280.35/1284.12 c #Conflicts: 753000 | #Constraints: 281581 1280.35/1284.12 c #Conflicts: 754000 | #Constraints: 282581 1280.35/1284.12 c #Conflicts: 755000 | #Constraints: 283581 1280.35/1284.12 c #Conflicts: 756000 | #Constraints: 284581 1280.35/1284.12 c #Conflicts: 757000 | #Constraints: 285581 1280.35/1284.12 c #Conflicts: 758000 | #Constraints: 286581 1280.35/1284.12 c #Conflicts: 759000 | #Constraints: 287581 1542.45/1547.00 c #Conflicts: 760000 | #Constraints: 288581 1542.45/1547.00 c #Conflicts: 761000 | #Constraints: 289581 1542.45/1547.00 c #Conflicts: 762000 | #Constraints: 290581 1542.45/1547.00 c #Conflicts: 763000 | #Constraints: 291581 1542.45/1547.00 c #Conflicts: 764000 | #Constraints: 292581 1542.45/1547.00 c #Conflicts: 765000 | #Constraints: 293581 1542.45/1547.00 c INPROCESSING 1542.45/1547.00 c GARBAGE COLLECT 1542.45/1547.00 c #Conflicts: 766000 | #Constraints: 245176 1542.45/1547.00 c #Conflicts: 767000 | #Constraints: 246176 1542.45/1547.00 c #Conflicts: 768000 | #Constraints: 247176 1542.45/1547.00 c #Conflicts: 769000 | #Constraints: 248176 1542.45/1547.00 c #Conflicts: 770000 | #Constraints: 249176 1542.45/1547.00 c #Conflicts: 771000 | #Constraints: 250176 1542.45/1547.00 c #Conflicts: 772000 | #Constraints: 251176 1542.45/1547.00 c #Conflicts: 773000 | #Constraints: 252176 1542.45/1547.00 c #Conflicts: 774000 | #Constraints: 253176 1542.45/1547.00 c #Conflicts: 775000 | #Constraints: 254176 1542.45/1547.00 c #Conflicts: 776000 | #Constraints: 255176 1542.45/1547.00 c #Conflicts: 777000 | #Constraints: 256176 1542.45/1547.00 c #Conflicts: 778000 | #Constraints: 257176 1542.45/1547.00 c #Conflicts: 779000 | #Constraints: 258176 1542.45/1547.00 c #Conflicts: 780000 | #Constraints: 259176 1542.45/1547.00 c #Conflicts: 781000 | #Constraints: 260176 1542.45/1547.00 c #Conflicts: 782000 | #Constraints: 261176 1542.45/1547.00 c #Conflicts: 783000 | #Constraints: 262176 1542.45/1547.00 c #Conflicts: 784000 | #Constraints: 263176 1542.45/1547.00 c #Conflicts: 785000 | #Constraints: 264176 1542.45/1547.00 c #Conflicts: 786000 | #Constraints: 265176 1542.45/1547.00 c #Conflicts: 787000 | #Constraints: 266176 1542.45/1547.00 c #Conflicts: 788000 | #Constraints: 267176 1542.45/1547.00 c #Conflicts: 789000 | #Constraints: 268176 1542.45/1547.00 c #Conflicts: 790000 | #Constraints: 269176 1542.45/1547.00 c #Conflicts: 791000 | #Constraints: 270176 1542.45/1547.00 c #Conflicts: 792000 | #Constraints: 271176 1542.45/1547.00 c #Conflicts: 793000 | #Constraints: 272176 1542.45/1547.00 c #Conflicts: 794000 | #Constraints: 273176 1542.45/1547.00 c #Conflicts: 795000 | #Constraints: 274176 1542.45/1547.00 c #Conflicts: 796000 | #Constraints: 275176 1542.45/1547.00 c #Conflicts: 797000 | #Constraints: 276176 1542.45/1547.00 c #Conflicts: 798000 | #Constraints: 277176 1542.45/1547.00 c #Conflicts: 799000 | #Constraints: 278176 1542.45/1547.00 c #Conflicts: 800000 | #Constraints: 279176 1542.45/1547.00 c #Conflicts: 801000 | #Constraints: 280176 1542.45/1547.00 c #Conflicts: 802000 | #Constraints: 281176 1542.45/1547.00 c #Conflicts: 803000 | #Constraints: 282176 1542.45/1547.00 c #Conflicts: 804000 | #Constraints: 283176 1542.45/1547.00 c #Conflicts: 805000 | #Constraints: 284176 1542.45/1547.00 c #Conflicts: 806000 | #Constraints: 285176 1542.45/1547.00 c #Conflicts: 807000 | #Constraints: 286176 1542.45/1547.00 c #Conflicts: 808000 | #Constraints: 287176 1542.45/1547.00 c #Conflicts: 809000 | #Constraints: 288176 1542.45/1547.00 c #Conflicts: 810000 | #Constraints: 289176 1542.45/1547.00 c #Conflicts: 811000 | #Constraints: 290176 1542.45/1547.00 c #Conflicts: 812000 | #Constraints: 291176 1542.45/1547.00 c #Conflicts: 813000 | #Constraints: 292176 1542.45/1547.00 c #Conflicts: 814000 | #Constraints: 293176 1542.45/1547.00 c #Conflicts: 815000 | #Constraints: 294176 1542.45/1547.00 c #Conflicts: 816000 | #Constraints: 295176 1542.45/1547.00 c #Conflicts: 817000 | #Constraints: 296176 1542.45/1547.00 c #Conflicts: 818000 | #Constraints: 297176 1542.45/1547.00 c #Conflicts: 819000 | #Constraints: 298176 1542.45/1547.00 c #Conflicts: 820000 | #Constraints: 299176 1542.45/1547.00 c #Conflicts: 821000 | #Constraints: 300176 1542.45/1547.00 c #Conflicts: 822000 | #Constraints: 301176 1542.45/1547.00 c INPROCESSING 1542.45/1547.00 c GARBAGE COLLECT 1542.45/1547.00 c rational objective 25266.6 1602.79/1607.41 c #Conflicts: 823000 | #Constraints: 251586 1602.79/1607.41 c #Conflicts: 824000 | #Constraints: 252586 1602.79/1607.41 c #Conflicts: 825000 | #Constraints: 253586 1602.79/1607.41 c #Conflicts: 826000 | #Constraints: 254586 1602.79/1607.41 c #Conflicts: 827000 | #Constraints: 255586 1602.79/1607.41 c #Conflicts: 828000 | #Constraints: 256586 1602.79/1607.41 c #Conflicts: 829000 | #Constraints: 257586 1602.79/1607.41 c #Conflicts: 830000 | #Constraints: 258586 1602.79/1607.41 c #Conflicts: 831000 | #Constraints: 259586 1602.79/1607.41 c #Conflicts: 832000 | #Constraints: 260586 1602.79/1607.41 c #Conflicts: 833000 | #Constraints: 261586 1602.79/1607.41 c #Conflicts: 834000 | #Constraints: 262586 1602.79/1607.41 c #Conflicts: 835000 | #Constraints: 263586 1602.79/1607.41 c #Conflicts: 836000 | #Constraints: 264586 1602.79/1607.41 c #Conflicts: 837000 | #Constraints: 265586 1602.79/1607.41 c #Conflicts: 838000 | #Constraints: 266586 1602.79/1607.41 c #Conflicts: 839000 | #Constraints: 267586 1602.79/1607.41 c #Conflicts: 840000 | #Constraints: 268586 1602.79/1607.41 c #Conflicts: 841000 | #Constraints: 269586 1602.79/1607.41 c #Conflicts: 842000 | #Constraints: 270586 1602.79/1607.41 c #Conflicts: 843000 | #Constraints: 271586 1602.79/1607.41 c #Conflicts: 844000 | #Constraints: 272586 1602.79/1607.41 c #Conflicts: 845000 | #Constraints: 273586 1602.79/1607.41 c #Conflicts: 846000 | #Constraints: 274586 1602.79/1607.41 c #Conflicts: 847000 | #Constraints: 275586 1602.79/1607.41 c #Conflicts: 848000 | #Constraints: 276586 1602.79/1607.41 c #Conflicts: 849000 | #Constraints: 277586 1602.79/1607.41 c #Conflicts: 850000 | #Constraints: 278586 1602.79/1607.41 c #Conflicts: 851000 | #Constraints: 279586 1602.79/1607.41 c #Conflicts: 852000 | #Constraints: 280586 1602.79/1607.41 c #Conflicts: 853000 | #Constraints: 281586 1602.79/1607.41 c #Conflicts: 854000 | #Constraints: 282586 1602.79/1607.41 c #Conflicts: 855000 | #Constraints: 283586 1602.79/1607.41 c #Conflicts: 856000 | #Constraints: 284586 1602.79/1607.41 c #Conflicts: 857000 | #Constraints: 285586 1602.79/1607.41 c #Conflicts: 858000 | #Constraints: 286586 1602.79/1607.41 c #Conflicts: 859000 | #Constraints: 287586 1602.79/1607.41 c #Conflicts: 860000 | #Constraints: 288586 1602.79/1607.41 c #Conflicts: 861000 | #Constraints: 289586 1602.79/1607.41 c #Conflicts: 862000 | #Constraints: 290586 1602.79/1607.41 c #Conflicts: 863000 | #Constraints: 291586 1602.79/1607.41 c #Conflicts: 864000 | #Constraints: 292586 1602.79/1607.41 c #Conflicts: 865000 | #Constraints: 293586 1602.79/1607.41 c #Conflicts: 866000 | #Constraints: 294586 1602.79/1607.41 c #Conflicts: 867000 | #Constraints: 295586 1602.79/1607.41 c #Conflicts: 868000 | #Constraints: 296586 1602.79/1607.41 c #Conflicts: 869000 | #Constraints: 297586 1602.79/1607.41 c #Conflicts: 870000 | #Constraints: 298586 1602.79/1607.41 c #Conflicts: 871000 | #Constraints: 299586 1602.79/1607.41 c #Conflicts: 872000 | #Constraints: 300586 1602.79/1607.41 c #Conflicts: 873000 | #Constraints: 301586 1602.79/1607.41 c #Conflicts: 874000 | #Constraints: 302586 1602.79/1607.41 c #Conflicts: 875000 | #Constraints: 303586 1602.79/1607.41 c #Conflicts: 876000 | #Constraints: 304586 1602.79/1607.41 c #Conflicts: 877000 | #Constraints: 305586 1602.79/1607.41 c #Conflicts: 878000 | #Constraints: 306586 1602.79/1607.41 c #Conflicts: 879000 | #Constraints: 307586 1602.79/1607.41 c #Conflicts: 880000 | #Constraints: 308586 1602.79/1607.41 c INPROCESSING 1602.79/1607.41 c GARBAGE COLLECT 1602.79/1607.41 c #Conflicts: 881000 | #Constraints: 256484 1602.79/1607.41 c #Conflicts: 882000 | #Constraints: 257484 1602.79/1607.41 c #Conflicts: 883000 | #Constraints: 258484 1602.79/1607.41 c #Conflicts: 884000 | #Constraints: 259484 1602.79/1607.41 c #Conflicts: 885000 | #Constraints: 260484 1602.79/1607.41 c #Conflicts: 886000 | #Constraints: 261484 1602.79/1607.41 c #Conflicts: 887000 | #Constraints: 262484 1602.79/1607.41 c #Conflicts: 888000 | #Constraints: 263484 1602.79/1607.41 c #Conflicts: 889000 | #Constraints: 264484 1602.79/1607.41 c #Conflicts: 890000 | #Constraints: 265484 1602.79/1607.41 c #Conflicts: 891000 | #Constraints: 266484 1602.79/1607.41 c #Conflicts: 892000 | #Constraints: 267484 1602.79/1607.41 c #Conflicts: 893000 | #Constraints: 268484 1602.79/1607.41 c #Conflicts: 894000 | #Constraints: 269484 1602.79/1607.41 c #Conflicts: 895000 | #Constraints: 270484 1602.79/1607.41 c #Conflicts: 896000 | #Constraints: 271484 1602.79/1607.41 c #Conflicts: 897000 | #Constraints: 272484 1602.79/1607.41 c #Conflicts: 898000 | #Constraints: 273484 1602.79/1607.41 c #Conflicts: 899000 | #Constraints: 274484 1602.79/1607.41 c #Conflicts: 900000 | #Constraints: 275484 1602.79/1607.41 c #Conflicts: 901000 | #Constraints: 276484 1659.33/1664.12 c #Conflicts: 902000 | #Constraints: 277484 1659.33/1664.12 c #Conflicts: 903000 | #Constraints: 278484 1659.33/1664.12 c #Conflicts: 904000 | #Constraints: 279484 1659.33/1664.12 c #Conflicts: 905000 | #Constraints: 280484 1659.33/1664.12 c #Conflicts: 906000 | #Constraints: 281484 1659.33/1664.12 c #Conflicts: 907000 | #Constraints: 282484 1659.33/1664.12 c #Conflicts: 908000 | #Constraints: 283484 1659.33/1664.12 c #Conflicts: 909000 | #Constraints: 284484 1659.33/1664.12 c #Conflicts: 910000 | #Constraints: 285484 1659.33/1664.12 c #Conflicts: 911000 | #Constraints: 286484 1659.33/1664.12 c #Conflicts: 912000 | #Constraints: 287484 1659.33/1664.12 c #Conflicts: 913000 | #Constraints: 288484 1659.33/1664.12 c #Conflicts: 914000 | #Constraints: 289484 1659.33/1664.12 c #Conflicts: 915000 | #Constraints: 290484 1659.33/1664.12 c #Conflicts: 916000 | #Constraints: 291484 1659.33/1664.12 c #Conflicts: 917000 | #Constraints: 292484 1659.33/1664.12 c #Conflicts: 918000 | #Constraints: 293484 1659.33/1664.12 c #Conflicts: 919000 | #Constraints: 294484 1659.33/1664.12 c #Conflicts: 920000 | #Constraints: 295484 1659.33/1664.12 c #Conflicts: 921000 | #Constraints: 296484 1659.33/1664.12 c #Conflicts: 922000 | #Constraints: 297484 1659.33/1664.12 c #Conflicts: 923000 | #Constraints: 298484 1659.33/1664.12 c #Conflicts: 924000 | #Constraints: 299484 1659.33/1664.12 c #Conflicts: 925000 | #Constraints: 300484 1659.33/1664.12 c #Conflicts: 926000 | #Constraints: 301484 1659.33/1664.12 c #Conflicts: 927000 | #Constraints: 302484 1659.33/1664.12 c #Conflicts: 928000 | #Constraints: 303484 1659.33/1664.12 c #Conflicts: 929000 | #Constraints: 304484 1659.33/1664.12 c #Conflicts: 930000 | #Constraints: 305484 1659.33/1664.12 c #Conflicts: 931000 | #Constraints: 306484 1659.33/1664.12 c #Conflicts: 932000 | #Constraints: 307484 1659.33/1664.12 c #Conflicts: 933000 | #Constraints: 308484 1659.33/1664.12 c #Conflicts: 934000 | #Constraints: 309484 1659.33/1664.12 c #Conflicts: 935000 | #Constraints: 310484 1659.33/1664.12 c #Conflicts: 936000 | #Constraints: 311484 1659.33/1664.12 c #Conflicts: 937000 | #Constraints: 312484 1659.33/1664.12 c #Conflicts: 938000 | #Constraints: 313484 1659.33/1664.12 c #Conflicts: 939000 | #Constraints: 314484 1659.33/1664.12 c #Conflicts: 940000 | #Constraints: 315484 1659.33/1664.12 c INPROCESSING 1659.33/1664.12 c GARBAGE COLLECT 1659.33/1664.12 c #Conflicts: 941000 | #Constraints: 260913 1659.33/1664.12 c #Conflicts: 942000 | #Constraints: 261913 1659.33/1664.12 c #Conflicts: 943000 | #Constraints: 262913 1659.33/1664.12 c #Conflicts: 944000 | #Constraints: 263913 1659.33/1664.12 c #Conflicts: 945000 | #Constraints: 264913 1659.33/1664.12 c #Conflicts: 946000 | #Constraints: 265913 1659.33/1664.12 c #Conflicts: 947000 | #Constraints: 266913 1659.33/1664.12 c #Conflicts: 948000 | #Constraints: 267913 1659.33/1664.12 c #Conflicts: 949000 | #Constraints: 268913 1659.33/1664.12 c #Conflicts: 950000 | #Constraints: 269913 1659.33/1664.12 c #Conflicts: 951000 | #Constraints: 270913 1659.33/1664.12 c #Conflicts: 952000 | #Constraints: 271913 1659.33/1664.12 c #Conflicts: 953000 | #Constraints: 272913 1659.33/1664.12 c #Conflicts: 954000 | #Constraints: 273913 1659.33/1664.12 c #Conflicts: 955000 | #Constraints: 274913 1659.33/1664.12 c #Conflicts: 956000 | #Constraints: 275913 1659.33/1664.12 c #Conflicts: 957000 | #Constraints: 276913 1659.33/1664.12 c #Conflicts: 958000 | #Constraints: 277913 1659.33/1664.12 c #Conflicts: 959000 | #Constraints: 278913 1659.33/1664.12 c #Conflicts: 960000 | #Constraints: 279913 1659.33/1664.12 c #Conflicts: 961000 | #Constraints: 280913 1659.33/1664.12 c #Conflicts: 962000 | #Constraints: 281913 1659.33/1664.12 c #Conflicts: 963000 | #Constraints: 282913 1659.33/1664.12 c #Conflicts: 964000 | #Constraints: 283913 1659.33/1664.12 c #Conflicts: 965000 | #Constraints: 284913 1659.33/1664.12 c #Conflicts: 966000 | #Constraints: 285913 1659.33/1664.12 c #Conflicts: 967000 | #Constraints: 286913 1659.33/1664.12 c #Conflicts: 968000 | #Constraints: 287913 1659.33/1664.12 c #Conflicts: 969000 | #Constraints: 288913 1659.33/1664.12 c #Conflicts: 970000 | #Constraints: 289913 1659.33/1664.12 c #Conflicts: 971000 | #Constraints: 290913 1659.33/1664.12 c #Conflicts: 972000 | #Constraints: 291913 1659.33/1664.12 c #Conflicts: 973000 | #Constraints: 292913 1659.33/1664.12 c #Conflicts: 974000 | #Constraints: 293913 1659.33/1664.12 c #Conflicts: 975000 | #Constraints: 294913 1659.33/1664.12 c #Conflicts: 976000 | #Constraints: 295913 1659.33/1664.12 c #Conflicts: 977000 | #Constraints: 296913 1659.33/1664.12 c #Conflicts: 978000 | #Constraints: 297913 1659.33/1664.12 c #Conflicts: 979000 | #Constraints: 298913 1719.46/1724.49 c #Conflicts: 980000 | #Constraints: 299913 1719.46/1724.49 c #Conflicts: 981000 | #Constraints: 300913 1719.46/1724.49 c #Conflicts: 982000 | #Constraints: 301913 1719.46/1724.49 c #Conflicts: 983000 | #Constraints: 302913 1719.46/1724.49 c #Conflicts: 984000 | #Constraints: 303913 1719.46/1724.49 c #Conflicts: 985000 | #Constraints: 304913 1719.46/1724.49 c #Conflicts: 986000 | #Constraints: 305913 1719.46/1724.49 c #Conflicts: 987000 | #Constraints: 306913 1719.46/1724.49 c #Conflicts: 988000 | #Constraints: 307913 1719.46/1724.49 c #Conflicts: 989000 | #Constraints: 308913 1719.46/1724.49 c #Conflicts: 990000 | #Constraints: 309913 1719.46/1724.49 c #Conflicts: 991000 | #Constraints: 310913 1719.46/1724.49 c #Conflicts: 992000 | #Constraints: 311913 1719.46/1724.49 c #Conflicts: 993000 | #Constraints: 312913 1719.46/1724.49 c #Conflicts: 994000 | #Constraints: 313913 1719.46/1724.49 c #Conflicts: 995000 | #Constraints: 314913 1719.46/1724.49 c #Conflicts: 996000 | #Constraints: 315913 1719.46/1724.49 c #Conflicts: 997000 | #Constraints: 316913 1719.46/1724.49 c #Conflicts: 998000 | #Constraints: 317913 1719.46/1724.49 c #Conflicts: 999000 | #Constraints: 318913 1719.46/1724.49 c #Conflicts: 1000000 | #Constraints: 319913 1719.46/1724.49 c #Conflicts: 1001000 | #Constraints: 320913 1719.46/1724.49 c #Conflicts: 1002000 | #Constraints: 321913 1719.46/1724.49 c #Conflicts: 1003000 | #Constraints: 322913 1719.46/1724.49 c INPROCESSING 1719.46/1724.49 c GARBAGE COLLECT 1719.46/1724.49 c #Conflicts: 1004000 | #Constraints: 264613 1719.46/1724.49 c #Conflicts: 1005000 | #Constraints: 265613 1719.46/1724.49 c #Conflicts: 1006000 | #Constraints: 266613 1719.46/1724.49 c #Conflicts: 1007000 | #Constraints: 267613 1719.46/1724.49 c #Conflicts: 1008000 | #Constraints: 268613 1719.46/1724.49 c #Conflicts: 1009000 | #Constraints: 269613 1719.46/1724.49 c #Conflicts: 1010000 | #Constraints: 270613 1719.46/1724.49 c #Conflicts: 1011000 | #Constraints: 271613 1719.46/1724.49 c #Conflicts: 1012000 | #Constraints: 272613 1719.46/1724.49 c #Conflicts: 1013000 | #Constraints: 273613 1719.46/1724.49 c #Conflicts: 1014000 | #Constraints: 274613 1719.46/1724.49 c #Conflicts: 1015000 | #Constraints: 275613 1719.46/1724.49 c #Conflicts: 1016000 | #Constraints: 276613 1719.46/1724.49 c #Conflicts: 1017000 | #Constraints: 277613 1719.46/1724.49 c #Conflicts: 1018000 | #Constraints: 278613 1719.46/1724.49 c #Conflicts: 1019000 | #Constraints: 279613 1719.46/1724.49 c #Conflicts: 1020000 | #Constraints: 280613 1719.46/1724.49 c #Conflicts: 1021000 | #Constraints: 281613 1719.46/1724.49 c #Conflicts: 1022000 | #Constraints: 282613 1719.46/1724.49 c #Conflicts: 1023000 | #Constraints: 283613 1719.46/1724.49 c #Conflicts: 1024000 | #Constraints: 284613 1719.46/1724.49 c #Conflicts: 1025000 | #Constraints: 285613 1719.46/1724.49 c #Conflicts: 1026000 | #Constraints: 286613 1719.46/1724.49 c #Conflicts: 1027000 | #Constraints: 287613 1719.46/1724.49 c #Conflicts: 1028000 | #Constraints: 288613 1719.46/1724.49 c #Conflicts: 1029000 | #Constraints: 289613 1719.46/1724.49 c #Conflicts: 1030000 | #Constraints: 290613 1719.46/1724.49 c #Conflicts: 1031000 | #Constraints: 291613 1719.46/1724.49 c #Conflicts: 1032000 | #Constraints: 292613 1719.46/1724.49 c #Conflicts: 1033000 | #Constraints: 293613 1719.46/1724.49 c #Conflicts: 1034000 | #Constraints: 294613 1719.46/1724.49 c #Conflicts: 1035000 | #Constraints: 295613 1719.46/1724.49 c #Conflicts: 1036000 | #Constraints: 296613 1719.46/1724.49 c #Conflicts: 1037000 | #Constraints: 297613 1719.46/1724.49 c #Conflicts: 1038000 | #Constraints: 298613 1719.46/1724.49 c #Conflicts: 1039000 | #Constraints: 299613 1719.46/1724.49 c #Conflicts: 1040000 | #Constraints: 300613 1719.46/1724.49 c #Conflicts: 1041000 | #Constraints: 301613 1719.46/1724.49 c #Conflicts: 1042000 | #Constraints: 302613 1719.46/1724.49 c #Conflicts: 1043000 | #Constraints: 303613 1719.46/1724.49 c #Conflicts: 1044000 | #Constraints: 304613 1719.46/1724.49 c #Conflicts: 1045000 | #Constraints: 305613 1719.46/1724.49 c #Conflicts: 1046000 | #Constraints: 306613 1719.46/1724.49 c #Conflicts: 1047000 | #Constraints: 307613 1719.46/1724.49 c #Conflicts: 1048000 | #Constraints: 308613 1719.46/1724.49 c #Conflicts: 1049000 | #Constraints: 309613 1719.46/1724.49 c #Conflicts: 1050000 | #Constraints: 310613 1719.46/1724.49 c #Conflicts: 1051000 | #Constraints: 311613 1719.46/1724.49 c #Conflicts: 1052000 | #Constraints: 312613 1719.46/1724.49 c #Conflicts: 1053000 | #Constraints: 313613 1719.46/1724.49 c #Conflicts: 1054000 | #Constraints: 314613 1719.46/1724.49 c #Conflicts: 1055000 | #Constraints: 315613 1719.46/1724.49 c #Conflicts: 1056000 | #Constraints: 316613 1719.46/1724.49 c #Conflicts: 1057000 | #Constraints: 317613 1791.74/1796.97 c #Conflicts: 1058000 | #Constraints: 318613 1791.74/1796.97 c #Conflicts: 1059000 | #Constraints: 319613 1791.74/1796.97 c #Conflicts: 1060000 | #Constraints: 320613 1791.74/1796.97 c #Conflicts: 1061000 | #Constraints: 321613 1791.74/1796.97 c #Conflicts: 1062000 | #Constraints: 322613 1791.74/1796.97 c #Conflicts: 1063000 | #Constraints: 323613 1791.74/1796.97 c #Conflicts: 1064000 | #Constraints: 324613 1791.74/1796.97 c #Conflicts: 1065000 | #Constraints: 325613 1791.74/1796.97 c #Conflicts: 1066000 | #Constraints: 326613 1791.74/1796.97 c #Conflicts: 1067000 | #Constraints: 327613 1791.74/1796.97 c INPROCESSING 1791.74/1796.97 c GARBAGE COLLECT 1791.74/1796.97 c #Conflicts: 1068000 | #Constraints: 268326 1791.74/1796.97 c #Conflicts: 1069000 | #Constraints: 269326 1791.74/1796.97 c #Conflicts: 1070000 | #Constraints: 270326 1791.74/1796.97 c #Conflicts: 1071000 | #Constraints: 271326 1791.74/1796.97 c #Conflicts: 1072000 | #Constraints: 272326 1791.74/1796.97 c #Conflicts: 1073000 | #Constraints: 273326 1791.74/1796.97 c #Conflicts: 1074000 | #Constraints: 274326 1791.74/1796.97 c #Conflicts: 1075000 | #Constraints: 275326 1791.74/1796.97 c #Conflicts: 1076000 | #Constraints: 276326 1791.74/1796.97 c #Conflicts: 1077000 | #Constraints: 277326 1791.74/1796.97 c #Conflicts: 1078000 | #Constraints: 278326 1791.74/1796.97 c #Conflicts: 1079000 | #Constraints: 279326 1791.74/1796.97 c #Conflicts: 1080000 | #Constraints: 280326 1791.74/1796.97 c #Conflicts: 1081000 | #Constraints: 281326 1791.74/1796.97 c #Conflicts: 1082000 | #Constraints: 282326 1791.74/1796.97 c #Conflicts: 1083000 | #Constraints: 283326 1791.74/1796.97 c #Conflicts: 1084000 | #Constraints: 284326 1791.74/1796.97 c #Conflicts: 1085000 | #Constraints: 285326 1791.74/1796.97 c #Conflicts: 1086000 | #Constraints: 286326 1791.74/1796.97 c #Conflicts: 1087000 | #Constraints: 287326 1791.74/1796.97 c #Conflicts: 1088000 | #Constraints: 288326 1791.74/1796.97 c #Conflicts: 1089000 | #Constraints: 289326 1791.74/1796.97 c #Conflicts: 1090000 | #Constraints: 290326 1791.74/1796.97 c #Conflicts: 1091000 | #Constraints: 291326 1791.74/1796.97 c #Conflicts: 1092000 | #Constraints: 292326 1791.74/1796.97 c #Conflicts: 1093000 | #Constraints: 293326 1791.74/1796.97 c #Conflicts: 1094000 | #Constraints: 294326 1791.74/1796.97 c #Conflicts: 1095000 | #Constraints: 295326 1791.74/1796.97 c #Conflicts: 1096000 | #Constraints: 296326 1791.74/1796.97 c #Conflicts: 1097000 | #Constraints: 297326 1791.74/1796.97 c #Conflicts: 1098000 | #Constraints: 298326 1791.74/1796.97 c #Conflicts: 1099000 | #Constraints: 299326 1791.74/1796.97 c #Conflicts: 1100000 | #Constraints: 300326 1791.74/1796.97 c #Conflicts: 1101000 | #Constraints: 301326 1791.74/1796.97 c #Conflicts: 1102000 | #Constraints: 302326 1791.74/1796.97 c #Conflicts: 1103000 | #Constraints: 303326 1791.74/1796.97 c #Conflicts: 1104000 | #Constraints: 304326 1791.74/1796.97 c #Conflicts: 1105000 | #Constraints: 305326 1791.74/1796.97 c #Conflicts: 1106000 | #Constraints: 306326 1791.74/1796.97 c #Conflicts: 1107000 | #Constraints: 307326 1791.74/1796.97 c #Conflicts: 1108000 | #Constraints: 308326 1791.74/1796.97 c #Conflicts: 1109000 | #Constraints: 309326 1791.74/1796.97 c #Conflicts: 1110000 | #Constraints: 310326 1791.74/1796.97 c #Conflicts: 1111000 | #Constraints: 311326 1791.74/1796.97 c #Conflicts: 1112000 | #Constraints: 312326 1791.74/1796.97 c #Conflicts: 1113000 | #Constraints: 313326 1791.74/1796.97 c #Conflicts: 1114000 | #Constraints: 314326 1791.74/1796.97 c #Conflicts: 1115000 | #Constraints: 315326 1791.74/1796.97 c #Conflicts: 1116000 | #Constraints: 316326 1791.74/1796.97 c #Conflicts: 1117000 | #Constraints: 317326 1791.74/1796.97 c #Conflicts: 1118000 | #Constraints: 318326 1791.74/1796.97 c #Conflicts: 1119000 | #Constraints: 319326 1791.74/1796.97 c #Conflicts: 1120000 | #Constraints: 320326 1791.74/1796.97 c #Conflicts: 1121000 | #Constraints: 321326 1791.74/1796.97 c #Conflicts: 1122000 | #Constraints: 322326 1791.74/1796.97 c #Conflicts: 1123000 | #Constraints: 323326 1791.74/1796.97 c #Conflicts: 1124000 | #Constraints: 324326 1791.74/1796.97 c #Conflicts: 1125000 | #Constraints: 325326 1791.74/1796.97 c #Conflicts: 1126000 | #Constraints: 326326 1791.74/1796.97 c #Conflicts: 1127000 | #Constraints: 327326 1791.74/1796.97 c #Conflicts: 1128000 | #Constraints: 328326 1791.74/1796.97 c #Conflicts: 1129000 | #Constraints: 329326 1791.74/1796.97 c #Conflicts: 1130000 | #Constraints: 330326 1791.74/1796.97 c #Conflicts: 1131000 | #Constraints: 331326 1791.74/1796.97 c #Conflicts: 1132000 | #Constraints: 332326 1791.74/1796.97 c #Conflicts: 1133000 | #Constraints: 333326 1791.74/1796.97 c #Conflicts: 1134000 | #Constraints: 334326 1791.74/1796.97 c INPROCESSING 1791.74/1796.97 c GARBAGE COLLECT 1854.97/1860.34 c #Conflicts: 1135000 | #Constraints: 272157 1854.97/1860.34 c #Conflicts: 1136000 | #Constraints: 273157 1854.97/1860.34 c #Conflicts: 1137000 | #Constraints: 274157 1854.97/1860.34 c #Conflicts: 1138000 | #Constraints: 275157 1854.97/1860.34 c #Conflicts: 1139000 | #Constraints: 276157 1854.97/1860.34 c #Conflicts: 1140000 | #Constraints: 277157 1854.97/1860.34 c #Conflicts: 1141000 | #Constraints: 278157 1854.97/1860.34 c #Conflicts: 1142000 | #Constraints: 279157 1854.97/1860.34 c #Conflicts: 1143000 | #Constraints: 280157 1854.97/1860.34 c #Conflicts: 1144000 | #Constraints: 281157 1854.97/1860.34 c #Conflicts: 1145000 | #Constraints: 282157 1854.97/1860.34 c #Conflicts: 1146000 | #Constraints: 283157 1854.97/1860.34 c #Conflicts: 1147000 | #Constraints: 284157 1854.97/1860.34 c #Conflicts: 1148000 | #Constraints: 285157 1854.97/1860.34 c #Conflicts: 1149000 | #Constraints: 286157 1854.97/1860.34 c #Conflicts: 1150000 | #Constraints: 287157 1854.97/1860.34 c #Conflicts: 1151000 | #Constraints: 288157 1854.97/1860.34 c #Conflicts: 1152000 | #Constraints: 289157 1854.97/1860.34 c #Conflicts: 1153000 | #Constraints: 290157 1854.97/1860.34 c #Conflicts: 1154000 | #Constraints: 291157 1854.97/1860.34 c #Conflicts: 1155000 | #Constraints: 292157 1854.97/1860.34 c #Conflicts: 1156000 | #Constraints: 293157 1854.97/1860.34 c #Conflicts: 1157000 | #Constraints: 294157 1854.97/1860.34 c #Conflicts: 1158000 | #Constraints: 295157 1854.97/1860.34 c #Conflicts: 1159000 | #Constraints: 296157 1854.97/1860.34 c #Conflicts: 1160000 | #Constraints: 297157 1854.97/1860.34 c #Conflicts: 1161000 | #Constraints: 298157 1854.97/1860.34 c #Conflicts: 1162000 | #Constraints: 299157 1854.97/1860.34 c #Conflicts: 1163000 | #Constraints: 300157 1854.97/1860.34 c #Conflicts: 1164000 | #Constraints: 301157 1854.97/1860.34 c #Conflicts: 1165000 | #Constraints: 302157 1854.97/1860.34 c #Conflicts: 1166000 | #Constraints: 303157 1854.97/1860.34 c #Conflicts: 1167000 | #Constraints: 304157 1854.97/1860.34 c #Conflicts: 1168000 | #Constraints: 305157 1854.97/1860.34 c #Conflicts: 1169000 | #Constraints: 306157 1854.97/1860.34 c #Conflicts: 1170000 | #Constraints: 307157 1854.97/1860.34 c #Conflicts: 1171000 | #Constraints: 308157 1854.97/1860.34 c #Conflicts: 1172000 | #Constraints: 309157 1854.97/1860.34 c #Conflicts: 1173000 | #Constraints: 310157 1854.97/1860.34 c #Conflicts: 1174000 | #Constraints: 311157 1854.97/1860.34 c #Conflicts: 1175000 | #Constraints: 312157 1854.97/1860.34 c #Conflicts: 1176000 | #Constraints: 313157 1854.97/1860.34 c #Conflicts: 1177000 | #Constraints: 314157 1854.97/1860.34 c #Conflicts: 1178000 | #Constraints: 315157 1854.97/1860.34 c #Conflicts: 1179000 | #Constraints: 316157 1854.97/1860.34 c #Conflicts: 1180000 | #Constraints: 317157 1854.97/1860.34 c #Conflicts: 1181000 | #Constraints: 318157 1854.97/1860.34 c #Conflicts: 1182000 | #Constraints: 319157 1854.97/1860.34 c #Conflicts: 1183000 | #Constraints: 320157 1854.97/1860.34 c #Conflicts: 1184000 | #Constraints: 321157 1854.97/1860.34 c #Conflicts: 1185000 | #Constraints: 322157 1854.97/1860.34 c #Conflicts: 1186000 | #Constraints: 323157 1854.97/1860.34 c #Conflicts: 1187000 | #Constraints: 324157 1854.97/1860.34 c #Conflicts: 1188000 | #Constraints: 325157 1854.97/1860.34 c #Conflicts: 1189000 | #Constraints: 326157 1854.97/1860.34 c #Conflicts: 1190000 | #Constraints: 327157 1854.97/1860.34 c #Conflicts: 1191000 | #Constraints: 328157 1854.97/1860.34 c #Conflicts: 1192000 | #Constraints: 329157 1854.97/1860.34 c #Conflicts: 1193000 | #Constraints: 330157 1854.97/1860.34 c #Conflicts: 1194000 | #Constraints: 331157 1854.97/1860.34 c #Conflicts: 1195000 | #Constraints: 332157 1854.97/1860.34 c #Conflicts: 1196000 | #Constraints: 333157 1854.97/1860.34 c #Conflicts: 1197000 | #Constraints: 334157 1854.97/1860.34 c #Conflicts: 1198000 | #Constraints: 335157 1854.97/1860.34 c #Conflicts: 1199000 | #Constraints: 336157 1854.97/1860.34 c #Conflicts: 1200000 | #Constraints: 337157 1854.97/1860.34 c #Conflicts: 1201000 | #Constraints: 338157 1854.97/1860.34 c #Conflicts: 1202000 | #Constraints: 339157 1854.97/1860.34 c INPROCESSING 1854.97/1860.34 c GARBAGE COLLECT 1854.97/1860.34 c #Conflicts: 1203000 | #Constraints: 277867 1854.97/1860.34 c #Conflicts: 1204000 | #Constraints: 278867 1854.97/1860.34 c #Conflicts: 1205000 | #Constraints: 279867 1854.97/1860.34 c #Conflicts: 1206000 | #Constraints: 280867 1854.97/1860.34 c #Conflicts: 1207000 | #Constraints: 281867 1854.97/1860.34 c #Conflicts: 1208000 | #Constraints: 282867 1854.97/1860.34 c #Conflicts: 1209000 | #Constraints: 283867 1854.97/1860.34 c #Conflicts: 1210000 | #Constraints: 284867 1854.97/1860.34 c #Conflicts: 1211000 | #Constraints: 285867 1854.97/1860.34 c #Conflicts: 1212000 | #Constraints: 286867 1854.97/1860.34 c #Conflicts: 1213000 | #Constraints: 287867 2273.13/2279.55 c #Conflicts: 1214000 | #Constraints: 288867 2273.13/2279.55 c #Conflicts: 1215000 | #Constraints: 289867 2273.13/2279.55 c #Conflicts: 1216000 | #Constraints: 290867 2273.13/2279.55 c #Conflicts: 1217000 | #Constraints: 291867 2273.13/2279.55 c #Conflicts: 1218000 | #Constraints: 292867 2273.13/2279.55 c #Conflicts: 1219000 | #Constraints: 293867 2273.13/2279.55 c #Conflicts: 1220000 | #Constraints: 294867 2273.13/2279.55 c #Conflicts: 1221000 | #Constraints: 295867 2273.13/2279.55 c #Conflicts: 1222000 | #Constraints: 296867 2273.13/2279.55 c #Conflicts: 1223000 | #Constraints: 297867 2273.13/2279.55 c #Conflicts: 1224000 | #Constraints: 298867 2273.13/2279.55 c #Conflicts: 1225000 | #Constraints: 299867 2273.13/2279.55 c #Conflicts: 1226000 | #Constraints: 300867 2273.13/2279.55 c #Conflicts: 1227000 | #Constraints: 301867 2273.13/2279.55 c #Conflicts: 1228000 | #Constraints: 302867 2273.13/2279.55 c #Conflicts: 1229000 | #Constraints: 303867 2273.13/2279.55 c #Conflicts: 1230000 | #Constraints: 304867 2273.13/2279.55 c #Conflicts: 1231000 | #Constraints: 305867 2273.13/2279.55 c #Conflicts: 1232000 | #Constraints: 306867 2273.13/2279.55 c #Conflicts: 1233000 | #Constraints: 307867 2273.13/2279.55 c #Conflicts: 1234000 | #Constraints: 308867 2273.13/2279.55 c #Conflicts: 1235000 | #Constraints: 309867 2273.13/2279.55 c #Conflicts: 1236000 | #Constraints: 310867 2273.13/2279.55 c #Conflicts: 1237000 | #Constraints: 311867 2273.13/2279.55 c #Conflicts: 1238000 | #Constraints: 312867 2273.13/2279.55 c #Conflicts: 1239000 | #Constraints: 313867 2273.13/2279.55 c #Conflicts: 1240000 | #Constraints: 314867 2273.13/2279.55 c #Conflicts: 1241000 | #Constraints: 315867 2273.13/2279.55 c #Conflicts: 1242000 | #Constraints: 316867 2273.13/2279.55 c #Conflicts: 1243000 | #Constraints: 317867 2273.13/2279.55 c #Conflicts: 1244000 | #Constraints: 318867 2273.13/2279.55 c #Conflicts: 1245000 | #Constraints: 319867 2273.13/2279.55 c #Conflicts: 1246000 | #Constraints: 320867 2273.13/2279.55 c #Conflicts: 1247000 | #Constraints: 321867 2273.13/2279.55 c #Conflicts: 1248000 | #Constraints: 322867 2273.13/2279.55 c #Conflicts: 1249000 | #Constraints: 323867 2273.13/2279.55 c #Conflicts: 1250000 | #Constraints: 324867 2273.13/2279.55 c #Conflicts: 1251000 | #Constraints: 325867 2273.13/2279.55 c #Conflicts: 1252000 | #Constraints: 326867 2273.13/2279.55 c #Conflicts: 1253000 | #Constraints: 327867 2273.13/2279.55 c #Conflicts: 1254000 | #Constraints: 328867 2273.13/2279.55 c #Conflicts: 1255000 | #Constraints: 329867 2273.13/2279.55 c #Conflicts: 1256000 | #Constraints: 330867 2273.13/2279.55 c #Conflicts: 1257000 | #Constraints: 331867 2273.13/2279.55 c #Conflicts: 1258000 | #Constraints: 332867 2273.13/2279.55 c #Conflicts: 1259000 | #Constraints: 333867 2273.13/2279.55 c #Conflicts: 1260000 | #Constraints: 334867 2273.13/2279.55 c #Conflicts: 1261000 | #Constraints: 335867 2273.13/2279.55 c #Conflicts: 1262000 | #Constraints: 336867 2273.13/2279.55 c #Conflicts: 1263000 | #Constraints: 337867 2273.13/2279.55 c #Conflicts: 1264000 | #Constraints: 338867 2273.13/2279.55 c #Conflicts: 1265000 | #Constraints: 339867 2273.13/2279.55 c #Conflicts: 1266000 | #Constraints: 340867 2273.13/2279.55 c #Conflicts: 1267000 | #Constraints: 341867 2273.13/2279.55 c #Conflicts: 1268000 | #Constraints: 342867 2273.13/2279.55 c #Conflicts: 1269000 | #Constraints: 343867 2273.13/2279.55 c #Conflicts: 1270000 | #Constraints: 344867 2273.13/2279.55 c #Conflicts: 1271000 | #Constraints: 345867 2273.13/2279.55 c #Conflicts: 1272000 | #Constraints: 346867 2273.13/2279.55 c INPROCESSING 2273.13/2279.55 c GARBAGE COLLECT 2273.13/2279.55 c rational objective 25457.7 2337.25/2343.82 c #Conflicts: 1273000 | #Constraints: 282431 2337.25/2343.82 c #Conflicts: 1274000 | #Constraints: 283431 2337.25/2343.82 c #Conflicts: 1275000 | #Constraints: 284431 2337.25/2343.82 c #Conflicts: 1276000 | #Constraints: 285431 2337.25/2343.82 c #Conflicts: 1277000 | #Constraints: 286431 2337.25/2343.82 c #Conflicts: 1278000 | #Constraints: 287431 2337.25/2343.82 c #Conflicts: 1279000 | #Constraints: 288431 2337.25/2343.82 c #Conflicts: 1280000 | #Constraints: 289431 2337.25/2343.82 c #Conflicts: 1281000 | #Constraints: 290431 2337.25/2343.82 c #Conflicts: 1282000 | #Constraints: 291431 2337.25/2343.82 c #Conflicts: 1283000 | #Constraints: 292431 2337.25/2343.82 c #Conflicts: 1284000 | #Constraints: 293431 2337.25/2343.82 c #Conflicts: 1285000 | #Constraints: 294431 2337.25/2343.82 c #Conflicts: 1286000 | #Constraints: 295431 2337.25/2343.82 c #Conflicts: 1287000 | #Constraints: 296431 2337.25/2343.82 c #Conflicts: 1288000 | #Constraints: 297431 2337.25/2343.82 c #Conflicts: 1289000 | #Constraints: 298431 2337.25/2343.82 c #Conflicts: 1290000 | #Constraints: 299431 2337.25/2343.82 c #Conflicts: 1291000 | #Constraints: 300431 2337.25/2343.82 c #Conflicts: 1292000 | #Constraints: 301431 2337.25/2343.82 c #Conflicts: 1293000 | #Constraints: 302431 2337.25/2343.82 c #Conflicts: 1294000 | #Constraints: 303431 2337.25/2343.82 c #Conflicts: 1295000 | #Constraints: 304431 2337.25/2343.82 c #Conflicts: 1296000 | #Constraints: 305431 2337.25/2343.82 c #Conflicts: 1297000 | #Constraints: 306431 2337.25/2343.82 c #Conflicts: 1298000 | #Constraints: 307431 2337.25/2343.82 c #Conflicts: 1299000 | #Constraints: 308431 2337.25/2343.82 c #Conflicts: 1300000 | #Constraints: 309431 2337.25/2343.82 c #Conflicts: 1301000 | #Constraints: 310431 2337.25/2343.82 c #Conflicts: 1302000 | #Constraints: 311431 2337.25/2343.82 c #Conflicts: 1303000 | #Constraints: 312431 2337.25/2343.82 c #Conflicts: 1304000 | #Constraints: 313431 2337.25/2343.82 c #Conflicts: 1305000 | #Constraints: 314431 2337.25/2343.82 c #Conflicts: 1306000 | #Constraints: 315431 2337.25/2343.82 c #Conflicts: 1307000 | #Constraints: 316431 2337.25/2343.82 c #Conflicts: 1308000 | #Constraints: 317431 2337.25/2343.82 c #Conflicts: 1309000 | #Constraints: 318431 2337.25/2343.82 c #Conflicts: 1310000 | #Constraints: 319431 2337.25/2343.82 c #Conflicts: 1311000 | #Constraints: 320431 2337.25/2343.82 c #Conflicts: 1312000 | #Constraints: 321431 2337.25/2343.82 c #Conflicts: 1313000 | #Constraints: 322431 2337.25/2343.82 c #Conflicts: 1314000 | #Constraints: 323431 2337.25/2343.82 c #Conflicts: 1315000 | #Constraints: 324431 2337.25/2343.82 c #Conflicts: 1316000 | #Constraints: 325431 2337.25/2343.82 c #Conflicts: 1317000 | #Constraints: 326431 2337.25/2343.82 c #Conflicts: 1318000 | #Constraints: 327431 2337.25/2343.82 c #Conflicts: 1319000 | #Constraints: 328431 2337.25/2343.82 c #Conflicts: 1320000 | #Constraints: 329431 2337.25/2343.82 c #Conflicts: 1321000 | #Constraints: 330431 2337.25/2343.82 c #Conflicts: 1322000 | #Constraints: 331431 2337.25/2343.82 c #Conflicts: 1323000 | #Constraints: 332431 2337.25/2343.82 c #Conflicts: 1324000 | #Constraints: 333431 2337.25/2343.82 c #Conflicts: 1325000 | #Constraints: 334431 2337.25/2343.82 c #Conflicts: 1326000 | #Constraints: 335431 2337.25/2343.82 c #Conflicts: 1327000 | #Constraints: 336431 2337.25/2343.82 c #Conflicts: 1328000 | #Constraints: 337431 2337.25/2343.82 c #Conflicts: 1329000 | #Constraints: 338431 2337.25/2343.82 c #Conflicts: 1330000 | #Constraints: 339431 2337.25/2343.82 c #Conflicts: 1331000 | #Constraints: 340431 2337.25/2343.82 c #Conflicts: 1332000 | #Constraints: 341431 2337.25/2343.82 c #Conflicts: 1333000 | #Constraints: 342431 2337.25/2343.82 c #Conflicts: 1334000 | #Constraints: 343431 2337.25/2343.82 c #Conflicts: 1335000 | #Constraints: 344431 2337.25/2343.82 c #Conflicts: 1336000 | #Constraints: 345431 2337.25/2343.82 c #Conflicts: 1337000 | #Constraints: 346431 2337.25/2343.82 c #Conflicts: 1338000 | #Constraints: 347431 2337.25/2343.82 c #Conflicts: 1339000 | #Constraints: 348431 2337.25/2343.82 c #Conflicts: 1340000 | #Constraints: 349431 2337.25/2343.82 c #Conflicts: 1341000 | #Constraints: 350431 2337.25/2343.82 c #Conflicts: 1342000 | #Constraints: 351431 2337.25/2343.82 c #Conflicts: 1343000 | #Constraints: 352431 2337.25/2343.82 c #Conflicts: 1344000 | #Constraints: 353431 2337.25/2343.82 c #Conflicts: 1345000 | #Constraints: 354431 2337.25/2343.82 c INPROCESSING 2337.25/2343.82 c GARBAGE COLLECT 2337.25/2343.82 c #Conflicts: 1346000 | #Constraints: 287982 2337.25/2343.82 c #Conflicts: 1347000 | #Constraints: 288982 2337.25/2343.82 c #Conflicts: 1348000 | #Constraints: 289982 2337.25/2343.82 c #Conflicts: 1349000 | #Constraints: 290982 2337.25/2343.82 c #Conflicts: 1350000 | #Constraints: 291982 2337.25/2343.82 c #Conflicts: 1351000 | #Constraints: 292982 2452.54/2459.46 c #Conflicts: 1352000 | #Constraints: 293982 2452.54/2459.46 c #Conflicts: 1353000 | #Constraints: 294982 2452.54/2459.46 c #Conflicts: 1354000 | #Constraints: 295982 2452.54/2459.46 c #Conflicts: 1355000 | #Constraints: 296982 2452.54/2459.46 c #Conflicts: 1356000 | #Constraints: 297982 2452.54/2459.46 c #Conflicts: 1357000 | #Constraints: 298982 2452.54/2459.46 c #Conflicts: 1358000 | #Constraints: 299982 2452.54/2459.46 c #Conflicts: 1359000 | #Constraints: 300982 2452.54/2459.46 c #Conflicts: 1360000 | #Constraints: 301982 2452.54/2459.46 c #Conflicts: 1361000 | #Constraints: 302982 2452.54/2459.46 c #Conflicts: 1362000 | #Constraints: 303982 2452.54/2459.46 c #Conflicts: 1363000 | #Constraints: 304982 2452.54/2459.46 c #Conflicts: 1364000 | #Constraints: 305982 2452.54/2459.46 c #Conflicts: 1365000 | #Constraints: 306982 2452.54/2459.46 c #Conflicts: 1366000 | #Constraints: 307982 2452.54/2459.46 c #Conflicts: 1367000 | #Constraints: 308982 2452.54/2459.46 c #Conflicts: 1368000 | #Constraints: 309982 2452.54/2459.46 c #Conflicts: 1369000 | #Constraints: 310982 2452.54/2459.46 c #Conflicts: 1370000 | #Constraints: 311982 2452.54/2459.46 c #Conflicts: 1371000 | #Constraints: 312982 2452.54/2459.46 c #Conflicts: 1372000 | #Constraints: 313982 2452.54/2459.46 c #Conflicts: 1373000 | #Constraints: 314982 2452.54/2459.46 c #Conflicts: 1374000 | #Constraints: 315982 2452.54/2459.46 c #Conflicts: 1375000 | #Constraints: 316982 2452.54/2459.46 c #Conflicts: 1376000 | #Constraints: 317982 2452.54/2459.46 c #Conflicts: 1377000 | #Constraints: 318982 2452.54/2459.46 c #Conflicts: 1378000 | #Constraints: 319982 2452.54/2459.46 c #Conflicts: 1379000 | #Constraints: 320982 2452.54/2459.46 c #Conflicts: 1380000 | #Constraints: 321982 2452.54/2459.46 c #Conflicts: 1381000 | #Constraints: 322982 2452.54/2459.46 c #Conflicts: 1382000 | #Constraints: 323982 2452.54/2459.46 c #Conflicts: 1383000 | #Constraints: 324982 2452.54/2459.46 c #Conflicts: 1384000 | #Constraints: 325982 2452.54/2459.46 c #Conflicts: 1385000 | #Constraints: 326982 2452.54/2459.46 c #Conflicts: 1386000 | #Constraints: 327982 2452.54/2459.46 c #Conflicts: 1387000 | #Constraints: 328982 2452.54/2459.46 c #Conflicts: 1388000 | #Constraints: 329982 2452.54/2459.46 c #Conflicts: 1389000 | #Constraints: 330982 2452.54/2459.46 c #Conflicts: 1390000 | #Constraints: 331982 2452.54/2459.46 c #Conflicts: 1391000 | #Constraints: 332982 2452.54/2459.46 c #Conflicts: 1392000 | #Constraints: 333982 2452.54/2459.46 c #Conflicts: 1393000 | #Constraints: 334982 2452.54/2459.46 c #Conflicts: 1394000 | #Constraints: 335982 2452.54/2459.46 c #Conflicts: 1395000 | #Constraints: 336982 2452.54/2459.46 c #Conflicts: 1396000 | #Constraints: 337982 2452.54/2459.46 c #Conflicts: 1397000 | #Constraints: 338982 2452.54/2459.46 c #Conflicts: 1398000 | #Constraints: 339982 2452.54/2459.46 c #Conflicts: 1399000 | #Constraints: 340982 2452.54/2459.46 c #Conflicts: 1400000 | #Constraints: 341982 2452.54/2459.46 c #Conflicts: 1401000 | #Constraints: 342982 2452.54/2459.46 c #Conflicts: 1402000 | #Constraints: 343982 2452.54/2459.46 c #Conflicts: 1403000 | #Constraints: 344982 2452.54/2459.46 c #Conflicts: 1404000 | #Constraints: 345982 2452.54/2459.46 c #Conflicts: 1405000 | #Constraints: 346982 2452.54/2459.46 c #Conflicts: 1406000 | #Constraints: 347982 2452.54/2459.46 c #Conflicts: 1407000 | #Constraints: 348982 2452.54/2459.46 c #Conflicts: 1408000 | #Constraints: 349982 2452.54/2459.46 c #Conflicts: 1409000 | #Constraints: 350982 2452.54/2459.46 c #Conflicts: 1410000 | #Constraints: 351982 2452.54/2459.46 c #Conflicts: 1411000 | #Constraints: 352982 2452.54/2459.46 c #Conflicts: 1412000 | #Constraints: 353982 2452.54/2459.46 c #Conflicts: 1413000 | #Constraints: 354982 2452.54/2459.46 c #Conflicts: 1414000 | #Constraints: 355982 2452.54/2459.46 c #Conflicts: 1415000 | #Constraints: 356982 2452.54/2459.46 c #Conflicts: 1416000 | #Constraints: 357982 2452.54/2459.46 c #Conflicts: 1417000 | #Constraints: 358982 2452.54/2459.46 c #Conflicts: 1418000 | #Constraints: 359982 2452.54/2459.46 c #Conflicts: 1419000 | #Constraints: 360982 2452.54/2459.46 c INPROCESSING 2452.54/2459.46 c GARBAGE COLLECT 2452.54/2459.46 c #Conflicts: 1420000 | #Constraints: 293148 2452.54/2459.46 c #Conflicts: 1421000 | #Constraints: 294148 2452.54/2459.46 c #Conflicts: 1422000 | #Constraints: 295148 2452.54/2459.46 c #Conflicts: 1423000 | #Constraints: 296148 2452.54/2459.46 c #Conflicts: 1424000 | #Constraints: 297148 2452.54/2459.46 c #Conflicts: 1425000 | #Constraints: 298148 2452.54/2459.46 c #Conflicts: 1426000 | #Constraints: 299148 2452.54/2459.46 c #Conflicts: 1427000 | #Constraints: 300148 2452.54/2459.46 c #Conflicts: 1428000 | #Constraints: 301148 2452.54/2459.46 c #Conflicts: 1429000 | #Constraints: 302148 2517.46/2524.55 c #Conflicts: 1430000 | #Constraints: 303148 2517.46/2524.55 c #Conflicts: 1431000 | #Constraints: 304148 2517.46/2524.55 c #Conflicts: 1432000 | #Constraints: 305148 2517.46/2524.55 c #Conflicts: 1433000 | #Constraints: 306148 2517.46/2524.55 c #Conflicts: 1434000 | #Constraints: 307148 2517.46/2524.55 c #Conflicts: 1435000 | #Constraints: 308148 2517.46/2524.55 c #Conflicts: 1436000 | #Constraints: 309148 2517.46/2524.55 c #Conflicts: 1437000 | #Constraints: 310148 2517.46/2524.55 c #Conflicts: 1438000 | #Constraints: 311148 2517.46/2524.55 c #Conflicts: 1439000 | #Constraints: 312148 2517.46/2524.55 c #Conflicts: 1440000 | #Constraints: 313148 2517.46/2524.55 c #Conflicts: 1441000 | #Constraints: 314148 2517.46/2524.55 c #Conflicts: 1442000 | #Constraints: 315148 2517.46/2524.55 c #Conflicts: 1443000 | #Constraints: 316148 2517.46/2524.55 c #Conflicts: 1444000 | #Constraints: 317148 2517.46/2524.55 c #Conflicts: 1445000 | #Constraints: 318148 2517.46/2524.55 c #Conflicts: 1446000 | #Constraints: 319148 2517.46/2524.55 c #Conflicts: 1447000 | #Constraints: 320148 2517.46/2524.55 c #Conflicts: 1448000 | #Constraints: 321148 2517.46/2524.55 c #Conflicts: 1449000 | #Constraints: 322148 2517.46/2524.55 c #Conflicts: 1450000 | #Constraints: 323148 2517.46/2524.55 c #Conflicts: 1451000 | #Constraints: 324148 2517.46/2524.55 c #Conflicts: 1452000 | #Constraints: 325148 2517.46/2524.55 c #Conflicts: 1453000 | #Constraints: 326148 2517.46/2524.55 c #Conflicts: 1454000 | #Constraints: 327148 2517.46/2524.55 c #Conflicts: 1455000 | #Constraints: 328148 2517.46/2524.55 c #Conflicts: 1456000 | #Constraints: 329148 2517.46/2524.55 c #Conflicts: 1457000 | #Constraints: 330148 2517.46/2524.55 c #Conflicts: 1458000 | #Constraints: 331148 2517.46/2524.55 c #Conflicts: 1459000 | #Constraints: 332148 2517.46/2524.55 c #Conflicts: 1460000 | #Constraints: 333148 2517.46/2524.55 c #Conflicts: 1461000 | #Constraints: 334148 2517.46/2524.55 c #Conflicts: 1462000 | #Constraints: 335148 2517.46/2524.55 c #Conflicts: 1463000 | #Constraints: 336148 2517.46/2524.55 c #Conflicts: 1464000 | #Constraints: 337148 2517.46/2524.55 c #Conflicts: 1465000 | #Constraints: 338148 2517.46/2524.55 c #Conflicts: 1466000 | #Constraints: 339148 2517.46/2524.55 c #Conflicts: 1467000 | #Constraints: 340148 2517.46/2524.55 c #Conflicts: 1468000 | #Constraints: 341148 2517.46/2524.55 c #Conflicts: 1469000 | #Constraints: 342148 2517.46/2524.55 c #Conflicts: 1470000 | #Constraints: 343148 2517.46/2524.55 c #Conflicts: 1471000 | #Constraints: 344148 2517.46/2524.55 c #Conflicts: 1472000 | #Constraints: 345148 2517.46/2524.55 c #Conflicts: 1473000 | #Constraints: 346148 2517.46/2524.55 c #Conflicts: 1474000 | #Constraints: 347148 2517.46/2524.55 c #Conflicts: 1475000 | #Constraints: 348148 2517.46/2524.55 c #Conflicts: 1476000 | #Constraints: 349148 2517.46/2524.55 c #Conflicts: 1477000 | #Constraints: 350148 2517.46/2524.55 c #Conflicts: 1478000 | #Constraints: 351148 2517.46/2524.55 c #Conflicts: 1479000 | #Constraints: 352148 2517.46/2524.55 c #Conflicts: 1480000 | #Constraints: 353148 2517.46/2524.55 c #Conflicts: 1481000 | #Constraints: 354148 2517.46/2524.55 c #Conflicts: 1482000 | #Constraints: 355148 2517.46/2524.55 c #Conflicts: 1483000 | #Constraints: 356148 2517.46/2524.55 c #Conflicts: 1484000 | #Constraints: 357148 2517.46/2524.55 c #Conflicts: 1485000 | #Constraints: 358148 2517.46/2524.55 c #Conflicts: 1486000 | #Constraints: 359148 2517.46/2524.55 c #Conflicts: 1487000 | #Constraints: 360148 2517.46/2524.55 c #Conflicts: 1488000 | #Constraints: 361148 2517.46/2524.55 c #Conflicts: 1489000 | #Constraints: 362148 2517.46/2524.55 c #Conflicts: 1490000 | #Constraints: 363148 2517.46/2524.55 c #Conflicts: 1491000 | #Constraints: 364148 2517.46/2524.55 c #Conflicts: 1492000 | #Constraints: 365148 2517.46/2524.55 c #Conflicts: 1493000 | #Constraints: 366148 2517.46/2524.55 c #Conflicts: 1494000 | #Constraints: 367148 2517.46/2524.55 c #Conflicts: 1495000 | #Constraints: 368148 2517.46/2524.55 c #Conflicts: 1496000 | #Constraints: 369148 2517.46/2524.55 c INPROCESSING 2517.46/2524.55 c GARBAGE COLLECT 2517.46/2524.55 c #Conflicts: 1497000 | #Constraints: 298838 2517.46/2524.55 c #Conflicts: 1498000 | #Constraints: 299838 2517.46/2524.55 c #Conflicts: 1499000 | #Constraints: 300838 2517.46/2524.55 c #Conflicts: 1500000 | #Constraints: 301838 2517.46/2524.55 c #Conflicts: 1501000 | #Constraints: 302838 2517.46/2524.55 c #Conflicts: 1502000 | #Constraints: 303838 2517.46/2524.55 c #Conflicts: 1503000 | #Constraints: 304838 2517.46/2524.55 c #Conflicts: 1504000 | #Constraints: 305838 2517.46/2524.55 c #Conflicts: 1505000 | #Constraints: 306838 2517.46/2524.55 c #Conflicts: 1506000 | #Constraints: 307838 2517.46/2524.55 c #Conflicts: 1507000 | #Constraints: 308838 2579.49/2586.76 c #Conflicts: 1508000 | #Constraints: 309838 2579.49/2586.76 c #Conflicts: 1509000 | #Constraints: 310838 2579.49/2586.76 c #Conflicts: 1510000 | #Constraints: 311838 2579.49/2586.76 c #Conflicts: 1511000 | #Constraints: 312838 2579.49/2586.76 c #Conflicts: 1512000 | #Constraints: 313838 2579.49/2586.76 c #Conflicts: 1513000 | #Constraints: 314838 2579.49/2586.76 c #Conflicts: 1514000 | #Constraints: 315838 2579.49/2586.76 c #Conflicts: 1515000 | #Constraints: 316838 2579.49/2586.76 c #Conflicts: 1516000 | #Constraints: 317838 2579.49/2586.76 c #Conflicts: 1517000 | #Constraints: 318838 2579.49/2586.76 c #Conflicts: 1518000 | #Constraints: 319838 2579.49/2586.76 c #Conflicts: 1519000 | #Constraints: 320838 2579.49/2586.76 c #Conflicts: 1520000 | #Constraints: 321838 2579.49/2586.76 c #Conflicts: 1521000 | #Constraints: 322838 2579.49/2586.76 c #Conflicts: 1522000 | #Constraints: 323838 2579.49/2586.76 c #Conflicts: 1523000 | #Constraints: 324838 2579.49/2586.76 c #Conflicts: 1524000 | #Constraints: 325838 2579.49/2586.76 c #Conflicts: 1525000 | #Constraints: 326838 2579.49/2586.76 c #Conflicts: 1526000 | #Constraints: 327838 2579.49/2586.76 c #Conflicts: 1527000 | #Constraints: 328838 2579.49/2586.76 c #Conflicts: 1528000 | #Constraints: 329838 2579.49/2586.76 c #Conflicts: 1529000 | #Constraints: 330838 2579.49/2586.76 c #Conflicts: 1530000 | #Constraints: 331838 2579.49/2586.76 c #Conflicts: 1531000 | #Constraints: 332838 2579.49/2586.76 c #Conflicts: 1532000 | #Constraints: 333838 2579.49/2586.76 c #Conflicts: 1533000 | #Constraints: 334838 2579.49/2586.76 c #Conflicts: 1534000 | #Constraints: 335838 2579.49/2586.76 c #Conflicts: 1535000 | #Constraints: 336838 2579.49/2586.76 c #Conflicts: 1536000 | #Constraints: 337838 2579.49/2586.76 c #Conflicts: 1537000 | #Constraints: 338838 2579.49/2586.76 c #Conflicts: 1538000 | #Constraints: 339838 2579.49/2586.76 c #Conflicts: 1539000 | #Constraints: 340838 2579.49/2586.76 c #Conflicts: 1540000 | #Constraints: 341838 2579.49/2586.76 c #Conflicts: 1541000 | #Constraints: 342838 2579.49/2586.76 c #Conflicts: 1542000 | #Constraints: 343838 2579.49/2586.76 c #Conflicts: 1543000 | #Constraints: 344838 2579.49/2586.76 c #Conflicts: 1544000 | #Constraints: 345838 2579.49/2586.76 c #Conflicts: 1545000 | #Constraints: 346838 2579.49/2586.76 c #Conflicts: 1546000 | #Constraints: 347838 2579.49/2586.76 c #Conflicts: 1547000 | #Constraints: 348838 2579.49/2586.76 c #Conflicts: 1548000 | #Constraints: 349838 2579.49/2586.76 c #Conflicts: 1549000 | #Constraints: 350838 2579.49/2586.76 c #Conflicts: 1550000 | #Constraints: 351838 2579.49/2586.76 c #Conflicts: 1551000 | #Constraints: 352838 2579.49/2586.76 c #Conflicts: 1552000 | #Constraints: 353838 2579.49/2586.76 c #Conflicts: 1553000 | #Constraints: 354838 2579.49/2586.76 c #Conflicts: 1554000 | #Constraints: 355838 2579.49/2586.76 c #Conflicts: 1555000 | #Constraints: 356838 2579.49/2586.76 c #Conflicts: 1556000 | #Constraints: 357838 2579.49/2586.76 c #Conflicts: 1557000 | #Constraints: 358838 2579.49/2586.76 c #Conflicts: 1558000 | #Constraints: 359838 2579.49/2586.76 c #Conflicts: 1559000 | #Constraints: 360838 2579.49/2586.76 c #Conflicts: 1560000 | #Constraints: 361838 2579.49/2586.76 c #Conflicts: 1561000 | #Constraints: 362838 2579.49/2586.76 c #Conflicts: 1562000 | #Constraints: 363838 2579.49/2586.76 c #Conflicts: 1563000 | #Constraints: 364838 2579.49/2586.76 c #Conflicts: 1564000 | #Constraints: 365838 2579.49/2586.76 c #Conflicts: 1565000 | #Constraints: 366838 2579.49/2586.76 c #Conflicts: 1566000 | #Constraints: 367838 2579.49/2586.76 c #Conflicts: 1567000 | #Constraints: 368838 2579.49/2586.76 c #Conflicts: 1568000 | #Constraints: 369838 2579.49/2586.76 c #Conflicts: 1569000 | #Constraints: 370838 2579.49/2586.76 c #Conflicts: 1570000 | #Constraints: 371838 2579.49/2586.76 c #Conflicts: 1571000 | #Constraints: 372838 2579.49/2586.76 c #Conflicts: 1572000 | #Constraints: 373838 2579.49/2586.76 c #Conflicts: 1573000 | #Constraints: 374838 2579.49/2586.76 c #Conflicts: 1574000 | #Constraints: 375838 2579.49/2586.76 c INPROCESSING 2579.49/2586.76 c GARBAGE COLLECT 2579.49/2586.76 c #Conflicts: 1575000 | #Constraints: 303106 2579.49/2586.76 c #Conflicts: 1576000 | #Constraints: 304106 2579.49/2586.76 c #Conflicts: 1577000 | #Constraints: 305106 2579.49/2586.76 c #Conflicts: 1578000 | #Constraints: 306106 2579.49/2586.76 c #Conflicts: 1579000 | #Constraints: 307106 2579.49/2586.76 c #Conflicts: 1580000 | #Constraints: 308106 2579.49/2586.76 c #Conflicts: 1581000 | #Constraints: 309106 2579.49/2586.76 c #Conflicts: 1582000 | #Constraints: 310106 2579.49/2586.76 c #Conflicts: 1583000 | #Constraints: 311106 2579.49/2586.76 c #Conflicts: 1584000 | #Constraints: 312106 2579.49/2586.76 c #Conflicts: 1585000 | #Constraints: 313106 2767.63/2775.33 c #Conflicts: 1586000 | #Constraints: 314106 2767.63/2775.33 c #Conflicts: 1587000 | #Constraints: 315106 2767.63/2775.33 c #Conflicts: 1588000 | #Constraints: 316106 2767.63/2775.33 c #Conflicts: 1589000 | #Constraints: 317106 2767.63/2775.33 c #Conflicts: 1590000 | #Constraints: 318106 2767.63/2775.33 c #Conflicts: 1591000 | #Constraints: 319106 2767.63/2775.33 c #Conflicts: 1592000 | #Constraints: 320106 2767.63/2775.33 c #Conflicts: 1593000 | #Constraints: 321106 2767.63/2775.33 c #Conflicts: 1594000 | #Constraints: 322106 2767.63/2775.33 c #Conflicts: 1595000 | #Constraints: 323106 2767.63/2775.33 c #Conflicts: 1596000 | #Constraints: 324106 2767.63/2775.33 c #Conflicts: 1597000 | #Constraints: 325106 2767.63/2775.33 c #Conflicts: 1598000 | #Constraints: 326106 2767.63/2775.33 c #Conflicts: 1599000 | #Constraints: 327106 2767.63/2775.33 c #Conflicts: 1600000 | #Constraints: 328106 2767.63/2775.33 c #Conflicts: 1601000 | #Constraints: 329106 2767.63/2775.33 c #Conflicts: 1602000 | #Constraints: 330106 2767.63/2775.33 c #Conflicts: 1603000 | #Constraints: 331106 2767.63/2775.33 c #Conflicts: 1604000 | #Constraints: 332106 2767.63/2775.33 c #Conflicts: 1605000 | #Constraints: 333106 2767.63/2775.37 c #Conflicts: 1606000 | #Constraints: 334106 2767.63/2775.37 c #Conflicts: 1607000 | #Constraints: 335106 2767.63/2775.37 c #Conflicts: 1608000 | #Constraints: 336106 2767.63/2775.37 c #Conflicts: 1609000 | #Constraints: 337106 2767.63/2775.37 c #Conflicts: 1610000 | #Constraints: 338106 2767.63/2775.37 c #Conflicts: 1611000 | #Constraints: 339106 2767.63/2775.37 c #Conflicts: 1612000 | #Constraints: 340106 2767.63/2775.37 c #Conflicts: 1613000 | #Constraints: 341106 2767.63/2775.37 c #Conflicts: 1614000 | #Constraints: 342106 2767.63/2775.37 c #Conflicts: 1615000 | #Constraints: 343106 2767.63/2775.37 c #Conflicts: 1616000 | #Constraints: 344106 2767.63/2775.37 c #Conflicts: 1617000 | #Constraints: 345106 2767.63/2775.37 c #Conflicts: 1618000 | #Constraints: 346106 2767.63/2775.37 c #Conflicts: 1619000 | #Constraints: 347106 2767.63/2775.37 c #Conflicts: 1620000 | #Constraints: 348106 2767.63/2775.37 c #Conflicts: 1621000 | #Constraints: 349106 2767.63/2775.37 c #Conflicts: 1622000 | #Constraints: 350106 2767.63/2775.37 c #Conflicts: 1623000 | #Constraints: 351106 2767.63/2775.37 c #Conflicts: 1624000 | #Constraints: 352106 2767.63/2775.37 c #Conflicts: 1625000 | #Constraints: 353106 2767.63/2775.37 c #Conflicts: 1626000 | #Constraints: 354106 2767.63/2775.37 c #Conflicts: 1627000 | #Constraints: 355106 2767.63/2775.37 c #Conflicts: 1628000 | #Constraints: 356106 2767.63/2775.37 c #Conflicts: 1629000 | #Constraints: 357106 2767.63/2775.37 c #Conflicts: 1630000 | #Constraints: 358106 2767.63/2775.37 c #Conflicts: 1631000 | #Constraints: 359106 2767.63/2775.37 c #Conflicts: 1632000 | #Constraints: 360106 2767.63/2775.37 c #Conflicts: 1633000 | #Constraints: 361106 2767.63/2775.37 c #Conflicts: 1634000 | #Constraints: 362106 2767.63/2775.37 c #Conflicts: 1635000 | #Constraints: 363106 2767.63/2775.37 c #Conflicts: 1636000 | #Constraints: 364106 2767.63/2775.37 c #Conflicts: 1637000 | #Constraints: 365106 2767.63/2775.37 c #Conflicts: 1638000 | #Constraints: 366106 2767.63/2775.37 c #Conflicts: 1639000 | #Constraints: 367106 2767.63/2775.37 c #Conflicts: 1640000 | #Constraints: 368106 2767.63/2775.37 c #Conflicts: 1641000 | #Constraints: 369106 2767.63/2775.37 c #Conflicts: 1642000 | #Constraints: 370106 2767.63/2775.37 c #Conflicts: 1643000 | #Constraints: 371106 2767.63/2775.37 c #Conflicts: 1644000 | #Constraints: 372106 2767.63/2775.37 c #Conflicts: 1645000 | #Constraints: 373106 2767.63/2775.37 c #Conflicts: 1646000 | #Constraints: 374106 2767.63/2775.37 c #Conflicts: 1647000 | #Constraints: 375106 2767.63/2775.37 c #Conflicts: 1648000 | #Constraints: 376106 2767.63/2775.37 c #Conflicts: 1649000 | #Constraints: 377106 2767.63/2775.37 c #Conflicts: 1650000 | #Constraints: 378106 2767.63/2775.37 c #Conflicts: 1651000 | #Constraints: 379106 2767.63/2775.37 c #Conflicts: 1652000 | #Constraints: 380106 2767.63/2775.37 c #Conflicts: 1653000 | #Constraints: 381106 2767.63/2775.37 c #Conflicts: 1654000 | #Constraints: 382106 2767.63/2775.37 c INPROCESSING 2767.63/2775.37 c GARBAGE COLLECT 2767.63/2775.37 c #Conflicts: 1655000 | #Constraints: 305710 2767.63/2775.37 c #Conflicts: 1656000 | #Constraints: 306710 2767.63/2775.37 c #Conflicts: 1657000 | #Constraints: 307710 2767.63/2775.37 c #Conflicts: 1658000 | #Constraints: 308710 2767.63/2775.37 c #Conflicts: 1659000 | #Constraints: 309710 2767.63/2775.37 c #Conflicts: 1660000 | #Constraints: 310710 2767.63/2775.37 c #Conflicts: 1661000 | #Constraints: 311710 2767.63/2775.37 c #Conflicts: 1662000 | #Constraints: 312710 2767.63/2775.37 c #Conflicts: 1663000 | #Constraints: 313710 2835.14/2843.03 c #Conflicts: 1664000 | #Constraints: 314710 2835.14/2843.03 c #Conflicts: 1665000 | #Constraints: 315710 2835.14/2843.03 c #Conflicts: 1666000 | #Constraints: 316710 2835.14/2843.03 c #Conflicts: 1667000 | #Constraints: 317710 2835.14/2843.03 c #Conflicts: 1668000 | #Constraints: 318710 2835.14/2843.03 c #Conflicts: 1669000 | #Constraints: 319710 2835.14/2843.03 c #Conflicts: 1670000 | #Constraints: 320710 2835.14/2843.03 c #Conflicts: 1671000 | #Constraints: 321710 2835.14/2843.03 c #Conflicts: 1672000 | #Constraints: 322710 2835.14/2843.03 c #Conflicts: 1673000 | #Constraints: 323710 2835.14/2843.03 c #Conflicts: 1674000 | #Constraints: 324710 2835.14/2843.03 c #Conflicts: 1675000 | #Constraints: 325710 2835.14/2843.03 c #Conflicts: 1676000 | #Constraints: 326710 2835.14/2843.03 c #Conflicts: 1677000 | #Constraints: 327710 2835.14/2843.03 c #Conflicts: 1678000 | #Constraints: 328710 2835.14/2843.03 c #Conflicts: 1679000 | #Constraints: 329710 2835.14/2843.03 c #Conflicts: 1680000 | #Constraints: 330710 2835.14/2843.03 c #Conflicts: 1681000 | #Constraints: 331710 2835.14/2843.03 c #Conflicts: 1682000 | #Constraints: 332710 2835.14/2843.03 c #Conflicts: 1683000 | #Constraints: 333710 2835.14/2843.04 c #Conflicts: 1684000 | #Constraints: 334710 2835.14/2843.04 c #Conflicts: 1685000 | #Constraints: 335710 2835.14/2843.04 c #Conflicts: 1686000 | #Constraints: 336710 2835.14/2843.04 c #Conflicts: 1687000 | #Constraints: 337710 2835.14/2843.04 c #Conflicts: 1688000 | #Constraints: 338710 2835.14/2843.04 c #Conflicts: 1689000 | #Constraints: 339710 2835.14/2843.04 c #Conflicts: 1690000 | #Constraints: 340710 2835.14/2843.04 c #Conflicts: 1691000 | #Constraints: 341710 2835.14/2843.04 c #Conflicts: 1692000 | #Constraints: 342710 2835.14/2843.04 c #Conflicts: 1693000 | #Constraints: 343710 2835.14/2843.04 c #Conflicts: 1694000 | #Constraints: 344710 2835.14/2843.04 c #Conflicts: 1695000 | #Constraints: 345710 2835.14/2843.04 c #Conflicts: 1696000 | #Constraints: 346710 2835.14/2843.04 c #Conflicts: 1697000 | #Constraints: 347710 2835.14/2843.04 c #Conflicts: 1698000 | #Constraints: 348710 2835.14/2843.04 c #Conflicts: 1699000 | #Constraints: 349710 2835.14/2843.04 c #Conflicts: 1700000 | #Constraints: 350710 2835.14/2843.04 c #Conflicts: 1701000 | #Constraints: 351710 2835.14/2843.04 c #Conflicts: 1702000 | #Constraints: 352710 2835.14/2843.04 c #Conflicts: 1703000 | #Constraints: 353710 2835.14/2843.04 c #Conflicts: 1704000 | #Constraints: 354710 2835.14/2843.04 c #Conflicts: 1705000 | #Constraints: 355710 2835.14/2843.04 c #Conflicts: 1706000 | #Constraints: 356710 2835.14/2843.04 c #Conflicts: 1707000 | #Constraints: 357710 2835.14/2843.04 c #Conflicts: 1708000 | #Constraints: 358710 2835.14/2843.04 c #Conflicts: 1709000 | #Constraints: 359710 2835.14/2843.04 c #Conflicts: 1710000 | #Constraints: 360710 2835.14/2843.04 c #Conflicts: 1711000 | #Constraints: 361710 2835.14/2843.04 c #Conflicts: 1712000 | #Constraints: 362710 2835.14/2843.04 c #Conflicts: 1713000 | #Constraints: 363710 2835.14/2843.04 c #Conflicts: 1714000 | #Constraints: 364710 2835.14/2843.04 c #Conflicts: 1715000 | #Constraints: 365710 2835.14/2843.04 c #Conflicts: 1716000 | #Constraints: 366710 2835.14/2843.04 c #Conflicts: 1717000 | #Constraints: 367710 2835.14/2843.04 c #Conflicts: 1718000 | #Constraints: 368710 2835.14/2843.04 c #Conflicts: 1719000 | #Constraints: 369710 2835.14/2843.04 c #Conflicts: 1720000 | #Constraints: 370710 2835.14/2843.04 c #Conflicts: 1721000 | #Constraints: 371710 2835.14/2843.04 c #Conflicts: 1722000 | #Constraints: 372710 2835.14/2843.04 c #Conflicts: 1723000 | #Constraints: 373710 2835.14/2843.04 c #Conflicts: 1724000 | #Constraints: 374710 2835.14/2843.04 c #Conflicts: 1725000 | #Constraints: 375710 2835.14/2843.04 c #Conflicts: 1726000 | #Constraints: 376710 2835.14/2843.04 c #Conflicts: 1727000 | #Constraints: 377710 2835.14/2843.04 c #Conflicts: 1728000 | #Constraints: 378710 2835.14/2843.04 c #Conflicts: 1729000 | #Constraints: 379710 2835.14/2843.04 c #Conflicts: 1730000 | #Constraints: 380710 2835.14/2843.04 c #Conflicts: 1731000 | #Constraints: 381710 2835.14/2843.04 c #Conflicts: 1732000 | #Constraints: 382710 2835.14/2843.04 c #Conflicts: 1733000 | #Constraints: 383710 2835.14/2843.04 c #Conflicts: 1734000 | #Constraints: 384710 2835.14/2843.04 c #Conflicts: 1735000 | #Constraints: 385710 2835.14/2843.04 c #Conflicts: 1736000 | #Constraints: 386710 2835.14/2843.04 c #Conflicts: 1737000 | #Constraints: 387710 2835.14/2843.04 c INPROCESSING 2835.14/2843.04 c GARBAGE COLLECT 2835.14/2843.04 c #Conflicts: 1738000 | #Constraints: 311609 2835.14/2843.04 c #Conflicts: 1739000 | #Constraints: 312609 2835.14/2843.04 c #Conflicts: 1740000 | #Constraints: 313609 2835.14/2843.04 c #Conflicts: 1741000 | #Constraints: 314609 2902.86/2910.90 c #Conflicts: 1742000 | #Constraints: 315609 2902.86/2910.90 c #Conflicts: 1743000 | #Constraints: 316609 2902.86/2910.90 c #Conflicts: 1744000 | #Constraints: 317609 2902.86/2910.90 c #Conflicts: 1745000 | #Constraints: 318609 2902.86/2910.90 c #Conflicts: 1746000 | #Constraints: 319609 2902.86/2910.90 c #Conflicts: 1747000 | #Constraints: 320609 2902.86/2910.90 c #Conflicts: 1748000 | #Constraints: 321609 2902.86/2910.90 c #Conflicts: 1749000 | #Constraints: 322609 2902.86/2910.90 c #Conflicts: 1750000 | #Constraints: 323609 2902.86/2910.90 c #Conflicts: 1751000 | #Constraints: 324609 2902.86/2910.90 c #Conflicts: 1752000 | #Constraints: 325609 2902.86/2910.90 c #Conflicts: 1753000 | #Constraints: 326609 2902.86/2910.90 c #Conflicts: 1754000 | #Constraints: 327609 2902.86/2910.90 c #Conflicts: 1755000 | #Constraints: 328609 2902.86/2910.90 c #Conflicts: 1756000 | #Constraints: 329609 2902.86/2910.90 c #Conflicts: 1757000 | #Constraints: 330609 2902.86/2910.90 c #Conflicts: 1758000 | #Constraints: 331609 2902.86/2910.90 c #Conflicts: 1759000 | #Constraints: 332609 2902.86/2910.90 c #Conflicts: 1760000 | #Constraints: 333609 2902.86/2910.90 c #Conflicts: 1761000 | #Constraints: 334609 2902.86/2910.90 c #Conflicts: 1762000 | #Constraints: 335609 2902.86/2910.90 c #Conflicts: 1763000 | #Constraints: 336609 2902.86/2910.90 c #Conflicts: 1764000 | #Constraints: 337609 2902.86/2910.90 c #Conflicts: 1765000 | #Constraints: 338609 2902.86/2910.90 c #Conflicts: 1766000 | #Constraints: 339609 2902.86/2910.90 c #Conflicts: 1767000 | #Constraints: 340609 2902.86/2910.90 c #Conflicts: 1768000 | #Constraints: 341609 2902.86/2910.90 c #Conflicts: 1769000 | #Constraints: 342609 2902.86/2910.90 c #Conflicts: 1770000 | #Constraints: 343609 2902.86/2910.90 c #Conflicts: 1771000 | #Constraints: 344609 2902.86/2910.90 c #Conflicts: 1772000 | #Constraints: 345609 2902.86/2910.90 c #Conflicts: 1773000 | #Constraints: 346609 2902.86/2910.90 c #Conflicts: 1774000 | #Constraints: 347609 2902.86/2910.90 c #Conflicts: 1775000 | #Constraints: 348609 2902.86/2910.90 c #Conflicts: 1776000 | #Constraints: 349609 2902.86/2910.90 c #Conflicts: 1777000 | #Constraints: 350609 2902.86/2910.90 c #Conflicts: 1778000 | #Constraints: 351609 2902.86/2910.90 c #Conflicts: 1779000 | #Constraints: 352609 2902.86/2910.90 c #Conflicts: 1780000 | #Constraints: 353609 2902.86/2910.90 c #Conflicts: 1781000 | #Constraints: 354609 2902.86/2910.90 c #Conflicts: 1782000 | #Constraints: 355609 2902.86/2910.90 c #Conflicts: 1783000 | #Constraints: 356609 2902.86/2910.90 c #Conflicts: 1784000 | #Constraints: 357609 2902.86/2910.90 c #Conflicts: 1785000 | #Constraints: 358609 2902.86/2910.90 c #Conflicts: 1786000 | #Constraints: 359609 2902.86/2910.90 c #Conflicts: 1787000 | #Constraints: 360609 2902.86/2910.90 c #Conflicts: 1788000 | #Constraints: 361609 2902.86/2910.90 c #Conflicts: 1789000 | #Constraints: 362609 2902.86/2910.90 c #Conflicts: 1790000 | #Constraints: 363609 2902.86/2910.90 c #Conflicts: 1791000 | #Constraints: 364609 2902.86/2910.90 c #Conflicts: 1792000 | #Constraints: 365609 2902.86/2910.90 c #Conflicts: 1793000 | #Constraints: 366609 2902.86/2910.90 c #Conflicts: 1794000 | #Constraints: 367609 2902.86/2910.90 c #Conflicts: 1795000 | #Constraints: 368609 2902.86/2910.90 c #Conflicts: 1796000 | #Constraints: 369609 2902.86/2910.90 c #Conflicts: 1797000 | #Constraints: 370609 2902.86/2910.90 c #Conflicts: 1798000 | #Constraints: 371609 2902.86/2910.90 c #Conflicts: 1799000 | #Constraints: 372609 2902.86/2910.90 c #Conflicts: 1800000 | #Constraints: 373609 2902.86/2910.90 c #Conflicts: 1801000 | #Constraints: 374609 2902.86/2910.90 c #Conflicts: 1802000 | #Constraints: 375609 2902.86/2910.90 c #Conflicts: 1803000 | #Constraints: 376609 2902.86/2910.90 c #Conflicts: 1804000 | #Constraints: 377609 2902.86/2910.90 c #Conflicts: 1805000 | #Constraints: 378609 2902.86/2910.90 c #Conflicts: 1806000 | #Constraints: 379609 2902.86/2910.90 c #Conflicts: 1807000 | #Constraints: 380609 2902.86/2910.90 c #Conflicts: 1808000 | #Constraints: 381609 2902.86/2910.90 c #Conflicts: 1809000 | #Constraints: 382609 2902.86/2910.90 c #Conflicts: 1810000 | #Constraints: 383609 2902.86/2910.90 c #Conflicts: 1811000 | #Constraints: 384609 2902.86/2910.90 c #Conflicts: 1812000 | #Constraints: 385609 2902.86/2910.90 c #Conflicts: 1813000 | #Constraints: 386609 2902.86/2910.90 c #Conflicts: 1814000 | #Constraints: 387609 2902.86/2910.90 c #Conflicts: 1815000 | #Constraints: 388609 2902.86/2910.90 c #Conflicts: 1816000 | #Constraints: 389609 2902.86/2910.90 c #Conflicts: 1817000 | #Constraints: 390609 2902.86/2910.90 c #Conflicts: 1818000 | #Constraints: 391609 2902.86/2910.90 c #Conflicts: 1819000 | #Constraints: 392609 2902.86/2910.90 c #Conflicts: 1820000 | #Constraints: 393609 3386.33/3395.62 c #Conflicts: 1821000 | #Constraints: 394609 3386.33/3395.62 c INPROCESSING 3386.33/3395.62 c GARBAGE COLLECT 3386.33/3395.62 c #Conflicts: 1822000 | #Constraints: 316586 3386.33/3395.62 c #Conflicts: 1823000 | #Constraints: 317586 3386.33/3395.62 c #Conflicts: 1824000 | #Constraints: 318586 3386.33/3395.62 c #Conflicts: 1825000 | #Constraints: 319586 3386.33/3395.62 c #Conflicts: 1826000 | #Constraints: 320586 3386.33/3395.62 c #Conflicts: 1827000 | #Constraints: 321586 3386.33/3395.62 c #Conflicts: 1828000 | #Constraints: 322586 3386.33/3395.62 c #Conflicts: 1829000 | #Constraints: 323586 3386.33/3395.62 c #Conflicts: 1830000 | #Constraints: 324586 3386.33/3395.62 c #Conflicts: 1831000 | #Constraints: 325586 3386.33/3395.62 c #Conflicts: 1832000 | #Constraints: 326586 3386.33/3395.62 c #Conflicts: 1833000 | #Constraints: 327586 3386.33/3395.62 c #Conflicts: 1834000 | #Constraints: 328586 3386.33/3395.62 c #Conflicts: 1835000 | #Constraints: 329586 3386.33/3395.62 c #Conflicts: 1836000 | #Constraints: 330586 3386.33/3395.62 c #Conflicts: 1837000 | #Constraints: 331586 3386.33/3395.62 c #Conflicts: 1838000 | #Constraints: 332586 3386.33/3395.62 c #Conflicts: 1839000 | #Constraints: 333586 3386.33/3395.62 c #Conflicts: 1840000 | #Constraints: 334586 3386.33/3395.62 c #Conflicts: 1841000 | #Constraints: 335586 3386.33/3395.62 c #Conflicts: 1842000 | #Constraints: 336586 3386.33/3395.62 c #Conflicts: 1843000 | #Constraints: 337586 3386.33/3395.62 c #Conflicts: 1844000 | #Constraints: 338586 3386.33/3395.62 c #Conflicts: 1845000 | #Constraints: 339586 3386.33/3395.62 c #Conflicts: 1846000 | #Constraints: 340586 3386.33/3395.62 c #Conflicts: 1847000 | #Constraints: 341586 3386.33/3395.62 c #Conflicts: 1848000 | #Constraints: 342586 3386.33/3395.62 c #Conflicts: 1849000 | #Constraints: 343586 3386.33/3395.62 c #Conflicts: 1850000 | #Constraints: 344586 3386.33/3395.62 c #Conflicts: 1851000 | #Constraints: 345586 3386.33/3395.62 c #Conflicts: 1852000 | #Constraints: 346586 3386.33/3395.62 c #Conflicts: 1853000 | #Constraints: 347586 3386.33/3395.62 c #Conflicts: 1854000 | #Constraints: 348586 3386.33/3395.62 c #Conflicts: 1855000 | #Constraints: 349586 3386.33/3395.62 c #Conflicts: 1856000 | #Constraints: 350586 3386.33/3395.62 c #Conflicts: 1857000 | #Constraints: 351586 3386.33/3395.62 c #Conflicts: 1858000 | #Constraints: 352586 3386.33/3395.62 c #Conflicts: 1859000 | #Constraints: 353586 3386.33/3395.62 c #Conflicts: 1860000 | #Constraints: 354586 3386.33/3395.62 c #Conflicts: 1861000 | #Constraints: 355586 3386.33/3395.62 c #Conflicts: 1862000 | #Constraints: 356586 3386.33/3395.62 c #Conflicts: 1863000 | #Constraints: 357586 3386.33/3395.62 c #Conflicts: 1864000 | #Constraints: 358586 3386.33/3395.62 c #Conflicts: 1865000 | #Constraints: 359586 3386.33/3395.62 c #Conflicts: 1866000 | #Constraints: 360586 3386.33/3395.62 c #Conflicts: 1867000 | #Constraints: 361586 3386.33/3395.62 c #Conflicts: 1868000 | #Constraints: 362586 3386.33/3395.62 c #Conflicts: 1869000 | #Constraints: 363586 3386.33/3395.62 c #Conflicts: 1870000 | #Constraints: 364586 3386.33/3395.62 c #Conflicts: 1871000 | #Constraints: 365586 3386.33/3395.62 c #Conflicts: 1872000 | #Constraints: 366586 3386.33/3395.62 c #Conflicts: 1873000 | #Constraints: 367586 3386.33/3395.62 c #Conflicts: 1874000 | #Constraints: 368586 3386.33/3395.62 c #Conflicts: 1875000 | #Constraints: 369586 3386.33/3395.62 c #Conflicts: 1876000 | #Constraints: 370586 3386.33/3395.62 c #Conflicts: 1877000 | #Constraints: 371586 3386.33/3395.62 c #Conflicts: 1878000 | #Constraints: 372586 3386.33/3395.62 c #Conflicts: 1879000 | #Constraints: 373586 3386.33/3395.62 c #Conflicts: 1880000 | #Constraints: 374586 3386.33/3395.62 c #Conflicts: 1881000 | #Constraints: 375586 3386.33/3395.62 c #Conflicts: 1882000 | #Constraints: 376586 3386.33/3395.62 c #Conflicts: 1883000 | #Constraints: 377586 3386.33/3395.62 c #Conflicts: 1884000 | #Constraints: 378586 3386.33/3395.62 c #Conflicts: 1885000 | #Constraints: 379586 3386.33/3395.62 c #Conflicts: 1886000 | #Constraints: 380586 3386.33/3395.62 c #Conflicts: 1887000 | #Constraints: 381586 3386.33/3395.62 c #Conflicts: 1888000 | #Constraints: 382586 3386.33/3395.62 c #Conflicts: 1889000 | #Constraints: 383586 3386.33/3395.62 c #Conflicts: 1890000 | #Constraints: 384586 3386.33/3395.62 c #Conflicts: 1891000 | #Constraints: 385586 3386.33/3395.62 c #Conflicts: 1892000 | #Constraints: 386586 3386.33/3395.62 c #Conflicts: 1893000 | #Constraints: 387586 3386.33/3395.62 c #Conflicts: 1894000 | #Constraints: 388586 3386.33/3395.62 c #Conflicts: 1895000 | #Constraints: 389586 3386.33/3395.62 c #Conflicts: 1896000 | #Constraints: 390586 3386.33/3395.62 c #Conflicts: 1897000 | #Constraints: 391586 3386.33/3395.62 c #Conflicts: 1898000 | #Constraints: 392586 3452.15/3461.68 c #Conflicts: 1899000 | #Constraints: 393586 3452.15/3461.68 c #Conflicts: 1900000 | #Constraints: 394586 3452.15/3461.68 c #Conflicts: 1901000 | #Constraints: 395586 3452.15/3461.68 c #Conflicts: 1902000 | #Constraints: 396586 3452.15/3461.68 c #Conflicts: 1903000 | #Constraints: 397586 3452.15/3461.68 c #Conflicts: 1904000 | #Constraints: 398586 3452.15/3461.68 c #Conflicts: 1905000 | #Constraints: 399586 3452.15/3461.68 c #Conflicts: 1906000 | #Constraints: 400586 3452.15/3461.68 c #Conflicts: 1907000 | #Constraints: 401586 3452.15/3461.68 c #Conflicts: 1908000 | #Constraints: 402586 3452.15/3461.68 c INPROCESSING 3452.15/3461.68 c GARBAGE COLLECT 3452.15/3461.68 c #Conflicts: 1909000 | #Constraints: 321157 3452.15/3461.68 c #Conflicts: 1910000 | #Constraints: 322157 3452.15/3461.68 c #Conflicts: 1911000 | #Constraints: 323157 3452.15/3461.68 c #Conflicts: 1912000 | #Constraints: 324157 3452.15/3461.68 c #Conflicts: 1913000 | #Constraints: 325157 3452.15/3461.68 c #Conflicts: 1914000 | #Constraints: 326157 3452.15/3461.68 c #Conflicts: 1915000 | #Constraints: 327157 3452.15/3461.68 c #Conflicts: 1916000 | #Constraints: 328157 3452.15/3461.68 c #Conflicts: 1917000 | #Constraints: 329157 3452.15/3461.68 c #Conflicts: 1918000 | #Constraints: 330157 3452.15/3461.68 c #Conflicts: 1919000 | #Constraints: 331157 3452.15/3461.68 c #Conflicts: 1920000 | #Constraints: 332157 3452.15/3461.68 c #Conflicts: 1921000 | #Constraints: 333157 3452.15/3461.68 c #Conflicts: 1922000 | #Constraints: 334157 3452.15/3461.68 c #Conflicts: 1923000 | #Constraints: 335157 3452.15/3461.68 c #Conflicts: 1924000 | #Constraints: 336157 3452.15/3461.68 c #Conflicts: 1925000 | #Constraints: 337157 3452.15/3461.68 c #Conflicts: 1926000 | #Constraints: 338157 3452.15/3461.68 c #Conflicts: 1927000 | #Constraints: 339157 3452.15/3461.68 c #Conflicts: 1928000 | #Constraints: 340157 3452.15/3461.68 c #Conflicts: 1929000 | #Constraints: 341157 3452.15/3461.68 c #Conflicts: 1930000 | #Constraints: 342157 3452.15/3461.68 c #Conflicts: 1931000 | #Constraints: 343157 3452.15/3461.68 c #Conflicts: 1932000 | #Constraints: 344157 3452.15/3461.68 c #Conflicts: 1933000 | #Constraints: 345157 3452.15/3461.68 c #Conflicts: 1934000 | #Constraints: 346157 3452.15/3461.68 c #Conflicts: 1935000 | #Constraints: 347157 3452.15/3461.68 c #Conflicts: 1936000 | #Constraints: 348157 3452.15/3461.68 c #Conflicts: 1937000 | #Constraints: 349157 3452.15/3461.68 c #Conflicts: 1938000 | #Constraints: 350157 3452.15/3461.68 c #Conflicts: 1939000 | #Constraints: 351157 3452.15/3461.68 c #Conflicts: 1940000 | #Constraints: 352157 3452.15/3461.68 c #Conflicts: 1941000 | #Constraints: 353157 3452.15/3461.68 c #Conflicts: 1942000 | #Constraints: 354157 3452.15/3461.68 c #Conflicts: 1943000 | #Constraints: 355157 3452.15/3461.68 c #Conflicts: 1944000 | #Constraints: 356157 3452.15/3461.68 c #Conflicts: 1945000 | #Constraints: 357157 3452.15/3461.68 c #Conflicts: 1946000 | #Constraints: 358157 3452.15/3461.68 c #Conflicts: 1947000 | #Constraints: 359157 3452.15/3461.68 c #Conflicts: 1948000 | #Constraints: 360157 3452.15/3461.68 c #Conflicts: 1949000 | #Constraints: 361157 3452.15/3461.68 c #Conflicts: 1950000 | #Constraints: 362157 3452.15/3461.68 c #Conflicts: 1951000 | #Constraints: 363157 3452.15/3461.68 c #Conflicts: 1952000 | #Constraints: 364157 3452.15/3461.68 c #Conflicts: 1953000 | #Constraints: 365157 3452.15/3461.68 c #Conflicts: 1954000 | #Constraints: 366157 3452.15/3461.68 c #Conflicts: 1955000 | #Constraints: 367157 3452.15/3461.68 c #Conflicts: 1956000 | #Constraints: 368157 3452.15/3461.68 c #Conflicts: 1957000 | #Constraints: 369157 3452.15/3461.68 c #Conflicts: 1958000 | #Constraints: 370157 3452.15/3461.68 c #Conflicts: 1959000 | #Constraints: 371157 3452.15/3461.68 c #Conflicts: 1960000 | #Constraints: 372157 3452.15/3461.68 c #Conflicts: 1961000 | #Constraints: 373157 3452.15/3461.68 c #Conflicts: 1962000 | #Constraints: 374157 3452.15/3461.68 c #Conflicts: 1963000 | #Constraints: 375157 3452.15/3461.68 c #Conflicts: 1964000 | #Constraints: 376157 3452.15/3461.68 c #Conflicts: 1965000 | #Constraints: 377157 3452.15/3461.68 c #Conflicts: 1966000 | #Constraints: 378157 3452.15/3461.68 c #Conflicts: 1967000 | #Constraints: 379157 3452.15/3461.68 c #Conflicts: 1968000 | #Constraints: 380157 3452.15/3461.68 c #Conflicts: 1969000 | #Constraints: 381157 3452.15/3461.68 c #Conflicts: 1970000 | #Constraints: 382157 3452.15/3461.68 c #Conflicts: 1971000 | #Constraints: 383157 3452.15/3461.68 c #Conflicts: 1972000 | #Constraints: 384157 3452.15/3461.68 c #Conflicts: 1973000 | #Constraints: 385157 3452.15/3461.68 c #Conflicts: 1974000 | #Constraints: 386157 3452.15/3461.68 c #Conflicts: 1975000 | #Constraints: 387157 3452.15/3461.68 c #Conflicts: 1976000 | #Constraints: 388157 3521.37/3531.08 c #Conflicts: 1977000 | #Constraints: 389157 3521.37/3531.08 c #Conflicts: 1978000 | #Constraints: 390157 3521.37/3531.08 c #Conflicts: 1979000 | #Constraints: 391157 3521.37/3531.08 c #Conflicts: 1980000 | #Constraints: 392157 3521.37/3531.08 c #Conflicts: 1981000 | #Constraints: 393157 3521.37/3531.08 c #Conflicts: 1982000 | #Constraints: 394157 3521.37/3531.08 c #Conflicts: 1983000 | #Constraints: 395157 3521.37/3531.08 c #Conflicts: 1984000 | #Constraints: 396157 3521.37/3531.08 c #Conflicts: 1985000 | #Constraints: 397157 3521.37/3531.08 c #Conflicts: 1986000 | #Constraints: 398157 3521.37/3531.08 c #Conflicts: 1987000 | #Constraints: 399157 3521.37/3531.08 c #Conflicts: 1988000 | #Constraints: 400157 3521.37/3531.08 c #Conflicts: 1989000 | #Constraints: 401157 3521.37/3531.08 c #Conflicts: 1990000 | #Constraints: 402157 3521.37/3531.08 c #Conflicts: 1991000 | #Constraints: 403157 3521.37/3531.08 c #Conflicts: 1992000 | #Constraints: 404157 3521.37/3531.08 c #Conflicts: 1993000 | #Constraints: 405157 3521.37/3531.08 c #Conflicts: 1994000 | #Constraints: 406157 3521.37/3531.08 c #Conflicts: 1995000 | #Constraints: 407157 3521.37/3531.08 c #Conflicts: 1996000 | #Constraints: 408157 3521.37/3531.08 c INPROCESSING 3521.37/3531.08 c GARBAGE COLLECT 3521.37/3531.08 c #Conflicts: 1997000 | #Constraints: 325709 3521.37/3531.08 c #Conflicts: 1998000 | #Constraints: 326709 3521.37/3531.08 c #Conflicts: 1999000 | #Constraints: 327709 3521.37/3531.08 c #Conflicts: 2000000 | #Constraints: 328709 3521.37/3531.08 c #Conflicts: 2001000 | #Constraints: 329709 3521.37/3531.08 c #Conflicts: 2002000 | #Constraints: 330709 3521.37/3531.08 c #Conflicts: 2003000 | #Constraints: 331709 3521.37/3531.08 c #Conflicts: 2004000 | #Constraints: 332709 3521.37/3531.08 c #Conflicts: 2005000 | #Constraints: 333709 3521.37/3531.08 c #Conflicts: 2006000 | #Constraints: 334709 3521.37/3531.08 c #Conflicts: 2007000 | #Constraints: 335709 3521.37/3531.08 c #Conflicts: 2008000 | #Constraints: 336709 3521.37/3531.08 c #Conflicts: 2009000 | #Constraints: 337709 3521.37/3531.08 c #Conflicts: 2010000 | #Constraints: 338709 3521.37/3531.08 c #Conflicts: 2011000 | #Constraints: 339709 3521.37/3531.08 c #Conflicts: 2012000 | #Constraints: 340709 3521.37/3531.08 c #Conflicts: 2013000 | #Constraints: 341709 3521.37/3531.08 c #Conflicts: 2014000 | #Constraints: 342709 3521.37/3531.08 c #Conflicts: 2015000 | #Constraints: 343709 3521.37/3531.08 c #Conflicts: 2016000 | #Constraints: 344709 3521.37/3531.08 c #Conflicts: 2017000 | #Constraints: 345709 3521.37/3531.08 c #Conflicts: 2018000 | #Constraints: 346709 3521.37/3531.08 c #Conflicts: 2019000 | #Constraints: 347709 3521.37/3531.08 c #Conflicts: 2020000 | #Constraints: 348709 3521.37/3531.08 c #Conflicts: 2021000 | #Constraints: 349709 3521.37/3531.08 c #Conflicts: 2022000 | #Constraints: 350709 3521.37/3531.08 c #Conflicts: 2023000 | #Constraints: 351709 3521.37/3531.08 c #Conflicts: 2024000 | #Constraints: 352709 3521.37/3531.08 c #Conflicts: 2025000 | #Constraints: 353709 3521.37/3531.08 c #Conflicts: 2026000 | #Constraints: 354709 3521.37/3531.08 c #Conflicts: 2027000 | #Constraints: 355709 3521.37/3531.08 c #Conflicts: 2028000 | #Constraints: 356709 3521.37/3531.08 c #Conflicts: 2029000 | #Constraints: 357709 3521.37/3531.08 c #Conflicts: 2030000 | #Constraints: 358709 3521.37/3531.08 c #Conflicts: 2031000 | #Constraints: 359709 3521.37/3531.08 c #Conflicts: 2032000 | #Constraints: 360709 3521.37/3531.08 c #Conflicts: 2033000 | #Constraints: 361709 3521.37/3531.08 c #Conflicts: 2034000 | #Constraints: 362709 3521.37/3531.08 c #Conflicts: 2035000 | #Constraints: 363709 3521.37/3531.08 c #Conflicts: 2036000 | #Constraints: 364709 3521.37/3531.08 c #Conflicts: 2037000 | #Constraints: 365709 3521.37/3531.08 c #Conflicts: 2038000 | #Constraints: 366709 3521.37/3531.08 c #Conflicts: 2039000 | #Constraints: 367709 3521.37/3531.08 c #Conflicts: 2040000 | #Constraints: 368709 3521.37/3531.08 c #Conflicts: 2041000 | #Constraints: 369709 3521.37/3531.08 c #Conflicts: 2042000 | #Constraints: 370709 3521.37/3531.08 c #Conflicts: 2043000 | #Constraints: 371709 3521.37/3531.08 c #Conflicts: 2044000 | #Constraints: 372709 3521.37/3531.08 c #Conflicts: 2045000 | #Constraints: 373709 3521.37/3531.08 c #Conflicts: 2046000 | #Constraints: 374709 3521.37/3531.08 c #Conflicts: 2047000 | #Constraints: 375709 3521.37/3531.08 c #Conflicts: 2048000 | #Constraints: 376709 3521.37/3531.08 c #Conflicts: 2049000 | #Constraints: 377709 3521.37/3531.08 c #Conflicts: 2050000 | #Constraints: 378709 3521.37/3531.08 c #Conflicts: 2051000 | #Constraints: 379709 3521.37/3531.08 c #Conflicts: 2052000 | #Constraints: 380709 3521.37/3531.08 c #Conflicts: 2053000 | #Constraints: 381709 3521.37/3531.08 c #Conflicts: 2054000 | #Constraints: 382709
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: 63708 MiB (62434 MiB free)
memory of node 1: 64465 MiB (62309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545311-1753234348/watcher-4545311-1753234348 -o /tmp/evaluation-result-4545311-1753234348/solver-4545311-1753234348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753234346-162782 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545311-1753234348.opb /tmp/proof-4545311-1753234348
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=162886, runsolver pid=162883
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.14 1.65 2.00 5/271 162888
/proc/meminfo: memFree=127704032/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=77172 memory=32480 CPUtime=0.08 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 4859 0 0 0 7 1 0 0 20 0 1 0 239112680 79024128 8120 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 19293 8120 1984 1147 0 6720 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 81364 KiB
Current children cumulated memory: 35552 KiB
[startup+0.205545 s]*
/proc/loadavg: 1.14 1.65 2.00 5/271 162888
/proc/meminfo: memFree=127699496/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=81436 memory=38676 CPUtime=0.19 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 6071 0 0 0 15 4 0 0 20 0 1 0 239112680 83390464 9669 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 20359 9669 1984 1147 0 7786 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 85628 KiB
Current children cumulated memory: 41748 KiB
[startup+0.305351 s]*
/proc/loadavg: 1.14 1.65 2.00 5/271 162888
/proc/meminfo: memFree=127693196/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=88424 memory=44588 CPUtime=0.29 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 7715 0 0 0 23 6 0 0 20 0 1 0 239112680 90546176 11147 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 22106 11147 1984 1147 0 9533 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92616 KiB
Current children cumulated memory: 47660 KiB
[startup+0.700155 s]
/proc/loadavg: 1.14 1.65 2.00 5/271 162888
/proc/meminfo: memFree=127679840/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=118496 memory=71528 CPUtime=0.67 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 14242 0 0 0 54 13 0 0 20 0 1 0 239112680 121339904 17882 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 29624 17882 1984 1147 0 17051 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122688 KiB
Current children cumulated memory: 74600 KiB
[startup+1.50021 s]
/proc/loadavg: 1.14 1.65 2.00 5/271 162888
/proc/meminfo: memFree=127577036/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=402656 memory=336616 CPUtime=1.48 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 37203 0 0 0 123 25 0 0 20 0 1 0 239112680 412319744 84154 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 100664 84154 2272 1147 0 88091 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 406848 KiB
Current children cumulated memory: 339688 KiB
[startup+3.1055 s]
/proc/loadavg: 1.37 1.69 2.01 5/271 162888
/proc/meminfo: memFree=127351664/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=419360 memory=344676 CPUtime=3.08 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 38660 0 0 0 280 28 0 0 20 0 1 0 239112680 429424640 86169 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 104840 86169 2336 1147 0 92267 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 423552 KiB
Current children cumulated memory: 347748 KiB
[startup+6.30019 s]
/proc/loadavg: 1.37 1.69 2.01 5/271 162888
/proc/meminfo: memFree=127316480/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=419360 memory=349668 CPUtime=6.26 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 39921 0 0 0 592 34 0 0 20 0 1 0 239112680 429424640 87417 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 104840 87417 2336 1147 0 92267 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 423552 KiB
Current children cumulated memory: 352740 KiB
[startup+12.7002 s]
/proc/loadavg: 1.77 1.77 2.03 5/271 162888
/proc/meminfo: memFree=127264988/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=428196 memory=352708 CPUtime=12.64 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 40198 0 0 0 1219 45 0 0 20 0 1 0 239112680 438472704 88177 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 107049 88177 2336 1147 0 94476 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 432388 KiB
Current children cumulated memory: 355780 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.84 2.05 5/271 162889
/proc/meminfo: memFree=127151304/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=434628 memory=360472 CPUtime=25.4 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 41636 0 0 0 2482 58 0 0 20 0 1 0 239112680 445059072 90118 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 108657 90118 2336 1147 0 96084 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 438820 KiB
Current children cumulated memory: 363544 KiB
[startup+51.1054 s]
/proc/loadavg: 2.95 2.06 2.12 5/271 162889
/proc/meminfo: memFree=127022620/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=446304 memory=360984 CPUtime=50.94 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 41774 0 0 0 4992 102 0 0 20 0 1 0 239112680 457015296 90246 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 111576 90246 2336 1147 0 99003 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 450496 KiB
Current children cumulated memory: 364056 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.41 2.23 5/272 162892
/proc/meminfo: memFree=126681008/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=469032 memory=383148 CPUtime=101.98 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 46863 0 0 0 10073 125 0 0 20 0 1 0 239112680 480288768 95787 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 117258 95787 2336 1147 0 104685 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 473224 KiB
Current children cumulated memory: 386220 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.71 2.35 5/270 162894
/proc/meminfo: memFree=126339548/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=484372 memory=403732 CPUtime=161.81 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 50532 0 0 0 16010 171 0 0 20 0 1 0 239112680 495996928 100933 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 121093 100933 2336 1147 0 108520 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 488564 KiB
Current children cumulated memory: 406804 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.96 2.46 5/270 162897
/proc/meminfo: memFree=126081580/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=484372 memory=405140 CPUtime=221.66 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 50912 0 0 0 21982 184 0 0 20 0 1 0 239112680 495996928 101285 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 121093 101285 2336 1147 0 108520 0
################
# More data... #
################
/proc/meminfo: memFree=115896632/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3273.32 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73468 0 0 0 325482 1850 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/267 163156
/proc/meminfo: memFree=115710088/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3333.18 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73473 0 0 0 331457 1861 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/267 163158
/proc/meminfo: memFree=115468128/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3393.01 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73600 0 0 0 337397 1904 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/267 163160
/proc/meminfo: memFree=115233620/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3452.85 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73608 0 0 0 343335 1950 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/266 163162
/proc/meminfo: memFree=114982420/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3512.69 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73610 0 0 0 349272 1997 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/267 163171
/proc/meminfo: memFree=114793804/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3572.54 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73673 0 0 0 355237 2017 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.08 4.12 4.09 4/262 163180
/proc/meminfo: memFree=115370908/131249996 swapFree=33000896/33010684
[pid=162886] ppid=162883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162886/stat : 162886 (run-dec-log.sh) S 162883 162886 162769 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 239112679 4292608 768 18446744073709551615 94637129928704 94637130823237 140730674699536 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94637131062288 94637131110032 94637154598912 140730674702661 140730674702818 140730674702818 140730674708422 0
/proc/162886/statm: 1048 768 704 219 0 110 0
[pid=162888] ppid=162886 vsize=731028 memory=649504 CPUtime=3600.07 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162886 162886 162769 0 -1 4194304 73674 0 0 0 357985 2022 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 652576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 162886 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002034 s
Sending SIGKILL to process tree (bottom up)
[startup+3611.9 s]
# the end of solver process 162888 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.84 s, system=20.24 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 163218
/proc/meminfo: memFree=117155792/131249996 swapFree=33000896/33010684
[pid=162888] ppid=162883 vsize=731028 memory=649504 CPUtime=3601.37 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162883 162886 162769 0 -1 4194304 73674 0 0 0 358114 2023 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current cumulated CPU time of completed processes: 0.002034 s
Current children cumulated CPU time: 3601.37 s
Current children cumulated vsize: 731028 KiB
Current children cumulated memory: 649504 KiB
[startup+3611.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 163218
/proc/meminfo: memFree=117155792/131249996 swapFree=33000896/33010684
[pid=162888] ppid=162883 vsize=731028 memory=649504 CPUtime=3601.77 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162883 162886 162769 0 -1 4194304 73674 0 0 0 358154 2023 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current cumulated CPU time of completed processes: 0.002034 s
Current children cumulated CPU time: 3601.77 s
Current children cumulated vsize: 731028 KiB
Current children cumulated memory: 649504 KiB
[startup+3611.8 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 163218
/proc/meminfo: memFree=117155792/131249996 swapFree=33000896/33010684
[pid=162888] ppid=162883 vsize=731028 memory=649504 CPUtime=3601.97 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162883 162886 162769 0 -1 4194304 73674 0 0 0 358174 2023 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current cumulated CPU time of completed processes: 0.002034 s
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 731028 KiB
Current children cumulated memory: 649504 KiB
[startup+3611.9 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 163218
/proc/meminfo: memFree=117155792/131249996 swapFree=33000896/33010684
[pid=162888] ppid=162883 vsize=731028 memory=649504 CPUtime=3602.07 cores=5,7
/proc/162888/stat : 162888 (roundingsat) R 162883 162886 162769 0 -1 4194304 73674 0 0 0 358184 2023 0 0 20 0 1 0 239112680 748572672 162376 18446744073709551615 4227072 8923433 140724704445296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42053632 140724704446859 140724704447014 140724704447014 140724704452586 0
/proc/162888/statm: 182757 162376 2336 1147 0 170184 0
Current cumulated CPU time of completed processes: 0.002034 s
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 731028 KiB
Current children cumulated memory: 649504 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.9
CPU time (s): 3602.08
CPU user time (s): 3581.84
CPU system time (s): 20.24
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 735220
Max. memory (cumulated for all children) (KiB): 652576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.84
system time used= 20.24
maximum resident set size= 649504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2128192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 20692
# summary of solver processes directly reported to runsolver:
# pid: 162886,162888
# total CPU time (s): 3602.08
# total CPU user time (s): 3581.84
# total CPU system time (s): 20.24
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96279 second user time and 17.2071 second system time
The end
Begin job on nodeC023 at 2025-07-23 03:32:28 IDJOB=4545311 IDBENCH=180812 IDSOLVER=3352 FILE ID=nodeC023/4545311-1753234348 RUNJOBID= nodeC023-1753234346-162782 SLURM_JOB_ID= 9687856 Free space on /tmp= 432996 MiB SOLVER NAME= roundingsat-log 63f22ad BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545311-1753234348/watcher-4545311-1753234348 -o /tmp/evaluation-result-4545311-1753234348/solver-4545311-1753234348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753234346-162782 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545311-1753234348.opb /tmp/proof-4545311-1753234348 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a RANDOM SEED=1546575882 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.892 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.898 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.906 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3588.838 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.881 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.912 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.201 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.504 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127738048 kB MemAvailable: 129346916 kB Buffers: 16 kB Cached: 2351236 kB SwapCached: 2872 kB Active: 1105264 kB Inactive: 1679224 kB Active(anon): 399092 kB Inactive(anon): 55056 kB Active(file): 706172 kB Inactive(file): 1624168 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 53636 kB Writeback: 28 kB AnonPages: 433940 kB Mapped: 116196 kB Shmem: 20816 kB KReclaimable: 235536 kB Slab: 331308 kB SReclaimable: 235536 kB SUnreclaim: 95772 kB KernelStack: 4368 kB PageTables: 4076 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 803988 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 422632 MiB End job on nodeC023 at 2025-07-23 04:32:40