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