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