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