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