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