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