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