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