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