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