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