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