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