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