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