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