(1,30) (2,15) (3,23) (4,12) (5,10) (6,21) (7,22) (8,18) (9,13) (11,24) (14,29) (16,26) (17,20) (19,25) (27,28) 
nodes: 78735  conflicts: 23  modelTime: 1174  solveTime: 356175  totalTime: 357369  modelSize: 72285  readTime: 19 size: 15