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