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