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