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