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