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