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