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