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