(1,25) (2,20) (3,27) (4,28) (5,21) (6,17) (7,18) (9,19) (10,30) (11,22) (13,24) (14,29) (15,16) 
nodes: 1117  conflicts: 44  modelTime: 658  solveTime: 1006  totalTime: 1671  modelSize: 41292  readTime: 7 size: 13