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