| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.03 | 3612.53 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K179.opb |
| MD5SUM | 84aa92d361920570c4f42a7fa8308fed |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 73.5881 |
| 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 | 21301 |
| Total number of constraints | 21661 |
| Number of constraints which are clauses | 21482 |
| Number of constraints which are cardinality constraints (but not clauses) | 179 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 179 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 180 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.07/1.73 c #variables 21301 #constraints 21661 38.47/40.26 c #Conflicts: 1000 | #Constraints: 22660 38.47/40.26 c #Conflicts: 2000 | #Constraints: 23660 38.47/40.26 c INPROCESSING 38.47/40.26 c GARBAGE COLLECT 38.47/40.26 c #Conflicts: 3000 | #Constraints: 22981 38.47/40.26 c #Conflicts: 4000 | #Constraints: 23981 38.47/40.26 c INPROCESSING 38.47/40.26 c GARBAGE COLLECT 38.47/40.26 c #Conflicts: 5000 | #Constraints: 23378 38.47/40.26 c #Conflicts: 6000 | #Constraints: 24378 38.47/40.26 c INPROCESSING 38.47/40.26 c GARBAGE COLLECT 38.47/40.26 c #Conflicts: 7000 | #Constraints: 23478 38.47/40.26 c #Conflicts: 8000 | #Constraints: 24478 38.47/40.26 c #Conflicts: 9000 | #Constraints: 25478 38.47/40.26 c #Conflicts: 10000 | #Constraints: 26478 38.47/40.26 c #Conflicts: 11000 | #Constraints: 27478 38.47/40.26 c #Conflicts: 12000 | #Constraints: 28478 38.47/40.26 c INPROCESSING 38.47/40.26 c GARBAGE COLLECT 38.47/40.26 c rational objective 179 56.33/58.18 c #Conflicts: 13000 | #Constraints: 25462 56.33/58.18 c #Conflicts: 14000 | #Constraints: 26462 56.33/58.18 c #Conflicts: 15000 | #Constraints: 27462 56.33/58.18 c #Conflicts: 16000 | #Constraints: 28462 56.33/58.18 c INPROCESSING 56.33/58.18 c GARBAGE COLLECT 56.33/58.18 c rational objective 179 209.63/211.89 c #Conflicts: 17000 | #Constraints: 25715 209.63/211.89 c #Conflicts: 18000 | #Constraints: 26715 209.63/211.89 c #Conflicts: 19000 | #Constraints: 27715 209.63/211.89 c #Conflicts: 20000 | #Constraints: 28716 209.63/211.89 c #Conflicts: 21000 | #Constraints: 29716 209.63/211.89 c #Conflicts: 22000 | #Constraints: 30716 209.63/211.89 c #Conflicts: 23000 | #Constraints: 31716 209.63/211.89 c #Conflicts: 24000 | #Constraints: 32716 209.63/211.89 c #Conflicts: 25000 | #Constraints: 33716 209.63/211.89 c INPROCESSING 209.63/211.89 c GARBAGE COLLECT 209.63/211.89 c #Conflicts: 26000 | #Constraints: 28289 209.63/211.89 c #Conflicts: 27000 | #Constraints: 29289 209.63/211.89 c #Conflicts: 28000 | #Constraints: 30289 209.63/211.89 c #Conflicts: 29000 | #Constraints: 31289 209.63/211.89 c #Conflicts: 30000 | #Constraints: 32289 209.63/211.89 c INPROCESSING 209.63/211.89 c GARBAGE COLLECT 209.63/211.89 c #Conflicts: 31000 | #Constraints: 27965 209.63/211.89 c #Conflicts: 32000 | #Constraints: 28965 209.63/211.89 c #Conflicts: 33000 | #Constraints: 29965 209.63/211.89 c #Conflicts: 34000 | #Constraints: 30966 209.63/211.89 c #Conflicts: 35000 | #Constraints: 31966 209.63/211.89 c #Conflicts: 36000 | #Constraints: 32966 209.63/211.89 c #Conflicts: 37000 | #Constraints: 33966 209.63/211.89 c #Conflicts: 38000 | #Constraints: 34966 209.63/211.89 c #Conflicts: 39000 | #Constraints: 35966 209.63/211.89 c #Conflicts: 40000 | #Constraints: 36966 209.63/211.89 c #Conflicts: 41000 | #Constraints: 37966 209.63/211.89 c #Conflicts: 42000 | #Constraints: 38966 209.63/211.89 c #Conflicts: 43000 | #Constraints: 39966 209.63/211.89 c INPROCESSING 209.63/211.89 c GARBAGE COLLECT 209.63/211.89 c rational objective 179 300.09/302.51 c #Conflicts: 44000 | #Constraints: 31787 300.09/302.51 c #Conflicts: 45000 | #Constraints: 32787 300.09/302.51 c #Conflicts: 46000 | #Constraints: 33787 300.09/302.51 c #Conflicts: 47000 | #Constraints: 34787 300.09/302.51 c #Conflicts: 48000 | #Constraints: 35787 300.09/302.51 c #Conflicts: 49000 | #Constraints: 36787 300.09/302.51 c INPROCESSING 300.09/302.51 c GARBAGE COLLECT 300.09/302.51 c #Conflicts: 50000 | #Constraints: 30767 300.09/302.51 c #Conflicts: 51000 | #Constraints: 31767 300.09/302.51 c #Conflicts: 52000 | #Constraints: 32767 300.09/302.51 c #Conflicts: 53000 | #Constraints: 33767 300.09/302.51 c #Conflicts: 54000 | #Constraints: 34767 300.09/302.51 c #Conflicts: 55000 | #Constraints: 35768 300.09/302.51 c #Conflicts: 56000 | #Constraints: 36768 300.09/302.51 c #Conflicts: 57000 | #Constraints: 37768 300.09/302.51 c #Conflicts: 58000 | #Constraints: 38768 300.09/302.51 c #Conflicts: 59000 | #Constraints: 39768 300.09/302.51 c #Conflicts: 60000 | #Constraints: 40768 300.09/302.51 c #Conflicts: 61000 | #Constraints: 41768 300.09/302.51 c #Conflicts: 62000 | #Constraints: 42768 300.09/302.51 c #Conflicts: 63000 | #Constraints: 43768 300.09/302.51 c #Conflicts: 64000 | #Constraints: 44768 300.09/302.51 c #Conflicts: 65000 | #Constraints: 45768 300.09/302.51 c INPROCESSING 300.09/302.51 c GARBAGE COLLECT 300.09/302.51 c rational objective 179 691.27/694.77 c #Conflicts: 66000 | #Constraints: 35003 691.27/694.77 c #Conflicts: 67000 | #Constraints: 36003 691.27/694.77 c #Conflicts: 68000 | #Constraints: 37003 691.27/694.77 c #Conflicts: 69000 | #Constraints: 38003 691.27/694.77 c #Conflicts: 70000 | #Constraints: 39003 691.27/694.77 c #Conflicts: 71000 | #Constraints: 40003 691.27/694.77 c #Conflicts: 72000 | #Constraints: 41004 691.27/694.77 c INPROCESSING 691.27/694.77 c GARBAGE COLLECT 691.27/694.77 c #Conflicts: 73000 | #Constraints: 33343 691.27/694.77 c #Conflicts: 74000 | #Constraints: 34343 691.27/694.77 c #Conflicts: 75000 | #Constraints: 35343 691.27/694.77 c #Conflicts: 76000 | #Constraints: 36343 691.27/694.77 c #Conflicts: 77000 | #Constraints: 37343 691.27/694.77 c #Conflicts: 78000 | #Constraints: 38343 691.27/694.77 c #Conflicts: 79000 | #Constraints: 39343 691.27/694.77 c #Conflicts: 80000 | #Constraints: 40343 691.27/694.77 c #Conflicts: 81000 | #Constraints: 41343 691.27/694.77 c #Conflicts: 82000 | #Constraints: 42343 691.27/694.77 c #Conflicts: 83000 | #Constraints: 43343 691.27/694.77 c #Conflicts: 84000 | #Constraints: 44343 691.27/694.77 c #Conflicts: 85000 | #Constraints: 45343 691.27/694.77 c #Conflicts: 86000 | #Constraints: 46343 691.27/694.77 c #Conflicts: 87000 | #Constraints: 47343 691.27/694.77 c #Conflicts: 88000 | #Constraints: 48343 691.27/694.77 c #Conflicts: 89000 | #Constraints: 49343 691.27/694.77 c #Conflicts: 90000 | #Constraints: 50343 691.27/694.77 c #Conflicts: 91000 | #Constraints: 51343 691.27/694.77 c INPROCESSING 691.27/694.77 c GARBAGE COLLECT 691.27/694.77 c #Conflicts: 92000 | #Constraints: 37589 691.27/694.77 c #Conflicts: 93000 | #Constraints: 38589 691.27/694.77 c #Conflicts: 94000 | #Constraints: 39590 691.27/694.77 c #Conflicts: 95000 | #Constraints: 40590 691.27/694.77 c #Conflicts: 96000 | #Constraints: 41590 691.27/694.77 c #Conflicts: 97000 | #Constraints: 42590 691.27/694.77 c #Conflicts: 98000 | #Constraints: 43590 691.27/694.77 c #Conflicts: 99000 | #Constraints: 44590 691.27/694.77 c #Conflicts: 100000 | #Constraints: 45590 691.27/694.77 c INPROCESSING 691.27/694.77 c GARBAGE COLLECT 691.27/694.77 c #Conflicts: 101000 | #Constraints: 35867 691.27/694.77 c #Conflicts: 102000 | #Constraints: 36867 691.27/694.77 c #Conflicts: 103000 | #Constraints: 37867 691.27/694.77 c #Conflicts: 104000 | #Constraints: 38867 691.27/694.77 c #Conflicts: 105000 | #Constraints: 39867 691.27/694.77 c #Conflicts: 106000 | #Constraints: 40867 691.27/694.77 c #Conflicts: 107000 | #Constraints: 41867 691.27/694.77 c #Conflicts: 108000 | #Constraints: 42867 691.27/694.77 c #Conflicts: 109000 | #Constraints: 43867 691.27/694.77 c #Conflicts: 110000 | #Constraints: 44867 691.27/694.77 c #Conflicts: 111000 | #Constraints: 45867 691.27/694.77 c #Conflicts: 112000 | #Constraints: 46867 691.27/694.77 c #Conflicts: 113000 | #Constraints: 47867 691.27/694.77 c #Conflicts: 114000 | #Constraints: 48867 691.27/694.77 c #Conflicts: 115000 | #Constraints: 49867 691.27/694.77 c #Conflicts: 116000 | #Constraints: 50868 691.27/694.77 c #Conflicts: 117000 | #Constraints: 51868 691.27/694.77 c #Conflicts: 118000 | #Constraints: 52868 691.27/694.77 c #Conflicts: 119000 | #Constraints: 53868 691.27/694.77 c #Conflicts: 120000 | #Constraints: 54868 691.27/694.77 c #Conflicts: 121000 | #Constraints: 55868 691.27/694.77 c INPROCESSING 691.27/694.77 c GARBAGE COLLECT 691.27/694.77 c rational objective 179 993.96/998.28 c #Conflicts: 122000 | #Constraints: 39871 993.96/998.28 c #Conflicts: 123000 | #Constraints: 40871 993.96/998.28 c #Conflicts: 124000 | #Constraints: 41871 993.96/998.28 c #Conflicts: 125000 | #Constraints: 42871 993.96/998.28 c #Conflicts: 126000 | #Constraints: 43871 993.96/998.28 c #Conflicts: 127000 | #Constraints: 44871 993.96/998.28 c #Conflicts: 128000 | #Constraints: 45871 993.96/998.28 c #Conflicts: 129000 | #Constraints: 46871 993.96/998.28 c #Conflicts: 130000 | #Constraints: 47871 993.96/998.28 c #Conflicts: 131000 | #Constraints: 48871 993.96/998.28 c #Conflicts: 132000 | #Constraints: 49871 993.96/998.28 c INPROCESSING 993.96/998.28 c GARBAGE COLLECT 993.96/998.28 c #Conflicts: 133000 | #Constraints: 38790 993.96/998.28 c #Conflicts: 134000 | #Constraints: 39790 993.96/998.28 c #Conflicts: 135000 | #Constraints: 40790 993.96/998.28 c #Conflicts: 136000 | #Constraints: 41790 993.96/998.28 c #Conflicts: 137000 | #Constraints: 42790 993.96/998.28 c #Conflicts: 138000 | #Constraints: 43790 993.96/998.28 c #Conflicts: 139000 | #Constraints: 44790 993.96/998.28 c #Conflicts: 140000 | #Constraints: 45790 993.96/998.28 c #Conflicts: 141000 | #Constraints: 46790 993.96/998.28 c #Conflicts: 142000 | #Constraints: 47790 993.96/998.28 c #Conflicts: 143000 | #Constraints: 48790 993.96/998.28 c #Conflicts: 144000 | #Constraints: 49790 993.96/998.28 c #Conflicts: 145000 | #Constraints: 50790 993.96/998.28 c #Conflicts: 146000 | #Constraints: 51790 993.96/998.28 c #Conflicts: 147000 | #Constraints: 52790 993.96/998.28 c #Conflicts: 148000 | #Constraints: 53790 993.96/998.28 c #Conflicts: 149000 | #Constraints: 54790 993.96/998.28 c #Conflicts: 150000 | #Constraints: 55790 993.96/998.28 c #Conflicts: 151000 | #Constraints: 56790 993.96/998.28 c #Conflicts: 152000 | #Constraints: 57790 993.96/998.28 c #Conflicts: 153000 | #Constraints: 58790 993.96/998.28 c #Conflicts: 154000 | #Constraints: 59790 993.96/998.28 c #Conflicts: 155000 | #Constraints: 60790 993.96/998.28 c #Conflicts: 156000 | #Constraints: 61790 993.96/998.28 c INPROCESSING 993.96/998.28 c GARBAGE COLLECT 993.96/998.28 c #Conflicts: 157000 | #Constraints: 42678 993.96/998.28 c #Conflicts: 158000 | #Constraints: 43678 993.96/998.28 c #Conflicts: 159000 | #Constraints: 44678 993.96/998.28 c #Conflicts: 160000 | #Constraints: 45678 993.96/998.28 c #Conflicts: 161000 | #Constraints: 46678 993.96/998.28 c #Conflicts: 162000 | #Constraints: 47679 993.96/998.28 c #Conflicts: 163000 | #Constraints: 48679 993.96/998.28 c #Conflicts: 164000 | #Constraints: 49679 993.96/998.28 c #Conflicts: 165000 | #Constraints: 50679 993.96/998.28 c #Conflicts: 166000 | #Constraints: 51679 993.96/998.28 c #Conflicts: 167000 | #Constraints: 52679 993.96/998.28 c #Conflicts: 168000 | #Constraints: 53679 993.96/998.28 c INPROCESSING 993.96/998.28 c GARBAGE COLLECT 993.96/998.28 c #Conflicts: 169000 | #Constraints: 41116 993.96/998.28 c #Conflicts: 170000 | #Constraints: 42116 993.96/998.28 c #Conflicts: 171000 | #Constraints: 43116 993.96/998.28 c #Conflicts: 172000 | #Constraints: 44116 993.96/998.28 c #Conflicts: 173000 | #Constraints: 45116 993.96/998.28 c #Conflicts: 174000 | #Constraints: 46116 993.96/998.28 c #Conflicts: 175000 | #Constraints: 47116 993.96/998.28 c #Conflicts: 176000 | #Constraints: 48116 993.96/998.28 c #Conflicts: 177000 | #Constraints: 49116 993.96/998.28 c #Conflicts: 178000 | #Constraints: 50116 993.96/998.28 c #Conflicts: 179000 | #Constraints: 51116 993.96/998.28 c #Conflicts: 180000 | #Constraints: 52116 993.96/998.28 c #Conflicts: 181000 | #Constraints: 53116 993.96/998.28 c #Conflicts: 182000 | #Constraints: 54116 993.96/998.28 c #Conflicts: 183000 | #Constraints: 55116 993.96/998.28 c #Conflicts: 184000 | #Constraints: 56116 993.96/998.28 c #Conflicts: 185000 | #Constraints: 57116 993.96/998.28 c #Conflicts: 186000 | #Constraints: 58116 993.96/998.28 c #Conflicts: 187000 | #Constraints: 59116 993.96/998.28 c #Conflicts: 188000 | #Constraints: 60116 993.96/998.28 c #Conflicts: 189000 | #Constraints: 61116 993.96/998.28 c #Conflicts: 190000 | #Constraints: 62116 993.96/998.28 c #Conflicts: 191000 | #Constraints: 63116 993.96/998.28 c #Conflicts: 192000 | #Constraints: 64116 993.96/998.28 c #Conflicts: 193000 | #Constraints: 65116 993.96/998.28 c #Conflicts: 194000 | #Constraints: 66116 993.96/998.28 c #Conflicts: 195000 | #Constraints: 67116 993.96/998.28 c #Conflicts: 196000 | #Constraints: 68116 993.96/998.28 c INPROCESSING 993.96/998.28 c GARBAGE COLLECT 993.96/998.28 c #Conflicts: 197000 | #Constraints: 46277 993.96/998.28 c #Conflicts: 198000 | #Constraints: 47277 1108.87/1113.49 c #Conflicts: 199000 | #Constraints: 48277 1108.87/1113.49 c #Conflicts: 200000 | #Constraints: 49277 1108.87/1113.49 c #Conflicts: 201000 | #Constraints: 50277 1108.87/1113.49 c #Conflicts: 202000 | #Constraints: 51277 1108.87/1113.49 c #Conflicts: 203000 | #Constraints: 52277 1108.87/1113.49 c #Conflicts: 204000 | #Constraints: 53277 1108.87/1113.49 c #Conflicts: 205000 | #Constraints: 54277 1108.87/1113.49 c #Conflicts: 206000 | #Constraints: 55277 1108.87/1113.49 c #Conflicts: 207000 | #Constraints: 56277 1108.87/1113.49 c #Conflicts: 208000 | #Constraints: 57277 1108.87/1113.49 c #Conflicts: 209000 | #Constraints: 58277 1108.87/1113.49 c INPROCESSING 1108.87/1113.49 c GARBAGE COLLECT 1108.87/1113.49 c #Conflicts: 210000 | #Constraints: 43570 1108.87/1113.49 c #Conflicts: 211000 | #Constraints: 44570 1108.87/1113.49 c #Conflicts: 212000 | #Constraints: 45570 1108.87/1113.49 c #Conflicts: 213000 | #Constraints: 46570 1108.87/1113.49 c #Conflicts: 214000 | #Constraints: 47570 1108.87/1113.49 c #Conflicts: 215000 | #Constraints: 48570 1108.87/1113.49 c #Conflicts: 216000 | #Constraints: 49570 1108.87/1113.49 c #Conflicts: 217000 | #Constraints: 50571 1108.87/1113.49 c #Conflicts: 218000 | #Constraints: 51571 1108.87/1113.49 c #Conflicts: 219000 | #Constraints: 52571 1108.87/1113.49 c #Conflicts: 220000 | #Constraints: 53571 1108.87/1113.49 c #Conflicts: 221000 | #Constraints: 54571 1108.87/1113.49 c #Conflicts: 222000 | #Constraints: 55571 1108.87/1113.49 c #Conflicts: 223000 | #Constraints: 56571 1108.87/1113.49 c #Conflicts: 224000 | #Constraints: 57571 1108.87/1113.49 c #Conflicts: 225000 | #Constraints: 58571 1108.87/1113.49 c #Conflicts: 226000 | #Constraints: 59571 1108.87/1113.49 c #Conflicts: 227000 | #Constraints: 60571 1108.87/1113.49 c #Conflicts: 228000 | #Constraints: 61571 1108.87/1113.49 c #Conflicts: 229000 | #Constraints: 62571 1108.87/1113.49 c #Conflicts: 230000 | #Constraints: 63571 1108.87/1113.49 c #Conflicts: 231000 | #Constraints: 64571 1108.87/1113.49 c #Conflicts: 232000 | #Constraints: 65571 1108.87/1113.49 c #Conflicts: 233000 | #Constraints: 66571 1108.87/1113.49 c #Conflicts: 234000 | #Constraints: 67571 1108.87/1113.49 c #Conflicts: 235000 | #Constraints: 68571 1108.87/1113.49 c #Conflicts: 236000 | #Constraints: 69571 1108.87/1113.49 c #Conflicts: 237000 | #Constraints: 70571 1108.87/1113.49 c #Conflicts: 238000 | #Constraints: 71571 1108.87/1113.49 c #Conflicts: 239000 | #Constraints: 72571 1108.87/1113.49 c #Conflicts: 240000 | #Constraints: 73571 1108.87/1113.49 c INPROCESSING 1108.87/1113.49 c GARBAGE COLLECT 1108.87/1113.49 c rational objective 179 1132.30/1136.96 c #Conflicts: 241000 | #Constraints: 49225 1132.30/1136.96 c #Conflicts: 242000 | #Constraints: 50225 1132.30/1136.96 c #Conflicts: 243000 | #Constraints: 51225 1132.30/1136.96 c #Conflicts: 244000 | #Constraints: 52225 1132.30/1136.96 c #Conflicts: 245000 | #Constraints: 53225 1132.30/1136.96 c #Conflicts: 246000 | #Constraints: 54225 1132.30/1136.96 c #Conflicts: 247000 | #Constraints: 55225 1132.30/1136.96 c #Conflicts: 248000 | #Constraints: 56225 1132.30/1136.96 c #Conflicts: 249000 | #Constraints: 57225 1132.30/1136.96 c #Conflicts: 250000 | #Constraints: 58225 1132.30/1136.96 c #Conflicts: 251000 | #Constraints: 59225 1132.30/1136.96 c #Conflicts: 252000 | #Constraints: 60225 1132.30/1136.96 c #Conflicts: 253000 | #Constraints: 61225 1132.30/1136.96 c #Conflicts: 254000 | #Constraints: 62225 1132.30/1136.96 c INPROCESSING 1132.30/1136.96 c GARBAGE COLLECT 1132.30/1136.96 c rational objective 179 1259.15/1264.13 c #Conflicts: 255000 | #Constraints: 45898 1259.15/1264.13 c #Conflicts: 256000 | #Constraints: 46898 1259.15/1264.13 c #Conflicts: 257000 | #Constraints: 47898 1259.15/1264.13 c #Conflicts: 258000 | #Constraints: 48898 1259.15/1264.13 c #Conflicts: 259000 | #Constraints: 49898 1259.15/1264.13 c #Conflicts: 260000 | #Constraints: 50898 1259.15/1264.13 c #Conflicts: 261000 | #Constraints: 51898 1259.15/1264.13 c #Conflicts: 262000 | #Constraints: 52899 1259.15/1264.13 c #Conflicts: 263000 | #Constraints: 53899 1259.15/1264.13 c #Conflicts: 264000 | #Constraints: 54899 1259.15/1264.13 c #Conflicts: 265000 | #Constraints: 55899 1259.15/1264.13 c #Conflicts: 266000 | #Constraints: 56899 1259.15/1264.13 c #Conflicts: 267000 | #Constraints: 57899 1259.15/1264.13 c #Conflicts: 268000 | #Constraints: 58899 1259.15/1264.13 c #Conflicts: 269000 | #Constraints: 59900 1259.15/1264.13 c #Conflicts: 270000 | #Constraints: 60900 1259.15/1264.13 c #Conflicts: 271000 | #Constraints: 61900 1259.15/1264.13 c #Conflicts: 272000 | #Constraints: 62900 1259.15/1264.13 c #Conflicts: 273000 | #Constraints: 63900 1259.15/1264.13 c #Conflicts: 274000 | #Constraints: 64900 1259.15/1264.13 c #Conflicts: 275000 | #Constraints: 65900 1259.15/1264.13 c #Conflicts: 276000 | #Constraints: 66900 1259.15/1264.13 c #Conflicts: 277000 | #Constraints: 67900 1259.15/1264.13 c #Conflicts: 278000 | #Constraints: 68900 1259.15/1264.13 c #Conflicts: 279000 | #Constraints: 69900 1259.15/1264.13 c #Conflicts: 280000 | #Constraints: 70900 1259.15/1264.13 c #Conflicts: 281000 | #Constraints: 71900 1259.15/1264.13 c #Conflicts: 282000 | #Constraints: 72900 1259.15/1264.13 c #Conflicts: 283000 | #Constraints: 73900 1259.15/1264.13 c #Conflicts: 284000 | #Constraints: 74901 1259.15/1264.13 c #Conflicts: 285000 | #Constraints: 75901 1259.15/1264.13 c #Conflicts: 286000 | #Constraints: 76901 1259.15/1264.13 c #Conflicts: 287000 | #Constraints: 77901 1259.15/1264.13 c #Conflicts: 288000 | #Constraints: 78901 1259.15/1264.13 c INPROCESSING 1259.15/1264.13 c GARBAGE COLLECT 1259.15/1264.13 c rational objective 179 1306.22/1311.37 c #Conflicts: 289000 | #Constraints: 52019 1306.22/1311.37 c #Conflicts: 290000 | #Constraints: 53019 1306.22/1311.37 c #Conflicts: 291000 | #Constraints: 54019 1306.22/1311.37 c #Conflicts: 292000 | #Constraints: 55019 1306.22/1311.37 c #Conflicts: 293000 | #Constraints: 56019 1306.22/1311.37 c #Conflicts: 294000 | #Constraints: 57019 1306.22/1311.37 c #Conflicts: 295000 | #Constraints: 58019 1306.22/1311.37 c #Conflicts: 296000 | #Constraints: 59019 1306.22/1311.37 c #Conflicts: 297000 | #Constraints: 60019 1306.22/1311.37 c #Conflicts: 298000 | #Constraints: 61019 1306.22/1311.37 c #Conflicts: 299000 | #Constraints: 62019 1306.22/1311.37 c #Conflicts: 300000 | #Constraints: 63019 1306.22/1311.37 c #Conflicts: 301000 | #Constraints: 64019 1306.22/1311.37 c #Conflicts: 302000 | #Constraints: 65019 1306.22/1311.37 c #Conflicts: 303000 | #Constraints: 66019 1306.22/1311.37 c INPROCESSING 1306.22/1311.37 c GARBAGE COLLECT 1306.22/1311.37 c rational objective 179 1478.25/1483.89 c #Conflicts: 304000 | #Constraints: 48112 1478.25/1483.89 c #Conflicts: 305000 | #Constraints: 49112 1478.25/1483.89 c #Conflicts: 306000 | #Constraints: 50112 1478.25/1483.89 c #Conflicts: 307000 | #Constraints: 51112 1478.25/1483.89 c #Conflicts: 308000 | #Constraints: 52112 1478.25/1483.89 c #Conflicts: 309000 | #Constraints: 53112 1478.25/1483.89 c #Conflicts: 310000 | #Constraints: 54112 1478.25/1483.89 c #Conflicts: 311000 | #Constraints: 55112 1478.25/1483.89 c #Conflicts: 312000 | #Constraints: 56113 1478.25/1483.89 c #Conflicts: 313000 | #Constraints: 57113 1478.25/1483.89 c #Conflicts: 314000 | #Constraints: 58113 1478.25/1483.89 c #Conflicts: 315000 | #Constraints: 59113 1478.25/1483.89 c #Conflicts: 316000 | #Constraints: 60113 1478.25/1483.89 c #Conflicts: 317000 | #Constraints: 61113 1478.25/1483.89 c #Conflicts: 318000 | #Constraints: 62113 1478.25/1483.89 c #Conflicts: 319000 | #Constraints: 63113 1478.25/1483.89 c #Conflicts: 320000 | #Constraints: 64113 1478.25/1483.89 c #Conflicts: 321000 | #Constraints: 65113 1478.25/1483.89 c #Conflicts: 322000 | #Constraints: 66113 1478.25/1483.89 c #Conflicts: 323000 | #Constraints: 67113 1478.25/1483.89 c #Conflicts: 324000 | #Constraints: 68113 1478.25/1483.89 c #Conflicts: 325000 | #Constraints: 69113 1478.25/1483.89 c #Conflicts: 326000 | #Constraints: 70113 1478.25/1483.89 c #Conflicts: 327000 | #Constraints: 71113 1478.25/1483.89 c #Conflicts: 328000 | #Constraints: 72113 1478.25/1483.89 c #Conflicts: 329000 | #Constraints: 73113 1478.25/1483.89 c #Conflicts: 330000 | #Constraints: 74113 1478.25/1483.89 c #Conflicts: 331000 | #Constraints: 75113 1478.25/1483.89 c #Conflicts: 332000 | #Constraints: 76113 1478.25/1483.89 c #Conflicts: 333000 | #Constraints: 77113 1478.25/1483.89 c #Conflicts: 334000 | #Constraints: 78113 1478.25/1483.89 c #Conflicts: 335000 | #Constraints: 79113 1478.25/1483.89 c #Conflicts: 336000 | #Constraints: 80113 1478.25/1483.89 c #Conflicts: 337000 | #Constraints: 81113 1478.25/1483.89 c #Conflicts: 338000 | #Constraints: 82113 1478.25/1483.89 c #Conflicts: 339000 | #Constraints: 83113 1478.25/1483.89 c #Conflicts: 340000 | #Constraints: 84113 1478.25/1483.89 c INPROCESSING 1478.25/1483.89 c GARBAGE COLLECT 1478.25/1483.89 c rational objective 179 1527.72/1533.47 c #Conflicts: 341000 | #Constraints: 54335 1527.72/1533.47 c #Conflicts: 342000 | #Constraints: 55335 1527.72/1533.47 c #Conflicts: 343000 | #Constraints: 56335 1527.72/1533.47 c #Conflicts: 344000 | #Constraints: 57335 1527.72/1533.47 c #Conflicts: 345000 | #Constraints: 58335 1527.72/1533.47 c #Conflicts: 346000 | #Constraints: 59335 1527.72/1533.47 c #Conflicts: 347000 | #Constraints: 60335 1527.72/1533.47 c #Conflicts: 348000 | #Constraints: 61335 1527.72/1533.47 c #Conflicts: 349000 | #Constraints: 62335 1527.72/1533.47 c #Conflicts: 350000 | #Constraints: 63335 1527.72/1533.47 c #Conflicts: 351000 | #Constraints: 64335 1527.72/1533.47 c #Conflicts: 352000 | #Constraints: 65335 1527.72/1533.47 c #Conflicts: 353000 | #Constraints: 66335 1527.72/1533.47 c #Conflicts: 354000 | #Constraints: 67335 1527.72/1533.47 c #Conflicts: 355000 | #Constraints: 68335 1527.72/1533.47 c #Conflicts: 356000 | #Constraints: 69335 1527.72/1533.47 c #Conflicts: 357000 | #Constraints: 70335 1527.72/1533.47 c INPROCESSING 1527.72/1533.47 c GARBAGE COLLECT 1527.72/1533.47 c rational objective 179 1619.78/1625.77 c #Conflicts: 358000 | #Constraints: 51016 1619.78/1625.77 c #Conflicts: 359000 | #Constraints: 52016 1619.78/1625.77 c #Conflicts: 360000 | #Constraints: 53016 1619.78/1625.77 c #Conflicts: 361000 | #Constraints: 54016 1619.78/1625.77 c #Conflicts: 362000 | #Constraints: 55016 1619.78/1625.77 c #Conflicts: 363000 | #Constraints: 56016 1619.78/1625.77 c #Conflicts: 364000 | #Constraints: 57016 1619.78/1625.77 c #Conflicts: 365000 | #Constraints: 58016 1619.78/1625.77 c #Conflicts: 366000 | #Constraints: 59016 1619.78/1625.77 c #Conflicts: 367000 | #Constraints: 60016 1619.78/1625.77 c #Conflicts: 368000 | #Constraints: 61016 1619.78/1625.77 c #Conflicts: 369000 | #Constraints: 62016 1619.78/1625.77 c #Conflicts: 370000 | #Constraints: 63016 1619.78/1625.77 c #Conflicts: 371000 | #Constraints: 64016 1619.78/1625.77 c #Conflicts: 372000 | #Constraints: 65016 1619.78/1625.77 c #Conflicts: 373000 | #Constraints: 66016 1619.78/1625.77 c #Conflicts: 374000 | #Constraints: 67016 1619.78/1625.77 c #Conflicts: 375000 | #Constraints: 68016 1619.78/1625.77 c #Conflicts: 376000 | #Constraints: 69016 1619.78/1625.77 c #Conflicts: 377000 | #Constraints: 70016 1619.78/1625.77 c #Conflicts: 378000 | #Constraints: 71016 1619.78/1625.77 c #Conflicts: 379000 | #Constraints: 72016 1619.78/1625.77 c #Conflicts: 380000 | #Constraints: 73016 1619.78/1625.77 c #Conflicts: 381000 | #Constraints: 74016 1619.78/1625.77 c #Conflicts: 382000 | #Constraints: 75016 1619.78/1625.77 c #Conflicts: 383000 | #Constraints: 76016 1619.78/1625.77 c #Conflicts: 384000 | #Constraints: 77016 1619.78/1625.77 c #Conflicts: 385000 | #Constraints: 78016 1619.78/1625.77 c #Conflicts: 386000 | #Constraints: 79016 1619.78/1625.77 c #Conflicts: 387000 | #Constraints: 80016 1619.78/1625.77 c #Conflicts: 388000 | #Constraints: 81016 1619.78/1625.77 c #Conflicts: 389000 | #Constraints: 82016 1619.78/1625.77 c #Conflicts: 390000 | #Constraints: 83016 1619.78/1625.77 c #Conflicts: 391000 | #Constraints: 84016 1619.78/1625.77 c #Conflicts: 392000 | #Constraints: 85016 1619.78/1625.77 c #Conflicts: 393000 | #Constraints: 86016 1619.78/1625.77 c #Conflicts: 394000 | #Constraints: 87016 1619.78/1625.77 c #Conflicts: 395000 | #Constraints: 88016 1619.78/1625.77 c #Conflicts: 396000 | #Constraints: 89016 1619.78/1625.77 c #Conflicts: 397000 | #Constraints: 90016 1619.78/1625.77 c INPROCESSING 1619.78/1625.77 c GARBAGE COLLECT 1619.78/1625.77 c rational objective 179 1645.22/1651.20 c #Conflicts: 398000 | #Constraints: 57363 1645.22/1651.20 c #Conflicts: 399000 | #Constraints: 58363 1645.22/1651.20 c #Conflicts: 400000 | #Constraints: 59363 1645.22/1651.20 c #Conflicts: 401000 | #Constraints: 60363 1645.22/1651.20 c #Conflicts: 402000 | #Constraints: 61363 1645.22/1651.20 c #Conflicts: 403000 | #Constraints: 62363 1645.22/1651.20 c #Conflicts: 404000 | #Constraints: 63363 1645.22/1651.20 c #Conflicts: 405000 | #Constraints: 64363 1645.22/1651.20 c #Conflicts: 406000 | #Constraints: 65363 1645.22/1651.20 c #Conflicts: 407000 | #Constraints: 66363 1645.22/1651.20 c #Conflicts: 408000 | #Constraints: 67363 1645.22/1651.20 c #Conflicts: 409000 | #Constraints: 68363 1645.22/1651.20 c #Conflicts: 410000 | #Constraints: 69363 1645.22/1651.20 c #Conflicts: 411000 | #Constraints: 70363 1645.22/1651.20 c #Conflicts: 412000 | #Constraints: 71363 1645.22/1651.20 c #Conflicts: 413000 | #Constraints: 72363 1645.22/1651.20 c #Conflicts: 414000 | #Constraints: 73363 1645.22/1651.20 c #Conflicts: 415000 | #Constraints: 74363 1645.22/1651.20 c INPROCESSING 1645.22/1651.20 c GARBAGE COLLECT 1645.22/1651.20 c rational objective 179 1933.66/1940.34 c #Conflicts: 416000 | #Constraints: 53773 1933.66/1940.34 c #Conflicts: 417000 | #Constraints: 54773 1933.66/1940.34 c #Conflicts: 418000 | #Constraints: 55773 1933.66/1940.34 c #Conflicts: 419000 | #Constraints: 56773 1933.66/1940.34 c #Conflicts: 420000 | #Constraints: 57773 1933.66/1940.34 c #Conflicts: 421000 | #Constraints: 58773 1933.66/1940.34 c #Conflicts: 422000 | #Constraints: 59773 1933.66/1940.34 c #Conflicts: 423000 | #Constraints: 60773 1933.66/1940.34 c #Conflicts: 424000 | #Constraints: 61773 1933.66/1940.34 c #Conflicts: 425000 | #Constraints: 62773 1933.66/1940.34 c #Conflicts: 426000 | #Constraints: 63773 1933.66/1940.34 c #Conflicts: 427000 | #Constraints: 64774 1933.66/1940.34 c #Conflicts: 428000 | #Constraints: 65774 1933.66/1940.34 c #Conflicts: 429000 | #Constraints: 66776 1933.66/1940.34 c #Conflicts: 430000 | #Constraints: 67776 1933.66/1940.34 c #Conflicts: 431000 | #Constraints: 68776 1933.66/1940.34 c #Conflicts: 432000 | #Constraints: 69776 1933.66/1940.34 c #Conflicts: 433000 | #Constraints: 70776 1933.66/1940.34 c #Conflicts: 434000 | #Constraints: 71776 1933.66/1940.34 c #Conflicts: 435000 | #Constraints: 72776 1933.66/1940.34 c #Conflicts: 436000 | #Constraints: 73776 1933.66/1940.34 c #Conflicts: 437000 | #Constraints: 74776 1933.66/1940.34 c #Conflicts: 438000 | #Constraints: 75777 1933.66/1940.34 c #Conflicts: 439000 | #Constraints: 76777 1933.66/1940.34 c #Conflicts: 440000 | #Constraints: 77777 1933.66/1940.34 c #Conflicts: 441000 | #Constraints: 78777 1933.66/1940.34 c #Conflicts: 442000 | #Constraints: 79777 1933.66/1940.34 c #Conflicts: 443000 | #Constraints: 80777 1933.66/1940.34 c #Conflicts: 444000 | #Constraints: 81777 1933.66/1940.34 c #Conflicts: 445000 | #Constraints: 82777 1933.66/1940.34 c #Conflicts: 446000 | #Constraints: 83778 1933.66/1940.34 c #Conflicts: 447000 | #Constraints: 84778 1933.66/1940.34 c #Conflicts: 448000 | #Constraints: 85779 1933.66/1940.34 c #Conflicts: 449000 | #Constraints: 86779 1933.66/1940.34 c #Conflicts: 450000 | #Constraints: 87781 1933.66/1940.34 c #Conflicts: 451000 | #Constraints: 88783 1933.66/1940.34 c #Conflicts: 452000 | #Constraints: 89785 1933.66/1940.34 c #Conflicts: 453000 | #Constraints: 90786 1933.66/1940.34 c #Conflicts: 454000 | #Constraints: 91788 1933.66/1940.34 c #Conflicts: 455000 | #Constraints: 92788 1933.66/1940.34 c #Conflicts: 456000 | #Constraints: 93788 1933.66/1940.34 c #Conflicts: 457000 | #Constraints: 94788 1933.66/1940.34 c #Conflicts: 458000 | #Constraints: 95788 1933.66/1940.34 c #Conflicts: 459000 | #Constraints: 96788 1933.66/1940.34 c INPROCESSING 1933.66/1940.34 c GARBAGE COLLECT 1933.66/1940.34 c rational objective 179 2015.99/2022.80 c #Conflicts: 460000 | #Constraints: 61131 2015.99/2022.80 c #Conflicts: 461000 | #Constraints: 62131 2015.99/2022.80 c #Conflicts: 462000 | #Constraints: 63131 2015.99/2022.80 c #Conflicts: 463000 | #Constraints: 64131 2015.99/2022.80 c #Conflicts: 464000 | #Constraints: 65132 2015.99/2022.80 c #Conflicts: 465000 | #Constraints: 66132 2015.99/2022.80 c #Conflicts: 466000 | #Constraints: 67132 2015.99/2022.80 c #Conflicts: 467000 | #Constraints: 68132 2015.99/2022.80 c #Conflicts: 468000 | #Constraints: 69132 2015.99/2022.80 c #Conflicts: 469000 | #Constraints: 70132 2015.99/2022.80 c #Conflicts: 470000 | #Constraints: 71132 2015.99/2022.80 c #Conflicts: 471000 | #Constraints: 72132 2015.99/2022.80 c #Conflicts: 472000 | #Constraints: 73132 2015.99/2022.80 c #Conflicts: 473000 | #Constraints: 74132 2015.99/2022.80 c #Conflicts: 474000 | #Constraints: 75132 2015.99/2022.80 c #Conflicts: 475000 | #Constraints: 76132 2015.99/2022.80 c #Conflicts: 476000 | #Constraints: 77132 2015.99/2022.80 c #Conflicts: 477000 | #Constraints: 78132 2015.99/2022.80 c #Conflicts: 478000 | #Constraints: 79132 2015.99/2022.80 c INPROCESSING 2015.99/2022.80 c GARBAGE COLLECT 2015.99/2022.80 c rational objective 179 2169.25/2176.45 c #Conflicts: 479000 | #Constraints: 55938 2169.25/2176.45 c #Conflicts: 480000 | #Constraints: 56938 2169.25/2176.45 c #Conflicts: 481000 | #Constraints: 57938 2169.25/2176.45 c #Conflicts: 482000 | #Constraints: 58938 2169.25/2176.45 c #Conflicts: 483000 | #Constraints: 59938 2169.25/2176.45 c #Conflicts: 484000 | #Constraints: 60938 2169.25/2176.45 c #Conflicts: 485000 | #Constraints: 61938 2169.25/2176.45 c #Conflicts: 486000 | #Constraints: 62938 2169.25/2176.45 c #Conflicts: 487000 | #Constraints: 63938 2169.25/2176.45 c #Conflicts: 488000 | #Constraints: 64938 2169.25/2176.45 c #Conflicts: 489000 | #Constraints: 65938 2169.25/2176.45 c #Conflicts: 490000 | #Constraints: 66938 2169.25/2176.45 c #Conflicts: 491000 | #Constraints: 67938 2169.25/2176.45 c #Conflicts: 492000 | #Constraints: 68938 2169.25/2176.45 c #Conflicts: 493000 | #Constraints: 69938 2169.25/2176.45 c #Conflicts: 494000 | #Constraints: 70938 2169.25/2176.45 c #Conflicts: 495000 | #Constraints: 71938 2169.25/2176.45 c #Conflicts: 496000 | #Constraints: 72938 2169.25/2176.45 c #Conflicts: 497000 | #Constraints: 73938 2169.25/2176.45 c #Conflicts: 498000 | #Constraints: 74938 2169.25/2176.45 c #Conflicts: 499000 | #Constraints: 75938 2169.25/2176.45 c #Conflicts: 500000 | #Constraints: 76938 2169.25/2176.45 c #Conflicts: 501000 | #Constraints: 77938 2169.25/2176.45 c #Conflicts: 502000 | #Constraints: 78938 2169.25/2176.45 c #Conflicts: 503000 | #Constraints: 79938 2169.25/2176.45 c #Conflicts: 504000 | #Constraints: 80938 2169.25/2176.45 c #Conflicts: 505000 | #Constraints: 81939 2169.25/2176.45 c #Conflicts: 506000 | #Constraints: 82939 2169.25/2176.45 c #Conflicts: 507000 | #Constraints: 83939 2169.25/2176.45 c #Conflicts: 508000 | #Constraints: 84939 2169.25/2176.45 c #Conflicts: 509000 | #Constraints: 85939 2169.25/2176.45 c #Conflicts: 510000 | #Constraints: 86939 2169.25/2176.45 c #Conflicts: 511000 | #Constraints: 87939 2169.25/2176.45 c #Conflicts: 512000 | #Constraints: 88939 2169.25/2176.45 c #Conflicts: 513000 | #Constraints: 89939 2169.25/2176.45 c #Conflicts: 514000 | #Constraints: 90939 2169.25/2176.45 c #Conflicts: 515000 | #Constraints: 91939 2169.25/2176.45 c #Conflicts: 516000 | #Constraints: 92939 2169.25/2176.45 c #Conflicts: 517000 | #Constraints: 93939 2169.25/2176.45 c #Conflicts: 518000 | #Constraints: 94939 2169.25/2176.45 c #Conflicts: 519000 | #Constraints: 95939 2169.25/2176.45 c #Conflicts: 520000 | #Constraints: 96939 2169.25/2176.45 c #Conflicts: 521000 | #Constraints: 97940 2169.25/2176.45 c #Conflicts: 522000 | #Constraints: 98940 2169.25/2176.45 c #Conflicts: 523000 | #Constraints: 99940 2169.25/2176.45 c #Conflicts: 524000 | #Constraints: 100940 2169.25/2176.45 c #Conflicts: 525000 | #Constraints: 101941 2169.25/2176.45 c INPROCESSING 2169.25/2176.45 c GARBAGE COLLECT 2169.25/2176.45 c rational objective 179 2262.90/2270.32 c #Conflicts: 526000 | #Constraints: 63802 2262.90/2270.32 c #Conflicts: 527000 | #Constraints: 64802 2262.90/2270.32 c #Conflicts: 528000 | #Constraints: 65802 2262.90/2270.32 c #Conflicts: 529000 | #Constraints: 66802 2262.90/2270.32 c #Conflicts: 530000 | #Constraints: 67802 2262.90/2270.32 c #Conflicts: 531000 | #Constraints: 68802 2262.90/2270.32 c #Conflicts: 532000 | #Constraints: 69802 2262.90/2270.32 c #Conflicts: 533000 | #Constraints: 70802 2262.90/2270.32 c #Conflicts: 534000 | #Constraints: 71802 2262.90/2270.32 c #Conflicts: 535000 | #Constraints: 72802 2262.90/2270.32 c #Conflicts: 536000 | #Constraints: 73802 2262.90/2270.32 c #Conflicts: 537000 | #Constraints: 74803 2262.90/2270.32 c #Conflicts: 538000 | #Constraints: 75803 2262.90/2270.32 c #Conflicts: 539000 | #Constraints: 76804 2262.90/2270.32 c #Conflicts: 540000 | #Constraints: 77804 2262.90/2270.32 c #Conflicts: 541000 | #Constraints: 78804 2262.90/2270.32 c #Conflicts: 542000 | #Constraints: 79805 2262.90/2270.32 c #Conflicts: 543000 | #Constraints: 80805 2262.90/2270.32 c #Conflicts: 544000 | #Constraints: 81805 2262.90/2270.32 c #Conflicts: 545000 | #Constraints: 82805 2262.90/2270.32 c INPROCESSING 2262.90/2270.32 c GARBAGE COLLECT 2262.90/2270.32 c rational objective 179 2393.55/2401.31 c #Conflicts: 546000 | #Constraints: 58265 2393.55/2401.31 c #Conflicts: 547000 | #Constraints: 59265 2393.55/2401.31 c #Conflicts: 548000 | #Constraints: 60265 2393.55/2401.31 c #Conflicts: 549000 | #Constraints: 61265 2393.55/2401.31 c #Conflicts: 550000 | #Constraints: 62265 2393.55/2401.31 c #Conflicts: 551000 | #Constraints: 63265 2393.55/2401.31 c #Conflicts: 552000 | #Constraints: 64265 2393.55/2401.31 c #Conflicts: 553000 | #Constraints: 65265 2393.55/2401.31 c #Conflicts: 554000 | #Constraints: 66265 2393.55/2401.31 c #Conflicts: 555000 | #Constraints: 67265 2393.55/2401.31 c #Conflicts: 556000 | #Constraints: 68265 2393.55/2401.31 c #Conflicts: 557000 | #Constraints: 69265 2393.55/2401.31 c #Conflicts: 558000 | #Constraints: 70265 2393.55/2401.31 c #Conflicts: 559000 | #Constraints: 71265 2393.55/2401.31 c #Conflicts: 560000 | #Constraints: 72265 2393.55/2401.31 c #Conflicts: 561000 | #Constraints: 73265 2393.55/2401.31 c #Conflicts: 562000 | #Constraints: 74265 2393.55/2401.31 c #Conflicts: 563000 | #Constraints: 75265 2393.55/2401.31 c #Conflicts: 564000 | #Constraints: 76265 2393.55/2401.31 c #Conflicts: 565000 | #Constraints: 77265 2393.55/2401.31 c #Conflicts: 566000 | #Constraints: 78265 2393.55/2401.31 c #Conflicts: 567000 | #Constraints: 79265 2393.55/2401.31 c #Conflicts: 568000 | #Constraints: 80265 2393.55/2401.31 c #Conflicts: 569000 | #Constraints: 81265 2393.55/2401.31 c #Conflicts: 570000 | #Constraints: 82265 2393.55/2401.31 c #Conflicts: 571000 | #Constraints: 83265 2393.55/2401.31 c #Conflicts: 572000 | #Constraints: 84265 2393.55/2401.31 c #Conflicts: 573000 | #Constraints: 85265 2393.55/2401.31 c #Conflicts: 574000 | #Constraints: 86265 2393.55/2401.31 c #Conflicts: 575000 | #Constraints: 87265 2393.55/2401.31 c #Conflicts: 576000 | #Constraints: 88266 2393.55/2401.31 c #Conflicts: 577000 | #Constraints: 89266 2393.55/2401.31 c #Conflicts: 578000 | #Constraints: 90266 2393.55/2401.31 c #Conflicts: 579000 | #Constraints: 91266 2393.55/2401.31 c #Conflicts: 580000 | #Constraints: 92266 2393.55/2401.31 c #Conflicts: 581000 | #Constraints: 93266 2393.55/2401.31 c #Conflicts: 582000 | #Constraints: 94266 2393.55/2401.31 c #Conflicts: 583000 | #Constraints: 95266 2393.55/2401.31 c #Conflicts: 584000 | #Constraints: 96266 2393.55/2401.31 c #Conflicts: 585000 | #Constraints: 97266 2393.55/2401.31 c #Conflicts: 586000 | #Constraints: 98266 2393.55/2401.31 c #Conflicts: 587000 | #Constraints: 99266 2393.55/2401.31 c #Conflicts: 588000 | #Constraints: 100266 2393.55/2401.31 c #Conflicts: 589000 | #Constraints: 101267 2393.55/2401.31 c #Conflicts: 590000 | #Constraints: 102267 2393.55/2401.31 c #Conflicts: 591000 | #Constraints: 103267 2393.55/2401.31 c #Conflicts: 592000 | #Constraints: 104267 2393.55/2401.31 c #Conflicts: 593000 | #Constraints: 105267 2393.55/2401.31 c #Conflicts: 594000 | #Constraints: 106267 2393.55/2401.31 c #Conflicts: 595000 | #Constraints: 107267 2393.55/2401.31 c INPROCESSING 2393.55/2401.31 c GARBAGE COLLECT 2393.55/2401.31 c rational objective 179 2454.48/2462.43 c #Conflicts: 596000 | #Constraints: 66533 2454.48/2462.43 c #Conflicts: 597000 | #Constraints: 67533 2454.48/2462.43 c #Conflicts: 598000 | #Constraints: 68533 2454.48/2462.43 c #Conflicts: 599000 | #Constraints: 69533 2454.48/2462.43 c #Conflicts: 600000 | #Constraints: 70533 2454.48/2462.43 c #Conflicts: 601000 | #Constraints: 71533 2454.48/2462.43 c #Conflicts: 602000 | #Constraints: 72534 2454.48/2462.43 c #Conflicts: 603000 | #Constraints: 73534 2454.48/2462.43 c #Conflicts: 604000 | #Constraints: 74534 2454.48/2462.43 c #Conflicts: 605000 | #Constraints: 75534 2454.48/2462.43 c #Conflicts: 606000 | #Constraints: 76534 2454.48/2462.43 c #Conflicts: 607000 | #Constraints: 77535 2454.48/2462.43 c #Conflicts: 608000 | #Constraints: 78535 2454.48/2462.43 c #Conflicts: 609000 | #Constraints: 79535 2454.48/2462.43 c #Conflicts: 610000 | #Constraints: 80535 2454.48/2462.43 c #Conflicts: 611000 | #Constraints: 81535 2454.48/2462.43 c #Conflicts: 612000 | #Constraints: 82535 2454.48/2462.43 c #Conflicts: 613000 | #Constraints: 83535 2454.48/2462.43 c #Conflicts: 614000 | #Constraints: 84535 2454.48/2462.43 c #Conflicts: 615000 | #Constraints: 85536 2454.48/2462.43 c #Conflicts: 616000 | #Constraints: 86536 2454.48/2462.43 c #Conflicts: 617000 | #Constraints: 87536 2454.48/2462.43 c INPROCESSING 2454.48/2462.43 c GARBAGE COLLECT 2454.48/2462.43 c rational objective 179 2612.86/2621.23 c #Conflicts: 618000 | #Constraints: 61629 2612.86/2621.23 c #Conflicts: 619000 | #Constraints: 62629 2612.86/2621.23 c #Conflicts: 620000 | #Constraints: 63630 2612.86/2621.23 c #Conflicts: 621000 | #Constraints: 64630 2612.86/2621.23 c #Conflicts: 622000 | #Constraints: 65630 2612.86/2621.23 c #Conflicts: 623000 | #Constraints: 66630 2612.86/2621.23 c #Conflicts: 624000 | #Constraints: 67630 2612.86/2621.23 c #Conflicts: 625000 | #Constraints: 68630 2612.86/2621.23 c #Conflicts: 626000 | #Constraints: 69630 2612.86/2621.23 c #Conflicts: 627000 | #Constraints: 70630 2612.86/2621.23 c #Conflicts: 628000 | #Constraints: 71630 2612.86/2621.23 c #Conflicts: 629000 | #Constraints: 72630 2612.86/2621.23 c #Conflicts: 630000 | #Constraints: 73630 2612.86/2621.23 c #Conflicts: 631000 | #Constraints: 74630 2612.86/2621.23 c #Conflicts: 632000 | #Constraints: 75630 2612.86/2621.23 c #Conflicts: 633000 | #Constraints: 76630 2612.86/2621.23 c #Conflicts: 634000 | #Constraints: 77630 2612.86/2621.23 c #Conflicts: 635000 | #Constraints: 78631 2612.86/2621.23 c #Conflicts: 636000 | #Constraints: 79631 2612.86/2621.23 c #Conflicts: 637000 | #Constraints: 80631 2612.86/2621.23 c #Conflicts: 638000 | #Constraints: 81631 2612.86/2621.23 c #Conflicts: 639000 | #Constraints: 82631 2612.86/2621.23 c #Conflicts: 640000 | #Constraints: 83631 2612.86/2621.23 c #Conflicts: 641000 | #Constraints: 84631 2612.86/2621.23 c #Conflicts: 642000 | #Constraints: 85631 2612.86/2621.23 c #Conflicts: 643000 | #Constraints: 86631 2612.86/2621.23 c #Conflicts: 644000 | #Constraints: 87631 2612.86/2621.23 c #Conflicts: 645000 | #Constraints: 88631 2612.86/2621.23 c #Conflicts: 646000 | #Constraints: 89631 2612.86/2621.23 c #Conflicts: 647000 | #Constraints: 90631 2612.86/2621.23 c #Conflicts: 648000 | #Constraints: 91631 2612.86/2621.23 c #Conflicts: 649000 | #Constraints: 92631 2612.86/2621.23 c #Conflicts: 650000 | #Constraints: 93631 2612.86/2621.23 c #Conflicts: 651000 | #Constraints: 94631 2612.86/2621.23 c #Conflicts: 652000 | #Constraints: 95631 2612.86/2621.23 c #Conflicts: 653000 | #Constraints: 96631 2612.86/2621.23 c #Conflicts: 654000 | #Constraints: 97631 2612.86/2621.23 c #Conflicts: 655000 | #Constraints: 98631 2612.86/2621.23 c #Conflicts: 656000 | #Constraints: 99631 2612.86/2621.23 c #Conflicts: 657000 | #Constraints: 100631 2612.86/2621.23 c #Conflicts: 658000 | #Constraints: 101631 2612.86/2621.23 c #Conflicts: 659000 | #Constraints: 102631 2612.86/2621.23 c #Conflicts: 660000 | #Constraints: 103631 2612.86/2621.23 c #Conflicts: 661000 | #Constraints: 104631 2612.86/2621.23 c #Conflicts: 662000 | #Constraints: 105631 2612.86/2621.23 c #Conflicts: 663000 | #Constraints: 106631 2612.86/2621.23 c #Conflicts: 664000 | #Constraints: 107631 2612.86/2621.23 c #Conflicts: 665000 | #Constraints: 108631 2612.86/2621.23 c #Conflicts: 666000 | #Constraints: 109631 2612.86/2621.23 c #Conflicts: 667000 | #Constraints: 110631 2612.86/2621.23 c #Conflicts: 668000 | #Constraints: 111631 2612.86/2621.23 c #Conflicts: 669000 | #Constraints: 112631 2612.86/2621.23 c INPROCESSING 2612.86/2621.23 c GARBAGE COLLECT 2612.86/2621.23 c rational objective 179 2691.18/2699.79 c #Conflicts: 670000 | #Constraints: 68943 2691.18/2699.79 c #Conflicts: 671000 | #Constraints: 69943 2691.18/2699.79 c #Conflicts: 672000 | #Constraints: 70943 2691.18/2699.79 c #Conflicts: 673000 | #Constraints: 71943 2691.18/2699.79 c #Conflicts: 674000 | #Constraints: 72943 2691.18/2699.79 c #Conflicts: 675000 | #Constraints: 73943 2691.18/2699.79 c #Conflicts: 676000 | #Constraints: 74943 2691.18/2699.79 c #Conflicts: 677000 | #Constraints: 75943 2691.18/2699.79 c #Conflicts: 678000 | #Constraints: 76943 2691.18/2699.79 c #Conflicts: 679000 | #Constraints: 77943 2691.18/2699.79 c #Conflicts: 680000 | #Constraints: 78943 2691.18/2699.79 c #Conflicts: 681000 | #Constraints: 79944 2691.18/2699.79 c #Conflicts: 682000 | #Constraints: 80944 2691.18/2699.79 c #Conflicts: 683000 | #Constraints: 81945 2691.18/2699.79 c #Conflicts: 684000 | #Constraints: 82945 2691.18/2699.79 c #Conflicts: 685000 | #Constraints: 83945 2691.18/2699.79 c #Conflicts: 686000 | #Constraints: 84945 2691.18/2699.79 c #Conflicts: 687000 | #Constraints: 85945 2691.18/2699.79 c #Conflicts: 688000 | #Constraints: 86946 2691.18/2699.79 c #Conflicts: 689000 | #Constraints: 87946 2691.18/2699.79 c #Conflicts: 690000 | #Constraints: 88946 2691.18/2699.79 c #Conflicts: 691000 | #Constraints: 89946 2691.18/2699.79 c #Conflicts: 692000 | #Constraints: 90946 2691.18/2699.79 c #Conflicts: 693000 | #Constraints: 91946 2691.18/2699.79 c INPROCESSING 2691.18/2699.79 c GARBAGE COLLECT 2691.18/2699.79 c rational objective 179 2843.24/2852.14 c #Conflicts: 694000 | #Constraints: 64738 2843.24/2852.14 c #Conflicts: 695000 | #Constraints: 65738 2843.24/2852.14 c #Conflicts: 696000 | #Constraints: 66738 2843.24/2852.14 c #Conflicts: 697000 | #Constraints: 67738 2843.24/2852.14 c #Conflicts: 698000 | #Constraints: 68738 2843.24/2852.14 c #Conflicts: 699000 | #Constraints: 69738 2843.24/2852.14 c #Conflicts: 700000 | #Constraints: 70738 2843.24/2852.14 c #Conflicts: 701000 | #Constraints: 71738 2843.24/2852.14 c #Conflicts: 702000 | #Constraints: 72738 2843.24/2852.14 c #Conflicts: 703000 | #Constraints: 73738 2843.24/2852.14 c #Conflicts: 704000 | #Constraints: 74738 2843.24/2852.14 c #Conflicts: 705000 | #Constraints: 75739 2843.24/2852.14 c #Conflicts: 706000 | #Constraints: 76739 2843.24/2852.14 c #Conflicts: 707000 | #Constraints: 77739 2843.24/2852.14 c #Conflicts: 708000 | #Constraints: 78739 2843.24/2852.14 c #Conflicts: 709000 | #Constraints: 79739 2843.24/2852.14 c #Conflicts: 710000 | #Constraints: 80739 2843.24/2852.14 c #Conflicts: 711000 | #Constraints: 81739 2843.24/2852.14 c #Conflicts: 712000 | #Constraints: 82739 2843.24/2852.14 c #Conflicts: 713000 | #Constraints: 83739 2843.24/2852.14 c #Conflicts: 714000 | #Constraints: 84739 2843.24/2852.14 c #Conflicts: 715000 | #Constraints: 85739 2843.24/2852.14 c #Conflicts: 716000 | #Constraints: 86739 2843.24/2852.14 c #Conflicts: 717000 | #Constraints: 87739 2843.24/2852.14 c #Conflicts: 718000 | #Constraints: 88739 2843.24/2852.14 c #Conflicts: 719000 | #Constraints: 89739 2843.24/2852.14 c #Conflicts: 720000 | #Constraints: 90739 2843.24/2852.14 c #Conflicts: 721000 | #Constraints: 91739 2843.24/2852.14 c #Conflicts: 722000 | #Constraints: 92739 2843.24/2852.14 c #Conflicts: 723000 | #Constraints: 93739 2843.24/2852.14 c #Conflicts: 724000 | #Constraints: 94739 2843.24/2852.14 c #Conflicts: 725000 | #Constraints: 95739 2843.24/2852.14 c #Conflicts: 726000 | #Constraints: 96739 2843.24/2852.14 c #Conflicts: 727000 | #Constraints: 97739 2843.24/2852.14 c #Conflicts: 728000 | #Constraints: 98739 2843.24/2852.14 c #Conflicts: 729000 | #Constraints: 99739 2843.24/2852.14 c #Conflicts: 730000 | #Constraints: 100739 2843.24/2852.14 c #Conflicts: 731000 | #Constraints: 101739 2843.24/2852.14 c #Conflicts: 732000 | #Constraints: 102739 2843.24/2852.14 c #Conflicts: 733000 | #Constraints: 103739 2843.24/2852.14 c #Conflicts: 734000 | #Constraints: 104739 2843.24/2852.14 c #Conflicts: 735000 | #Constraints: 105739 2843.24/2852.14 c #Conflicts: 736000 | #Constraints: 106739 2843.24/2852.14 c #Conflicts: 737000 | #Constraints: 107739 2843.24/2852.14 c #Conflicts: 738000 | #Constraints: 108739 2843.24/2852.14 c #Conflicts: 739000 | #Constraints: 109739 2843.24/2852.14 c #Conflicts: 740000 | #Constraints: 110739 2843.24/2852.14 c #Conflicts: 741000 | #Constraints: 111739 2843.24/2852.14 c #Conflicts: 742000 | #Constraints: 112739 2843.24/2852.14 c #Conflicts: 743000 | #Constraints: 113739 2843.24/2852.14 c #Conflicts: 744000 | #Constraints: 114739 2843.24/2852.14 c #Conflicts: 745000 | #Constraints: 115739 2843.24/2852.14 c #Conflicts: 746000 | #Constraints: 116739 2843.24/2852.14 c #Conflicts: 747000 | #Constraints: 117739 2843.24/2852.14 c #Conflicts: 748000 | #Constraints: 118739 2843.24/2852.14 c INPROCESSING 2843.24/2852.14 c GARBAGE COLLECT 2843.24/2852.14 c rational objective 179 2898.13/2907.13 c #Conflicts: 749000 | #Constraints: 71996 2898.13/2907.13 c #Conflicts: 750000 | #Constraints: 72997 2898.13/2907.13 c #Conflicts: 751000 | #Constraints: 73998 2898.13/2907.13 c #Conflicts: 752000 | #Constraints: 74998 2898.13/2907.13 c #Conflicts: 753000 | #Constraints: 75998 2898.13/2907.13 c #Conflicts: 754000 | #Constraints: 76999 2898.13/2907.13 c #Conflicts: 755000 | #Constraints: 77999 2898.13/2907.13 c #Conflicts: 756000 | #Constraints: 78999 2898.13/2907.13 c #Conflicts: 757000 | #Constraints: 79999 2898.13/2907.13 c #Conflicts: 758000 | #Constraints: 80999 2898.13/2907.13 c #Conflicts: 759000 | #Constraints: 81999 2898.13/2907.13 c #Conflicts: 760000 | #Constraints: 82999 2898.13/2907.13 c #Conflicts: 761000 | #Constraints: 83999 2898.13/2907.13 c #Conflicts: 762000 | #Constraints: 84999 2898.13/2907.13 c #Conflicts: 763000 | #Constraints: 85999 2898.13/2907.13 c #Conflicts: 764000 | #Constraints: 86999 2898.13/2907.13 c #Conflicts: 765000 | #Constraints: 87999 2898.13/2907.13 c #Conflicts: 766000 | #Constraints: 88999 2898.13/2907.13 c #Conflicts: 767000 | #Constraints: 89999 2898.13/2907.13 c #Conflicts: 768000 | #Constraints: 90999 2898.13/2907.13 c #Conflicts: 769000 | #Constraints: 91999 2898.13/2907.13 c #Conflicts: 770000 | #Constraints: 92999 2898.13/2907.13 c #Conflicts: 771000 | #Constraints: 93999 2898.13/2907.13 c #Conflicts: 772000 | #Constraints: 94999 2898.13/2907.13 c #Conflicts: 773000 | #Constraints: 95999 2898.13/2907.13 c INPROCESSING 2898.13/2907.13 c GARBAGE COLLECT 2898.13/2907.13 c rational objective 179 3089.44/3098.82 c #Conflicts: 774000 | #Constraints: 66753 3089.44/3098.82 c #Conflicts: 775000 | #Constraints: 67753 3089.44/3098.82 c #Conflicts: 776000 | #Constraints: 68753 3089.44/3098.82 c #Conflicts: 777000 | #Constraints: 69753 3089.44/3098.82 c #Conflicts: 778000 | #Constraints: 70754 3089.44/3098.82 c #Conflicts: 779000 | #Constraints: 71754 3089.44/3098.82 c #Conflicts: 780000 | #Constraints: 72754 3089.44/3098.82 c #Conflicts: 781000 | #Constraints: 73754 3089.44/3098.82 c #Conflicts: 782000 | #Constraints: 74754 3089.44/3098.82 c #Conflicts: 783000 | #Constraints: 75754 3089.44/3098.82 c #Conflicts: 784000 | #Constraints: 76754 3089.44/3098.82 c #Conflicts: 785000 | #Constraints: 77754 3089.44/3098.82 c #Conflicts: 786000 | #Constraints: 78755 3089.44/3098.82 c #Conflicts: 787000 | #Constraints: 79755 3089.44/3098.82 c #Conflicts: 788000 | #Constraints: 80755 3089.44/3098.82 c #Conflicts: 789000 | #Constraints: 81755 3089.44/3098.82 c #Conflicts: 790000 | #Constraints: 82755 3089.44/3098.82 c #Conflicts: 791000 | #Constraints: 83755 3089.44/3098.82 c #Conflicts: 792000 | #Constraints: 84755 3089.44/3098.82 c #Conflicts: 793000 | #Constraints: 85755 3089.44/3098.82 c #Conflicts: 794000 | #Constraints: 86755 3089.44/3098.82 c #Conflicts: 795000 | #Constraints: 87755 3089.44/3098.82 c #Conflicts: 796000 | #Constraints: 88755 3089.44/3098.82 c #Conflicts: 797000 | #Constraints: 89755 3089.44/3098.82 c #Conflicts: 798000 | #Constraints: 90755 3089.44/3098.82 c #Conflicts: 799000 | #Constraints: 91755 3089.44/3098.82 c #Conflicts: 800000 | #Constraints: 92755 3089.44/3098.82 c #Conflicts: 801000 | #Constraints: 93755 3089.44/3098.82 c #Conflicts: 802000 | #Constraints: 94755 3089.44/3098.82 c #Conflicts: 803000 | #Constraints: 95755 3089.44/3098.82 c #Conflicts: 804000 | #Constraints: 96756 3089.44/3098.82 c #Conflicts: 805000 | #Constraints: 97756 3089.44/3098.82 c #Conflicts: 806000 | #Constraints: 98756 3089.44/3098.82 c #Conflicts: 807000 | #Constraints: 99756 3089.44/3098.82 c #Conflicts: 808000 | #Constraints: 100756 3089.44/3098.82 c #Conflicts: 809000 | #Constraints: 101756 3089.44/3098.82 c #Conflicts: 810000 | #Constraints: 102756 3089.44/3098.82 c #Conflicts: 811000 | #Constraints: 103756 3089.44/3098.82 c #Conflicts: 812000 | #Constraints: 104756 3089.44/3098.82 c #Conflicts: 813000 | #Constraints: 105756 3089.44/3098.82 c #Conflicts: 814000 | #Constraints: 106756 3089.44/3098.82 c #Conflicts: 815000 | #Constraints: 107756 3089.44/3098.82 c #Conflicts: 816000 | #Constraints: 108756 3089.44/3098.82 c #Conflicts: 817000 | #Constraints: 109757 3089.44/3098.82 c #Conflicts: 818000 | #Constraints: 110757 3089.44/3098.82 c #Conflicts: 819000 | #Constraints: 111757 3089.44/3098.82 c #Conflicts: 820000 | #Constraints: 112757 3089.44/3098.82 c #Conflicts: 821000 | #Constraints: 113757 3089.44/3098.82 c #Conflicts: 822000 | #Constraints: 114757 3089.44/3098.82 c #Conflicts: 823000 | #Constraints: 115757 3089.44/3098.82 c #Conflicts: 824000 | #Constraints: 116757 3089.44/3098.82 c #Conflicts: 825000 | #Constraints: 117757 3089.44/3098.82 c #Conflicts: 826000 | #Constraints: 118757 3089.44/3098.82 c #Conflicts: 827000 | #Constraints: 119757 3089.44/3098.82 c #Conflicts: 828000 | #Constraints: 120757 3089.44/3098.82 c #Conflicts: 829000 | #Constraints: 121757 3089.44/3098.82 c #Conflicts: 830000 | #Constraints: 122757 3089.44/3098.82 c #Conflicts: 831000 | #Constraints: 123757 3089.44/3098.82 c #Conflicts: 832000 | #Constraints: 124757 3089.44/3098.82 c INPROCESSING 3089.44/3098.82 c GARBAGE COLLECT 3089.44/3098.82 c rational objective 179 3148.63/3158.10 c #Conflicts: 833000 | #Constraints: 75431 3148.63/3158.10 c #Conflicts: 834000 | #Constraints: 76431 3148.63/3158.10 c #Conflicts: 835000 | #Constraints: 77431 3148.63/3158.10 c #Conflicts: 836000 | #Constraints: 78431 3148.63/3158.10 c #Conflicts: 837000 | #Constraints: 79431 3148.63/3158.10 c #Conflicts: 838000 | #Constraints: 80431 3148.63/3158.10 c #Conflicts: 839000 | #Constraints: 81431 3148.63/3158.10 c #Conflicts: 840000 | #Constraints: 82431 3148.63/3158.10 c #Conflicts: 841000 | #Constraints: 83431 3148.63/3158.10 c #Conflicts: 842000 | #Constraints: 84431 3148.63/3158.10 c #Conflicts: 843000 | #Constraints: 85432 3148.63/3158.10 c #Conflicts: 844000 | #Constraints: 86432 3148.63/3158.10 c #Conflicts: 845000 | #Constraints: 87432 3148.63/3158.10 c #Conflicts: 846000 | #Constraints: 88433 3148.63/3158.10 c #Conflicts: 847000 | #Constraints: 89433 3148.63/3158.10 c #Conflicts: 848000 | #Constraints: 90433 3148.63/3158.10 c #Conflicts: 849000 | #Constraints: 91433 3148.63/3158.10 c #Conflicts: 850000 | #Constraints: 92434 3148.63/3158.10 c #Conflicts: 851000 | #Constraints: 93434 3148.63/3158.10 c #Conflicts: 852000 | #Constraints: 94434 3148.63/3158.10 c #Conflicts: 853000 | #Constraints: 95434 3148.63/3158.10 c #Conflicts: 854000 | #Constraints: 96434 3148.63/3158.10 c #Conflicts: 855000 | #Constraints: 97434 3148.63/3158.10 c #Conflicts: 856000 | #Constraints: 98434 3148.63/3158.10 c #Conflicts: 857000 | #Constraints: 99434 3148.63/3158.10 c #Conflicts: 858000 | #Constraints: 100434 3148.63/3158.10 c INPROCESSING 3148.63/3158.10 c GARBAGE COLLECT 3148.63/3158.10 c rational objective 179 3375.97/3385.91 c #Conflicts: 859000 | #Constraints: 70099 3375.97/3385.91 c #Conflicts: 860000 | #Constraints: 71099 3375.97/3385.91 c #Conflicts: 861000 | #Constraints: 72099 3375.97/3385.91 c #Conflicts: 862000 | #Constraints: 73099 3375.97/3385.91 c #Conflicts: 863000 | #Constraints: 74099 3375.97/3385.91 c #Conflicts: 864000 | #Constraints: 75099 3375.97/3385.91 c #Conflicts: 865000 | #Constraints: 76099 3375.97/3385.91 c #Conflicts: 866000 | #Constraints: 77100 3375.97/3385.91 c #Conflicts: 867000 | #Constraints: 78100 3375.97/3385.91 c #Conflicts: 868000 | #Constraints: 79100 3375.97/3385.91 c #Conflicts: 869000 | #Constraints: 80100 3375.97/3385.91 c #Conflicts: 870000 | #Constraints: 81100 3375.97/3385.91 c #Conflicts: 871000 | #Constraints: 82100 3375.97/3385.91 c #Conflicts: 872000 | #Constraints: 83100 3375.97/3385.91 c #Conflicts: 873000 | #Constraints: 84100 3375.97/3385.91 c #Conflicts: 874000 | #Constraints: 85100 3375.97/3385.91 c #Conflicts: 875000 | #Constraints: 86100 3375.97/3385.91 c #Conflicts: 876000 | #Constraints: 87100 3375.97/3385.91 c #Conflicts: 877000 | #Constraints: 88100 3375.97/3385.91 c #Conflicts: 878000 | #Constraints: 89100 3375.97/3385.91 c #Conflicts: 879000 | #Constraints: 90100 3375.97/3385.91 c #Conflicts: 880000 | #Constraints: 91100 3375.97/3385.91 c #Conflicts: 881000 | #Constraints: 92100 3375.97/3385.91 c #Conflicts: 882000 | #Constraints: 93100 3375.97/3385.91 c #Conflicts: 883000 | #Constraints: 94100 3375.97/3385.91 c #Conflicts: 884000 | #Constraints: 95100 3375.97/3385.91 c #Conflicts: 885000 | #Constraints: 96101 3375.97/3385.91 c #Conflicts: 886000 | #Constraints: 97101 3375.97/3385.91 c #Conflicts: 887000 | #Constraints: 98101 3375.97/3385.91 c #Conflicts: 888000 | #Constraints: 99101 3375.97/3385.91 c #Conflicts: 889000 | #Constraints: 100101 3375.97/3385.91 c #Conflicts: 890000 | #Constraints: 101101 3375.97/3385.91 c #Conflicts: 891000 | #Constraints: 102101 3375.97/3385.91 c #Conflicts: 892000 | #Constraints: 103101 3375.97/3385.91 c #Conflicts: 893000 | #Constraints: 104101 3375.97/3385.91 c #Conflicts: 894000 | #Constraints: 105101 3375.97/3385.91 c #Conflicts: 895000 | #Constraints: 106101 3375.97/3385.91 c #Conflicts: 896000 | #Constraints: 107101 3375.97/3385.91 c #Conflicts: 897000 | #Constraints: 108101 3375.97/3385.91 c #Conflicts: 898000 | #Constraints: 109101 3375.97/3385.91 c #Conflicts: 899000 | #Constraints: 110101 3375.97/3385.91 c #Conflicts: 900000 | #Constraints: 111101 3375.97/3385.91 c #Conflicts: 901000 | #Constraints: 112101 3375.97/3385.91 c #Conflicts: 902000 | #Constraints: 113101 3375.97/3385.91 c #Conflicts: 903000 | #Constraints: 114101 3375.97/3385.91 c #Conflicts: 904000 | #Constraints: 115101 3375.97/3385.91 c #Conflicts: 905000 | #Constraints: 116101 3375.97/3385.91 c #Conflicts: 906000 | #Constraints: 117101 3375.97/3385.91 c #Conflicts: 907000 | #Constraints: 118101 3375.97/3385.91 c #Conflicts: 908000 | #Constraints: 119101 3375.97/3385.91 c #Conflicts: 909000 | #Constraints: 120101 3375.97/3385.91 c #Conflicts: 910000 | #Constraints: 121101 3375.97/3385.91 c #Conflicts: 911000 | #Constraints: 122101 3375.97/3385.91 c #Conflicts: 912000 | #Constraints: 123101 3375.97/3385.91 c #Conflicts: 913000 | #Constraints: 124101 3375.97/3385.91 c #Conflicts: 914000 | #Constraints: 125101 3375.97/3385.91 c #Conflicts: 915000 | #Constraints: 126101 3375.97/3385.91 c #Conflicts: 916000 | #Constraints: 127101 3375.97/3385.91 c #Conflicts: 917000 | #Constraints: 128102 3375.97/3385.91 c #Conflicts: 918000 | #Constraints: 129102 3375.97/3385.91 c #Conflicts: 919000 | #Constraints: 130102 3375.97/3385.91 c #Conflicts: 920000 | #Constraints: 131102 3375.97/3385.91 c INPROCESSING 3375.97/3385.91 c GARBAGE COLLECT 3375.97/3385.91 c rational objective 179 3551.32/3561.60 c #Conflicts: 921000 | #Constraints: 79068 3551.32/3561.60 c #Conflicts: 922000 | #Constraints: 80068 3551.32/3561.60 c #Conflicts: 923000 | #Constraints: 81068 3551.32/3561.60 c #Conflicts: 924000 | #Constraints: 82068 3551.32/3561.60 c #Conflicts: 925000 | #Constraints: 83068 3551.32/3561.60 c #Conflicts: 926000 | #Constraints: 84068 3551.32/3561.60 c #Conflicts: 927000 | #Constraints: 85068 3551.32/3561.60 c #Conflicts: 928000 | #Constraints: 86068 3551.32/3561.60 c #Conflicts: 929000 | #Constraints: 87068 3551.32/3561.60 c #Conflicts: 930000 | #Constraints: 88068 3551.32/3561.60 c #Conflicts: 931000 | #Constraints: 89068 3551.32/3561.60 c #Conflicts: 932000 | #Constraints: 90068 3551.32/3561.60 c #Conflicts: 933000 | #Constraints: 91068 3551.32/3561.60 c #Conflicts: 934000 | #Constraints: 92068 3551.32/3561.60 c #Conflicts: 935000 | #Constraints: 93068 3551.32/3561.60 c #Conflicts: 936000 | #Constraints: 94068 3551.32/3561.60 c #Conflicts: 937000 | #Constraints: 95068 3551.32/3561.60 c #Conflicts: 938000 | #Constraints: 96068 3551.32/3561.60 c #Conflicts: 939000 | #Constraints: 97068 3551.32/3561.60 c #Conflicts: 940000 | #Constraints: 98068 3551.32/3561.60 c #Conflicts: 941000 | #Constraints: 99068 3551.32/3561.60 c #Conflicts: 942000 | #Constraints: 100068 3551.32/3561.60 c #Conflicts: 943000 | #Constraints: 101068 3551.32/3561.60 c #Conflicts: 944000 | #Constraints: 102069 3551.32/3561.60 c #Conflicts: 945000 | #Constraints: 103069 3551.32/3561.60 c #Conflicts: 946000 | #Constraints: 104069 3551.32/3561.60 c #Conflicts: 947000 | #Constraints: 105069 3551.32/3561.60 c INPROCESSING 3551.32/3561.60 c GARBAGE COLLECT 3551.32/3561.60 c rational objective 179
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: 63931 MiB (9717 MiB free)
memory of node 1: 64510 MiB (38411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457169-1721826947/watcher-4457169-1721826947 -o /tmp/evaluation-result-4457169-1721826947/solver-4457169-1721826947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183571 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457169-1721826947 --lp-cut-gomory=0 HOME/instance-4457169-1721826947.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=189598, runsolver pid=189595
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.12 4.12 4.15 4/268 189599
/proc/meminfo: memFree=49280572/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/189598/stat : 189598 (roundingsat) D 189595 189598 183559 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 19223271 38273024 646 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.205848 s]*
/proc/loadavg: 4.12 4.12 4.15 4/268 189599
/proc/meminfo: memFree=49273656/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/189598/stat : 189598 (roundingsat) D 189595 189598 183559 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 19223271 38273024 646 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.305938 s]*
/proc/loadavg: 4.12 4.12 4.15 4/268 189599
/proc/meminfo: memFree=49272880/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/189598/stat : 189598 (roundingsat) D 189595 189598 183559 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 19223271 38273024 646 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.700239 s]
/proc/loadavg: 4.12 4.12 4.15 4/268 189599
/proc/meminfo: memFree=49265684/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/189598/stat : 189598 (roundingsat) D 189595 189598 183559 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 19223271 38273024 646 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.12 4.15 4/268 189599
/proc/meminfo: memFree=49246504/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/189598/stat : 189598 (roundingsat) D 189595 189598 183559 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 19223271 38273024 646 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+3.10582 s]
/proc/loadavg: 4.11 4.12 4.15 5/268 189599
/proc/meminfo: memFree=49101672/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=76920 memory=44960 CPUtime=1.47 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 11612 0 0 0 143 4 0 0 20 0 1 0 19223271 78766080 11240 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 19230 11240 1709 992 0 11088 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 76920 KiB
Current children cumulated memory: 44960 KiB
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 4.10 4.12 4.15 5/268 189601
/proc/meminfo: memFree=48900828/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=79596 memory=49352 CPUtime=4.66 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 12637 0 0 0 446 20 0 0 20 0 1 0 19223271 81506304 12338 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 19899 12338 1755 992 0 11757 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 79596 KiB
Current children cumulated memory: 49352 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.15 5/268 189602
/proc/meminfo: memFree=48497784/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=83164 memory=53572 CPUtime=11.04 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 13683 0 0 0 1081 23 0 0 20 0 1 0 19223271 85159936 13393 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 20791 13393 1755 992 0 12649 0
Current children cumulated CPU time: 11.04 s
Current children cumulated vsize: 83164 KiB
Current children cumulated memory: 53572 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.14 5/267 189603
/proc/meminfo: memFree=47766040/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=88024 memory=56188 CPUtime=23.81 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 14281 0 0 0 2328 53 0 0 20 0 1 0 19223271 90136576 14047 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 22006 14047 1833 992 0 13864 0
Current children cumulated CPU time: 23.81 s
Current children cumulated vsize: 88024 KiB
Current children cumulated memory: 56188 KiB
[startup+51.106 s]
/proc/loadavg: 4.05 4.10 4.14 5/267 189608
/proc/meminfo: memFree=46478392/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=117252 memory=87500 CPUtime=49.35 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 19051 0 0 0 4818 117 0 0 20 0 1 0 19223271 120066048 21875 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 29313 21875 1833 992 0 21171 0
Current children cumulated CPU time: 49.35 s
Current children cumulated vsize: 117252 KiB
Current children cumulated memory: 87500 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/267 189617
/proc/meminfo: memFree=44486436/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=137260 memory=107448 CPUtime=100.4 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 21486 0 0 0 9847 193 0 0 20 0 1 0 19223271 140554240 26862 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 34315 26862 1865 992 0 26173 0
Current children cumulated CPU time: 100.4 s
Current children cumulated vsize: 137260 KiB
Current children cumulated memory: 107448 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.14 5/266 189627
/proc/meminfo: memFree=41809280/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=195568 memory=141408 CPUtime=160.25 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 24910 0 0 0 15762 263 0 0 20 0 1 0 19223271 200261632 35352 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 48892 35352 1865 992 0 40750 0
Current children cumulated CPU time: 160.25 s
Current children cumulated vsize: 195568 KiB
Current children cumulated memory: 141408 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/260 189639
/proc/meminfo: memFree=38780524/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=266500 memory=198584 CPUtime=220.09 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 29976 0 0 0 21652 357 0 0 20 0 1 0 19223271 272896000 49646 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 66625 49646 1865 992 0 58483 0
Current children cumulated CPU time: 220.09 s
Current children cumulated vsize: 266500 KiB
Current children cumulated memory: 198584 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.15 4.15 5/264 189653
/proc/meminfo: memFree=35496672/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=269208 memory=201748 CPUtime=279.94 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 30746 0 0 0 27574 420 0 0 20 0 1 0 19223271 275668992 50437 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 67302 50437 1865 992 0 59160 0
Current children cumulated CPU time: 279.94 s
Current children cumulated vsize: 269208 KiB
Current children cumulated memory: 201748 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/263 189667
/proc/meminfo: memFree=32103148/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=272824 memory=205516 CPUtime=339.79 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 32534 0 0 0 33509 470 0 0 20 0 1 0 19223271 279371776 51379 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 68206 51379 1865 992 0 60064 0
Current children cumulated CPU time: 339.79 s
Current children cumulated vsize: 272824 KiB
Current children cumulated memory: 205516 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/263 189678
/proc/meminfo: memFree=29256404/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=272824 memory=205516 CPUtime=399.63 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 32534 0 0 0 39435 528 0 0 20 0 1 0 19223271 279371776 51379 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 68206 51379 1865 992 0 60064 0
Current children cumulated CPU time: 399.63 s
Current children cumulated vsize: 272824 KiB
Current children cumulated memory: 205516 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/263 189688
/proc/meminfo: memFree=26231832/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=292004 memory=224772 CPUtime=459.48 cores=1,3
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 2.21 2.15 2.32 3/245 191411
/proc/meminfo: memFree=112914968/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1974832 memory=1425412 CPUtime=3033.05 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 133168 0 0 0 299606 3699 0 0 20 0 1 0 19223271 2022227968 356353 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 493708 356353 1955 992 0 485566 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 1974832 KiB
Current children cumulated memory: 1425412 KiB
[startup+3102.3 s]
/proc/loadavg: 2.08 2.12 2.30 3/245 191422
/proc/meminfo: memFree=112767244/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1979052 memory=1429964 CPUtime=3092.93 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 134793 0 0 0 305520 3773 0 0 20 0 1 0 19223271 2026549248 357491 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 494763 357491 1955 992 0 486621 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 1979052 KiB
Current children cumulated memory: 1429964 KiB
[startup+3162.3 s]
/proc/loadavg: 2.07 2.11 2.28 3/245 191433
/proc/meminfo: memFree=112575416/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1981860 memory=1432748 CPUtime=3152.81 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 135773 0 0 0 311421 3860 0 0 20 0 1 0 19223271 2029424640 358187 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 495465 358187 1955 992 0 487323 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 1981860 KiB
Current children cumulated memory: 1432748 KiB
[startup+3222.3 s]
/proc/loadavg: 2.12 2.12 2.27 3/244 191444
/proc/meminfo: memFree=112413192/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1982664 memory=1433800 CPUtime=3212.69 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 136250 0 0 0 317320 3949 0 0 20 0 1 0 19223271 2030247936 358450 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 495666 358450 1955 992 0 487524 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1433800 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.12 2.26 3/244 191454
/proc/meminfo: memFree=112222768/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1982664 memory=1433800 CPUtime=3272.58 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 136634 0 0 0 323236 4022 0 0 20 0 1 0 19223271 2030247936 358450 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 495666 358450 1955 992 0 487524 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1433800 KiB
[startup+3342.3 s]
/proc/loadavg: 2.16 2.13 2.26 3/246 191469
/proc/meminfo: memFree=112086112/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1988260 memory=1439048 CPUtime=3332.45 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 138335 0 0 0 329148 4097 0 0 20 0 1 0 19223271 2035978240 359762 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497065 359762 1955 992 0 488923 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 1988260 KiB
Current children cumulated memory: 1439048 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.12 2.25 3/246 191480
/proc/meminfo: memFree=111944288/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1989156 memory=1440220 CPUtime=3392.33 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 138919 0 0 0 335093 4140 0 0 20 0 1 0 19223271 2036895744 360055 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497289 360055 1955 992 0 489147 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440220 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.12 2.24 3/245 191491
/proc/meminfo: memFree=111688816/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1989156 memory=1440308 CPUtime=3452.22 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 139479 0 0 0 341030 4192 0 0 20 0 1 0 19223271 2036895744 360077 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497289 360077 1955 992 0 489147 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440308 KiB
[startup+3522.3 s]
/proc/loadavg: 1.59 1.99 2.19 2/238 191531
/proc/meminfo: memFree=118429796/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1989156 memory=1440308 CPUtime=3512.1 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 139618 0 0 0 346988 4222 0 0 20 0 1 0 19223271 2036895744 360077 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497289 360077 1955 992 0 489147 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440308 KiB
[startup+3582.3 s]
/proc/loadavg: 1.26 1.82 2.11 2/240 191545
/proc/meminfo: memFree=118361212/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1989288 memory=1440620 CPUtime=3571.97 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 140126 0 0 0 352934 4263 0 0 20 0 1 0 19223271 2037030912 360155 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497322 360155 1955 992 0 489180 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 1989288 KiB
Current children cumulated memory: 1440620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 1.24 1.77 2.09 2/240 191551
/proc/meminfo: memFree=118197136/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1990848 memory=1441212 CPUtime=3600.01 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 140669 0 0 0 355718 4283 0 0 20 0 1 0 19223271 2038628352 360303 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497712 360303 1955 992 0 489570 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1990848 KiB
Current children cumulated memory: 1441212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.53 s]
# the end of solver process 189598 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3559.17 s, system=42.8589 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 1.24 1.77 2.09 2/240 191551
/proc/meminfo: memFree=118196660/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1990848 memory=1441212 CPUtime=3600.81 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 140673 0 0 0 355797 4284 0 0 20 0 1 0 19223271 2038628352 360303 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497712 360303 1955 992 0 489570 0
Current children cumulated CPU time: 3600.81 s
Current children cumulated vsize: 1990848 KiB
Current children cumulated memory: 1441212 KiB
[startup+3612 s]*
/proc/loadavg: 1.22 1.76 2.08 2/240 191551
/proc/meminfo: memFree=118196568/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1990848 memory=1441212 CPUtime=3601.61 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 140673 0 0 0 355877 4284 0 0 20 0 1 0 19223271 2038628352 360303 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497712 360303 1955 992 0 489570 0
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 1990848 KiB
Current children cumulated memory: 1441212 KiB
[startup+3612.4 s]
/proc/loadavg: 1.22 1.76 2.08 2/240 191551
/proc/meminfo: memFree=118196568/131524600 swapFree=131056028/131071996
[pid=189598] ppid=189595 vsize=1990848 memory=1441212 CPUtime=3602 cores=1,3
/proc/189598/stat : 189598 (roundingsat) R 189595 189598 183559 0 -1 4194304 140674 0 0 0 355916 4284 0 0 20 0 1 0 19223271 2038628352 360303 134679101440 4194304 8254037 140735643192976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29204480 140735643194204 140735643194466 140735643194466 140735643201481 0
/proc/189598/statm: 497712 360303 1955 992 0 489570 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 1990848 KiB
Current children cumulated memory: 1441212 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.53
CPU time (s): 3602.03
CPU user time (s): 3559.17
CPU system time (s): 42.8589
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 1990848
Max. memory (cumulated for all children) (KiB): 1441212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.17
system time used= 42.8589
maximum resident set size= 1441464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14308256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 641
involuntary context switches= 4243
# summary of solver processes directly reported to runsolver:
# pid: 189598
# total CPU time (s): 3602.03
# total CPU user time (s): 3559.17
# total CPU system time (s): 42.8589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88748 second user time and 16.6429 second system time
The end
Begin job on nodeC016 at 2024-07-24 15:15:47 IDJOB=4457169 IDBENCH=158301 IDSOLVER=3085 FILE ID=nodeC016/4457169-1721826947 RUNJOBID= nodeC016-1721817186-183571 SLURM_JOB_ID= 7816868 Free space on /tmp= 890016 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457169-1721826947/watcher-4457169-1721826947 -o /tmp/evaluation-result-4457169-1721826947/solver-4457169-1721826947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183571 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457169-1721826947 --lp-cut-gomory=0 HOME/instance-4457169-1721826947.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed RANDOM SEED=489637485 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.715 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.138 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3599.788 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 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 : 3660.840 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3682.768 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 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 : 3682.936 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3599.937 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 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 : 3624.840 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 49284620 kB MemAvailable: 120138328 kB Buffers: 243224 kB Cached: 71048164 kB SwapCached: 256 kB Active: 2295188 kB Inactive: 78753688 kB Active(anon): 4644 kB Inactive(anon): 9805284 kB Active(file): 2290544 kB Inactive(file): 68948404 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 421756 kB Writeback: 12 kB AnonPages: 9757040 kB Mapped: 112672 kB Shmem: 52400 kB KReclaimable: 675992 kB Slab: 814052 kB SReclaimable: 675992 kB SUnreclaim: 138060 kB KernelStack: 4256 kB PageTables: 28864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11716936 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 3375104 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 373460 kB DirectMap2M: 42391552 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890076 MiB End job on nodeC016 at 2024-07-24 16:16:00