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