| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.09 | 3611.16 |
| 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.17/0.26 c #variables 21301 #constraints 21661 39.75/39.91 c #Conflicts: 1000 | #Constraints: 22660 39.75/39.91 c #Conflicts: 2000 | #Constraints: 23660 39.75/39.91 c INPROCESSING 39.75/39.91 c GARBAGE COLLECT 39.75/39.91 c #Conflicts: 3000 | #Constraints: 22981 39.75/39.91 c #Conflicts: 4000 | #Constraints: 23981 39.75/39.91 c INPROCESSING 39.75/39.91 c GARBAGE COLLECT 39.75/39.91 c #Conflicts: 5000 | #Constraints: 23378 39.75/39.91 c #Conflicts: 6000 | #Constraints: 24378 39.75/39.91 c INPROCESSING 39.75/39.91 c GARBAGE COLLECT 39.75/39.91 c #Conflicts: 7000 | #Constraints: 23478 39.75/39.91 c #Conflicts: 8000 | #Constraints: 24478 39.75/39.91 c #Conflicts: 9000 | #Constraints: 25478 39.75/39.91 c #Conflicts: 10000 | #Constraints: 26478 39.75/39.91 c #Conflicts: 11000 | #Constraints: 27478 39.75/39.91 c #Conflicts: 12000 | #Constraints: 28478 39.75/39.91 c INPROCESSING 39.75/39.91 c GARBAGE COLLECT 39.75/39.91 c rational objective 179 56.82/57.07 c #Conflicts: 13000 | #Constraints: 25462 56.82/57.07 c #Conflicts: 14000 | #Constraints: 26462 56.82/57.07 c #Conflicts: 15000 | #Constraints: 27462 56.82/57.07 c #Conflicts: 16000 | #Constraints: 28462 56.82/57.07 c INPROCESSING 56.82/57.07 c GARBAGE COLLECT 56.82/57.07 c rational objective 179 208.54/209.16 c #Conflicts: 17000 | #Constraints: 25715 208.54/209.16 c #Conflicts: 18000 | #Constraints: 26715 208.54/209.16 c #Conflicts: 19000 | #Constraints: 27715 208.54/209.16 c #Conflicts: 20000 | #Constraints: 28716 208.54/209.16 c #Conflicts: 21000 | #Constraints: 29716 208.54/209.16 c #Conflicts: 22000 | #Constraints: 30716 208.54/209.16 c #Conflicts: 23000 | #Constraints: 31716 208.54/209.16 c #Conflicts: 24000 | #Constraints: 32716 208.54/209.16 c #Conflicts: 25000 | #Constraints: 33716 208.54/209.16 c INPROCESSING 208.54/209.16 c GARBAGE COLLECT 208.54/209.16 c #Conflicts: 26000 | #Constraints: 28289 208.54/209.16 c #Conflicts: 27000 | #Constraints: 29289 208.54/209.16 c #Conflicts: 28000 | #Constraints: 30289 208.54/209.16 c #Conflicts: 29000 | #Constraints: 31289 208.54/209.16 c #Conflicts: 30000 | #Constraints: 32289 208.54/209.16 c INPROCESSING 208.54/209.16 c GARBAGE COLLECT 208.54/209.16 c #Conflicts: 31000 | #Constraints: 27965 208.54/209.16 c #Conflicts: 32000 | #Constraints: 28965 208.54/209.16 c #Conflicts: 33000 | #Constraints: 29965 208.54/209.16 c #Conflicts: 34000 | #Constraints: 30966 208.54/209.16 c #Conflicts: 35000 | #Constraints: 31966 208.54/209.16 c #Conflicts: 36000 | #Constraints: 32966 208.54/209.16 c #Conflicts: 37000 | #Constraints: 33966 208.54/209.16 c #Conflicts: 38000 | #Constraints: 34966 208.54/209.16 c #Conflicts: 39000 | #Constraints: 35966 208.54/209.16 c #Conflicts: 40000 | #Constraints: 36966 208.54/209.16 c #Conflicts: 41000 | #Constraints: 37966 208.54/209.16 c #Conflicts: 42000 | #Constraints: 38966 208.54/209.16 c #Conflicts: 43000 | #Constraints: 39966 208.54/209.16 c INPROCESSING 208.54/209.16 c GARBAGE COLLECT 208.54/209.16 c rational objective 179 302.58/303.41 c #Conflicts: 44000 | #Constraints: 31787 302.58/303.41 c #Conflicts: 45000 | #Constraints: 32787 302.58/303.41 c #Conflicts: 46000 | #Constraints: 33787 302.58/303.41 c #Conflicts: 47000 | #Constraints: 34787 302.58/303.41 c #Conflicts: 48000 | #Constraints: 35787 302.58/303.41 c #Conflicts: 49000 | #Constraints: 36787 302.58/303.41 c INPROCESSING 302.58/303.41 c GARBAGE COLLECT 302.58/303.41 c #Conflicts: 50000 | #Constraints: 30767 302.58/303.41 c #Conflicts: 51000 | #Constraints: 31767 302.58/303.41 c #Conflicts: 52000 | #Constraints: 32767 302.58/303.41 c #Conflicts: 53000 | #Constraints: 33767 302.58/303.41 c #Conflicts: 54000 | #Constraints: 34767 302.58/303.41 c #Conflicts: 55000 | #Constraints: 35768 302.58/303.41 c #Conflicts: 56000 | #Constraints: 36768 302.58/303.41 c #Conflicts: 57000 | #Constraints: 37768 302.58/303.41 c #Conflicts: 58000 | #Constraints: 38768 302.58/303.41 c #Conflicts: 59000 | #Constraints: 39768 302.58/303.41 c #Conflicts: 60000 | #Constraints: 40768 302.58/303.41 c #Conflicts: 61000 | #Constraints: 41768 302.58/303.41 c #Conflicts: 62000 | #Constraints: 42768 302.58/303.41 c #Conflicts: 63000 | #Constraints: 43768 302.58/303.41 c #Conflicts: 64000 | #Constraints: 44768 302.58/303.41 c #Conflicts: 65000 | #Constraints: 45768 302.58/303.41 c INPROCESSING 302.58/303.41 c GARBAGE COLLECT 302.58/303.41 c rational objective 179 687.11/688.96 c #Conflicts: 66000 | #Constraints: 35003 687.11/688.96 c #Conflicts: 67000 | #Constraints: 36003 687.11/688.96 c #Conflicts: 68000 | #Constraints: 37003 687.11/688.96 c #Conflicts: 69000 | #Constraints: 38003 687.11/688.96 c #Conflicts: 70000 | #Constraints: 39003 687.11/688.96 c #Conflicts: 71000 | #Constraints: 40003 687.11/688.96 c #Conflicts: 72000 | #Constraints: 41004 687.11/688.96 c INPROCESSING 687.11/688.96 c GARBAGE COLLECT 687.11/688.96 c #Conflicts: 73000 | #Constraints: 33343 687.11/688.96 c #Conflicts: 74000 | #Constraints: 34343 687.11/688.96 c #Conflicts: 75000 | #Constraints: 35343 687.11/688.96 c #Conflicts: 76000 | #Constraints: 36343 687.11/688.96 c #Conflicts: 77000 | #Constraints: 37343 687.11/688.96 c #Conflicts: 78000 | #Constraints: 38343 687.11/688.96 c #Conflicts: 79000 | #Constraints: 39343 687.11/688.96 c #Conflicts: 80000 | #Constraints: 40343 687.11/688.96 c #Conflicts: 81000 | #Constraints: 41343 687.11/688.96 c #Conflicts: 82000 | #Constraints: 42343 687.11/688.96 c #Conflicts: 83000 | #Constraints: 43343 687.11/688.96 c #Conflicts: 84000 | #Constraints: 44343 687.11/688.96 c #Conflicts: 85000 | #Constraints: 45343 687.11/688.96 c #Conflicts: 86000 | #Constraints: 46343 687.11/688.96 c #Conflicts: 87000 | #Constraints: 47343 687.11/688.96 c #Conflicts: 88000 | #Constraints: 48343 687.11/688.96 c #Conflicts: 89000 | #Constraints: 49343 687.11/688.96 c #Conflicts: 90000 | #Constraints: 50343 687.11/688.96 c #Conflicts: 91000 | #Constraints: 51343 687.11/688.96 c INPROCESSING 687.11/688.96 c GARBAGE COLLECT 687.11/688.96 c #Conflicts: 92000 | #Constraints: 37589 687.11/688.96 c #Conflicts: 93000 | #Constraints: 38589 687.11/688.96 c #Conflicts: 94000 | #Constraints: 39590 687.11/688.96 c #Conflicts: 95000 | #Constraints: 40590 687.11/688.96 c #Conflicts: 96000 | #Constraints: 41590 687.11/688.96 c #Conflicts: 97000 | #Constraints: 42590 687.11/688.96 c #Conflicts: 98000 | #Constraints: 43590 687.11/688.96 c #Conflicts: 99000 | #Constraints: 44590 687.11/688.96 c #Conflicts: 100000 | #Constraints: 45590 687.11/688.96 c INPROCESSING 687.11/688.96 c GARBAGE COLLECT 687.11/688.96 c #Conflicts: 101000 | #Constraints: 35867 687.11/688.96 c #Conflicts: 102000 | #Constraints: 36867 687.11/688.96 c #Conflicts: 103000 | #Constraints: 37867 687.11/688.96 c #Conflicts: 104000 | #Constraints: 38867 687.11/688.96 c #Conflicts: 105000 | #Constraints: 39867 687.11/688.96 c #Conflicts: 106000 | #Constraints: 40867 687.11/688.96 c #Conflicts: 107000 | #Constraints: 41867 687.11/688.96 c #Conflicts: 108000 | #Constraints: 42867 687.11/688.96 c #Conflicts: 109000 | #Constraints: 43867 687.11/688.96 c #Conflicts: 110000 | #Constraints: 44867 687.11/688.96 c #Conflicts: 111000 | #Constraints: 45867 687.11/688.96 c #Conflicts: 112000 | #Constraints: 46867 687.11/688.96 c #Conflicts: 113000 | #Constraints: 47867 687.11/688.96 c #Conflicts: 114000 | #Constraints: 48867 687.11/688.96 c #Conflicts: 115000 | #Constraints: 49867 687.11/688.96 c #Conflicts: 116000 | #Constraints: 50868 687.11/688.96 c #Conflicts: 117000 | #Constraints: 51868 687.11/688.96 c #Conflicts: 118000 | #Constraints: 52868 687.11/688.96 c #Conflicts: 119000 | #Constraints: 53868 687.11/688.96 c #Conflicts: 120000 | #Constraints: 54868 687.11/688.96 c #Conflicts: 121000 | #Constraints: 55868 687.11/688.96 c INPROCESSING 687.11/688.96 c GARBAGE COLLECT 687.11/688.96 c rational objective 179 989.14/991.79 c #Conflicts: 122000 | #Constraints: 39871 989.14/991.79 c #Conflicts: 123000 | #Constraints: 40871 989.14/991.79 c #Conflicts: 124000 | #Constraints: 41871 989.14/991.79 c #Conflicts: 125000 | #Constraints: 42871 989.14/991.79 c #Conflicts: 126000 | #Constraints: 43871 989.14/991.79 c #Conflicts: 127000 | #Constraints: 44871 989.14/991.79 c #Conflicts: 128000 | #Constraints: 45871 989.14/991.79 c #Conflicts: 129000 | #Constraints: 46871 989.14/991.79 c #Conflicts: 130000 | #Constraints: 47871 989.14/991.79 c #Conflicts: 131000 | #Constraints: 48871 989.14/991.79 c #Conflicts: 132000 | #Constraints: 49871 989.14/991.79 c INPROCESSING 989.14/991.79 c GARBAGE COLLECT 989.14/991.79 c #Conflicts: 133000 | #Constraints: 38790 989.14/991.79 c #Conflicts: 134000 | #Constraints: 39790 989.14/991.79 c #Conflicts: 135000 | #Constraints: 40790 989.14/991.79 c #Conflicts: 136000 | #Constraints: 41790 989.14/991.79 c #Conflicts: 137000 | #Constraints: 42790 989.14/991.79 c #Conflicts: 138000 | #Constraints: 43790 989.14/991.79 c #Conflicts: 139000 | #Constraints: 44790 989.14/991.79 c #Conflicts: 140000 | #Constraints: 45790 989.14/991.79 c #Conflicts: 141000 | #Constraints: 46790 989.14/991.79 c #Conflicts: 142000 | #Constraints: 47790 989.14/991.79 c #Conflicts: 143000 | #Constraints: 48790 989.14/991.79 c #Conflicts: 144000 | #Constraints: 49790 989.14/991.79 c #Conflicts: 145000 | #Constraints: 50790 989.14/991.79 c #Conflicts: 146000 | #Constraints: 51790 989.14/991.79 c #Conflicts: 147000 | #Constraints: 52790 989.14/991.79 c #Conflicts: 148000 | #Constraints: 53790 989.14/991.79 c #Conflicts: 149000 | #Constraints: 54790 989.14/991.79 c #Conflicts: 150000 | #Constraints: 55790 989.14/991.79 c #Conflicts: 151000 | #Constraints: 56790 989.14/991.79 c #Conflicts: 152000 | #Constraints: 57790 989.14/991.79 c #Conflicts: 153000 | #Constraints: 58790 989.14/991.79 c #Conflicts: 154000 | #Constraints: 59790 989.14/991.79 c #Conflicts: 155000 | #Constraints: 60790 989.14/991.79 c #Conflicts: 156000 | #Constraints: 61790 989.14/991.79 c INPROCESSING 989.14/991.79 c GARBAGE COLLECT 989.14/991.79 c #Conflicts: 157000 | #Constraints: 42678 989.14/991.79 c #Conflicts: 158000 | #Constraints: 43678 989.14/991.79 c #Conflicts: 159000 | #Constraints: 44678 989.14/991.79 c #Conflicts: 160000 | #Constraints: 45678 989.14/991.79 c #Conflicts: 161000 | #Constraints: 46678 989.14/991.79 c #Conflicts: 162000 | #Constraints: 47679 989.14/991.79 c #Conflicts: 163000 | #Constraints: 48679 989.14/991.79 c #Conflicts: 164000 | #Constraints: 49679 989.14/991.79 c #Conflicts: 165000 | #Constraints: 50679 989.14/991.79 c #Conflicts: 166000 | #Constraints: 51679 989.14/991.79 c #Conflicts: 167000 | #Constraints: 52679 989.14/991.79 c #Conflicts: 168000 | #Constraints: 53679 989.14/991.79 c INPROCESSING 989.14/991.79 c GARBAGE COLLECT 989.14/991.79 c #Conflicts: 169000 | #Constraints: 41116 989.14/991.79 c #Conflicts: 170000 | #Constraints: 42116 989.14/991.79 c #Conflicts: 171000 | #Constraints: 43116 989.14/991.79 c #Conflicts: 172000 | #Constraints: 44116 989.14/991.79 c #Conflicts: 173000 | #Constraints: 45116 989.14/991.79 c #Conflicts: 174000 | #Constraints: 46116 989.14/991.79 c #Conflicts: 175000 | #Constraints: 47116 989.14/991.79 c #Conflicts: 176000 | #Constraints: 48116 989.14/991.79 c #Conflicts: 177000 | #Constraints: 49116 989.14/991.79 c #Conflicts: 178000 | #Constraints: 50116 989.14/991.79 c #Conflicts: 179000 | #Constraints: 51116 989.14/991.79 c #Conflicts: 180000 | #Constraints: 52116 989.14/991.79 c #Conflicts: 181000 | #Constraints: 53116 989.14/991.79 c #Conflicts: 182000 | #Constraints: 54116 989.14/991.79 c #Conflicts: 183000 | #Constraints: 55116 989.14/991.79 c #Conflicts: 184000 | #Constraints: 56116 989.14/991.79 c #Conflicts: 185000 | #Constraints: 57116 989.14/991.79 c #Conflicts: 186000 | #Constraints: 58116 989.14/991.79 c #Conflicts: 187000 | #Constraints: 59116 989.14/991.79 c #Conflicts: 188000 | #Constraints: 60116 989.14/991.79 c #Conflicts: 189000 | #Constraints: 61116 989.14/991.79 c #Conflicts: 190000 | #Constraints: 62116 989.14/991.79 c #Conflicts: 191000 | #Constraints: 63116 989.14/991.79 c #Conflicts: 192000 | #Constraints: 64116 989.14/991.79 c #Conflicts: 193000 | #Constraints: 65116 989.14/991.79 c #Conflicts: 194000 | #Constraints: 66116 989.14/991.79 c #Conflicts: 195000 | #Constraints: 67116 989.14/991.79 c #Conflicts: 196000 | #Constraints: 68116 989.14/991.79 c INPROCESSING 989.14/991.79 c GARBAGE COLLECT 989.14/991.79 c #Conflicts: 197000 | #Constraints: 46277 989.14/991.79 c #Conflicts: 198000 | #Constraints: 47277 1108.16/1111.03 c #Conflicts: 199000 | #Constraints: 48277 1108.16/1111.03 c #Conflicts: 200000 | #Constraints: 49277 1108.16/1111.03 c #Conflicts: 201000 | #Constraints: 50277 1108.16/1111.03 c #Conflicts: 202000 | #Constraints: 51277 1108.16/1111.03 c #Conflicts: 203000 | #Constraints: 52277 1108.16/1111.03 c #Conflicts: 204000 | #Constraints: 53277 1108.16/1111.03 c #Conflicts: 205000 | #Constraints: 54277 1108.16/1111.03 c #Conflicts: 206000 | #Constraints: 55277 1108.16/1111.03 c #Conflicts: 207000 | #Constraints: 56277 1108.16/1111.03 c #Conflicts: 208000 | #Constraints: 57277 1108.16/1111.03 c #Conflicts: 209000 | #Constraints: 58277 1108.16/1111.03 c INPROCESSING 1108.16/1111.03 c GARBAGE COLLECT 1108.16/1111.03 c #Conflicts: 210000 | #Constraints: 43570 1108.16/1111.03 c #Conflicts: 211000 | #Constraints: 44570 1108.16/1111.03 c #Conflicts: 212000 | #Constraints: 45570 1108.16/1111.03 c #Conflicts: 213000 | #Constraints: 46570 1108.16/1111.03 c #Conflicts: 214000 | #Constraints: 47570 1108.16/1111.03 c #Conflicts: 215000 | #Constraints: 48570 1108.16/1111.03 c #Conflicts: 216000 | #Constraints: 49570 1108.16/1111.03 c #Conflicts: 217000 | #Constraints: 50571 1108.16/1111.03 c #Conflicts: 218000 | #Constraints: 51571 1108.16/1111.03 c #Conflicts: 219000 | #Constraints: 52571 1108.16/1111.03 c #Conflicts: 220000 | #Constraints: 53571 1108.16/1111.03 c #Conflicts: 221000 | #Constraints: 54571 1108.16/1111.03 c #Conflicts: 222000 | #Constraints: 55571 1108.16/1111.03 c #Conflicts: 223000 | #Constraints: 56571 1108.16/1111.03 c #Conflicts: 224000 | #Constraints: 57571 1108.16/1111.03 c #Conflicts: 225000 | #Constraints: 58571 1108.16/1111.03 c #Conflicts: 226000 | #Constraints: 59571 1108.16/1111.03 c #Conflicts: 227000 | #Constraints: 60571 1108.16/1111.03 c #Conflicts: 228000 | #Constraints: 61571 1108.16/1111.03 c #Conflicts: 229000 | #Constraints: 62571 1108.16/1111.03 c #Conflicts: 230000 | #Constraints: 63571 1108.16/1111.03 c #Conflicts: 231000 | #Constraints: 64571 1108.16/1111.03 c #Conflicts: 232000 | #Constraints: 65571 1108.16/1111.03 c #Conflicts: 233000 | #Constraints: 66571 1108.16/1111.03 c #Conflicts: 234000 | #Constraints: 67571 1108.16/1111.03 c #Conflicts: 235000 | #Constraints: 68571 1108.16/1111.03 c #Conflicts: 236000 | #Constraints: 69571 1108.16/1111.03 c #Conflicts: 237000 | #Constraints: 70571 1108.16/1111.03 c #Conflicts: 238000 | #Constraints: 71571 1108.16/1111.03 c #Conflicts: 239000 | #Constraints: 72571 1108.16/1111.03 c #Conflicts: 240000 | #Constraints: 73571 1108.16/1111.03 c INPROCESSING 1108.16/1111.03 c GARBAGE COLLECT 1108.16/1111.03 c rational objective 179 1134.28/1137.20 c #Conflicts: 241000 | #Constraints: 49225 1134.28/1137.20 c #Conflicts: 242000 | #Constraints: 50225 1134.28/1137.20 c #Conflicts: 243000 | #Constraints: 51225 1134.28/1137.20 c #Conflicts: 244000 | #Constraints: 52225 1134.28/1137.20 c #Conflicts: 245000 | #Constraints: 53225 1134.28/1137.20 c #Conflicts: 246000 | #Constraints: 54225 1134.28/1137.20 c #Conflicts: 247000 | #Constraints: 55225 1134.28/1137.20 c #Conflicts: 248000 | #Constraints: 56225 1134.28/1137.20 c #Conflicts: 249000 | #Constraints: 57225 1134.28/1137.20 c #Conflicts: 250000 | #Constraints: 58225 1134.28/1137.20 c #Conflicts: 251000 | #Constraints: 59225 1134.28/1137.20 c #Conflicts: 252000 | #Constraints: 60225 1134.28/1137.20 c #Conflicts: 253000 | #Constraints: 61225 1134.28/1137.20 c #Conflicts: 254000 | #Constraints: 62225 1134.28/1137.20 c INPROCESSING 1134.28/1137.20 c GARBAGE COLLECT 1134.28/1137.20 c rational objective 179 1276.72/1280.04 c #Conflicts: 255000 | #Constraints: 45898 1276.72/1280.04 c #Conflicts: 256000 | #Constraints: 46898 1276.72/1280.04 c #Conflicts: 257000 | #Constraints: 47898 1276.72/1280.04 c #Conflicts: 258000 | #Constraints: 48898 1276.72/1280.04 c #Conflicts: 259000 | #Constraints: 49898 1276.72/1280.04 c #Conflicts: 260000 | #Constraints: 50898 1276.72/1280.04 c #Conflicts: 261000 | #Constraints: 51898 1276.72/1280.04 c #Conflicts: 262000 | #Constraints: 52899 1276.72/1280.04 c #Conflicts: 263000 | #Constraints: 53899 1276.72/1280.04 c #Conflicts: 264000 | #Constraints: 54899 1276.72/1280.04 c #Conflicts: 265000 | #Constraints: 55899 1276.72/1280.04 c #Conflicts: 266000 | #Constraints: 56899 1276.72/1280.04 c #Conflicts: 267000 | #Constraints: 57899 1276.72/1280.04 c #Conflicts: 268000 | #Constraints: 58899 1276.72/1280.04 c #Conflicts: 269000 | #Constraints: 59900 1276.72/1280.04 c #Conflicts: 270000 | #Constraints: 60900 1276.72/1280.04 c #Conflicts: 271000 | #Constraints: 61900 1276.72/1280.04 c #Conflicts: 272000 | #Constraints: 62900 1276.72/1280.04 c #Conflicts: 273000 | #Constraints: 63900 1276.72/1280.04 c #Conflicts: 274000 | #Constraints: 64900 1276.72/1280.04 c #Conflicts: 275000 | #Constraints: 65900 1276.72/1280.04 c #Conflicts: 276000 | #Constraints: 66900 1276.72/1280.04 c #Conflicts: 277000 | #Constraints: 67900 1276.72/1280.04 c #Conflicts: 278000 | #Constraints: 68900 1276.72/1280.04 c #Conflicts: 279000 | #Constraints: 69900 1276.72/1280.04 c #Conflicts: 280000 | #Constraints: 70900 1276.72/1280.04 c #Conflicts: 281000 | #Constraints: 71900 1276.72/1280.04 c #Conflicts: 282000 | #Constraints: 72900 1276.72/1280.04 c #Conflicts: 283000 | #Constraints: 73900 1276.72/1280.04 c #Conflicts: 284000 | #Constraints: 74901 1276.72/1280.04 c #Conflicts: 285000 | #Constraints: 75901 1276.72/1280.04 c #Conflicts: 286000 | #Constraints: 76901 1276.72/1280.04 c #Conflicts: 287000 | #Constraints: 77901 1276.72/1280.04 c #Conflicts: 288000 | #Constraints: 78901 1276.72/1280.04 c INPROCESSING 1276.72/1280.04 c GARBAGE COLLECT 1276.72/1280.04 c rational objective 179 1327.89/1331.40 c #Conflicts: 289000 | #Constraints: 52019 1327.89/1331.40 c #Conflicts: 290000 | #Constraints: 53019 1327.89/1331.40 c #Conflicts: 291000 | #Constraints: 54019 1327.89/1331.40 c #Conflicts: 292000 | #Constraints: 55019 1327.89/1331.40 c #Conflicts: 293000 | #Constraints: 56019 1327.89/1331.40 c #Conflicts: 294000 | #Constraints: 57019 1327.89/1331.40 c #Conflicts: 295000 | #Constraints: 58019 1327.89/1331.40 c #Conflicts: 296000 | #Constraints: 59019 1327.89/1331.40 c #Conflicts: 297000 | #Constraints: 60019 1327.89/1331.40 c #Conflicts: 298000 | #Constraints: 61019 1327.89/1331.40 c #Conflicts: 299000 | #Constraints: 62019 1327.89/1331.40 c #Conflicts: 300000 | #Constraints: 63019 1327.89/1331.40 c #Conflicts: 301000 | #Constraints: 64019 1327.89/1331.40 c #Conflicts: 302000 | #Constraints: 65019 1327.89/1331.40 c #Conflicts: 303000 | #Constraints: 66019 1327.89/1331.40 c INPROCESSING 1327.89/1331.40 c GARBAGE COLLECT 1327.89/1331.40 c rational objective 179 1515.23/1519.18 c #Conflicts: 304000 | #Constraints: 48112 1515.23/1519.18 c #Conflicts: 305000 | #Constraints: 49112 1515.23/1519.18 c #Conflicts: 306000 | #Constraints: 50112 1515.23/1519.18 c #Conflicts: 307000 | #Constraints: 51112 1515.23/1519.18 c #Conflicts: 308000 | #Constraints: 52112 1515.23/1519.18 c #Conflicts: 309000 | #Constraints: 53112 1515.23/1519.18 c #Conflicts: 310000 | #Constraints: 54112 1515.23/1519.18 c #Conflicts: 311000 | #Constraints: 55112 1515.23/1519.18 c #Conflicts: 312000 | #Constraints: 56113 1515.23/1519.18 c #Conflicts: 313000 | #Constraints: 57113 1515.23/1519.18 c #Conflicts: 314000 | #Constraints: 58113 1515.23/1519.18 c #Conflicts: 315000 | #Constraints: 59113 1515.23/1519.18 c #Conflicts: 316000 | #Constraints: 60113 1515.23/1519.18 c #Conflicts: 317000 | #Constraints: 61113 1515.23/1519.18 c #Conflicts: 318000 | #Constraints: 62113 1515.23/1519.18 c #Conflicts: 319000 | #Constraints: 63113 1515.23/1519.18 c #Conflicts: 320000 | #Constraints: 64113 1515.23/1519.18 c #Conflicts: 321000 | #Constraints: 65113 1515.23/1519.18 c #Conflicts: 322000 | #Constraints: 66113 1515.23/1519.18 c #Conflicts: 323000 | #Constraints: 67113 1515.23/1519.18 c #Conflicts: 324000 | #Constraints: 68113 1515.23/1519.18 c #Conflicts: 325000 | #Constraints: 69113 1515.23/1519.18 c #Conflicts: 326000 | #Constraints: 70113 1515.23/1519.18 c #Conflicts: 327000 | #Constraints: 71113 1515.23/1519.18 c #Conflicts: 328000 | #Constraints: 72113 1515.23/1519.18 c #Conflicts: 329000 | #Constraints: 73113 1515.23/1519.18 c #Conflicts: 330000 | #Constraints: 74113 1515.23/1519.18 c #Conflicts: 331000 | #Constraints: 75113 1515.23/1519.18 c #Conflicts: 332000 | #Constraints: 76113 1515.23/1519.18 c #Conflicts: 333000 | #Constraints: 77113 1515.23/1519.18 c #Conflicts: 334000 | #Constraints: 78113 1515.23/1519.18 c #Conflicts: 335000 | #Constraints: 79113 1515.23/1519.18 c #Conflicts: 336000 | #Constraints: 80113 1515.23/1519.18 c #Conflicts: 337000 | #Constraints: 81113 1515.23/1519.18 c #Conflicts: 338000 | #Constraints: 82113 1515.23/1519.18 c #Conflicts: 339000 | #Constraints: 83113 1515.23/1519.18 c #Conflicts: 340000 | #Constraints: 84113 1515.23/1519.18 c INPROCESSING 1515.23/1519.18 c GARBAGE COLLECT 1515.23/1519.18 c rational objective 179 1570.88/1575.01 c #Conflicts: 341000 | #Constraints: 54335 1570.88/1575.01 c #Conflicts: 342000 | #Constraints: 55335 1570.88/1575.01 c #Conflicts: 343000 | #Constraints: 56335 1570.88/1575.01 c #Conflicts: 344000 | #Constraints: 57335 1570.88/1575.01 c #Conflicts: 345000 | #Constraints: 58335 1570.88/1575.01 c #Conflicts: 346000 | #Constraints: 59335 1570.88/1575.01 c #Conflicts: 347000 | #Constraints: 60335 1570.88/1575.01 c #Conflicts: 348000 | #Constraints: 61335 1570.88/1575.01 c #Conflicts: 349000 | #Constraints: 62335 1570.88/1575.01 c #Conflicts: 350000 | #Constraints: 63335 1570.88/1575.01 c #Conflicts: 351000 | #Constraints: 64335 1570.88/1575.01 c #Conflicts: 352000 | #Constraints: 65335 1570.88/1575.01 c #Conflicts: 353000 | #Constraints: 66335 1570.88/1575.01 c #Conflicts: 354000 | #Constraints: 67335 1570.88/1575.01 c #Conflicts: 355000 | #Constraints: 68335 1570.88/1575.01 c #Conflicts: 356000 | #Constraints: 69335 1570.88/1575.01 c #Conflicts: 357000 | #Constraints: 70335 1570.88/1575.01 c INPROCESSING 1570.88/1575.01 c GARBAGE COLLECT 1570.88/1575.01 c rational objective 179 1684.78/1689.19 c #Conflicts: 358000 | #Constraints: 51016 1684.78/1689.19 c #Conflicts: 359000 | #Constraints: 52016 1684.78/1689.19 c #Conflicts: 360000 | #Constraints: 53016 1684.78/1689.19 c #Conflicts: 361000 | #Constraints: 54016 1684.78/1689.19 c #Conflicts: 362000 | #Constraints: 55016 1684.78/1689.19 c #Conflicts: 363000 | #Constraints: 56016 1684.78/1689.19 c #Conflicts: 364000 | #Constraints: 57016 1684.78/1689.19 c #Conflicts: 365000 | #Constraints: 58016 1684.78/1689.19 c #Conflicts: 366000 | #Constraints: 59016 1684.78/1689.19 c #Conflicts: 367000 | #Constraints: 60016 1684.78/1689.19 c #Conflicts: 368000 | #Constraints: 61016 1684.78/1689.19 c #Conflicts: 369000 | #Constraints: 62016 1684.78/1689.19 c #Conflicts: 370000 | #Constraints: 63016 1684.78/1689.19 c #Conflicts: 371000 | #Constraints: 64016 1684.78/1689.19 c #Conflicts: 372000 | #Constraints: 65016 1684.78/1689.19 c #Conflicts: 373000 | #Constraints: 66016 1684.78/1689.19 c #Conflicts: 374000 | #Constraints: 67016 1684.78/1689.19 c #Conflicts: 375000 | #Constraints: 68016 1684.78/1689.19 c #Conflicts: 376000 | #Constraints: 69016 1684.78/1689.19 c #Conflicts: 377000 | #Constraints: 70016 1684.78/1689.19 c #Conflicts: 378000 | #Constraints: 71016 1684.78/1689.19 c #Conflicts: 379000 | #Constraints: 72016 1684.78/1689.19 c #Conflicts: 380000 | #Constraints: 73016 1684.78/1689.19 c #Conflicts: 381000 | #Constraints: 74016 1684.78/1689.19 c #Conflicts: 382000 | #Constraints: 75016 1684.78/1689.19 c #Conflicts: 383000 | #Constraints: 76016 1684.78/1689.19 c #Conflicts: 384000 | #Constraints: 77016 1684.78/1689.19 c #Conflicts: 385000 | #Constraints: 78016 1684.78/1689.19 c #Conflicts: 386000 | #Constraints: 79016 1684.78/1689.19 c #Conflicts: 387000 | #Constraints: 80016 1684.78/1689.19 c #Conflicts: 388000 | #Constraints: 81016 1684.78/1689.19 c #Conflicts: 389000 | #Constraints: 82016 1684.78/1689.19 c #Conflicts: 390000 | #Constraints: 83016 1684.78/1689.19 c #Conflicts: 391000 | #Constraints: 84016 1684.78/1689.19 c #Conflicts: 392000 | #Constraints: 85016 1684.78/1689.19 c #Conflicts: 393000 | #Constraints: 86016 1684.78/1689.19 c #Conflicts: 394000 | #Constraints: 87016 1684.78/1689.19 c #Conflicts: 395000 | #Constraints: 88016 1684.78/1689.19 c #Conflicts: 396000 | #Constraints: 89016 1684.78/1689.19 c #Conflicts: 397000 | #Constraints: 90016 1684.78/1689.19 c INPROCESSING 1684.78/1689.19 c GARBAGE COLLECT 1684.78/1689.19 c rational objective 179 1716.88/1721.38 c #Conflicts: 398000 | #Constraints: 57363 1716.88/1721.38 c #Conflicts: 399000 | #Constraints: 58363 1716.88/1721.38 c #Conflicts: 400000 | #Constraints: 59363 1716.88/1721.38 c #Conflicts: 401000 | #Constraints: 60363 1716.88/1721.38 c #Conflicts: 402000 | #Constraints: 61363 1716.88/1721.38 c #Conflicts: 403000 | #Constraints: 62363 1716.88/1721.38 c #Conflicts: 404000 | #Constraints: 63363 1716.88/1721.38 c #Conflicts: 405000 | #Constraints: 64363 1716.88/1721.38 c #Conflicts: 406000 | #Constraints: 65363 1716.88/1721.38 c #Conflicts: 407000 | #Constraints: 66363 1716.88/1721.38 c #Conflicts: 408000 | #Constraints: 67363 1716.88/1721.38 c #Conflicts: 409000 | #Constraints: 68363 1716.88/1721.38 c #Conflicts: 410000 | #Constraints: 69363 1716.88/1721.38 c #Conflicts: 411000 | #Constraints: 70363 1716.88/1721.38 c #Conflicts: 412000 | #Constraints: 71363 1716.88/1721.38 c #Conflicts: 413000 | #Constraints: 72363 1716.88/1721.38 c #Conflicts: 414000 | #Constraints: 73363 1716.88/1721.38 c #Conflicts: 415000 | #Constraints: 74363 1716.88/1721.38 c INPROCESSING 1716.88/1721.38 c GARBAGE COLLECT 1716.88/1721.38 c rational objective 179 2049.81/2055.15 c #Conflicts: 416000 | #Constraints: 53773 2049.81/2055.15 c #Conflicts: 417000 | #Constraints: 54773 2049.81/2055.15 c #Conflicts: 418000 | #Constraints: 55773 2049.81/2055.15 c #Conflicts: 419000 | #Constraints: 56773 2049.81/2055.15 c #Conflicts: 420000 | #Constraints: 57773 2049.81/2055.15 c #Conflicts: 421000 | #Constraints: 58773 2049.81/2055.15 c #Conflicts: 422000 | #Constraints: 59773 2049.81/2055.15 c #Conflicts: 423000 | #Constraints: 60773 2049.81/2055.15 c #Conflicts: 424000 | #Constraints: 61773 2049.81/2055.15 c #Conflicts: 425000 | #Constraints: 62773 2049.81/2055.15 c #Conflicts: 426000 | #Constraints: 63773 2049.81/2055.15 c #Conflicts: 427000 | #Constraints: 64774 2049.81/2055.15 c #Conflicts: 428000 | #Constraints: 65774 2049.81/2055.15 c #Conflicts: 429000 | #Constraints: 66776 2049.81/2055.15 c #Conflicts: 430000 | #Constraints: 67776 2049.81/2055.15 c #Conflicts: 431000 | #Constraints: 68776 2049.81/2055.15 c #Conflicts: 432000 | #Constraints: 69776 2049.81/2055.15 c #Conflicts: 433000 | #Constraints: 70776 2049.81/2055.15 c #Conflicts: 434000 | #Constraints: 71776 2049.81/2055.15 c #Conflicts: 435000 | #Constraints: 72776 2049.81/2055.15 c #Conflicts: 436000 | #Constraints: 73776 2049.81/2055.15 c #Conflicts: 437000 | #Constraints: 74776 2049.81/2055.15 c #Conflicts: 438000 | #Constraints: 75777 2049.81/2055.15 c #Conflicts: 439000 | #Constraints: 76777 2049.81/2055.15 c #Conflicts: 440000 | #Constraints: 77777 2049.81/2055.15 c #Conflicts: 441000 | #Constraints: 78777 2049.81/2055.15 c #Conflicts: 442000 | #Constraints: 79777 2049.81/2055.15 c #Conflicts: 443000 | #Constraints: 80777 2049.81/2055.15 c #Conflicts: 444000 | #Constraints: 81777 2049.81/2055.15 c #Conflicts: 445000 | #Constraints: 82777 2049.81/2055.15 c #Conflicts: 446000 | #Constraints: 83778 2049.81/2055.15 c #Conflicts: 447000 | #Constraints: 84778 2049.81/2055.15 c #Conflicts: 448000 | #Constraints: 85779 2049.81/2055.15 c #Conflicts: 449000 | #Constraints: 86779 2049.81/2055.15 c #Conflicts: 450000 | #Constraints: 87781 2049.81/2055.15 c #Conflicts: 451000 | #Constraints: 88783 2049.81/2055.15 c #Conflicts: 452000 | #Constraints: 89785 2049.81/2055.15 c #Conflicts: 453000 | #Constraints: 90786 2049.81/2055.15 c #Conflicts: 454000 | #Constraints: 91788 2049.81/2055.15 c #Conflicts: 455000 | #Constraints: 92788 2049.81/2055.15 c #Conflicts: 456000 | #Constraints: 93788 2049.81/2055.15 c #Conflicts: 457000 | #Constraints: 94788 2049.81/2055.15 c #Conflicts: 458000 | #Constraints: 95788 2049.81/2055.15 c #Conflicts: 459000 | #Constraints: 96788 2049.81/2055.15 c INPROCESSING 2049.81/2055.15 c GARBAGE COLLECT 2049.81/2055.15 c rational objective 179 2144.66/2150.20 c #Conflicts: 460000 | #Constraints: 61131 2144.66/2150.20 c #Conflicts: 461000 | #Constraints: 62131 2144.66/2150.20 c #Conflicts: 462000 | #Constraints: 63131 2144.66/2150.20 c #Conflicts: 463000 | #Constraints: 64131 2144.66/2150.20 c #Conflicts: 464000 | #Constraints: 65132 2144.66/2150.20 c #Conflicts: 465000 | #Constraints: 66132 2144.66/2150.20 c #Conflicts: 466000 | #Constraints: 67132 2144.66/2150.20 c #Conflicts: 467000 | #Constraints: 68132 2144.66/2150.20 c #Conflicts: 468000 | #Constraints: 69132 2144.66/2150.20 c #Conflicts: 469000 | #Constraints: 70132 2144.66/2150.20 c #Conflicts: 470000 | #Constraints: 71132 2144.66/2150.20 c #Conflicts: 471000 | #Constraints: 72132 2144.66/2150.20 c #Conflicts: 472000 | #Constraints: 73132 2144.66/2150.20 c #Conflicts: 473000 | #Constraints: 74132 2144.66/2150.20 c #Conflicts: 474000 | #Constraints: 75132 2144.66/2150.20 c #Conflicts: 475000 | #Constraints: 76132 2144.66/2150.20 c #Conflicts: 476000 | #Constraints: 77132 2144.66/2150.20 c #Conflicts: 477000 | #Constraints: 78132 2144.66/2150.20 c #Conflicts: 478000 | #Constraints: 79132 2144.66/2150.20 c INPROCESSING 2144.66/2150.20 c GARBAGE COLLECT 2144.66/2150.20 c rational objective 179 2332.77/2338.80 c #Conflicts: 479000 | #Constraints: 55938 2332.77/2338.80 c #Conflicts: 480000 | #Constraints: 56938 2332.77/2338.80 c #Conflicts: 481000 | #Constraints: 57938 2332.77/2338.80 c #Conflicts: 482000 | #Constraints: 58938 2332.77/2338.80 c #Conflicts: 483000 | #Constraints: 59938 2332.77/2338.80 c #Conflicts: 484000 | #Constraints: 60938 2332.77/2338.80 c #Conflicts: 485000 | #Constraints: 61938 2332.77/2338.80 c #Conflicts: 486000 | #Constraints: 62938 2332.77/2338.80 c #Conflicts: 487000 | #Constraints: 63938 2332.77/2338.80 c #Conflicts: 488000 | #Constraints: 64938 2332.77/2338.80 c #Conflicts: 489000 | #Constraints: 65938 2332.77/2338.80 c #Conflicts: 490000 | #Constraints: 66938 2332.77/2338.80 c #Conflicts: 491000 | #Constraints: 67938 2332.77/2338.80 c #Conflicts: 492000 | #Constraints: 68938 2332.77/2338.80 c #Conflicts: 493000 | #Constraints: 69938 2332.77/2338.80 c #Conflicts: 494000 | #Constraints: 70938 2332.77/2338.80 c #Conflicts: 495000 | #Constraints: 71938 2332.77/2338.80 c #Conflicts: 496000 | #Constraints: 72938 2332.77/2338.80 c #Conflicts: 497000 | #Constraints: 73938 2332.77/2338.80 c #Conflicts: 498000 | #Constraints: 74938 2332.77/2338.80 c #Conflicts: 499000 | #Constraints: 75938 2332.77/2338.80 c #Conflicts: 500000 | #Constraints: 76938 2332.77/2338.80 c #Conflicts: 501000 | #Constraints: 77938 2332.77/2338.80 c #Conflicts: 502000 | #Constraints: 78938 2332.77/2338.80 c #Conflicts: 503000 | #Constraints: 79938 2332.77/2338.80 c #Conflicts: 504000 | #Constraints: 80938 2332.77/2338.80 c #Conflicts: 505000 | #Constraints: 81939 2332.77/2338.80 c #Conflicts: 506000 | #Constraints: 82939 2332.77/2338.80 c #Conflicts: 507000 | #Constraints: 83939 2332.77/2338.80 c #Conflicts: 508000 | #Constraints: 84939 2332.77/2338.80 c #Conflicts: 509000 | #Constraints: 85939 2332.77/2338.80 c #Conflicts: 510000 | #Constraints: 86939 2332.77/2338.80 c #Conflicts: 511000 | #Constraints: 87939 2332.77/2338.80 c #Conflicts: 512000 | #Constraints: 88939 2332.77/2338.80 c #Conflicts: 513000 | #Constraints: 89939 2332.77/2338.80 c #Conflicts: 514000 | #Constraints: 90939 2332.77/2338.80 c #Conflicts: 515000 | #Constraints: 91939 2332.77/2338.80 c #Conflicts: 516000 | #Constraints: 92939 2332.77/2338.80 c #Conflicts: 517000 | #Constraints: 93939 2332.77/2338.80 c #Conflicts: 518000 | #Constraints: 94939 2332.77/2338.80 c #Conflicts: 519000 | #Constraints: 95939 2332.77/2338.80 c #Conflicts: 520000 | #Constraints: 96939 2332.77/2338.80 c #Conflicts: 521000 | #Constraints: 97940 2332.77/2338.80 c #Conflicts: 522000 | #Constraints: 98940 2332.77/2338.80 c #Conflicts: 523000 | #Constraints: 99940 2332.77/2338.80 c #Conflicts: 524000 | #Constraints: 100940 2332.77/2338.80 c #Conflicts: 525000 | #Constraints: 101941 2332.77/2338.80 c INPROCESSING 2332.77/2338.80 c GARBAGE COLLECT 2332.77/2338.80 c rational objective 179 2440.41/2446.72 c #Conflicts: 526000 | #Constraints: 63802 2440.41/2446.72 c #Conflicts: 527000 | #Constraints: 64802 2440.41/2446.72 c #Conflicts: 528000 | #Constraints: 65802 2440.41/2446.72 c #Conflicts: 529000 | #Constraints: 66802 2440.41/2446.72 c #Conflicts: 530000 | #Constraints: 67802 2440.41/2446.72 c #Conflicts: 531000 | #Constraints: 68802 2440.41/2446.72 c #Conflicts: 532000 | #Constraints: 69802 2440.41/2446.72 c #Conflicts: 533000 | #Constraints: 70802 2440.41/2446.72 c #Conflicts: 534000 | #Constraints: 71802 2440.41/2446.72 c #Conflicts: 535000 | #Constraints: 72802 2440.41/2446.72 c #Conflicts: 536000 | #Constraints: 73802 2440.41/2446.72 c #Conflicts: 537000 | #Constraints: 74803 2440.41/2446.72 c #Conflicts: 538000 | #Constraints: 75803 2440.41/2446.72 c #Conflicts: 539000 | #Constraints: 76804 2440.41/2446.72 c #Conflicts: 540000 | #Constraints: 77804 2440.41/2446.72 c #Conflicts: 541000 | #Constraints: 78804 2440.41/2446.72 c #Conflicts: 542000 | #Constraints: 79805 2440.41/2446.72 c #Conflicts: 543000 | #Constraints: 80805 2440.41/2446.72 c #Conflicts: 544000 | #Constraints: 81805 2440.41/2446.72 c #Conflicts: 545000 | #Constraints: 82805 2440.41/2446.72 c INPROCESSING 2440.41/2446.72 c GARBAGE COLLECT 2440.41/2446.72 c rational objective 179 2596.12/2602.80 c #Conflicts: 546000 | #Constraints: 58265 2596.12/2602.80 c #Conflicts: 547000 | #Constraints: 59265 2596.12/2602.80 c #Conflicts: 548000 | #Constraints: 60265 2596.12/2602.80 c #Conflicts: 549000 | #Constraints: 61265 2596.12/2602.80 c #Conflicts: 550000 | #Constraints: 62265 2596.12/2602.80 c #Conflicts: 551000 | #Constraints: 63265 2596.12/2602.80 c #Conflicts: 552000 | #Constraints: 64265 2596.12/2602.80 c #Conflicts: 553000 | #Constraints: 65265 2596.12/2602.80 c #Conflicts: 554000 | #Constraints: 66265 2596.12/2602.80 c #Conflicts: 555000 | #Constraints: 67265 2596.12/2602.80 c #Conflicts: 556000 | #Constraints: 68265 2596.12/2602.80 c #Conflicts: 557000 | #Constraints: 69265 2596.12/2602.80 c #Conflicts: 558000 | #Constraints: 70265 2596.12/2602.80 c #Conflicts: 559000 | #Constraints: 71265 2596.12/2602.80 c #Conflicts: 560000 | #Constraints: 72265 2596.12/2602.80 c #Conflicts: 561000 | #Constraints: 73265 2596.12/2602.80 c #Conflicts: 562000 | #Constraints: 74265 2596.12/2602.80 c #Conflicts: 563000 | #Constraints: 75265 2596.12/2602.80 c #Conflicts: 564000 | #Constraints: 76265 2596.12/2602.80 c #Conflicts: 565000 | #Constraints: 77265 2596.12/2602.80 c #Conflicts: 566000 | #Constraints: 78265 2596.12/2602.80 c #Conflicts: 567000 | #Constraints: 79265 2596.12/2602.80 c #Conflicts: 568000 | #Constraints: 80265 2596.12/2602.80 c #Conflicts: 569000 | #Constraints: 81265 2596.12/2602.80 c #Conflicts: 570000 | #Constraints: 82265 2596.12/2602.80 c #Conflicts: 571000 | #Constraints: 83265 2596.12/2602.80 c #Conflicts: 572000 | #Constraints: 84265 2596.12/2602.80 c #Conflicts: 573000 | #Constraints: 85265 2596.12/2602.80 c #Conflicts: 574000 | #Constraints: 86265 2596.12/2602.80 c #Conflicts: 575000 | #Constraints: 87265 2596.12/2602.80 c #Conflicts: 576000 | #Constraints: 88266 2596.12/2602.80 c #Conflicts: 577000 | #Constraints: 89266 2596.12/2602.80 c #Conflicts: 578000 | #Constraints: 90266 2596.12/2602.80 c #Conflicts: 579000 | #Constraints: 91266 2596.12/2602.80 c #Conflicts: 580000 | #Constraints: 92266 2596.12/2602.80 c #Conflicts: 581000 | #Constraints: 93266 2596.12/2602.80 c #Conflicts: 582000 | #Constraints: 94266 2596.12/2602.80 c #Conflicts: 583000 | #Constraints: 95266 2596.12/2602.80 c #Conflicts: 584000 | #Constraints: 96266 2596.12/2602.80 c #Conflicts: 585000 | #Constraints: 97266 2596.12/2602.80 c #Conflicts: 586000 | #Constraints: 98266 2596.12/2602.80 c #Conflicts: 587000 | #Constraints: 99266 2596.12/2602.80 c #Conflicts: 588000 | #Constraints: 100266 2596.12/2602.80 c #Conflicts: 589000 | #Constraints: 101267 2596.12/2602.80 c #Conflicts: 590000 | #Constraints: 102267 2596.12/2602.80 c #Conflicts: 591000 | #Constraints: 103267 2596.12/2602.80 c #Conflicts: 592000 | #Constraints: 104267 2596.12/2602.80 c #Conflicts: 593000 | #Constraints: 105267 2596.12/2602.80 c #Conflicts: 594000 | #Constraints: 106267 2596.12/2602.80 c #Conflicts: 595000 | #Constraints: 107267 2596.12/2602.80 c INPROCESSING 2596.12/2602.80 c GARBAGE COLLECT 2596.12/2602.80 c rational objective 179 2665.85/2672.74 c #Conflicts: 596000 | #Constraints: 66533 2665.85/2672.74 c #Conflicts: 597000 | #Constraints: 67533 2665.85/2672.74 c #Conflicts: 598000 | #Constraints: 68533 2665.85/2672.74 c #Conflicts: 599000 | #Constraints: 69533 2665.85/2672.74 c #Conflicts: 600000 | #Constraints: 70533 2665.85/2672.74 c #Conflicts: 601000 | #Constraints: 71533 2665.85/2672.74 c #Conflicts: 602000 | #Constraints: 72534 2665.85/2672.74 c #Conflicts: 603000 | #Constraints: 73534 2665.85/2672.74 c #Conflicts: 604000 | #Constraints: 74534 2665.85/2672.74 c #Conflicts: 605000 | #Constraints: 75534 2665.85/2672.74 c #Conflicts: 606000 | #Constraints: 76534 2665.85/2672.74 c #Conflicts: 607000 | #Constraints: 77535 2665.85/2672.74 c #Conflicts: 608000 | #Constraints: 78535 2665.85/2672.74 c #Conflicts: 609000 | #Constraints: 79535 2665.85/2672.74 c #Conflicts: 610000 | #Constraints: 80535 2665.85/2672.74 c #Conflicts: 611000 | #Constraints: 81535 2665.85/2672.74 c #Conflicts: 612000 | #Constraints: 82535 2665.85/2672.74 c #Conflicts: 613000 | #Constraints: 83535 2665.85/2672.74 c #Conflicts: 614000 | #Constraints: 84535 2665.85/2672.74 c #Conflicts: 615000 | #Constraints: 85536 2665.85/2672.74 c #Conflicts: 616000 | #Constraints: 86536 2665.85/2672.74 c #Conflicts: 617000 | #Constraints: 87536 2665.85/2672.74 c INPROCESSING 2665.85/2672.74 c GARBAGE COLLECT 2665.85/2672.74 c rational objective 179 2835.90/2843.28 c #Conflicts: 618000 | #Constraints: 61629 2835.90/2843.28 c #Conflicts: 619000 | #Constraints: 62629 2835.90/2843.28 c #Conflicts: 620000 | #Constraints: 63630 2835.90/2843.28 c #Conflicts: 621000 | #Constraints: 64630 2835.90/2843.28 c #Conflicts: 622000 | #Constraints: 65630 2835.90/2843.28 c #Conflicts: 623000 | #Constraints: 66630 2835.90/2843.28 c #Conflicts: 624000 | #Constraints: 67630 2835.90/2843.28 c #Conflicts: 625000 | #Constraints: 68630 2835.90/2843.28 c #Conflicts: 626000 | #Constraints: 69630 2835.90/2843.28 c #Conflicts: 627000 | #Constraints: 70630 2835.90/2843.28 c #Conflicts: 628000 | #Constraints: 71630 2835.90/2843.28 c #Conflicts: 629000 | #Constraints: 72630 2835.90/2843.28 c #Conflicts: 630000 | #Constraints: 73630 2835.90/2843.28 c #Conflicts: 631000 | #Constraints: 74630 2835.90/2843.28 c #Conflicts: 632000 | #Constraints: 75630 2835.90/2843.28 c #Conflicts: 633000 | #Constraints: 76630 2835.90/2843.28 c #Conflicts: 634000 | #Constraints: 77630 2835.90/2843.28 c #Conflicts: 635000 | #Constraints: 78631 2835.90/2843.28 c #Conflicts: 636000 | #Constraints: 79631 2835.90/2843.28 c #Conflicts: 637000 | #Constraints: 80631 2835.90/2843.28 c #Conflicts: 638000 | #Constraints: 81631 2835.90/2843.28 c #Conflicts: 639000 | #Constraints: 82631 2835.90/2843.28 c #Conflicts: 640000 | #Constraints: 83631 2835.90/2843.28 c #Conflicts: 641000 | #Constraints: 84631 2835.90/2843.28 c #Conflicts: 642000 | #Constraints: 85631 2835.90/2843.28 c #Conflicts: 643000 | #Constraints: 86631 2835.90/2843.28 c #Conflicts: 644000 | #Constraints: 87631 2835.90/2843.28 c #Conflicts: 645000 | #Constraints: 88631 2835.90/2843.28 c #Conflicts: 646000 | #Constraints: 89631 2835.90/2843.28 c #Conflicts: 647000 | #Constraints: 90631 2835.90/2843.28 c #Conflicts: 648000 | #Constraints: 91631 2835.90/2843.28 c #Conflicts: 649000 | #Constraints: 92631 2835.90/2843.28 c #Conflicts: 650000 | #Constraints: 93631 2835.90/2843.28 c #Conflicts: 651000 | #Constraints: 94631 2835.90/2843.28 c #Conflicts: 652000 | #Constraints: 95631 2835.90/2843.28 c #Conflicts: 653000 | #Constraints: 96631 2835.90/2843.28 c #Conflicts: 654000 | #Constraints: 97631 2835.90/2843.28 c #Conflicts: 655000 | #Constraints: 98631 2835.90/2843.28 c #Conflicts: 656000 | #Constraints: 99631 2835.90/2843.28 c #Conflicts: 657000 | #Constraints: 100631 2835.90/2843.28 c #Conflicts: 658000 | #Constraints: 101631 2835.90/2843.28 c #Conflicts: 659000 | #Constraints: 102631 2835.90/2843.28 c #Conflicts: 660000 | #Constraints: 103631 2835.90/2843.28 c #Conflicts: 661000 | #Constraints: 104631 2835.90/2843.28 c #Conflicts: 662000 | #Constraints: 105631 2835.90/2843.28 c #Conflicts: 663000 | #Constraints: 106631 2835.90/2843.28 c #Conflicts: 664000 | #Constraints: 107631 2835.90/2843.28 c #Conflicts: 665000 | #Constraints: 108631 2835.90/2843.28 c #Conflicts: 666000 | #Constraints: 109631 2835.90/2843.28 c #Conflicts: 667000 | #Constraints: 110631 2835.90/2843.28 c #Conflicts: 668000 | #Constraints: 111631 2835.90/2843.28 c #Conflicts: 669000 | #Constraints: 112631 2835.90/2843.28 c INPROCESSING 2835.90/2843.28 c GARBAGE COLLECT 2835.90/2843.28 c rational objective 179 2918.39/2925.92 c #Conflicts: 670000 | #Constraints: 68943 2918.39/2925.92 c #Conflicts: 671000 | #Constraints: 69943 2918.39/2925.92 c #Conflicts: 672000 | #Constraints: 70943 2918.39/2925.92 c #Conflicts: 673000 | #Constraints: 71943 2918.39/2925.92 c #Conflicts: 674000 | #Constraints: 72943 2918.39/2925.92 c #Conflicts: 675000 | #Constraints: 73943 2918.39/2925.92 c #Conflicts: 676000 | #Constraints: 74943 2918.39/2925.92 c #Conflicts: 677000 | #Constraints: 75943 2918.39/2925.92 c #Conflicts: 678000 | #Constraints: 76943 2918.39/2925.92 c #Conflicts: 679000 | #Constraints: 77943 2918.39/2925.92 c #Conflicts: 680000 | #Constraints: 78943 2918.39/2925.92 c #Conflicts: 681000 | #Constraints: 79944 2918.39/2925.92 c #Conflicts: 682000 | #Constraints: 80944 2918.39/2925.92 c #Conflicts: 683000 | #Constraints: 81945 2918.39/2925.92 c #Conflicts: 684000 | #Constraints: 82945 2918.39/2925.92 c #Conflicts: 685000 | #Constraints: 83945 2918.39/2925.92 c #Conflicts: 686000 | #Constraints: 84945 2918.39/2925.92 c #Conflicts: 687000 | #Constraints: 85945 2918.39/2925.92 c #Conflicts: 688000 | #Constraints: 86946 2918.39/2925.92 c #Conflicts: 689000 | #Constraints: 87946 2918.39/2925.92 c #Conflicts: 690000 | #Constraints: 88946 2918.39/2925.92 c #Conflicts: 691000 | #Constraints: 89946 2918.39/2925.92 c #Conflicts: 692000 | #Constraints: 90946 2918.39/2925.92 c #Conflicts: 693000 | #Constraints: 91946 2918.39/2925.92 c INPROCESSING 2918.39/2925.92 c GARBAGE COLLECT 2918.39/2925.92 c rational objective 179 3078.22/3086.12 c #Conflicts: 694000 | #Constraints: 64738 3078.22/3086.12 c #Conflicts: 695000 | #Constraints: 65738 3078.22/3086.12 c #Conflicts: 696000 | #Constraints: 66738 3078.22/3086.12 c #Conflicts: 697000 | #Constraints: 67738 3078.22/3086.12 c #Conflicts: 698000 | #Constraints: 68738 3078.22/3086.12 c #Conflicts: 699000 | #Constraints: 69738 3078.22/3086.12 c #Conflicts: 700000 | #Constraints: 70738 3078.22/3086.12 c #Conflicts: 701000 | #Constraints: 71738 3078.22/3086.12 c #Conflicts: 702000 | #Constraints: 72738 3078.22/3086.12 c #Conflicts: 703000 | #Constraints: 73738 3078.22/3086.12 c #Conflicts: 704000 | #Constraints: 74738 3078.22/3086.12 c #Conflicts: 705000 | #Constraints: 75739 3078.22/3086.12 c #Conflicts: 706000 | #Constraints: 76739 3078.22/3086.12 c #Conflicts: 707000 | #Constraints: 77739 3078.22/3086.12 c #Conflicts: 708000 | #Constraints: 78739 3078.22/3086.12 c #Conflicts: 709000 | #Constraints: 79739 3078.22/3086.12 c #Conflicts: 710000 | #Constraints: 80739 3078.22/3086.12 c #Conflicts: 711000 | #Constraints: 81739 3078.22/3086.12 c #Conflicts: 712000 | #Constraints: 82739 3078.22/3086.12 c #Conflicts: 713000 | #Constraints: 83739 3078.22/3086.12 c #Conflicts: 714000 | #Constraints: 84739 3078.22/3086.12 c #Conflicts: 715000 | #Constraints: 85739 3078.22/3086.12 c #Conflicts: 716000 | #Constraints: 86739 3078.22/3086.12 c #Conflicts: 717000 | #Constraints: 87739 3078.22/3086.12 c #Conflicts: 718000 | #Constraints: 88739 3078.22/3086.12 c #Conflicts: 719000 | #Constraints: 89739 3078.22/3086.12 c #Conflicts: 720000 | #Constraints: 90739 3078.22/3086.12 c #Conflicts: 721000 | #Constraints: 91739 3078.22/3086.12 c #Conflicts: 722000 | #Constraints: 92739 3078.22/3086.12 c #Conflicts: 723000 | #Constraints: 93739 3078.22/3086.12 c #Conflicts: 724000 | #Constraints: 94739 3078.22/3086.12 c #Conflicts: 725000 | #Constraints: 95739 3078.22/3086.12 c #Conflicts: 726000 | #Constraints: 96739 3078.22/3086.12 c #Conflicts: 727000 | #Constraints: 97739 3078.22/3086.12 c #Conflicts: 728000 | #Constraints: 98739 3078.22/3086.12 c #Conflicts: 729000 | #Constraints: 99739 3078.22/3086.12 c #Conflicts: 730000 | #Constraints: 100739 3078.22/3086.12 c #Conflicts: 731000 | #Constraints: 101739 3078.22/3086.12 c #Conflicts: 732000 | #Constraints: 102739 3078.22/3086.12 c #Conflicts: 733000 | #Constraints: 103739 3078.22/3086.12 c #Conflicts: 734000 | #Constraints: 104739 3078.22/3086.12 c #Conflicts: 735000 | #Constraints: 105739 3078.22/3086.12 c #Conflicts: 736000 | #Constraints: 106739 3078.22/3086.12 c #Conflicts: 737000 | #Constraints: 107739 3078.22/3086.12 c #Conflicts: 738000 | #Constraints: 108739 3078.22/3086.12 c #Conflicts: 739000 | #Constraints: 109739 3078.22/3086.12 c #Conflicts: 740000 | #Constraints: 110739 3078.22/3086.12 c #Conflicts: 741000 | #Constraints: 111739 3078.22/3086.12 c #Conflicts: 742000 | #Constraints: 112739 3078.22/3086.12 c #Conflicts: 743000 | #Constraints: 113739 3078.22/3086.12 c #Conflicts: 744000 | #Constraints: 114739 3078.22/3086.12 c #Conflicts: 745000 | #Constraints: 115739 3078.22/3086.12 c #Conflicts: 746000 | #Constraints: 116739 3078.22/3086.12 c #Conflicts: 747000 | #Constraints: 117739 3078.22/3086.12 c #Conflicts: 748000 | #Constraints: 118739 3078.22/3086.12 c INPROCESSING 3078.22/3086.12 c GARBAGE COLLECT 3078.22/3086.12 c rational objective 179 3136.58/3144.65 c #Conflicts: 749000 | #Constraints: 71996 3136.58/3144.65 c #Conflicts: 750000 | #Constraints: 72997 3136.58/3144.65 c #Conflicts: 751000 | #Constraints: 73998 3136.58/3144.65 c #Conflicts: 752000 | #Constraints: 74998 3136.58/3144.65 c #Conflicts: 753000 | #Constraints: 75998 3136.58/3144.65 c #Conflicts: 754000 | #Constraints: 76999 3136.58/3144.65 c #Conflicts: 755000 | #Constraints: 77999 3136.58/3144.65 c #Conflicts: 756000 | #Constraints: 78999 3136.58/3144.65 c #Conflicts: 757000 | #Constraints: 79999 3136.58/3144.65 c #Conflicts: 758000 | #Constraints: 80999 3136.58/3144.65 c #Conflicts: 759000 | #Constraints: 81999 3136.58/3144.65 c #Conflicts: 760000 | #Constraints: 82999 3136.58/3144.65 c #Conflicts: 761000 | #Constraints: 83999 3136.58/3144.65 c #Conflicts: 762000 | #Constraints: 84999 3136.58/3144.65 c #Conflicts: 763000 | #Constraints: 85999 3136.58/3144.65 c #Conflicts: 764000 | #Constraints: 86999 3136.58/3144.65 c #Conflicts: 765000 | #Constraints: 87999 3136.58/3144.65 c #Conflicts: 766000 | #Constraints: 88999 3136.58/3144.65 c #Conflicts: 767000 | #Constraints: 89999 3136.58/3144.65 c #Conflicts: 768000 | #Constraints: 90999 3136.58/3144.65 c #Conflicts: 769000 | #Constraints: 91999 3136.58/3144.65 c #Conflicts: 770000 | #Constraints: 92999 3136.58/3144.65 c #Conflicts: 771000 | #Constraints: 93999 3136.58/3144.65 c #Conflicts: 772000 | #Constraints: 94999 3136.58/3144.65 c #Conflicts: 773000 | #Constraints: 95999 3136.58/3144.65 c INPROCESSING 3136.58/3144.65 c GARBAGE COLLECT 3136.58/3144.65 c rational objective 179 3343.32/3351.85 c #Conflicts: 774000 | #Constraints: 66753 3343.32/3351.85 c #Conflicts: 775000 | #Constraints: 67753 3343.32/3351.85 c #Conflicts: 776000 | #Constraints: 68753 3343.32/3351.85 c #Conflicts: 777000 | #Constraints: 69753 3343.32/3351.85 c #Conflicts: 778000 | #Constraints: 70754 3343.32/3351.85 c #Conflicts: 779000 | #Constraints: 71754 3343.32/3351.85 c #Conflicts: 780000 | #Constraints: 72754 3343.32/3351.85 c #Conflicts: 781000 | #Constraints: 73754 3343.32/3351.85 c #Conflicts: 782000 | #Constraints: 74754 3343.32/3351.85 c #Conflicts: 783000 | #Constraints: 75754 3343.32/3351.85 c #Conflicts: 784000 | #Constraints: 76754 3343.32/3351.85 c #Conflicts: 785000 | #Constraints: 77754 3343.32/3351.85 c #Conflicts: 786000 | #Constraints: 78755 3343.32/3351.85 c #Conflicts: 787000 | #Constraints: 79755 3343.32/3351.85 c #Conflicts: 788000 | #Constraints: 80755 3343.32/3351.85 c #Conflicts: 789000 | #Constraints: 81755 3343.32/3351.85 c #Conflicts: 790000 | #Constraints: 82755 3343.32/3351.85 c #Conflicts: 791000 | #Constraints: 83755 3343.32/3351.85 c #Conflicts: 792000 | #Constraints: 84755 3343.32/3351.85 c #Conflicts: 793000 | #Constraints: 85755 3343.32/3351.85 c #Conflicts: 794000 | #Constraints: 86755 3343.32/3351.85 c #Conflicts: 795000 | #Constraints: 87755 3343.32/3351.85 c #Conflicts: 796000 | #Constraints: 88755 3343.32/3351.85 c #Conflicts: 797000 | #Constraints: 89755 3343.32/3351.85 c #Conflicts: 798000 | #Constraints: 90755 3343.32/3351.85 c #Conflicts: 799000 | #Constraints: 91755 3343.32/3351.85 c #Conflicts: 800000 | #Constraints: 92755 3343.32/3351.85 c #Conflicts: 801000 | #Constraints: 93755 3343.32/3351.85 c #Conflicts: 802000 | #Constraints: 94755 3343.32/3351.85 c #Conflicts: 803000 | #Constraints: 95755 3343.32/3351.85 c #Conflicts: 804000 | #Constraints: 96756 3343.32/3351.85 c #Conflicts: 805000 | #Constraints: 97756 3343.32/3351.85 c #Conflicts: 806000 | #Constraints: 98756 3343.32/3351.85 c #Conflicts: 807000 | #Constraints: 99756 3343.32/3351.85 c #Conflicts: 808000 | #Constraints: 100756 3343.32/3351.85 c #Conflicts: 809000 | #Constraints: 101756 3343.32/3351.85 c #Conflicts: 810000 | #Constraints: 102756 3343.32/3351.85 c #Conflicts: 811000 | #Constraints: 103756 3343.32/3351.85 c #Conflicts: 812000 | #Constraints: 104756 3343.32/3351.85 c #Conflicts: 813000 | #Constraints: 105756 3343.32/3351.85 c #Conflicts: 814000 | #Constraints: 106756 3343.32/3351.85 c #Conflicts: 815000 | #Constraints: 107756 3343.32/3351.85 c #Conflicts: 816000 | #Constraints: 108756 3343.32/3351.85 c #Conflicts: 817000 | #Constraints: 109757 3343.32/3351.85 c #Conflicts: 818000 | #Constraints: 110757 3343.32/3351.85 c #Conflicts: 819000 | #Constraints: 111757 3343.32/3351.85 c #Conflicts: 820000 | #Constraints: 112757 3343.32/3351.85 c #Conflicts: 821000 | #Constraints: 113757 3343.32/3351.85 c #Conflicts: 822000 | #Constraints: 114757 3343.32/3351.85 c #Conflicts: 823000 | #Constraints: 115757 3343.32/3351.85 c #Conflicts: 824000 | #Constraints: 116757 3343.32/3351.85 c #Conflicts: 825000 | #Constraints: 117757 3343.32/3351.85 c #Conflicts: 826000 | #Constraints: 118757 3343.32/3351.85 c #Conflicts: 827000 | #Constraints: 119757 3343.32/3351.85 c #Conflicts: 828000 | #Constraints: 120757 3343.32/3351.85 c #Conflicts: 829000 | #Constraints: 121757 3343.32/3351.85 c #Conflicts: 830000 | #Constraints: 122757 3343.32/3351.85 c #Conflicts: 831000 | #Constraints: 123757 3343.32/3351.85 c #Conflicts: 832000 | #Constraints: 124757 3343.32/3351.85 c INPROCESSING 3343.32/3351.85 c GARBAGE COLLECT 3343.32/3351.85 c rational objective 179 3406.39/3415.05 c #Conflicts: 833000 | #Constraints: 75431 3406.39/3415.05 c #Conflicts: 834000 | #Constraints: 76431 3406.39/3415.05 c #Conflicts: 835000 | #Constraints: 77431 3406.39/3415.05 c #Conflicts: 836000 | #Constraints: 78431 3406.39/3415.05 c #Conflicts: 837000 | #Constraints: 79431 3406.39/3415.05 c #Conflicts: 838000 | #Constraints: 80431 3406.39/3415.05 c #Conflicts: 839000 | #Constraints: 81431 3406.39/3415.05 c #Conflicts: 840000 | #Constraints: 82431 3406.39/3415.05 c #Conflicts: 841000 | #Constraints: 83431 3406.39/3415.05 c #Conflicts: 842000 | #Constraints: 84431 3406.39/3415.05 c #Conflicts: 843000 | #Constraints: 85432 3406.39/3415.05 c #Conflicts: 844000 | #Constraints: 86432 3406.39/3415.05 c #Conflicts: 845000 | #Constraints: 87432 3406.39/3415.05 c #Conflicts: 846000 | #Constraints: 88433 3406.39/3415.05 c #Conflicts: 847000 | #Constraints: 89433 3406.39/3415.05 c #Conflicts: 848000 | #Constraints: 90433 3406.39/3415.05 c #Conflicts: 849000 | #Constraints: 91433 3406.39/3415.05 c #Conflicts: 850000 | #Constraints: 92434 3406.39/3415.05 c #Conflicts: 851000 | #Constraints: 93434 3406.39/3415.05 c #Conflicts: 852000 | #Constraints: 94434 3406.39/3415.05 c #Conflicts: 853000 | #Constraints: 95434 3406.39/3415.05 c #Conflicts: 854000 | #Constraints: 96434 3406.39/3415.05 c #Conflicts: 855000 | #Constraints: 97434 3406.39/3415.05 c #Conflicts: 856000 | #Constraints: 98434 3406.39/3415.05 c #Conflicts: 857000 | #Constraints: 99434 3406.39/3415.05 c #Conflicts: 858000 | #Constraints: 100434 3406.39/3415.05 c INPROCESSING 3406.39/3415.05 c GARBAGE COLLECT 3406.39/3415.05 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: 64096 MiB (51627 MiB free)
memory of node 1: 64473 MiB (53349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460681-1722069455/watcher-4460681-1722069455 -o /tmp/evaluation-result-4460681-1722069455/solver-4460681-1722069455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298845 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460681-1722069455 --lp-cut-gomory=0 HOME/instance-4460681-1722069455.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=302049, runsolver pid=302046
[startup+0.100297 s]*
/proc/loadavg: 4.11 4.17 4.16 5/243 302050
/proc/meminfo: memFree=107490976/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=43180 memory=10784 CPUtime=0.06 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 2349 0 0 0 5 1 0 0 20 0 1 0 42934906 44216320 2696 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 10795 2696 1365 992 0 2653 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 43180 KiB
Current children cumulated memory: 10784 KiB
[startup+0.20929 s]*
/proc/loadavg: 4.11 4.17 4.16 6/243 302050
/proc/meminfo: memFree=107488960/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=47864 memory=17348 CPUtime=0.17 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 3725 0 0 0 13 4 0 0 20 0 1 0 42934906 49012736 4337 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 11966 4337 1637 992 0 3824 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 47864 KiB
Current children cumulated memory: 17348 KiB
[startup+0.309225 s]*
/proc/loadavg: 4.11 4.17 4.16 5/243 302050
/proc/meminfo: memFree=107467620/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=64648 memory=34280 CPUtime=0.27 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 8919 0 0 0 21 6 0 0 20 0 1 0 42934906 66199552 8570 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 16162 8570 1669 992 0 8020 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 34280 KiB
[startup+0.700271 s]
/proc/loadavg: 4.11 4.17 4.16 5/243 302050
/proc/meminfo: memFree=107463140/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=74264 memory=40260 CPUtime=0.65 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 10404 0 0 0 58 7 0 0 20 0 1 0 42934906 76046336 10065 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 18566 10065 1717 992 0 10424 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 74264 KiB
Current children cumulated memory: 40260 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.17 4.16 5/243 302050
/proc/meminfo: memFree=107447244/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=76920 memory=43428 CPUtime=1.45 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 11198 0 0 0 137 8 0 0 20 0 1 0 42934906 78766080 10857 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 19230 10857 1717 992 0 11088 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 76920 KiB
Current children cumulated memory: 43428 KiB
[startup+3.11328 s]
/proc/loadavg: 4.10 4.17 4.16 5/243 302050
/proc/meminfo: memFree=107411032/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=76920 memory=46704 CPUtime=3.05 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 11433 0 0 0 286 19 0 0 20 0 1 0 42934906 78766080 11676 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 19230 11676 1765 992 0 11088 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 76920 KiB
Current children cumulated memory: 46704 KiB
[startup+6.30032 s]
/proc/loadavg: 4.10 4.17 4.16 5/243 302052
/proc/meminfo: memFree=107397340/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=79952 memory=50392 CPUtime=6.23 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 12376 0 0 0 598 25 0 0 20 0 1 0 42934906 81870848 12598 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 19988 12598 1765 992 0 11846 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 79952 KiB
Current children cumulated memory: 50392 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.16 4.16 5/243 302052
/proc/meminfo: memFree=107377144/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=83164 memory=53552 CPUtime=12.62 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 13180 0 0 0 1234 28 0 0 20 0 1 0 42934906 85159936 13388 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 20791 13388 1765 992 0 12649 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83164 KiB
Current children cumulated memory: 53552 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.18 4.16 5/243 302055
/proc/meminfo: memFree=107229100/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=88024 memory=56168 CPUtime=25.38 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 13780 0 0 0 2481 57 0 0 20 0 1 0 42934906 90136576 14042 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 22006 14042 1828 992 0 13864 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 88024 KiB
Current children cumulated memory: 56168 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.16 4.16 5/242 302058
/proc/meminfo: memFree=106997568/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=117252 memory=87088 CPUtime=50.93 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 19956 0 0 0 4974 119 0 0 20 0 1 0 42934906 120066048 21772 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 29313 21772 1828 992 0 21171 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 117252 KiB
Current children cumulated memory: 87088 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.17 5/242 302067
/proc/meminfo: memFree=106604940/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=137684 memory=108104 CPUtime=101.99 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 22690 0 0 0 10009 190 0 0 20 0 1 0 42934906 140988416 27026 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 34421 27026 1860 992 0 26279 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 137684 KiB
Current children cumulated memory: 108104 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/244 302081
/proc/meminfo: memFree=105701556/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=199232 memory=162684 CPUtime=161.84 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 26648 0 0 0 15917 267 0 0 20 0 1 0 42934906 204013568 40671 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 49808 40671 1860 992 0 41666 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 199232 KiB
Current children cumulated memory: 162684 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/245 302092
/proc/meminfo: memFree=105028728/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=266500 memory=200616 CPUtime=221.7 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 31035 0 0 0 21803 367 0 0 20 0 1 0 42934906 272896000 50154 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 66625 50154 1860 992 0 58483 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 266500 KiB
Current children cumulated memory: 200616 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/244 302105
/proc/meminfo: memFree=104496840/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=269208 memory=203504 CPUtime=281.54 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 31745 0 0 0 27727 427 0 0 20 0 1 0 42934906 275668992 50876 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 67302 50876 1860 992 0 59160 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 269208 KiB
Current children cumulated memory: 203504 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/244 302115
/proc/meminfo: memFree=104131400/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=272824 memory=206916 CPUtime=341.38 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 33922 0 0 0 33660 478 0 0 20 0 1 0 42934906 279371776 51729 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 68206 51729 1860 992 0 60064 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 272824 KiB
Current children cumulated memory: 206916 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/245 302126
/proc/meminfo: memFree=103244980/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=272824 memory=206916 CPUtime=401.23 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 33924 0 0 0 39595 528 0 0 20 0 1 0 42934906 279371776 51729 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 68206 51729 1860 992 0 60064 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 272824 KiB
Current children cumulated memory: 206916 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/245 302137
/proc/meminfo: memFree=102333312/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=288320 memory=222204 CPUtime=461.08 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 37724 0 0 0 45508 600 0 0 20 0 1 0 42934906 295239680 55551 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 72080 55551 1860 992 0 63938 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.62 4.26 4.21 5/247 303980
/proc/meminfo: memFree=114658160/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1967836 memory=1422592 CPUtime=3154.24 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 131655 0 0 0 311626 3798 0 0 20 0 1 0 42934906 2015064064 355648 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 491959 355648 1946 992 0 483817 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 1967836 KiB
Current children cumulated memory: 1422592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.32 4.23 5/248 303991
/proc/meminfo: memFree=113962128/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1968236 memory=1423504 CPUtime=3214.12 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 132326 0 0 0 317545 3867 0 0 20 0 1 0 42934906 2015473664 355876 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 492059 355876 1946 992 0 483917 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 1968236 KiB
Current children cumulated memory: 1423504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.27 4.22 5/248 304003
/proc/meminfo: memFree=113659504/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1972444 memory=1427168 CPUtime=3273.98 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 133688 0 0 0 323459 3939 0 0 20 0 1 0 42934906 2019782656 356792 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 493111 356792 1946 992 0 484969 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 1972444 KiB
Current children cumulated memory: 1427168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.25 4.21 5/247 304013
/proc/meminfo: memFree=113375120/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1978540 memory=1432468 CPUtime=3333.84 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 135353 0 0 0 329383 4001 0 0 20 0 1 0 42934906 2026024960 358117 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 494635 358117 1946 992 0 486493 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 1978540 KiB
Current children cumulated memory: 1432468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.20 5/248 304024
/proc/meminfo: memFree=113058380/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1980136 memory=1434744 CPUtime=3393.71 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 136383 0 0 0 335300 4071 0 0 20 0 1 0 42934906 2027659264 358686 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 495034 358686 1946 992 0 486892 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 1980136 KiB
Current children cumulated memory: 1434744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.19 4.19 5/244 304035
/proc/meminfo: memFree=112741316/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1982664 memory=1437360 CPUtime=3453.58 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 137285 0 0 0 341179 4179 0 0 20 0 1 0 42934906 2030247936 359340 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 495666 359340 1946 992 0 487524 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1437360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/242 304045
/proc/meminfo: memFree=112421080/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1982664 memory=1437360 CPUtime=3513.45 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 137629 0 0 0 347090 4255 0 0 20 0 1 0 42934906 2030247936 359340 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 495666 359340 1946 992 0 487524 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1437360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/242 304055
/proc/meminfo: memFree=112144744/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1982664 memory=1437364 CPUtime=3573.32 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 137988 0 0 0 353006 4326 0 0 20 0 1 0 42934906 2030247936 359341 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 495666 359341 1946 992 0 487524 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1437364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.11 4.16 4.18 5/242 304061
/proc/meminfo: memFree=112023496/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1985716 memory=1440652 CPUtime=3600.07 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 139111 0 0 0 355651 4356 0 0 20 0 1 0 42934906 2033373184 360163 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 496429 360163 1946 992 0 488287 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1985716 KiB
Current children cumulated memory: 1440652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.16 s]
# the end of solver process 302049 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3558.5 s, system=43.5902 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.11 4.16 4.18 5/242 304061
/proc/meminfo: memFree=112023496/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1986548 memory=1440912 CPUtime=3600.56 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 139159 0 0 0 355700 4356 0 0 20 0 1 0 42934906 2034225152 360228 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 496637 360228 1946 992 0 488495 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 1986548 KiB
Current children cumulated memory: 1440912 KiB
[startup+3610.4 s]
/proc/loadavg: 4.11 4.16 4.18 5/242 304061
/proc/meminfo: memFree=112016776/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1986548 memory=1440912 CPUtime=3601.36 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 139161 0 0 0 355779 4357 0 0 20 0 1 0 42934906 2034225152 360228 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 496637 360228 1946 992 0 488495 0
Current children cumulated CPU time: 3601.36 s
Current children cumulated vsize: 1986548 KiB
Current children cumulated memory: 1440912 KiB
[startup+3610.8 s]
/proc/loadavg: 4.11 4.16 4.18 5/242 304061
/proc/meminfo: memFree=112016776/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1986548 memory=1440912 CPUtime=3601.75 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 139161 0 0 0 355818 4357 0 0 20 0 1 0 42934906 2034225152 360228 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 496637 360228 1946 992 0 488495 0
Current children cumulated CPU time: 3601.75 s
Current children cumulated vsize: 1986548 KiB
Current children cumulated memory: 1440912 KiB
[startup+3611 s]*
/proc/loadavg: 4.11 4.16 4.18 5/242 304061
/proc/meminfo: memFree=112012992/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1986548 memory=1440912 CPUtime=3601.96 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 139161 0 0 0 355839 4357 0 0 20 0 1 0 42934906 2034225152 360228 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 496637 360228 1946 992 0 488495 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 1986548 KiB
Current children cumulated memory: 1440912 KiB
[startup+3611.11 s]
/proc/loadavg: 4.11 4.16 4.18 5/242 304061
/proc/meminfo: memFree=112012992/131655788 swapFree=131060916/131071996
[pid=302049] ppid=302046 vsize=1986548 memory=1440912 CPUtime=3602.06 cores=4,6
/proc/302049/stat : 302049 (roundingsat) R 302046 302049 298834 0 -1 4194304 139161 0 0 0 355849 4357 0 0 20 0 1 0 42934906 2034225152 360228 134679101440 4194304 8254357 140727776791088 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 28635136 140727776797535 140727776797797 140727776797797 140727776804809 0
/proc/302049/statm: 496637 360228 1946 992 0 488495 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1986548 KiB
Current children cumulated memory: 1440912 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.16
CPU time (s): 3602.09
CPU user time (s): 3558.5
CPU system time (s): 43.5902
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 1986548
Max. memory (cumulated for all children) (KiB): 1440912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.5
system time used= 43.5902
maximum resident set size= 1441032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13648320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1433
involuntary context switches= 4172
# summary of solver processes directly reported to runsolver:
# pid: 302049
# total CPU time (s): 3602.09
# total CPU user time (s): 3558.5
# total CPU system time (s): 43.5902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5049 second user time and 38.4654 second system time
The end
Begin job on nodeC007 at 2024-07-27 10:37:35 IDJOB=4460681 IDBENCH=158301 IDSOLVER=3086 FILE ID=nodeC007/4460681-1722069455 RUNJOBID= nodeC007-1722064837-298845 SLURM_JOB_ID= 8248109 Free space on /tmp= 723524 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-4460681-1722069455/watcher-4460681-1722069455 -o /tmp/evaluation-result-4460681-1722069455/solver-4460681-1722069455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298845 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460681-1722069455 --lp-cut-gomory=0 HOME/instance-4460681-1722069455.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed RANDOM SEED=1882266722 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3562.619 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.720 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.355 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.359 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3632.354 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.570 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.313 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 107497060 kB MemAvailable: 121016876 kB Buffers: 378852 kB Cached: 13839664 kB SwapCached: 152 kB Active: 2101852 kB Inactive: 21224924 kB Active(anon): 2276 kB Inactive(anon): 9159368 kB Active(file): 2099576 kB Inactive(file): 12065556 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060916 kB Dirty: 32580 kB Writeback: 0 kB AnonPages: 9106788 kB Mapped: 100516 kB Shmem: 53304 kB KReclaimable: 389768 kB Slab: 504420 kB SReclaimable: 389768 kB SUnreclaim: 114652 kB KernelStack: 3936 kB PageTables: 27628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10824948 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 4474880 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: 437064 kB DirectMap2M: 60284928 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 723756 MiB End job on nodeC007 at 2024-07-27 11:37:46