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