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